runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/p2cudf-paranoid-1.6/rand61b840.cudf.easy.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/easy//rand61b840.cudf /home/misc2010/tmp/201007050905/p2cudf-paranoid-1.6/rand61b840.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.10 1.14 0.80 6/39 26802 /proc/meminfo: memFree=464184/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2388 CPUtime=0 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4194304 341 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 263 1283457024 134512640 135191968 4294089296 18446744073709551615 4159295134 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/26798/statm: 597 263 224 166 0 29 0 [pid=26799] ppid=26798 vsize=2388 CPUtime=0 /proc/26799/stat : 26799 (p2cudf) R 26798 26797 24102 769 24102 4194368 105 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 115 1283457024 134512640 135191968 4294089296 18446744073709551615 4159136160 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/26799/statm: 597 115 75 166 0 29 0 [pid=26800] ppid=26799 vsize=10824 CPUtime=0 /proc/26800/stat : 26800 (java) R 26799 26797 24102 769 24102 4202496 756 0 0 0 0 0 0 0 25 0 2 0 525029180 11083776 483 1283457024 134512640 134550932 4288384176 18446744073709551615 4159319000 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/26800/statm: 2706 483 215 10 0 1187 0 [pid=26800/tid=26801] ppid=26799 vsize=10824 CPUtime=0 /proc/26800/task/26801/stat : 26801 (java) R 26799 26797 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 2 0 525029180 11083776 483 1283457024 134512640 134550932 4288384176 18446744073709551615 4159319000 0 0 0 0 0 0 0 -1 0 0 0 0 [pid=26802] ppid=26799 vsize=2388 CPUtime=0 /proc/26802/stat : 26802 (p2cudf) R 26799 26797 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 40 1283457024 134512640 135191968 4294089296 18446744073709551615 4159136160 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/26802/statm: 597 40 0 166 0 29 0 [startup+0.198011 s] /proc/loadavg: 1.10 1.14 0.80 6/39 26802 /proc/meminfo: memFree=464184/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4784 [startup+0.208008 s] /proc/loadavg: 1.10 1.14 0.80 6/39 26802 /proc/meminfo: memFree=464184/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4784 [startup+0.308015 s] /proc/loadavg: 1.10 1.14 0.80 6/39 26802 /proc/meminfo: memFree=464184/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4784 [startup+0.708076 s] /proc/loadavg: 1.10 1.14 0.80 6/39 26802 /proc/meminfo: memFree=464184/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 4784 [startup+1.50819 s] /proc/loadavg: 1.10 1.14 0.80 4/46 26820 /proc/meminfo: memFree=425880/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 [pid=26811] ppid=26798 vsize=891548 CPUtime=1.47 /proc/26811/stat : 26811 (java) S 26798 26797 24102 769 24102 4202496 22885 0 1 0 139 8 0 0 25 0 10 0 525029183 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 4159546514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26811/statm: 222887 18057 1430 10 0 220159 0 [pid=26811/tid=26812] ppid=26798 vsize=891548 CPUtime=0.79 /proc/26811/task/26812/stat : 26812 (java) R 26798 26797 24102 769 24102 4202560 9156 0 1 0 72 7 0 0 25 0 10 0 525029183 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 4107023420 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26811/tid=26813] ppid=26798 vsize=891548 CPUtime=0 /proc/26811/task/26813/stat : 26813 (java) S 26798 26797 24102 769 24102 4202560 2 0 0 0 0 0 0 0 18 0 10 0 525029185 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 0 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26814] ppid=26798 vsize=891548 CPUtime=0 /proc/26811/task/26814/stat : 26814 (java) S 26798 26797 24102 769 24102 4202560 11 0 0 0 0 0 0 0 25 0 10 0 525029185 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26815] ppid=26798 vsize=891548 CPUtime=0 /proc/26811/task/26815/stat : 26815 (java) S 26798 26797 24102 769 24102 4202560 4 0 0 0 0 0 0 0 25 0 10 0 525029185 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26816] ppid=26798 vsize=891548 CPUtime=0 /proc/26811/task/26816/stat : 26816 (java) S 26798 26797 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 10 0 525029187 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 4159568208 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26817] ppid=26798 vsize=891548 CPUtime=0.38 /proc/26811/task/26817/stat : 26817 (java) R 26798 26797 24102 769 24102 4202560 6833 0 0 0 38 0 0 0 22 0 10 0 525029187 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 104138317 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26811/tid=26818] ppid=26798 vsize=891548 CPUtime=0.28 /proc/26811/task/26818/stat : 26818 (java) R 26798 26797 24102 769 24102 4202560 6057 0 0 0 28 0 0 0 24 0 10 0 525029187 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 105711378 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26811/tid=26819] ppid=26798 vsize=891548 CPUtime=0 /proc/26811/task/26819/stat : 26819 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 525029187 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26820] ppid=26798 vsize=891548 CPUtime=0 /proc/26811/task/26820/stat : 26820 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 10 0 525029187 912945152 18057 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 896332 [startup+3.1084 s] /proc/loadavg: 1.25 1.18 0.81 5/46 26820 /proc/meminfo: memFree=360036/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 [pid=26811] ppid=26798 vsize=904348 CPUtime=3.07 /proc/26811/stat : 26811 (java) S 26798 26797 24102 769 24102 4202496 44884 0 1 0 291 16 0 0 25 0 10 0 525029183 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 4159546514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26811/statm: 226087 36031 1449 10 0 223359 0 [pid=26811/tid=26812] ppid=26798 vsize=904348 CPUtime=1.5 /proc/26811/task/26812/stat : 26812 (java) R 26798 26797 24102 769 24102 4202560 18396 0 1 0 143 7 0 0 25 0 10 0 525029183 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 106408551 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26811/tid=26813] ppid=26798 vsize=904348 CPUtime=0.1 /proc/26811/task/26813/stat : 26813 (java) S 26798 26797 24102 769 24102 4202560 4579 0 0 0 8 2 0 0 16 0 10 0 525029185 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 0 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26814] ppid=26798 vsize=904348 CPUtime=0 /proc/26811/task/26814/stat : 26814 (java) S 26798 26797 24102 769 24102 4202560 11 0 0 0 0 0 0 0 18 0 10 0 525029185 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26815] ppid=26798 vsize=904348 CPUtime=0 /proc/26811/task/26815/stat : 26815 (java) S 26798 26797 24102 769 24102 4202560 7 0 0 0 0 0 0 0 18 0 10 0 525029185 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26816] ppid=26798 vsize=904348 CPUtime=0 /proc/26811/task/26816/stat : 26816 (java) S 26798 26797 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 10 0 525029187 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 4159568208 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26817] ppid=26798 vsize=904348 CPUtime=0.76 /proc/26811/task/26817/stat : 26817 (java) S 26798 26797 24102 769 24102 4202560 9512 0 0 0 74 2 0 0 20 0 10 0 525029187 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26818] ppid=26798 vsize=904348 CPUtime=0.68 /proc/26811/task/26818/stat : 26818 (java) R 26798 26797 24102 769 24102 4202560 11557 0 0 0 64 4 0 0 25 0 10 0 525029187 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26811/tid=26819] ppid=26798 vsize=904348 CPUtime=0 /proc/26811/task/26819/stat : 26819 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 525029187 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26820] ppid=26798 vsize=904348 CPUtime=0 /proc/26811/task/26820/stat : 26820 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 10 0 525029187 926052352 36031 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 909132 [startup+6.30909 s] /proc/loadavg: 1.25 1.18 0.81 5/47 26821 /proc/meminfo: memFree=298772/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 [pid=26811] ppid=26798 vsize=904668 CPUtime=6.27 /proc/26811/stat : 26811 (java) S 26798 26797 24102 769 24102 4202496 53361 0 1 0 608 19 0 0 25 0 11 0 525029183 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159546514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26811/statm: 226167 43035 1499 10 0 223439 0 [pid=26811/tid=26812] ppid=26798 vsize=904668 CPUtime=2.81 /proc/26811/task/26812/stat : 26812 (java) R 26798 26797 24102 769 24102 4202560 18548 0 1 0 274 7 0 0 25 0 11 0 525029183 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159570631 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26811/tid=26813] ppid=26798 vsize=904668 CPUtime=0.24 /proc/26811/task/26813/stat : 26813 (java) S 26798 26797 24102 769 24102 4202560 11053 0 0 0 21 3 0 0 15 0 11 0 525029185 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 0 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26814] ppid=26798 vsize=904668 CPUtime=0 /proc/26811/task/26814/stat : 26814 (java) S 26798 26797 24102 769 24102 4202560 11 0 0 0 0 0 0 0 18 0 11 0 525029185 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26815] ppid=26798 vsize=904668 CPUtime=0 /proc/26811/task/26815/stat : 26815 (java) S 26798 26797 24102 769 24102 4202560 7 0 0 0 0 0 0 0 18 0 11 0 525029185 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26816] ppid=26798 vsize=904668 CPUtime=0 /proc/26811/task/26816/stat : 26816 (java) S 26798 26797 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 11 0 525029187 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159568208 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26817] ppid=26798 vsize=904668 CPUtime=1.9 /proc/26811/task/26817/stat : 26817 (java) S 26798 26797 24102 769 24102 4202560 11262 0 0 0 187 3 0 0 15 0 11 0 525029187 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26818] ppid=26798 vsize=904668 CPUtime=1.28 /proc/26811/task/26818/stat : 26818 (java) R 26798 26797 24102 769 24102 4202560 11654 0 0 0 124 4 0 0 24 0 11 0 525029187 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 106916490 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=26811/tid=26819] ppid=26798 vsize=904668 CPUtime=0 /proc/26811/task/26819/stat : 26819 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 11 0 525029187 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26820] ppid=26798 vsize=904668 CPUtime=0 /proc/26811/task/26820/stat : 26820 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 11 0 525029187 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26821] ppid=26798 vsize=904668 CPUtime=0 /proc/26811/task/26821/stat : 26821 (java) S 26798 26797 24102 769 24102 4202560 4 0 0 0 0 0 0 0 24 0 11 0 525029715 926380032 43035 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 909452 Solver just ended. Dumping a history of the last processes samples [startup+6.70237 s] /proc/loadavg: 1.31 1.19 0.81 2/47 26821 /proc/meminfo: memFree=299764/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 [pid=26811] ppid=26798 vsize=903040 CPUtime=6.59 /proc/26811/stat : 26811 (java) S 26798 26797 24102 769 24102 4202496 53384 0 1 0 640 19 0 0 25 0 12 0 525029183 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159546514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26811/statm: 225760 42578 1499 10 0 223032 0 [pid=26811/tid=26812] ppid=26798 vsize=903040 CPUtime=3.07 /proc/26811/task/26812/stat : 26812 (java) S 26798 26797 24102 769 24102 4202560 18555 0 1 0 300 7 0 0 25 0 12 0 525029183 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26813] ppid=26798 vsize=903040 CPUtime=0.24 /proc/26811/task/26813/stat : 26813 (java) S 26798 26797 24102 769 24102 4202560 11053 0 0 0 21 3 0 0 15 0 12 0 525029185 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 0 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26814] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26814/stat : 26814 (java) S 26798 26797 24102 769 24102 4202560 11 0 0 0 0 0 0 0 18 0 12 0 525029185 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26815] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26815/stat : 26815 (java) S 26798 26797 24102 769 24102 4202560 7 0 0 0 0 0 0 0 18 0 12 0 525029185 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26816] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26816/stat : 26816 (java) S 26798 26797 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159568208 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26817] ppid=26798 vsize=903040 CPUtime=1.91 /proc/26811/task/26817/stat : 26817 (java) S 26798 26797 24102 769 24102 4202560 11263 0 0 0 188 3 0 0 15 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26818] ppid=26798 vsize=903040 CPUtime=1.32 /proc/26811/task/26818/stat : 26818 (java) S 26798 26797 24102 769 24102 4202560 11665 0 0 0 128 4 0 0 23 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26819] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26819/stat : 26819 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26820] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26820/stat : 26820 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26821] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26821/stat : 26821 (java) S 26798 26797 24102 769 24102 4202560 4 0 0 0 0 0 0 0 24 0 12 0 525029715 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.6 Current children cumulated vsize (KiB) 907824 [startup+7.10645 s] /proc/loadavg: 1.31 1.19 0.81 2/47 26821 /proc/meminfo: memFree=299764/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 [pid=26811] ppid=26798 vsize=903040 CPUtime=6.59 /proc/26811/stat : 26811 (java) S 26798 26797 24102 769 24102 4202496 53384 0 1 0 640 19 0 0 25 0 12 0 525029183 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159546514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26811/statm: 225760 42578 1499 10 0 223032 0 [pid=26811/tid=26812] ppid=26798 vsize=903040 CPUtime=3.07 /proc/26811/task/26812/stat : 26812 (java) S 26798 26797 24102 769 24102 4202560 18555 0 1 0 300 7 0 0 25 0 12 0 525029183 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26813] ppid=26798 vsize=903040 CPUtime=0.24 /proc/26811/task/26813/stat : 26813 (java) S 26798 26797 24102 769 24102 4202560 11053 0 0 0 21 3 0 0 15 0 12 0 525029185 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 0 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26814] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26814/stat : 26814 (java) S 26798 26797 24102 769 24102 4202560 11 0 0 0 0 0 0 0 18 0 12 0 525029185 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26815] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26815/stat : 26815 (java) S 26798 26797 24102 769 24102 4202560 7 0 0 0 0 0 0 0 18 0 12 0 525029185 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26816] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26816/stat : 26816 (java) S 26798 26797 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159568208 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26817] ppid=26798 vsize=903040 CPUtime=1.91 /proc/26811/task/26817/stat : 26817 (java) S 26798 26797 24102 769 24102 4202560 11263 0 0 0 188 3 0 0 15 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26818] ppid=26798 vsize=903040 CPUtime=1.32 /proc/26811/task/26818/stat : 26818 (java) S 26798 26797 24102 769 24102 4202560 11665 0 0 0 128 4 0 0 23 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26819] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26819/stat : 26819 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26820] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26820/stat : 26820 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 525029187 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26821] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26821/stat : 26821 (java) S 26798 26797 24102 769 24102 4202560 4 0 0 0 0 0 0 0 24 0 12 0 525029715 924712960 42578 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.6 Current children cumulated vsize (KiB) 907824 [startup+7.20842 s] /proc/loadavg: 1.31 1.19 0.81 2/47 26821 /proc/meminfo: memFree=299764/1048576 swapFree=2095456/2097144 [pid=26797] ppid=26796 vsize=2388 CPUtime=0 /proc/26797/stat : 26797 (p2cudf-paranoid) S 26796 26797 24102 769 24102 4194304 366 0 0 0 0 0 0 0 25 0 1 0 525029180 2445312 262 1283457024 134512640 135191968 4290168432 18446744073709551615 4159519134 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26797/statm: 597 262 223 166 0 29 0 [pid=26798] ppid=26797 vsize=2396 CPUtime=0.01 /proc/26798/stat : 26798 (p2cudf) S 26797 26797 24102 769 24102 4202496 379 2739 0 1 0 0 1 0 25 0 1 0 525029180 2453504 273 1283457024 134512640 135191968 4294089296 18446744073709551615 4159134110 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/26798/statm: 599 273 232 166 0 31 0 [pid=26811] ppid=26798 vsize=903040 CPUtime=6.68 /proc/26811/stat : 26811 (java) S 26798 26797 24102 769 24102 4202496 53387 0 1 0 644 24 0 0 25 0 12 0 525029183 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159546514 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/26811/statm: 225760 42581 1499 10 0 223032 0 [pid=26811/tid=26812] ppid=26798 vsize=903040 CPUtime=3.07 /proc/26811/task/26812/stat : 26812 (java) S 26798 26797 24102 769 24102 4202560 18555 0 1 0 300 7 0 0 25 0 12 0 525029183 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26813] ppid=26798 vsize=903040 CPUtime=0.24 /proc/26811/task/26813/stat : 26813 (java) S 26798 26797 24102 769 24102 4202560 11053 0 0 0 21 3 0 0 15 0 12 0 525029185 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 0 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26814] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26814/stat : 26814 (java) S 26798 26797 24102 769 24102 4202560 11 0 0 0 0 0 0 0 18 0 12 0 525029185 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26815] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26815/stat : 26815 (java) S 26798 26797 24102 769 24102 4202560 7 0 0 0 0 0 0 0 18 0 12 0 525029185 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26816] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26816/stat : 26816 (java) S 26798 26797 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525029187 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159568208 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26817] ppid=26798 vsize=903040 CPUtime=1.91 /proc/26811/task/26817/stat : 26817 (java) S 26798 26797 24102 769 24102 4202560 11263 0 0 0 188 3 0 0 15 0 12 0 525029187 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26818] ppid=26798 vsize=903040 CPUtime=1.32 /proc/26811/task/26818/stat : 26818 (java) S 26798 26797 24102 769 24102 4202560 11666 0 0 0 128 4 0 0 18 0 12 0 525029187 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26819] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26819/stat : 26819 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525029187 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159559920 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26820] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26820/stat : 26820 (java) S 26798 26797 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 525029187 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=26811/tid=26821] ppid=26798 vsize=903040 CPUtime=0 /proc/26811/task/26821/stat : 26821 (java) S 26798 26797 24102 769 24102 4202560 4 0 0 0 0 0 0 0 24 0 12 0 525029715 924712960 42581 1283457024 134512640 134550932 4294949312 18446744073709551615 4159560712 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.69 Current children cumulated vsize (KiB) 907824 Child status: 0 Real time (s): 7.27971 CPU time (s): 6.74442 CPU user time (s): 6.4804 CPU system time (s): 0.264016 CPU usage (%): 92.6468 Max. virtual memory (cumulated for all children) (KiB): 915340 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.48041 system time used= 0.264016 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 56904 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 640 involuntary context switches= 653 runsolver used 0 second user time and 0.008 second system time The end