runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3738887-1338756301/watcher-3738887-1338756301 -o /tmp/evaluation-result-3738887-1338756301/solver-3738887-1338756301 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3738887-1338756301.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.09 3.32 3.46 5/197 16727
/proc/meminfo: memFree=26007348/32873844 swapFree=7628/7628
[pid=16727] ppid=16725 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/16727/stat : 16727 (java) S 16725 16727 11909 0 -1 4202496 1176 0 0 0 0 0 0 0 20 0 2 0 341754520 91889664 894 33554432000 1073741824 1073778376 140734276010832 140734276001968 254753669181 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16727/statm: 22970 902 685 9 0 16769 0
[pid=16727/tid=16728] ppid=16725 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16728/stat : 16728 (java) R 16725 16727 11909 0 -1 4202560 55 0 0 0 0 0 0 0 20 0 2 0 341754521 94019584 913 33554432000 1073741824 1073778376 140734276010832 140734275999896 254750310229 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.0685639 s]
/proc/loadavg: 3.09 3.32 3.46 5/197 16727
/proc/meminfo: memFree=26007348/32873844 swapFree=7628/7628
[pid=16727] ppid=16725 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/16727/stat : 16727 (java) S 16725 16727 11909 0 -1 4202496 3878 0 1 0 4 1 0 0 20 0 18 0 341754520 2764726272 5596 33554432000 1073741824 1073778376 140734276010832 140734276001968 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16727/statm: 674982 5597 1771 9 0 665676 0
[pid=16727/tid=16728] ppid=16725 vsize=2699928 CPUtime=0.04 cores=1,3,5,7
/proc/16727/task/16728/stat : 16728 (java) R 16725 16727 11909 0 -1 4202560 2668 0 1 0 4 0 0 0 20 0 18 0 341754521 2764726272 5597 33554432000 1073741824 1073778376 140734276010832 140198832421536 140198688126621 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100387 s]
/proc/loadavg: 3.09 3.32 3.46 5/197 16727
/proc/meminfo: memFree=26007348/32873844 swapFree=7628/7628
[pid=16727] ppid=16725 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/16727/stat : 16727 (java) S 16725 16727 11909 0 -1 4202496 4733 0 1 0 9 1 0 0 20 0 18 0 341754520 2764726272 6445 33554432000 1073741824 1073778376 140734276010832 140734276001968 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16727/statm: 674982 6445 2109 9 0 665676 0
[pid=16727/tid=16728] ppid=16725 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/16727/task/16728/stat : 16728 (java) R 16725 16727 11909 0 -1 4202560 2773 0 1 0 6 1 0 0 20 0 18 0 341754521 2764726272 6445 33554432000 1073741824 1073778376 140734276010832 140198832407160 254753694989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300333 s]
/proc/loadavg: 3.09 3.32 3.46 5/197 16727
/proc/meminfo: memFree=26007348/32873844 swapFree=7628/7628
[pid=16727] ppid=16725 vsize=2699928 CPUtime=0.49 cores=1,3,5,7
/proc/16727/stat : 16727 (java) S 16725 16727 11909 0 -1 4202496 6326 0 1 0 48 1 0 0 20 0 18 0 341754520 2764726272 9100 33554432000 1073741824 1073778376 140734276010832 140734276001968 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16727/statm: 674982 9100 2218 9 0 665676 0
[pid=16727/tid=16728] ppid=16725 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/16727/task/16728/stat : 16728 (java) R 16725 16727 11909 0 -1 4202560 2786 0 1 0 26 1 0 0 20 0 18 0 341754521 2764726272 9100 33554432000 1073741824 1073778376 140734276010832 140198832418104 140198688523012 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2699928
[startup+0.700313 s]
/proc/loadavg: 3.09 3.32 3.46 5/197 16727
/proc/meminfo: memFree=26007348/32873844 swapFree=7628/7628
[pid=16727] ppid=16725 vsize=2833056 CPUtime=1.12 cores=1,3,5,7
/proc/16727/stat : 16727 (java) S 16725 16727 11909 0 -1 4202496 16063 0 1 0 108 4 0 0 20 0 18 0 341754520 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140734276001968 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16727/statm: 708264 17237 2244 9 0 698958 0
[pid=16727/tid=16728] ppid=16725 vsize=2833056 CPUtime=0.35 cores=1,3,5,7
/proc/16727/task/16728/stat : 16728 (java) S 16725 16727 11909 0 -1 4202560 2811 0 1 0 34 1 0 0 20 0 18 0 341754521 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198832419992 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2833056
Solver just ended. Dumping a history of the last processes samples
[startup+1.1075 s]
/proc/loadavg: 3.09 3.32 3.46 2/215 16747
/proc/meminfo: memFree=25946612/32873844 swapFree=7628/7628
[pid=16727] ppid=16725 vsize=2833056 CPUtime=1.12 cores=1,3,5,7
/proc/16727/stat : 16727 (java) S 16725 16727 11909 0 -1 4202496 16063 0 1 0 108 4 0 0 20 0 18 0 341754520 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140734276001968 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16727/statm: 708264 17237 2244 9 0 698958 0
[pid=16727/tid=16728] ppid=16725 vsize=2833056 CPUtime=0.35 cores=1,3,5,7
/proc/16727/task/16728/stat : 16728 (java) S 16725 16727 11909 0 -1 4202560 2811 0 1 0 34 1 0 0 20 0 18 0 341754521 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198832419992 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16727/tid=16730] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16730/stat : 16730 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198816700584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16731] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16731/stat : 16731 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198815648040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16727/tid=16732] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16732/stat : 16732 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198814595496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16727/tid=16733] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16733/stat : 16733 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198813542952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16727/tid=16734] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16734/stat : 16734 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198812490408 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16735] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16735/stat : 16735 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198811437864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16727/tid=16736] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16736/stat : 16736 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198810385320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16737] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16737/stat : 16737 (java) S 16725 16727 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198809332776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16738] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16738/stat : 16738 (java) S 16725 16727 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341754523 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198678583400 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16727/tid=16739] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16739/stat : 16739 (java) S 16725 16727 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341754523 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198677529720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16740] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16740/stat : 16740 (java) S 16725 16727 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341754523 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198676477064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16741] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16741/stat : 16741 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198675425808 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16742] ppid=16725 vsize=2833056 CPUtime=0.37 cores=1,3,5,7
/proc/16727/task/16742/stat : 16742 (java) S 16725 16727 11909 0 -1 4202560 5095 0 0 0 36 1 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198674373176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16743] ppid=16725 vsize=2833056 CPUtime=0.36 cores=1,3,5,7
/proc/16727/task/16743/stat : 16743 (java) S 16725 16727 11909 0 -1 4202560 6909 0 0 0 34 2 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198673320632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16727/tid=16744] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16744/stat : 16744 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140197798865912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16727/tid=16745] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16745/stat : 16745 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140197797813576 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2833056
[startup+1.30062 s]
/proc/loadavg: 3.09 3.32 3.46 2/215 16747
/proc/meminfo: memFree=25946612/32873844 swapFree=7628/7628
[pid=16727] ppid=16725 vsize=2833056 CPUtime=1.12 cores=1,3,5,7
/proc/16727/stat : 16727 (java) S 16725 16727 11909 0 -1 4202496 16063 0 1 0 108 4 0 0 20 0 18 0 341754520 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140734276001968 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/16727/statm: 708264 17237 2244 9 0 698958 0
[pid=16727/tid=16728] ppid=16725 vsize=2833056 CPUtime=0.35 cores=1,3,5,7
/proc/16727/task/16728/stat : 16728 (java) S 16725 16727 11909 0 -1 4202560 2811 0 1 0 34 1 0 0 20 0 18 0 341754521 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198832419992 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16727/tid=16730] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16730/stat : 16730 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198816700584 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16731] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16731/stat : 16731 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198815648040 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16727/tid=16732] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16732/stat : 16732 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198814595496 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16727/tid=16733] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16733/stat : 16733 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198813542952 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16727/tid=16734] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16734/stat : 16734 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198812490408 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16735] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16735/stat : 16735 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198811437864 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16727/tid=16736] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16736/stat : 16736 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198810385320 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16737] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16737/stat : 16737 (java) S 16725 16727 11909 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 341754522 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198809332776 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16738] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16738/stat : 16738 (java) S 16725 16727 11909 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 341754523 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198678583400 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16727/tid=16739] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16739/stat : 16739 (java) S 16725 16727 11909 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 18 0 341754523 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198677529720 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16740] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16740/stat : 16740 (java) S 16725 16727 11909 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 341754523 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198676477064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16741] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16741/stat : 16741 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198675425808 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16742] ppid=16725 vsize=2833056 CPUtime=0.37 cores=1,3,5,7
/proc/16727/task/16742/stat : 16742 (java) S 16725 16727 11909 0 -1 4202560 5095 0 0 0 36 1 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198674373176 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16727/tid=16743] ppid=16725 vsize=2833056 CPUtime=0.36 cores=1,3,5,7
/proc/16727/task/16743/stat : 16743 (java) S 16725 16727 11909 0 -1 4202560 6909 0 0 0 34 2 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140198673320632 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16727/tid=16744] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16744/stat : 16744 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140197798865912 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16727/tid=16745] ppid=16725 vsize=2833056 CPUtime=0 cores=1,3,5,7
/proc/16727/task/16745/stat : 16745 (java) S 16725 16727 11909 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 341754526 2901049344 17237 33554432000 1073741824 1073778376 140734276010832 140197797813576 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2833056
Child status: 20
Real time (s): 1.38137
CPU time (s): 1.14283
CPU user time (s): 1.07184
CPU system time (s): 0.070989
CPU usage (%): 82.7313
Max. virtual memory (cumulated for all children) (KiB): 2833436
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.07184
system time used= 0.070989
maximum resident set size= 74896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16071
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 396
involuntary context switches= 32
runsolver used 0.005999 second user time and 0.011998 second system time
The end