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/201103031013/p2cudf-paranoid-1.12/d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debian.log.runsolver ./p2cudf-paranoid-1.12 /home/misc2010/data/misc4/debian//d0cc7514-c730-11df-a040-00163e3d3b7c.cudf /home/misc2010/tmp/201103031013/p2cudf-paranoid-1.12/d0cc7514-c730-11df-a040-00163e3d3b7c.cudf.debian.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.00 1.09 1.07 5/38 27697 /proc/meminfo: memFree=638620/1048576 swapFree=0/0 [pid=27694] ppid=27693 vsize=2564 CPUtime=0 /proc/27694/stat : 27694 (p2cudf-paranoid) S 27693 27694 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 270 1283457024 134512640 135304128 4286884400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27694/statm: 641 270 230 194 0 28 0 [pid=27695] ppid=27694 vsize=2564 CPUtime=0 /proc/27695/stat : 27695 (p2cudf) S 27694 27694 29493 34817 29493 4202496 352 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 271 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/27695/statm: 641 271 231 194 0 28 0 [pid=27696] ppid=27695 vsize=2564 CPUtime=0 /proc/27696/stat : 27696 (p2cudf) R 27695 27694 29493 34817 29493 4202560 94 0 0 0 0 0 0 0 25 0 1 0 75570823 2625536 118 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/27696/statm: 641 118 77 194 0 28 0 [pid=27697] ppid=27696 vsize=2564 CPUtime=0 /proc/27697/stat : 27697 (p2cudf) R 27696 27694 29493 34817 29493 4202560 0 0 0 0 0 0 0 0 25 0 1 0 75570823 2625536 41 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/27697/statm: 641 41 0 194 0 28 0 [startup+0.135679 s] /proc/loadavg: 1.00 1.09 1.07 5/38 27697 /proc/meminfo: memFree=638620/1048576 swapFree=0/0 [pid=27694] ppid=27693 vsize=2564 CPUtime=0 /proc/27694/stat : 27694 (p2cudf-paranoid) S 27693 27694 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 270 1283457024 134512640 135304128 4286884400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27694/statm: 641 270 230 194 0 28 0 [pid=27695] ppid=27694 vsize=2572 CPUtime=0.04 /proc/27695/stat : 27695 (p2cudf) S 27694 27694 29493 34817 29493 4202496 393 3017 0 1 0 0 2 2 25 0 1 0 75570823 2633728 281 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27695/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5136 [startup+0.205685 s] /proc/loadavg: 1.00 1.09 1.07 5/38 27697 /proc/meminfo: memFree=638620/1048576 swapFree=0/0 [pid=27694] ppid=27693 vsize=2564 CPUtime=0 /proc/27694/stat : 27694 (p2cudf-paranoid) S 27693 27694 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 270 1283457024 134512640 135304128 4286884400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27694/statm: 641 270 230 194 0 28 0 [pid=27695] ppid=27694 vsize=2572 CPUtime=0.04 /proc/27695/stat : 27695 (p2cudf) S 27694 27694 29493 34817 29493 4202496 393 3017 0 1 0 0 2 2 25 0 1 0 75570823 2633728 281 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27695/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5136 [startup+0.3057 s] /proc/loadavg: 1.00 1.09 1.07 5/38 27697 /proc/meminfo: memFree=638620/1048576 swapFree=0/0 [pid=27694] ppid=27693 vsize=2564 CPUtime=0 /proc/27694/stat : 27694 (p2cudf-paranoid) S 27693 27694 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 270 1283457024 134512640 135304128 4286884400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27694/statm: 641 270 230 194 0 28 0 [pid=27695] ppid=27694 vsize=2572 CPUtime=0.04 /proc/27695/stat : 27695 (p2cudf) S 27694 27694 29493 34817 29493 4202496 393 3017 0 1 0 0 2 2 25 0 1 0 75570823 2633728 281 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27695/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5136 [startup+0.705797 s] /proc/loadavg: 1.00 1.09 1.07 5/38 27697 /proc/meminfo: memFree=638620/1048576 swapFree=0/0 [pid=27694] ppid=27693 vsize=2564 CPUtime=0 /proc/27694/stat : 27694 (p2cudf-paranoid) S 27693 27694 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 270 1283457024 134512640 135304128 4286884400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27694/statm: 641 270 230 194 0 28 0 [pid=27695] ppid=27694 vsize=2572 CPUtime=0.04 /proc/27695/stat : 27695 (p2cudf) S 27694 27694 29493 34817 29493 4202496 393 3017 0 1 0 0 2 2 25 0 1 0 75570823 2633728 281 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27695/statm: 643 281 239 194 0 30 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 5136 [startup+1.50596 s] /proc/loadavg: 1.00 1.09 1.07 3/47 27717 /proc/meminfo: memFree=590496/1048576 swapFree=0/0 [pid=27694] ppid=27693 vsize=2564 CPUtime=0 /proc/27694/stat : 27694 (p2cudf-paranoid) S 27693 27694 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 270 1283457024 134512640 135304128 4286884400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27694/statm: 641 270 230 194 0 28 0 [pid=27695] ppid=27694 vsize=2572 CPUtime=0.04 /proc/27695/stat : 27695 (p2cudf) S 27694 27694 29493 34817 29493 4202496 393 3017 0 1 0 0 2 2 25 0 1 0 75570823 2633728 281 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27695/statm: 643 281 239 194 0 30 0 [pid=27708] ppid=27695 vsize=885140 CPUtime=1.46 /proc/27708/stat : 27708 (java) S 27695 27694 29493 34817 29493 4202496 19949 0 1 0 132 14 0 0 25 0 10 0 75570826 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27708/statm: 221285 16342 1726 10 0 218376 0 [pid=27708/tid=27709] ppid=27695 vsize=885140 CPUtime=0.79 /proc/27708/task/27709/stat : 27709 (java) R 27695 27694 29493 34817 29493 4202560 8241 0 1 0 67 12 0 0 25 0 10 0 75570827 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4094935422 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27708/tid=27710] ppid=27695 vsize=885140 CPUtime=0 /proc/27708/task/27710/stat : 27710 (java) S 27695 27694 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 75570828 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27711] ppid=27695 vsize=885140 CPUtime=0 /proc/27708/task/27711/stat : 27711 (java) S 27695 27694 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 25 0 10 0 75570829 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27712] ppid=27695 vsize=885140 CPUtime=0 /proc/27708/task/27712/stat : 27712 (java) S 27695 27694 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 10 0 75570829 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27713] ppid=27695 vsize=885140 CPUtime=0 /proc/27708/task/27713/stat : 27713 (java) S 27695 27694 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75570831 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27714] ppid=27695 vsize=885140 CPUtime=0.45 /proc/27708/task/27714/stat : 27714 (java) R 27695 27694 29493 34817 29493 4202560 8372 0 0 0 43 2 0 0 25 0 10 0 75570831 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27708/tid=27715] ppid=27695 vsize=885140 CPUtime=0.21 /proc/27708/task/27715/stat : 27715 (java) R 27695 27694 29493 34817 29493 4202560 2255 0 0 0 21 0 0 0 18 0 10 0 75570831 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4151351311 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27708/tid=27716] ppid=27695 vsize=885140 CPUtime=0 /proc/27708/task/27716/stat : 27716 (java) S 27695 27694 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75570831 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27717] ppid=27695 vsize=885140 CPUtime=0 /proc/27708/task/27717/stat : 27717 (java) S 27695 27694 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75570831 906383360 16342 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 890276 [startup+3.10629 s] /proc/loadavg: 1.00 1.09 1.07 3/47 27717 /proc/meminfo: memFree=501588/1048576 swapFree=0/0 [pid=27694] ppid=27693 vsize=2564 CPUtime=0 /proc/27694/stat : 27694 (p2cudf-paranoid) S 27693 27694 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 270 1283457024 134512640 135304128 4286884400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27694/statm: 641 270 230 194 0 28 0 [pid=27695] ppid=27694 vsize=2572 CPUtime=0.04 /proc/27695/stat : 27695 (p2cudf) S 27694 27694 29493 34817 29493 4202496 393 3017 0 1 0 0 2 2 25 0 1 0 75570823 2633728 281 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27695/statm: 643 281 239 194 0 30 0 [pid=27708] ppid=27695 vsize=881728 CPUtime=3.07 /proc/27708/stat : 27708 (java) S 27695 27694 29493 34817 29493 4202496 74356 0 1 0 274 33 0 0 25 0 10 0 75570826 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27708/statm: 220432 70143 1741 10 0 217523 0 [pid=27708/tid=27709] ppid=27695 vsize=881728 CPUtime=1.81 /proc/27708/task/27709/stat : 27709 (java) R 27695 27694 29493 34817 29493 4202560 50067 0 1 0 155 26 0 0 25 0 10 0 75570827 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4095495266 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27708/tid=27710] ppid=27695 vsize=881728 CPUtime=0.26 /proc/27708/task/27710/stat : 27710 (java) S 27695 27694 29493 34817 29493 4202560 12317 0 0 0 22 4 0 0 16 0 10 0 75570828 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27711] ppid=27695 vsize=881728 CPUtime=0 /proc/27708/task/27711/stat : 27711 (java) S 27695 27694 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 10 0 75570829 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27712] ppid=27695 vsize=881728 CPUtime=0 /proc/27708/task/27712/stat : 27712 (java) S 27695 27694 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 10 0 75570829 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27713] ppid=27695 vsize=881728 CPUtime=0 /proc/27708/task/27713/stat : 27713 (java) S 27695 27694 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75570831 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27714] ppid=27695 vsize=881728 CPUtime=0.6 /proc/27708/task/27714/stat : 27714 (java) S 27695 27694 29493 34817 29493 4202560 8438 0 0 0 58 2 0 0 15 0 10 0 75570831 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27715] ppid=27695 vsize=881728 CPUtime=0.39 /proc/27708/task/27715/stat : 27715 (java) S 27695 27694 29493 34817 29493 4202560 2457 0 0 0 38 1 0 0 16 0 10 0 75570831 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27716] ppid=27695 vsize=881728 CPUtime=0 /proc/27708/task/27716/stat : 27716 (java) S 27695 27694 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 10 0 75570831 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27717] ppid=27695 vsize=881728 CPUtime=0 /proc/27708/task/27717/stat : 27717 (java) S 27695 27694 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 10 0 75570831 902889472 70143 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.11 Current children cumulated vsize (KiB) 886864 [startup+6.30606 s] /proc/loadavg: 1.00 1.08 1.07 3/47 27718 /proc/meminfo: memFree=362592/1048576 swapFree=0/0 [pid=27694] ppid=27693 vsize=2564 CPUtime=0 /proc/27694/stat : 27694 (p2cudf-paranoid) S 27693 27694 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 270 1283457024 134512640 135304128 4286884400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27694/statm: 641 270 230 194 0 28 0 [pid=27695] ppid=27694 vsize=2572 CPUtime=0.04 /proc/27695/stat : 27695 (p2cudf) S 27694 27694 29493 34817 29493 4202496 393 3017 0 1 0 0 2 2 25 0 1 0 75570823 2633728 281 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27695/statm: 643 281 239 194 0 30 0 [pid=27708] ppid=27695 vsize=882272 CPUtime=5.72 /proc/27708/stat : 27708 (java) S 27695 27694 29493 34817 29493 4202496 76420 0 1 0 534 38 0 0 25 0 12 0 75570826 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27708/statm: 220568 70594 1778 10 0 217659 0 [pid=27708/tid=27709] ppid=27695 vsize=882272 CPUtime=2.87 /proc/27708/task/27709/stat : 27709 (java) S 27695 27694 29493 34817 29493 4202560 50267 0 1 0 261 26 0 0 25 0 12 0 75570827 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27710] ppid=27695 vsize=882272 CPUtime=0.26 /proc/27708/task/27710/stat : 27710 (java) S 27695 27694 29493 34817 29493 4202560 12317 0 0 0 22 4 0 0 16 0 12 0 75570828 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27711] ppid=27695 vsize=882272 CPUtime=0 /proc/27708/task/27711/stat : 27711 (java) S 27695 27694 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 12 0 75570829 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27712] ppid=27695 vsize=882272 CPUtime=0 /proc/27708/task/27712/stat : 27712 (java) S 27695 27694 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 12 0 75570829 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27713] ppid=27695 vsize=882272 CPUtime=0 /proc/27708/task/27713/stat : 27713 (java) S 27695 27694 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 75570831 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27714] ppid=27695 vsize=882272 CPUtime=2.11 /proc/27708/task/27714/stat : 27714 (java) S 27695 27694 29493 34817 29493 4202560 10291 0 0 0 208 3 0 0 15 0 12 0 75570831 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27715] ppid=27695 vsize=882272 CPUtime=0.39 /proc/27708/task/27715/stat : 27715 (java) S 27695 27694 29493 34817 29493 4202560 2457 0 0 0 38 1 0 0 16 0 12 0 75570831 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27716] ppid=27695 vsize=882272 CPUtime=0 /proc/27708/task/27716/stat : 27716 (java) S 27695 27694 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 12 0 75570831 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27717] ppid=27695 vsize=882272 CPUtime=0 /proc/27708/task/27717/stat : 27717 (java) S 27695 27694 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 12 0 75570831 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27718] ppid=27695 vsize=882272 CPUtime=0 /proc/27708/task/27718/stat : 27718 (java) S 27695 27694 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 12 0 75571325 903446528 70594 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.76 Current children cumulated vsize (KiB) 887408 Solver just ended. Dumping a history of the last processes samples [startup+6.40606 s] /proc/loadavg: 1.00 1.08 1.07 3/47 27718 /proc/meminfo: memFree=362592/1048576 swapFree=0/0 [pid=27694] ppid=27693 vsize=2564 CPUtime=0 /proc/27694/stat : 27694 (p2cudf-paranoid) S 27693 27694 29493 34817 29493 4202496 373 0 0 0 0 0 0 0 18 0 1 0 75570823 2625536 270 1283457024 134512640 135304128 4286884400 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27694/statm: 641 270 230 194 0 28 0 [pid=27695] ppid=27694 vsize=2572 CPUtime=0.04 /proc/27695/stat : 27695 (p2cudf) S 27694 27694 29493 34817 29493 4202496 393 3017 0 1 0 0 2 2 25 0 1 0 75570823 2633728 281 1283457024 134512640 135304128 4286880320 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27695/statm: 643 281 239 194 0 30 0 [pid=27708] ppid=27695 vsize=880864 CPUtime=5.81 /proc/27708/stat : 27708 (java) S 27695 27694 29493 34817 29493 4202496 76428 0 1 0 541 40 0 0 25 0 11 0 75570826 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27708/statm: 220216 70250 1779 10 0 217307 0 [pid=27708/tid=27709] ppid=27695 vsize=880864 CPUtime=2.87 /proc/27708/task/27709/stat : 27709 (java) S 27695 27694 29493 34817 29493 4202560 50267 0 1 0 261 26 0 0 18 0 11 0 75570827 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27710] ppid=27695 vsize=880864 CPUtime=0.26 /proc/27708/task/27710/stat : 27710 (java) S 27695 27694 29493 34817 29493 4202560 12317 0 0 0 22 4 0 0 16 0 11 0 75570828 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 0 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27711] ppid=27695 vsize=880864 CPUtime=0 /proc/27708/task/27711/stat : 27711 (java) S 27695 27694 29493 34817 29493 4202560 8 0 0 0 0 0 0 0 18 0 11 0 75570829 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27712] ppid=27695 vsize=880864 CPUtime=0 /proc/27708/task/27712/stat : 27712 (java) S 27695 27694 29493 34817 29493 4202560 6 0 0 0 0 0 0 0 18 0 11 0 75570829 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27713] ppid=27695 vsize=880864 CPUtime=0 /proc/27708/task/27713/stat : 27713 (java) S 27695 27694 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75570831 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27714] ppid=27695 vsize=880864 CPUtime=2.16 /proc/27708/task/27714/stat : 27714 (java) S 27695 27694 29493 34817 29493 4202560 10298 0 0 0 213 3 0 0 15 0 11 0 75570831 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27715] ppid=27695 vsize=880864 CPUtime=0.39 /proc/27708/task/27715/stat : 27715 (java) S 27695 27694 29493 34817 29493 4202560 2457 0 0 0 38 1 0 0 16 0 11 0 75570831 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27716] ppid=27695 vsize=880864 CPUtime=0 /proc/27708/task/27716/stat : 27716 (java) S 27695 27694 29493 34817 29493 4202560 1 0 0 0 0 0 0 0 25 0 11 0 75570831 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27717] ppid=27695 vsize=880864 CPUtime=0 /proc/27708/task/27717/stat : 27717 (java) S 27695 27694 29493 34817 29493 4202560 2 0 0 0 0 0 0 0 15 0 11 0 75570831 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 [pid=27708/tid=27718] ppid=27695 vsize=880864 CPUtime=0 /proc/27708/task/27718/stat : 27718 (java) S 27695 27694 29493 34817 29493 4202560 4 0 0 0 0 0 0 0 25 0 11 0 75571325 902004736 70250 1283457024 134512640 134550932 4289073920 18446744073709551615 4294960130 0 4 0 16800975 18446612132467744832 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 5.85 Current children cumulated vsize (KiB) 886000 Child status: 0 Real time (s): 6.47368 CPU time (s): 5.89237 CPU user time (s): 5.43634 CPU system time (s): 0.456028 CPU usage (%): 91.0204 Max. virtual memory (cumulated for all children) (KiB): 890988 getrusage(RUSAGE_CHILDREN,...) data: user time used= 5.43634 system time used= 0.456028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 80234 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= 827 involuntary context switches= 806 runsolver used 0 second user time and 0 second system time The end