runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3453751-1307194172/watcher-3453751-1307194172 -o /tmp/evaluation-result-3453751-1307194172/solver-3453751-1307194172 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453751-1307194172.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.36 3.72 3.64 2/501 18448
/proc/meminfo: memFree=23888180/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 6011 0 1 0 0 0 0 0 25 0 2 0 831016874 10694979584 5712 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2611079 5726 917 9 0 2602235 0
[pid=18448/tid=18449] ppid=18446 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) R 18446 18448 13533 0 -1 4202560 6956 0 1 0 0 0 0 0 25 0 2 0 831016875 10694979584 7772 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.028151 s]
/proc/loadavg: 3.36 3.72 3.64 2/501 18448
/proc/meminfo: memFree=23888180/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 10739 0 1 0 1 0 0 0 25 0 10 0 831016874 10705932288 10437 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2613753 10437 1515 9 0 2604501 0
[pid=18448/tid=18449] ppid=18446 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) R 18446 18448 13533 0 -1 4202560 9616 0 1 0 1 0 0 0 25 0 10 0 831016875 10705932288 10438 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 47043801748986 0 4 0 16784584 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10455012
[startup+0.100139 s]
/proc/loadavg: 3.36 3.72 3.64 2/501 18448
/proc/meminfo: memFree=23888180/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10539568 CPUtime=0.1 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 13079 0 1 0 9 1 0 0 25 0 18 0 831016874 10792517632 12756 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2634892 12756 2092 9 0 2625626 0
[pid=18448/tid=18449] ppid=18446 vsize=10539568 CPUtime=0.08 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) R 18446 18448 13533 0 -1 4202560 11153 0 1 0 7 1 0 0 25 0 18 0 831016875 10792517632 12756 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 46912505207086 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539568
[startup+0.301104 s]
/proc/loadavg: 3.36 3.72 3.64 2/501 18448
/proc/meminfo: memFree=23888180/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10549408 CPUtime=0.74 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 18796 0 1 0 72 2 0 0 25 0 22 0 831016874 10802593792 16556 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2637352 16557 2189 9 0 2628086 0
[pid=18448/tid=18449] ppid=18446 vsize=10549408 CPUtime=0.13 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) S 18446 18448 13533 0 -1 4202560 11628 0 1 0 12 1 0 0 25 0 22 0 831016875 10802593792 16557 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.74
Current children cumulated vsize (KiB) 10549408
[startup+0.701026 s]
/proc/loadavg: 3.36 3.72 3.64 2/501 18448
/proc/meminfo: memFree=23888180/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10552000 CPUtime=1.16 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 22102 0 1 0 114 2 0 0 25 0 19 0 831016874 10805248000 19131 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2638000 19133 2202 9 0 2628734 0
[pid=18448/tid=18449] ppid=18446 vsize=10552000 CPUtime=0.13 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) S 18446 18448 13533 0 -1 4202560 11630 0 1 0 12 1 0 0 21 0 19 0 831016875 10805248000 19134 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 10552000
[startup+1.50087 s]
/proc/loadavg: 3.36 3.72 3.64 2/520 18473
/proc/meminfo: memFree=23806568/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10556528 CPUtime=1.57 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 28234 0 1 0 153 4 0 0 25 0 19 0 831016874 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2639132 23181 2212 9 0 2629866 0
[pid=18448/tid=18449] ppid=18446 vsize=10556528 CPUtime=0.13 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) S 18446 18448 13533 0 -1 4202560 11633 0 1 0 12 1 0 0 17 0 19 0 831016875 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18451] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18451/stat : 18451 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016877 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18452] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18452/stat : 18452 (java) S 18446 18448 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831016877 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18453] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18453/stat : 18453 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016877 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18454] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18454/stat : 18454 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016877 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18455] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18455/stat : 18455 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016877 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18456] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18456/stat : 18456 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016877 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18457] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18457/stat : 18457 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016877 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18458] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18458/stat : 18458 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016877 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18459] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18459/stat : 18459 (java) S 18446 18448 13533 0 -1 4202560 4 0 0 0 0 0 0 0 16 0 19 0 831016878 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18460] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18460/stat : 18460 (java) S 18446 18448 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831016878 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18461] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18461/stat : 18461 (java) S 18446 18448 13533 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 19 0 831016878 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18462] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18462/stat : 18462 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016880 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18463] ppid=18446 vsize=10556528 CPUtime=0.43 cores=1,3,5,7
/proc/18448/task/18463/stat : 18463 (java) S 18446 18448 13533 0 -1 4202560 6370 0 0 0 43 0 0 0 24 0 19 0 831016880 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18464] ppid=18446 vsize=10556528 CPUtime=0.46 cores=1,3,5,7
/proc/18448/task/18464/stat : 18464 (java) S 18446 18448 13533 0 -1 4202560 5909 0 0 0 45 1 0 0 20 0 19 0 831016880 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18465] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18465/stat : 18465 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016880 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18466] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18466/stat : 18466 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831016880 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18469] ppid=18446 vsize=10556528 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18469/stat : 18469 (java) S 18446 18448 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831016890 10809884672 23181 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 10556528
[startup+3.10157 s]
/proc/loadavg: 3.33 3.70 3.64 2/520 18479
/proc/meminfo: memFree=23798384/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10557904 CPUtime=2.96 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 68521 0 1 0 287 9 0 0 25 0 22 0 831016874 10811293696 63231 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2639476 63245 2238 9 0 2630210 0
[pid=18448/tid=18449] ppid=18446 vsize=10557904 CPUtime=0.13 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) S 18446 18448 13533 0 -1 4202560 11640 0 1 0 12 1 0 0 16 0 22 0 831016875 10811293696 63252 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18451] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18451/stat : 18451 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831016877 10811293696 63260 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18452] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18452/stat : 18452 (java) S 18446 18448 13533 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 831016877 10811293696 63267 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18453] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18453/stat : 18453 (java) R 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831016877 10811293696 63275 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18448/tid=18454] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18454/stat : 18454 (java) R 18446 18448 13533 0 -1 4202560 25 0 0 0 0 0 0 0 18 0 22 0 831016877 10811293696 63282 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 47043797890745 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18448/tid=18455] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18455/stat : 18455 (java) R 18446 18448 13533 0 -1 4202560 92 0 0 0 0 0 0 0 18 0 22 0 831016877 10811293696 63290 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 47043797890761 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=18448/tid=18456] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18456/stat : 18456 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 22 0 831016877 10811293696 63296 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18457] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18457/stat : 18457 (java) R 18446 18448 13533 0 -1 4202560 169 0 0 0 0 0 0 0 18 0 22 0 831016877 10811293696 63302 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 47043802315260 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18448/tid=18458] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18458/stat : 18458 (java) R 18446 18448 13533 0 -1 4202560 97 0 0 0 0 0 0 0 18 0 22 0 831016877 10811293696 63310 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 47043797890803 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18448/tid=18459] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18459/stat : 18459 (java) S 18446 18448 13533 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 22 0 831016878 10811293696 63317 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18460] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18460/stat : 18460 (java) S 18446 18448 13533 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 831016878 10811293696 63325 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18461] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18461/stat : 18461 (java) S 18446 18448 13533 0 -1 4202560 8 0 0 0 0 0 0 0 25 0 22 0 831016878 10811293696 63332 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18462] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18462/stat : 18462 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831016880 10811293696 63338 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18463] ppid=18446 vsize=10557904 CPUtime=0.64 cores=1,3,5,7
/proc/18448/task/18463/stat : 18463 (java) S 18446 18448 13533 0 -1 4202560 6685 0 0 0 64 0 0 0 16 0 22 0 831016880 10811293696 63345 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18464] ppid=18446 vsize=10557904 CPUtime=0.73 cores=1,3,5,7
/proc/18448/task/18464/stat : 18464 (java) S 18446 18448 13533 0 -1 4202560 6556 0 0 0 72 1 0 0 15 0 22 0 831016880 10811293696 63352 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18465] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18465/stat : 18465 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831016880 10811293696 63358 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18466] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18466/stat : 18466 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016880 10811293696 63366 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18469] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18469/stat : 18469 (java) S 18446 18448 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831016890 10811293696 63373 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 10557904
Solver just ended. Dumping a history of the last processes samples
[startup+3.90142 s]
/proc/loadavg: 3.33 3.70 3.64 4/523 18485
/proc/meminfo: memFree=23601284/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10557904 CPUtime=4.62 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 130127 0 1 0 447 15 0 0 25 0 22 0 831016874 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2639476 124832 2251 9 0 2630210 0
[pid=18448/tid=18449] ppid=18446 vsize=10557904 CPUtime=0.13 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) S 18446 18448 13533 0 -1 4202560 11641 0 1 0 12 1 0 0 15 0 22 0 831016875 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18451] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18451/stat : 18451 (java) S 18446 18448 13533 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18452] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18452/stat : 18452 (java) S 18446 18448 13533 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18453] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18453/stat : 18453 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18454] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18454/stat : 18454 (java) S 18446 18448 13533 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18455] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18455/stat : 18455 (java) S 18446 18448 13533 0 -1 4202560 410 0 0 0 0 0 0 0 16 0 22 0 831016877 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18456] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18456/stat : 18456 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18457] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18457/stat : 18457 (java) S 18446 18448 13533 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18458] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18458/stat : 18458 (java) S 18446 18448 13533 0 -1 4202560 472 0 0 0 0 0 0 0 16 0 22 0 831016877 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18459] ppid=18446 vsize=10557904 CPUtime=0.03 cores=1,3,5,7
/proc/18448/task/18459/stat : 18459 (java) S 18446 18448 13533 0 -1 4202560 1473 0 0 0 3 0 0 0 15 0 22 0 831016878 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18460] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18460/stat : 18460 (java) S 18446 18448 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831016878 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18461] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18461/stat : 18461 (java) S 18446 18448 13533 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831016878 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18462] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18462/stat : 18462 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831016880 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18463] ppid=18446 vsize=10557904 CPUtime=0.66 cores=1,3,5,7
/proc/18448/task/18463/stat : 18463 (java) S 18446 18448 13533 0 -1 4202560 6688 0 0 0 66 0 0 0 15 0 22 0 831016880 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18464] ppid=18446 vsize=10557904 CPUtime=0.83 cores=1,3,5,7
/proc/18448/task/18464/stat : 18464 (java) R 18446 18448 13533 0 -1 4202560 6569 0 0 0 82 1 0 0 15 0 22 0 831016880 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 47043799050796 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18448/tid=18465] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18465/stat : 18465 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831016880 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18466] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18466/stat : 18466 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016880 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18469] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18469/stat : 18469 (java) S 18446 18448 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831016890 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18483] ppid=18446 vsize=10557904 CPUtime=1.17 cores=1,3,5,7
/proc/18448/task/18483/stat : 18483 (java) R 18446 18448 13533 0 -1 4202560 564 0 0 0 117 0 0 0 17 0 22 0 831017142 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 46912505587251 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=18448/tid=18484] ppid=18446 vsize=10557904 CPUtime=1.17 cores=1,3,5,7
/proc/18448/task/18484/stat : 18484 (java) R 18446 18448 13533 0 -1 4202560 96112 0 0 0 107 10 0 0 19 0 22 0 831017142 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 46912505731784 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18448/tid=18485] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18485/stat : 18485 (java) S 18446 18448 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017142 10811293696 124832 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.62
Current children cumulated vsize (KiB) 10557904
[startup+4.30134 s]
/proc/loadavg: 3.33 3.70 3.64 4/523 18485
/proc/meminfo: memFree=23342496/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10557904 CPUtime=5.5 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 144675 0 1 0 533 17 0 0 25 0 22 0 831016874 10811293696 139379 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2639476 139379 2251 9 0 2630210 0
[pid=18448/tid=18449] ppid=18446 vsize=10557904 CPUtime=0.13 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) S 18446 18448 13533 0 -1 4202560 11641 0 1 0 12 1 0 0 15 0 22 0 831016875 10811293696 139666 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18451] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18451/stat : 18451 (java) S 18446 18448 13533 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 139668 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18452] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18452/stat : 18452 (java) S 18446 18448 13533 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 139670 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18453] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18453/stat : 18453 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 139674 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18454] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18454/stat : 18454 (java) S 18446 18448 13533 0 -1 4202560 152 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 139675 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18455] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18455/stat : 18455 (java) S 18446 18448 13533 0 -1 4202560 410 0 0 0 0 0 0 0 16 0 22 0 831016877 10811293696 139677 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18456] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18456/stat : 18456 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 139679 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18457] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18457/stat : 18457 (java) S 18446 18448 13533 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 22 0 831016877 10811293696 139681 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18458] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18458/stat : 18458 (java) S 18446 18448 13533 0 -1 4202560 472 0 0 0 0 0 0 0 16 0 22 0 831016877 10811293696 139683 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18459] ppid=18446 vsize=10557904 CPUtime=0.03 cores=1,3,5,7
/proc/18448/task/18459/stat : 18459 (java) S 18446 18448 13533 0 -1 4202560 1473 0 0 0 3 0 0 0 16 0 22 0 831016878 10811293696 139684 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18460] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18460/stat : 18460 (java) S 18446 18448 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 22 0 831016878 10811293696 139687 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18461] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18461/stat : 18461 (java) S 18446 18448 13533 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 831016878 10811293696 139689 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18462] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18462/stat : 18462 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831016880 10811293696 139690 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18463] ppid=18446 vsize=10557904 CPUtime=0.66 cores=1,3,5,7
/proc/18448/task/18463/stat : 18463 (java) S 18446 18448 13533 0 -1 4202560 6688 0 0 0 66 0 0 0 15 0 22 0 831016880 10811293696 139692 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18464] ppid=18446 vsize=10557904 CPUtime=0.88 cores=1,3,5,7
/proc/18448/task/18464/stat : 18464 (java) S 18446 18448 13533 0 -1 4202560 6576 0 0 0 87 1 0 0 15 0 22 0 831016880 10811293696 139693 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18465] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18465/stat : 18465 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 831016880 10811293696 139694 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18466] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18466/stat : 18466 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 831016880 10811293696 139698 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18469] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18469/stat : 18469 (java) S 18446 18448 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 831016890 10811293696 139700 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18483] ppid=18446 vsize=10557904 CPUtime=1.59 cores=1,3,5,7
/proc/18448/task/18483/stat : 18483 (java) R 18446 18448 13533 0 -1 4202560 648 0 0 0 159 0 0 0 18 0 22 0 831017142 10811293696 139702 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 46912505513343 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=18448/tid=18484] ppid=18446 vsize=10557904 CPUtime=1.59 cores=1,3,5,7
/proc/18448/task/18484/stat : 18484 (java) R 18446 18448 13533 0 -1 4202560 110894 0 0 0 147 12 0 0 19 0 22 0 831017142 10811293696 139704 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 46912505997834 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18448/tid=18485] ppid=18446 vsize=10557904 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18485/stat : 18485 (java) S 18446 18448 13533 0 -1 4202560 0 0 0 0 0 0 0 0 18 0 22 0 831017142 10811293696 139706 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.5
Current children cumulated vsize (KiB) 10557904
[startup+4.70126 s]
/proc/loadavg: 3.33 3.70 3.64 4/523 18485
/proc/meminfo: memFree=23342496/32950928 swapFree=39617324/67111528
[pid=18448] ppid=18446 vsize=10556300 CPUtime=6.26 cores=1,3,5,7
/proc/18448/stat : 18448 (java) S 18446 18448 13533 0 -1 4202496 153110 0 1 0 608 18 0 0 25 0 19 0 831016874 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/18448/statm: 2639075 144552 2251 9 0 2629809 0
[pid=18448/tid=18449] ppid=18446 vsize=10556300 CPUtime=0.13 cores=1,3,5,7
/proc/18448/task/18449/stat : 18449 (java) R 18446 18448 13533 0 -1 4202560 11641 0 1 0 12 1 0 0 15 0 19 0 831016875 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 46912505800400 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=18448/tid=18451] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18451/stat : 18451 (java) S 18446 18448 13533 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 19 0 831016877 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18452] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18452/stat : 18452 (java) S 18446 18448 13533 0 -1 4202560 9 0 0 0 0 0 0 0 15 0 19 0 831016877 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18453] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18453/stat : 18453 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831016877 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18454] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18454/stat : 18454 (java) S 18446 18448 13533 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 831016877 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18455] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18455/stat : 18455 (java) S 18446 18448 13533 0 -1 4202560 411 0 0 0 0 0 0 0 16 0 19 0 831016877 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18456] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18456/stat : 18456 (java) S 18446 18448 13533 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 831016877 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18457] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18457/stat : 18457 (java) S 18446 18448 13533 0 -1 4202560 262 0 0 0 0 0 0 0 15 0 19 0 831016877 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18458] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18458/stat : 18458 (java) S 18446 18448 13533 0 -1 4202560 472 0 0 0 0 0 0 0 15 0 19 0 831016877 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 1 0 0 0
[pid=18448/tid=18459] ppid=18446 vsize=10556300 CPUtime=0.06 cores=1,3,5,7
/proc/18448/task/18459/stat : 18459 (java) S 18446 18448 13533 0 -1 4202560 1969 0 0 0 6 0 0 0 15 0 19 0 831016878 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 0 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
[pid=18448/tid=18460] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18460/stat : 18460 (java) S 18446 18448 13533 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 831016878 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18461] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18461/stat : 18461 (java) S 18446 18448 13533 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 831016878 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18462] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18462/stat : 18462 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016880 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092055985 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18463] ppid=18446 vsize=10556300 CPUtime=0.7 cores=1,3,5,7
/proc/18448/task/18463/stat : 18463 (java) S 18446 18448 13533 0 -1 4202560 6688 0 0 0 70 0 0 0 15 0 19 0 831016880 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18464] ppid=18446 vsize=10556300 CPUtime=1.19 cores=1,3,5,7
/proc/18448/task/18464/stat : 18464 (java) S 18446 18448 13533 0 -1 4202560 9564 0 0 0 118 1 0 0 16 0 19 0 831016880 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18465] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18465/stat : 18465 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831016880 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048281 0 4 0 16800975 18446604465402333120 0 0 -1 3 0 0 0
[pid=18448/tid=18466] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18466/stat : 18466 (java) S 18446 18448 13533 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831016880 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 5 0 0 0
[pid=18448/tid=18469] ppid=18446 vsize=10556300 CPUtime=0 cores=1,3,5,7
/proc/18448/task/18469/stat : 18469 (java) S 18446 18448 13533 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831016890 10809651200 144552 33554432000 1073741824 1073778376 140736060462304 18446744073709551615 208092048896 0 4 0 16800975 18446604465402333120 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 10556300
Child status: 30
Real time (s): 4.74844
CPU time (s): 6.32004
CPU user time (s): 6.10707
CPU system time (s): 0.212967
CPU usage (%): 133.097
Max. virtual memory (cumulated for all children) (KiB): 10564780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.10707
system time used= 0.212967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153121
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 492
involuntary context switches= 135
runsolver used 0.021996 second user time and 0.068989 second system time
The end