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: runsolver -s SIGUSR1 -M 1124 -C 300 -d 10 -w /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/difficult/rand116.cudf.log.runsolver /home/competition/p2cudf-full-1.15/p2cudf-full-1.15 /home/competition/data/upgrade/difficult/rand116.cudf /tmp/misc2012/2012-09-02-22:42/full/p2cudf-full-1.15/slowlink/upgrade/difficult/rand116.cudf.result -sum(changed,installedsize),-count(removed),-notuptodate(solution),-count(changed) Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 300 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 330 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 [startup+0 s] /proc/loadavg: 1.10 1.08 1.03 2/58 7424 /proc/meminfo: memFree=632776/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=3152 CPUtime=0 /proc/7424/stat : 7424 (runsolver) R 7423 1733 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 121078716 3227648 33 18446744073709551615 134512640 134586868 4288901696 4288899744 4151313456 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 788 33 0 19 0 73 0 Current StackSize limit: 8192 KiB [startup+0.196385 s] /proc/loadavg: 1.10 1.08 1.03 2/58 7424 /proc/meminfo: memFree=632776/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9168 [startup+0.200385 s] /proc/loadavg: 1.10 1.08 1.03 2/58 7424 /proc/meminfo: memFree=632776/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9168 [startup+0.30029 s] /proc/loadavg: 1.10 1.08 1.03 2/58 7424 /proc/meminfo: memFree=632776/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9168 [startup+0.700217 s] /proc/loadavg: 1.10 1.08 1.03 2/58 7424 /proc/meminfo: memFree=632776/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 9168 [startup+1.50078 s] /proc/loadavg: 1.09 1.08 1.03 1/69 7436 /proc/meminfo: memFree=619536/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 [pid=7427] ppid=7424 vsize=953492 CPUtime=0.41 /proc/7427/stat : 7427 (java) S 7424 7424 1733 0 -1 4202496 7418 0 17 0 37 4 0 0 20 0 10 0 121078717 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140733582894640 140287776353909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6 0 0 /proc/7427/statm: 238373 6731 2325 9 0 225723 0 [pid=7427/tid=7428] ppid=7424 vsize=953492 CPUtime=0.26 /proc/7427/task/7428/stat : 7428 (java) R 7424 7424 1733 0 -1 4202560 4497 0 5 0 23 3 0 0 20 0 10 0 121078724 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140287782879840 140287680349678 0 4 0 16800975 0 0 0 -1 0 0 0 103 0 0 [pid=7427/tid=7429] ppid=7424 vsize=953492 CPUtime=0 /proc/7427/task/7429/stat : 7429 (java) S 7424 7424 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 121078739 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140287675526272 140287776368203 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7430] ppid=7424 vsize=953492 CPUtime=0 /proc/7427/task/7430/stat : 7430 (java) S 7424 7424 1733 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 121078753 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140287674472464 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7431] ppid=7424 vsize=953492 CPUtime=0 /proc/7427/task/7431/stat : 7431 (java) S 7424 7424 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 121078753 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140287673419680 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7432] ppid=7424 vsize=953492 CPUtime=0 /proc/7427/task/7432/stat : 7432 (java) S 7424 7424 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 121078769 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140287672368112 140287776375840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7433] ppid=7424 vsize=953492 CPUtime=0.08 /proc/7427/task/7433/stat : 7433 (java) S 7424 7424 1733 0 -1 4202560 1162 0 0 0 8 0 0 0 20 0 10 0 121078769 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140287671315472 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7434] ppid=7424 vsize=953492 CPUtime=0.05 /proc/7427/task/7434/stat : 7434 (java) S 7424 7424 1733 0 -1 4202560 481 0 0 0 5 0 0 0 20 0 10 0 121078769 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140287670262800 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7435] ppid=7424 vsize=953492 CPUtime=0 /proc/7427/task/7435/stat : 7435 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 121078770 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140287669210320 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7436] ppid=7424 vsize=953492 CPUtime=0 /proc/7427/task/7436/stat : 7436 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 121078770 976375808 6731 18446744073709551615 4194304 4228012 140733582903616 140287668157824 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 962660 [startup+3.10057 s] /proc/loadavg: 1.09 1.08 1.03 4/69 7436 /proc/meminfo: memFree=543772/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 [pid=7427] ppid=7424 vsize=1052076 CPUtime=1.99 /proc/7427/stat : 7427 (java) S 7424 7424 1733 0 -1 4202496 71871 0 17 0 175 24 0 0 20 0 10 0 121078717 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140733582894640 140287776353909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6 0 0 /proc/7427/statm: 263019 66540 2365 9 0 250369 0 [pid=7427/tid=7428] ppid=7424 vsize=1052076 CPUtime=0.93 /proc/7427/task/7428/stat : 7428 (java) S 7424 7424 1733 0 -1 4202560 47387 0 5 0 75 18 0 0 20 0 10 0 121078724 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140287782887904 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 103 0 0 [pid=7427/tid=7429] ppid=7424 vsize=1052076 CPUtime=0.05 /proc/7427/task/7429/stat : 7429 (java) R 7424 7424 1733 0 -1 4202560 3608 0 0 0 5 0 0 0 20 0 10 0 121078739 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140287675525648 140287760664697 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7430] ppid=7424 vsize=1052076 CPUtime=0 /proc/7427/task/7430/stat : 7430 (java) S 7424 7424 1733 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 121078753 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140287674472464 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7431] ppid=7424 vsize=1052076 CPUtime=0 /proc/7427/task/7431/stat : 7431 (java) S 7424 7424 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 121078753 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140287673419680 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7432] ppid=7424 vsize=1052076 CPUtime=0 /proc/7427/task/7432/stat : 7432 (java) S 7424 7424 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 121078769 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140287672368112 140287776375840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7433] ppid=7424 vsize=1052076 CPUtime=0.52 /proc/7427/task/7433/stat : 7433 (java) S 7424 7424 1733 0 -1 4202560 9000 0 0 0 51 1 0 0 20 0 10 0 121078769 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140287671315472 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7434] ppid=7424 vsize=1052076 CPUtime=0.45 /proc/7427/task/7434/stat : 7434 (java) S 7424 7424 1733 0 -1 4202560 10599 0 0 0 42 3 0 0 20 0 10 0 121078769 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140287670262800 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7435] ppid=7424 vsize=1052076 CPUtime=0 /proc/7427/task/7435/stat : 7435 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 121078770 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140287669210320 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7436] ppid=7424 vsize=1052076 CPUtime=0 /proc/7427/task/7436/stat : 7436 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 121078770 1077325824 66540 18446744073709551615 4194304 4228012 140733582903616 140287668157824 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 1.99 Current children cumulated vsize (KiB) 1061244 heavy processes: [startup+6.3006 s] /proc/loadavg: 1.09 1.08 1.03 2/69 7436 /proc/meminfo: memFree=141640/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 [pid=7427] ppid=7424 vsize=1043212 CPUtime=5.14 /proc/7427/stat : 7427 (java) S 7424 7424 1733 0 -1 4202496 137526 0 17 0 472 42 0 0 20 0 10 0 121078717 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140733582894640 140287776353909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6 0 0 /proc/7427/statm: 260803 130322 2370 9 0 248153 0 [pid=7427/tid=7428] ppid=7424 vsize=1043212 CPUtime=2.76 /proc/7427/task/7428/stat : 7428 (java) R 7424 7424 1733 0 -1 4202560 47391 0 5 0 256 20 0 0 20 0 10 0 121078724 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140287782879936 140287680681054 0 4 0 16800975 0 0 0 -1 0 0 0 105 0 0 [pid=7427/tid=7429] ppid=7424 vsize=1043212 CPUtime=1.31 /proc/7427/task/7429/stat : 7429 (java) S 7424 7424 1733 0 -1 4202560 69250 0 0 0 115 16 0 0 20 0 10 0 121078739 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140287675526272 140287776368203 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7430] ppid=7424 vsize=1043212 CPUtime=0 /proc/7427/task/7430/stat : 7430 (java) S 7424 7424 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 121078753 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140287674472464 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7431] ppid=7424 vsize=1043212 CPUtime=0 /proc/7427/task/7431/stat : 7431 (java) S 7424 7424 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 121078753 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140287673419680 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7432] ppid=7424 vsize=1043212 CPUtime=0 /proc/7427/task/7432/stat : 7432 (java) S 7424 7424 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 121078769 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140287672368112 140287776375840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7433] ppid=7424 vsize=1043212 CPUtime=0.55 /proc/7427/task/7433/stat : 7433 (java) S 7424 7424 1733 0 -1 4202560 9005 0 0 0 54 1 0 0 20 0 10 0 121078769 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140287671315472 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7434] ppid=7424 vsize=1043212 CPUtime=0.48 /proc/7427/task/7434/stat : 7434 (java) S 7424 7424 1733 0 -1 4202560 10599 0 0 0 45 3 0 0 20 0 10 0 121078769 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140287670262800 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7435] ppid=7424 vsize=1043212 CPUtime=0 /proc/7427/task/7435/stat : 7435 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 121078770 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140287669210320 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7436] ppid=7424 vsize=1043212 CPUtime=0 /proc/7427/task/7436/stat : 7436 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 121078770 1068249088 130322 18446744073709551615 4194304 4228012 140733582903616 140287668157824 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 5.14 Current children cumulated vsize (KiB) 1052380 [startup+12.7006 s] /proc/loadavg: 1.24 1.11 1.04 2/70 7437 /proc/meminfo: memFree=18624/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 [pid=7427] ppid=7424 vsize=1044240 CPUtime=11.34 /proc/7427/stat : 7427 (java) S 7424 7424 1733 0 -1 4202496 152962 0 17 0 1083 51 0 0 20 0 11 0 121078717 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140733582894640 140287776353909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6 0 0 /proc/7427/statm: 261060 145758 2381 9 0 248410 0 [pid=7427/tid=7428] ppid=7424 vsize=1044240 CPUtime=6.3 /proc/7427/task/7428/stat : 7428 (java) R 7424 7424 1733 0 -1 4202560 47770 0 5 0 606 24 0 0 20 0 11 0 121078724 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287782887224 140287680896063 0 4 0 16800975 0 0 0 -1 0 0 0 121 0 0 [pid=7427/tid=7429] ppid=7424 vsize=1044240 CPUtime=1.76 /proc/7427/task/7429/stat : 7429 (java) S 7424 7424 1733 0 -1 4202560 83887 0 0 0 156 20 0 0 20 0 11 0 121078739 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287675526272 140287776368203 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7430] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7430/stat : 7430 (java) S 7424 7424 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 121078753 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287674472464 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7431] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7431/stat : 7431 (java) S 7424 7424 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 121078753 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287673419680 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7432] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7432/stat : 7432 (java) S 7424 7424 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 121078769 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287672368112 140287776375840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7433] ppid=7424 vsize=1044240 CPUtime=1.73 /proc/7427/task/7433/stat : 7433 (java) S 7424 7424 1733 0 -1 4202560 9252 0 0 0 172 1 0 0 20 0 11 0 121078769 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287671315472 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7434] ppid=7424 vsize=1044240 CPUtime=1.51 /proc/7427/task/7434/stat : 7434 (java) S 7424 7424 1733 0 -1 4202560 10766 0 0 0 148 3 0 0 20 0 11 0 121078769 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287670262800 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7435] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7435/stat : 7435 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287669210320 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7436] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7436/stat : 7436 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287668157824 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7437] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7437/stat : 7437 (java) S 7424 7424 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 121079704 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287666952032 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.34 Current children cumulated vsize (KiB) 1053408 Solver just ended. Dumping a history of the last processes samples [startup+12.8008 s] /proc/loadavg: 1.24 1.11 1.04 2/70 7437 /proc/meminfo: memFree=18624/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 [pid=7427] ppid=7424 vsize=1044240 CPUtime=11.44 /proc/7427/stat : 7427 (java) S 7424 7424 1733 0 -1 4202496 152962 0 17 0 1093 51 0 0 20 0 11 0 121078717 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140733582894640 140287776353909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6 0 0 /proc/7427/statm: 261060 145758 2381 9 0 248410 0 [pid=7427/tid=7428] ppid=7424 vsize=1044240 CPUtime=6.4 /proc/7427/task/7428/stat : 7428 (java) R 7424 7424 1733 0 -1 4202560 47770 0 5 0 616 24 0 0 20 0 11 0 121078724 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287782887224 140287681629616 0 4 0 16800975 0 0 0 -1 0 0 0 121 0 0 [pid=7427/tid=7429] ppid=7424 vsize=1044240 CPUtime=1.76 /proc/7427/task/7429/stat : 7429 (java) S 7424 7424 1733 0 -1 4202560 83887 0 0 0 156 20 0 0 20 0 11 0 121078739 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287675526272 140287776368203 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7430] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7430/stat : 7430 (java) S 7424 7424 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 121078753 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287674472464 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7431] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7431/stat : 7431 (java) S 7424 7424 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 121078753 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287673419680 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7432] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7432/stat : 7432 (java) S 7424 7424 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 121078769 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287672368112 140287776375840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7433] ppid=7424 vsize=1044240 CPUtime=1.73 /proc/7427/task/7433/stat : 7433 (java) S 7424 7424 1733 0 -1 4202560 9252 0 0 0 172 1 0 0 20 0 11 0 121078769 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287671315472 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7434] ppid=7424 vsize=1044240 CPUtime=1.51 /proc/7427/task/7434/stat : 7434 (java) S 7424 7424 1733 0 -1 4202560 10766 0 0 0 148 3 0 0 20 0 11 0 121078769 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287670262800 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7435] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7435/stat : 7435 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287669210320 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7436] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7436/stat : 7436 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287668157824 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7437] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7437/stat : 7437 (java) S 7424 7424 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 121079704 1069301760 145758 18446744073709551615 4194304 4228012 140733582903616 140287666952032 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 11.44 Current children cumulated vsize (KiB) 1053408 [startup+16.0006 s] /proc/loadavg: 1.24 1.11 1.04 2/70 7437 /proc/meminfo: memFree=18624/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 [pid=7427] ppid=7424 vsize=1044240 CPUtime=14.61 /proc/7427/stat : 7427 (java) S 7424 7424 1733 0 -1 4202496 152973 0 17 0 1409 52 0 0 20 0 11 0 121078717 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140733582894640 140287776353909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6 0 0 /proc/7427/statm: 261060 145769 2390 9 0 248410 0 [pid=7427/tid=7428] ppid=7424 vsize=1044240 CPUtime=9.41 /proc/7427/task/7428/stat : 7428 (java) S 7424 7424 1733 0 -1 4202560 47772 0 5 0 917 24 0 0 20 0 11 0 121078724 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287782887200 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 121 0 0 [pid=7427/tid=7429] ppid=7424 vsize=1044240 CPUtime=1.87 /proc/7427/task/7429/stat : 7429 (java) R 7424 7424 1733 0 -1 4202560 83896 0 0 0 166 21 0 0 20 0 11 0 121078739 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287675525680 140287760716216 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7430] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7430/stat : 7430 (java) S 7424 7424 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 121078753 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287674472464 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7431] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7431/stat : 7431 (java) S 7424 7424 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 121078753 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287673419680 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7432] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7432/stat : 7432 (java) S 7424 7424 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 121078769 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287672368112 140287776375840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7433] ppid=7424 vsize=1044240 CPUtime=1.75 /proc/7427/task/7433/stat : 7433 (java) S 7424 7424 1733 0 -1 4202560 9252 0 0 0 174 1 0 0 20 0 11 0 121078769 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287671303040 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7434] ppid=7424 vsize=1044240 CPUtime=1.53 /proc/7427/task/7434/stat : 7434 (java) S 7424 7424 1733 0 -1 4202560 10766 0 0 0 150 3 0 0 20 0 11 0 121078769 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287670262800 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7435] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7435/stat : 7435 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287669210320 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7436] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7436/stat : 7436 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287668157824 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7437] ppid=7424 vsize=1044240 CPUtime=0 /proc/7427/task/7437/stat : 7437 (java) S 7424 7424 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 121079704 1069301760 145769 18446744073709551615 4194304 4228012 140733582903616 140287666952032 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 14.61 Current children cumulated vsize (KiB) 1053408 [startup+16.8006 s] /proc/loadavg: 1.22 1.10 1.04 2/70 7437 /proc/meminfo: memFree=17508/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 [pid=7427] ppid=7424 vsize=1045164 CPUtime=15.38 /proc/7427/stat : 7427 (java) S 7424 7424 1733 0 -1 4202496 159543 0 17 0 1485 53 0 0 20 0 11 0 121078717 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140733582894640 140287776353909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6 0 0 /proc/7427/statm: 261291 152339 2393 9 0 248641 0 [pid=7427/tid=7428] ppid=7424 vsize=1045164 CPUtime=9.46 /proc/7427/task/7428/stat : 7428 (java) R 7424 7424 1733 0 -1 4202560 47772 0 5 0 922 24 0 0 20 0 11 0 121078724 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287782887608 140287681177486 0 4 0 16800975 0 0 0 -1 0 0 0 121 0 0 [pid=7427/tid=7429] ppid=7424 vsize=1045164 CPUtime=2.54 /proc/7427/task/7429/stat : 7429 (java) S 7424 7424 1733 0 -1 4202560 90461 0 0 0 232 22 0 0 20 0 11 0 121078739 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287675526272 140287776368203 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7430] ppid=7424 vsize=1045164 CPUtime=0 /proc/7427/task/7430/stat : 7430 (java) S 7424 7424 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 121078753 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287674472464 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7431] ppid=7424 vsize=1045164 CPUtime=0 /proc/7427/task/7431/stat : 7431 (java) S 7424 7424 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 121078753 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287673419680 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7432] ppid=7424 vsize=1045164 CPUtime=0 /proc/7427/task/7432/stat : 7432 (java) S 7424 7424 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 121078769 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287672368112 140287776375840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7433] ppid=7424 vsize=1045164 CPUtime=1.79 /proc/7427/task/7433/stat : 7433 (java) R 7424 7424 1733 0 -1 4202560 9257 0 0 0 178 1 0 0 20 0 11 0 121078769 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287671303176 140287762193600 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7434] ppid=7424 vsize=1045164 CPUtime=1.53 /proc/7427/task/7434/stat : 7434 (java) S 7424 7424 1733 0 -1 4202560 10766 0 0 0 150 3 0 0 20 0 11 0 121078769 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287670262800 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7435] ppid=7424 vsize=1045164 CPUtime=0 /proc/7427/task/7435/stat : 7435 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287669210320 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7436] ppid=7424 vsize=1045164 CPUtime=0 /proc/7427/task/7436/stat : 7436 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287668157824 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7437] ppid=7424 vsize=1045164 CPUtime=0 /proc/7427/task/7437/stat : 7437 (java) S 7424 7424 1733 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 121079704 1070247936 152339 18446744073709551615 4194304 4228012 140733582903616 140287666952032 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 15.38 Current children cumulated vsize (KiB) 1054332 [startup+17.2008 s] /proc/loadavg: 1.22 1.10 1.04 2/70 7437 /proc/meminfo: memFree=17508/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 [pid=7427] ppid=7424 vsize=1046192 CPUtime=15.64 /proc/7427/stat : 7427 (java) S 7424 7424 1733 0 -1 4202496 159590 0 17 0 1510 54 0 0 20 0 11 0 121078717 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140733582894640 140287776353909 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6 0 0 /proc/7427/statm: 261548 152384 2393 9 0 248898 0 [pid=7427/tid=7428] ppid=7424 vsize=1046192 CPUtime=9.54 /proc/7427/task/7428/stat : 7428 (java) S 7424 7424 1733 0 -1 4202560 47781 0 5 0 929 25 0 0 20 0 11 0 121078724 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140287782888368 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 121 0 0 [pid=7427/tid=7429] ppid=7424 vsize=1046192 CPUtime=2.54 /proc/7427/task/7429/stat : 7429 (java) S 7424 7424 1733 0 -1 4202560 90461 0 0 0 232 22 0 0 20 0 11 0 121078739 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140287675526272 140287776368203 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7430] ppid=7424 vsize=1046192 CPUtime=0 /proc/7427/task/7430/stat : 7430 (java) S 7424 7424 1733 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 121078753 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140287674472464 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7431] ppid=7424 vsize=1046192 CPUtime=0 /proc/7427/task/7431/stat : 7431 (java) S 7424 7424 1733 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 121078753 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140287673419680 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7432] ppid=7424 vsize=1046192 CPUtime=0 /proc/7427/task/7432/stat : 7432 (java) S 7424 7424 1733 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 121078769 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140287672368112 140287776375840 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7433] ppid=7424 vsize=1046192 CPUtime=1.94 /proc/7427/task/7433/stat : 7433 (java) S 7424 7424 1733 0 -1 4202560 9289 0 0 0 193 1 0 0 20 0 11 0 121078769 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140287671315472 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7434] ppid=7424 vsize=1046192 CPUtime=1.56 /proc/7427/task/7434/stat : 7434 (java) S 7424 7424 1733 0 -1 4202560 10766 0 0 0 153 3 0 0 20 0 11 0 121078769 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140287670262800 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7435] ppid=7424 vsize=1046192 CPUtime=0 /proc/7427/task/7435/stat : 7435 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140287669210320 140287776367316 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 [pid=7427/tid=7436] ppid=7424 vsize=1046192 CPUtime=0 /proc/7427/task/7436/stat : 7436 (java) S 7424 7424 1733 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 121078770 1071300608 152384 18446744073709551615 4194304 4228012 140733582903616 140287668157824 140287776368203 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 15.64 Current children cumulated vsize (KiB) 1055360 [startup+17.601 s] /proc/loadavg: 1.22 1.10 1.04 3/61 7438 /proc/meminfo: memFree=100104/1022884 swapFree=0/0 [pid=7424] ppid=7423 vsize=9168 CPUtime=0 /proc/7424/stat : 7424 (p2cudf-full-1.1) S 7423 7424 1733 0 -1 4202496 456 292 0 0 0 0 0 0 20 0 1 0 121078716 9388032 330 18446744073709551615 4194304 5129932 140734635899952 140734635898096 140612723307614 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0 /proc/7424/statm: 2292 330 280 229 0 52 0 [pid=7427] ppid=7424 vsize=0 CPUtime=15.76 /proc/7427/stat : 7427 (java) Z 7424 7424 1733 0 -1 4203532 159603 0 17 0 1519 57 0 0 20 0 2 0 121078717 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 6 0 0 /proc/7427/statm: 0 0 0 0 0 0 0 [pid=7427/tid=7438] ppid=7424 vsize=0 CPUtime=0.11 /proc/7427/task/7438/stat : 7438 (java) R 7424 7424 1733 0 -1 4203588 8 0 0 0 8 3 0 0 20 0 2 0 121080413 0 0 18446744073709551615 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0 Current children cumulated CPU time (s) 15.76 Current children cumulated vsize (KiB) 9168 Child status: 0 Real time (s): 17.6376 CPU time (s): 15.809 CPU user time (s): 15.209 CPU system time (s): 0.600037 CPU usage (%): 89.6323 Max. virtual memory (cumulated for all children) (KiB): 1062392 getrusage(RUSAGE_CHILDREN,...) data: user time used= 15.2089 system time used= 0.600037 maximum resident set size= 609580 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 160364 page faults= 17 swaps= 0 block input operations= 76616 block output operations= 184 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1574 involuntary context switches= 3639 runsolver used 0.044002 second user time and 0.120007 second system time The end