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-3456942-1307207439/watcher-3456942-1307207439 -o /tmp/evaluation-result-3456942-1307207439/solver-3456942-1307207439 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456942-1307207439.opb
running on 4 cores: 0,2,4,6
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: 1.00 1.01 1.00 2/475 20760
/proc/meminfo: memFree=27387832/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 3963 0 1 0 0 0 0 0 25 0 2 0 832343546 10694979584 3664 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2611079 3679 917 9 0 2602235 0
[pid=20760/tid=20761] ppid=20758 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 4836 0 1 0 0 0 0 0 25 0 2 0 832343547 10694979584 5652 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0443881 s]
/proc/loadavg: 1.00 1.01 1.00 2/475 20760
/proc/meminfo: memFree=27387832/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 11252 0 1 0 2 1 0 0 25 0 13 0 832343546 10718699520 10948 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2616870 10948 1672 9 0 2607618 0
[pid=20760/tid=20761] ppid=20758 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 10104 0 1 0 2 1 0 0 25 0 13 0 832343547 10718699520 10948 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 47972957024261 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.104384 s]
/proc/loadavg: 1.00 1.01 1.00 2/475 20760
/proc/meminfo: memFree=27387832/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10539544 CPUtime=0.09 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 13012 0 1 0 8 1 0 0 25 0 18 0 832343546 10792493056 12708 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2634886 12708 2092 9 0 2625620 0
[pid=20760/tid=20761] ppid=20758 vsize=10539544 CPUtime=0.08 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 11072 0 1 0 7 1 0 0 25 0 18 0 832343547 10792493056 12708 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539544
[startup+0.300288 s]
/proc/loadavg: 1.00 1.01 1.00 2/475 20760
/proc/meminfo: memFree=27387832/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10543248 CPUtime=0.48 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 18214 0 1 0 46 2 0 0 25 0 19 0 832343546 10796285952 17128 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2635812 17146 2202 9 0 2626546 0
[pid=20760/tid=20761] ppid=20758 vsize=10543248 CPUtime=0.27 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 13510 0 1 0 26 1 0 0 25 0 19 0 832343547 10796285952 17164 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 46912505537343 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 10543248
[startup+0.700212 s]
/proc/loadavg: 1.00 1.01 1.00 2/475 20760
/proc/meminfo: memFree=27387832/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10553104 CPUtime=1.62 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 51080 0 1 0 157 5 0 0 25 0 19 0 832343546 10806378496 47319 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2638276 47325 2219 9 0 2629010 0
[pid=20760/tid=20761] ppid=20758 vsize=10553104 CPUtime=0.67 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 39894 0 1 0 63 4 0 0 25 0 19 0 832343547 10806378496 47329 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 46912505537386 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.62
Current children cumulated vsize (KiB) 10553104
[startup+1.50109 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20779
/proc/meminfo: memFree=27082356/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10550640 CPUtime=2.52 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 131800 0 1 0 239 13 0 0 25 0 19 0 832343546 10803855360 127416 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2637660 127423 2224 9 0 2628394 0
[pid=20760/tid=20761] ppid=20758 vsize=10550640 CPUtime=1.47 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 120559 0 1 0 136 11 0 0 25 0 19 0 832343547 10803855360 127424 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 46912505537343 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 127428 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 127433 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 127434 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 127441 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 127441 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 127446 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 127449 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20770] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20770/stat : 20770 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 127451 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20771] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20771/stat : 20771 (java) S 20758 20760 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832343550 10803855360 127457 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 0 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20772] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20772/stat : 20772 (java) S 20758 20760 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 127457 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20773] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20773/stat : 20773 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 127463 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20774] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20774/stat : 20774 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 127465 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092055985 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20775] ppid=20758 vsize=10550640 CPUtime=0.59 cores=0,2,4,6
/proc/20760/task/20775/stat : 20775 (java) S 20758 20760 20277 0 -1 4202560 4909 0 0 0 59 0 0 0 23 0 19 0 832343552 10803855360 127469 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20776] ppid=20758 vsize=10550640 CPUtime=0.42 cores=0,2,4,6
/proc/20760/task/20776/stat : 20776 (java) S 20758 20760 20277 0 -1 4202560 5179 0 0 0 42 0 0 0 24 0 19 0 832343552 10803855360 127473 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 0 0 0 0
[pid=20760/tid=20777] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20777/stat : 20777 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 127474 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20778] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20778/stat : 20778 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832343552 10803855360 127481 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20779] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20779/stat : 20779 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343564 10803855360 127481 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 10550640
[startup+3.10087 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20779
/proc/meminfo: memFree=26704032/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10550640 CPUtime=4.15 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 237539 0 1 0 389 26 0 0 25 0 19 0 832343546 10803855360 233153 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2637660 233153 2224 9 0 2628394 0
[pid=20760/tid=20761] ppid=20758 vsize=10550640 CPUtime=3.07 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 226285 0 1 0 283 24 0 0 25 0 19 0 832343547 10803855360 233153 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 46912505836955 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 233153 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 233153 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 233153 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 233154 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 233154 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 233154 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 233154 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20770] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20770/stat : 20770 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 233155 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20771] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20771/stat : 20771 (java) S 20758 20760 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832343550 10803855360 233155 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 0 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20772] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20772/stat : 20772 (java) S 20758 20760 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 233155 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20773] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20773/stat : 20773 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 233155 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20774] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20774/stat : 20774 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 233155 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092055985 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20775] ppid=20758 vsize=10550640 CPUtime=0.62 cores=0,2,4,6
/proc/20760/task/20775/stat : 20775 (java) S 20758 20760 20277 0 -1 4202560 4913 0 0 0 62 0 0 0 15 0 19 0 832343552 10803855360 233156 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20776] ppid=20758 vsize=10550640 CPUtime=0.43 cores=0,2,4,6
/proc/20760/task/20776/stat : 20776 (java) S 20758 20760 20277 0 -1 4202560 5180 0 0 0 43 0 0 0 15 0 19 0 832343552 10803855360 233156 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 0 0 0 0
[pid=20760/tid=20777] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20777/stat : 20777 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 233156 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20778] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20778/stat : 20778 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832343552 10803855360 233156 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20779] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20779/stat : 20779 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343564 10803855360 233156 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.15
Current children cumulated vsize (KiB) 10550640
[startup+6.30126 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20779
/proc/meminfo: memFree=25757900/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10550640 CPUtime=7.35 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 489035 0 1 0 680 55 0 0 25 0 19 0 832343546 10803855360 484640 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2637660 484640 2225 9 0 2628394 0
[pid=20760/tid=20761] ppid=20758 vsize=10550640 CPUtime=6.28 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 477780 0 1 0 574 54 0 0 25 0 19 0 832343547 10803855360 484640 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 46912505625535 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 484640 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 484642 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 484648 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 484654 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 484654 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 484654 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 484654 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20770] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20770/stat : 20770 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 484655 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20771] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20771/stat : 20771 (java) S 20758 20760 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832343550 10803855360 484655 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 0 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20772] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20772/stat : 20772 (java) S 20758 20760 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 484655 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20773] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20773/stat : 20773 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 484655 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20774] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20774/stat : 20774 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 484656 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092055985 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20775] ppid=20758 vsize=10550640 CPUtime=0.62 cores=0,2,4,6
/proc/20760/task/20775/stat : 20775 (java) S 20758 20760 20277 0 -1 4202560 4913 0 0 0 62 0 0 0 15 0 19 0 832343552 10803855360 484663 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20776] ppid=20758 vsize=10550640 CPUtime=0.43 cores=0,2,4,6
/proc/20760/task/20776/stat : 20776 (java) S 20758 20760 20277 0 -1 4202560 5180 0 0 0 43 0 0 0 15 0 19 0 832343552 10803855360 484669 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 0 0 0 0
[pid=20760/tid=20777] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20777/stat : 20777 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 484669 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20778] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20778/stat : 20778 (java) S 20758 20760 20277 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 832343552 10803855360 484669 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20779] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20779/stat : 20779 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343564 10803855360 484669 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 7.35
Current children cumulated vsize (KiB) 10550640
Solver just ended. Dumping a history of the last processes samples
[startup+7.10099 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20779
/proc/meminfo: memFree=25391224/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10550640 CPUtime=8.16 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 537886 0 1 0 755 61 0 0 25 0 19 0 832343546 10803855360 533491 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2637660 533501 2225 9 0 2628394 0
[pid=20760/tid=20761] ppid=20758 vsize=10550640 CPUtime=7.07 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 526646 0 1 0 648 59 0 0 25 0 19 0 832343547 10803855360 533506 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 46912505537386 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 533514 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 533521 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 533528 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 533534 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20770] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20770/stat : 20770 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20771] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20771/stat : 20771 (java) S 20758 20760 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832343550 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 0 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20772] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20772/stat : 20772 (java) S 20758 20760 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20773] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20773/stat : 20773 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20774] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20774/stat : 20774 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092055985 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20775] ppid=20758 vsize=10550640 CPUtime=0.62 cores=0,2,4,6
/proc/20760/task/20775/stat : 20775 (java) S 20758 20760 20277 0 -1 4202560 4913 0 0 0 62 0 0 0 15 0 19 0 832343552 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20776] ppid=20758 vsize=10550640 CPUtime=0.44 cores=0,2,4,6
/proc/20760/task/20776/stat : 20776 (java) S 20758 20760 20277 0 -1 4202560 5180 0 0 0 44 0 0 0 15 0 19 0 832343552 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 0 0 0 0
[pid=20760/tid=20777] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20777/stat : 20777 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20778] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20778/stat : 20778 (java) S 20758 20760 20277 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 832343552 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20779] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20779/stat : 20779 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343564 10803855360 533535 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.16
Current children cumulated vsize (KiB) 10550640
[startup+7.9009 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20779
/proc/meminfo: memFree=25217624/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=10550640 CPUtime=8.96 cores=0,2,4,6
/proc/20760/stat : 20760 (java) S 20758 20760 20277 0 -1 4202496 567949 0 1 0 831 65 0 0 25 0 19 0 832343546 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 2637660 563554 2225 9 0 2628394 0
[pid=20760/tid=20761] ppid=20758 vsize=10550640 CPUtime=7.88 cores=0,2,4,6
/proc/20760/task/20761/stat : 20761 (java) R 20758 20760 20277 0 -1 4202560 556694 0 1 0 724 64 0 0 25 0 19 0 832343547 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 46912505594896 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=20760/tid=20763] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20763/stat : 20763 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20764] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20764/stat : 20764 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20765] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20765/stat : 20765 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20766] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20766/stat : 20766 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20767] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20767/stat : 20767 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20768] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20768/stat : 20768 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20769] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20769/stat : 20769 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20770] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20770/stat : 20770 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343549 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20771] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20771/stat : 20771 (java) S 20758 20760 20277 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 832343550 10803855360 563554 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 0 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20772] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20772/stat : 20772 (java) S 20758 20760 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 563559 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20773] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20773/stat : 20773 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343550 10803855360 563566 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20774] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20774/stat : 20774 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 563573 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092055985 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20775] ppid=20758 vsize=10550640 CPUtime=0.62 cores=0,2,4,6
/proc/20760/task/20775/stat : 20775 (java) S 20758 20760 20277 0 -1 4202560 4913 0 0 0 62 0 0 0 15 0 19 0 832343552 10803855360 563579 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20776] ppid=20758 vsize=10550640 CPUtime=0.44 cores=0,2,4,6
/proc/20760/task/20776/stat : 20776 (java) S 20758 20760 20277 0 -1 4202560 5180 0 0 0 44 0 0 0 15 0 19 0 832343552 10803855360 563587 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 0 0 0 0
[pid=20760/tid=20777] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20777/stat : 20777 (java) S 20758 20760 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832343552 10803855360 563594 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048281 0 4 0 16800975 18446604440513415936 0 0 -1 2 0 0 0
[pid=20760/tid=20778] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20778/stat : 20778 (java) S 20758 20760 20277 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 832343552 10803855360 563601 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
[pid=20760/tid=20779] ppid=20758 vsize=10550640 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20779/stat : 20779 (java) S 20758 20760 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832343564 10803855360 563607 33554432000 1073741824 1073778376 140736565833168 18446744073709551615 208092048896 0 4 0 16800975 18446604440513415936 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 8.96
Current children cumulated vsize (KiB) 10550640
[startup+8.10102 s]
/proc/loadavg: 1.00 1.01 1.00 2/494 20779
/proc/meminfo: memFree=25217624/32950928 swapFree=39617324/67111528
[pid=20760] ppid=20758 vsize=0 CPUtime=9.16 cores=0,2,4,6
/proc/20760/stat : 20760 (java) Z 20758 20760 20277 0 -1 4203548 580916 0 1 0 848 68 0 0 18 0 2 0 832343546 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/20760/statm: 0 0 0 0 0 0 0
[pid=20760/tid=20770] ppid=20758 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/20760/task/20770/stat : 20770 (java) R 20758 20760 20277 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 832343549 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 9.16
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 8.1952
CPU time (s): 9.26459
CPU user time (s): 8.48871
CPU system time (s): 0.775882
CPU usage (%): 113.049
Max. virtual memory (cumulated for all children) (KiB): 10555152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.48871
system time used= 0.775882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 580916
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= 403
involuntary context switches= 108
runsolver used 0.044993 second user time and 0.099984 second system time
The end