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-3456977-1307213129/watcher-3456977-1307213129 -o /tmp/evaluation-result-3456977-1307213129/solver-3456977-1307213129 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456977-1307213129.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.04 1.05 1.00 1/475 21252
/proc/meminfo: memFree=27387696/32950928 swapFree=39617324/67111528
[pid=21252] ppid=21250 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21252/stat : 21252 (java) S 21250 21252 20277 0 -1 4202496 6133 0 1 0 0 0 0 0 25 0 2 0 832912523 10694979584 5836 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/21252/statm: 2611079 5849 917 9 0 2602235 0
[pid=21252/tid=21253] ppid=21250 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21253/stat : 21253 (java) R 21250 21252 20277 0 -1 4202560 6955 0 1 0 0 0 0 0 25 0 2 0 832912523 10694979584 7771 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208079926331 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.115651 s]
/proc/loadavg: 1.04 1.05 1.00 1/475 21252
/proc/meminfo: memFree=27387696/32950928 swapFree=39617324/67111528
[pid=21252] ppid=21250 vsize=10540020 CPUtime=0.13 cores=0,2,4,6
/proc/21252/stat : 21252 (java) S 21250 21252 20277 0 -1 4202496 13367 0 1 0 12 1 0 0 25 0 18 0 832912523 10792980480 13023 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21252/statm: 2635005 13025 2133 9 0 2625739 0
[pid=21252/tid=21253] ppid=21250 vsize=10540020 CPUtime=0.1 cores=0,2,4,6
/proc/21252/task/21253/stat : 21253 (java) R 21250 21252 20277 0 -1 4202560 11334 0 1 0 9 1 0 0 25 0 18 0 832912523 10792980480 13027 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 47768406463235 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540020
[startup+0.20095 s]
/proc/loadavg: 1.04 1.05 1.00 1/475 21252
/proc/meminfo: memFree=27387696/32950928 swapFree=39617324/67111528
[pid=21252] ppid=21250 vsize=10541468 CPUtime=0.27 cores=0,2,4,6
/proc/21252/stat : 21252 (java) S 21250 21252 20277 0 -1 4202496 14077 0 1 0 26 1 0 0 25 0 19 0 832912523 10794463232 13701 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21252/statm: 2635367 13701 2187 9 0 2626101 0
[pid=21252/tid=21253] ppid=21250 vsize=10541468 CPUtime=0.19 cores=0,2,4,6
/proc/21252/task/21253/stat : 21253 (java) R 21250 21252 20277 0 -1 4202560 11800 0 1 0 18 1 0 0 25 0 19 0 832912523 10794463232 13702 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10541468
[startup+0.307653 s]
/proc/loadavg: 1.04 1.05 1.00 1/475 21252
/proc/meminfo: memFree=27387696/32950928 swapFree=39617324/67111528
[pid=21252] ppid=21250 vsize=10550940 CPUtime=0.59 cores=0,2,4,6
/proc/21252/stat : 21252 (java) S 21250 21252 20277 0 -1 4202496 21611 0 1 0 57 2 0 0 25 0 19 0 832912523 10804162560 19060 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21252/statm: 2637735 19060 2214 9 0 2628469 0
[pid=21252/tid=21253] ppid=21250 vsize=10550940 CPUtime=0.29 cores=0,2,4,6
/proc/21252/task/21253/stat : 21253 (java) R 21250 21252 20277 0 -1 4202560 14094 0 1 0 28 1 0 0 18 0 19 0 832912523 10804162560 19060 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 46912505537429 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 10550940
[startup+0.700601 s]
/proc/loadavg: 1.04 1.05 1.00 1/475 21252
/proc/meminfo: memFree=27387696/32950928 swapFree=39617324/67111528
[pid=21252] ppid=21250 vsize=10552680 CPUtime=1.69 cores=0,2,4,6
/proc/21252/stat : 21252 (java) S 21250 21252 20277 0 -1 4202496 52687 0 1 0 162 7 0 0 25 0 19 0 832912523 10805944320 49144 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21252/statm: 2638170 49145 2218 9 0 2628904 0
[pid=21252/tid=21253] ppid=21250 vsize=10552680 CPUtime=0.68 cores=0,2,4,6
/proc/21252/task/21253/stat : 21253 (java) R 21250 21252 20277 0 -1 4202560 40625 0 1 0 64 4 0 0 18 0 19 0 832912523 10805944320 49148 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 46912505807897 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10552680
[startup+1.50145 s]
/proc/loadavg: 1.03 1.05 1.00 2/494 21271
/proc/meminfo: memFree=27041236/32950928 swapFree=39617324/67111528
[pid=21252] ppid=21250 vsize=10552680 CPUtime=2.71 cores=0,2,4,6
/proc/21252/stat : 21252 (java) S 21250 21252 20277 0 -1 4202496 134386 0 1 0 255 16 0 0 25 0 19 0 832912523 10805944320 130842 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21252/statm: 2638170 130848 2225 9 0 2628904 0
[pid=21252/tid=21253] ppid=21250 vsize=10552680 CPUtime=1.48 cores=0,2,4,6
/proc/21252/task/21253/stat : 21253 (java) R 21250 21252 20277 0 -1 4202560 122295 0 1 0 135 13 0 0 19 0 19 0 832912523 10805944320 130851 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 46912505552330 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21255/stat : 21255 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 130855 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21256/stat : 21256 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 130858 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21257/stat : 21257 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 130862 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21258/stat : 21258 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 130865 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21259/stat : 21259 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 130868 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21260] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21260/stat : 21260 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 130871 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21261] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21261/stat : 21261 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 130874 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21262] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21262/stat : 21262 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 130877 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21263] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21263/stat : 21263 (java) S 21250 21252 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832912526 10805944320 130881 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 0 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21264] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21264/stat : 21264 (java) S 21250 21252 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832912526 10805944320 130883 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21265] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21265/stat : 21265 (java) S 21250 21252 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912526 10805944320 130886 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21266] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21266/stat : 21266 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912528 10805944320 130889 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092055985 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21267] ppid=21250 vsize=10552680 CPUtime=0.64 cores=0,2,4,6
/proc/21252/task/21267/stat : 21267 (java) S 21250 21252 20277 0 -1 4202560 5321 0 0 0 64 0 0 0 21 0 19 0 832912528 10805944320 130891 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 0 0 0 0
[pid=21252/tid=21268] ppid=21250 vsize=10552680 CPUtime=0.55 cores=0,2,4,6
/proc/21252/task/21268/stat : 21268 (java) S 21250 21252 20277 0 -1 4202560 5620 0 0 0 54 1 0 0 15 0 19 0 832912528 10805944320 130894 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 4 0 0 0
[pid=21252/tid=21269] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21269/stat : 21269 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912528 10805944320 130896 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21270] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21270/stat : 21270 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832912528 10805944320 130898 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21271] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21271/stat : 21271 (java) S 21250 21252 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912539 10805944320 130899 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.71
Current children cumulated vsize (KiB) 10552680
Solver just ended. Dumping a history of the last processes samples
[startup+1.60131 s]
/proc/loadavg: 1.03 1.05 1.00 2/494 21271
/proc/meminfo: memFree=27041236/32950928 swapFree=39617324/67111528
[pid=21252] ppid=21250 vsize=10552680 CPUtime=2.81 cores=0,2,4,6
/proc/21252/stat : 21252 (java) S 21250 21252 20277 0 -1 4202496 145679 0 1 0 264 17 0 0 25 0 19 0 832912523 10805944320 142136 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21252/statm: 2638170 142140 2225 9 0 2628904 0
[pid=21252/tid=21253] ppid=21250 vsize=10552680 CPUtime=1.59 cores=0,2,4,6
/proc/21252/task/21253/stat : 21253 (java) R 21250 21252 20277 0 -1 4202560 133586 0 1 0 144 15 0 0 19 0 19 0 832912523 10805944320 142142 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 46912505631192 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21255/stat : 21255 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 142144 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21256/stat : 21256 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 142147 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21257/stat : 21257 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 142148 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21258/stat : 21258 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 142152 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21259/stat : 21259 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 142155 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21260] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21260/stat : 21260 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 142155 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21261] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21261/stat : 21261 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 142155 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21262] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21262/stat : 21262 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 142155 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21263] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21263/stat : 21263 (java) S 21250 21252 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832912526 10805944320 142156 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 0 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21264] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21264/stat : 21264 (java) S 21250 21252 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832912526 10805944320 142157 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21265] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21265/stat : 21265 (java) S 21250 21252 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912526 10805944320 142159 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21266] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21266/stat : 21266 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912528 10805944320 142160 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092055985 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21267] ppid=21250 vsize=10552680 CPUtime=0.64 cores=0,2,4,6
/proc/21252/task/21267/stat : 21267 (java) S 21250 21252 20277 0 -1 4202560 5321 0 0 0 64 0 0 0 21 0 19 0 832912528 10805944320 142162 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 0 0 0 0
[pid=21252/tid=21268] ppid=21250 vsize=10552680 CPUtime=0.55 cores=0,2,4,6
/proc/21252/task/21268/stat : 21268 (java) S 21250 21252 20277 0 -1 4202560 5620 0 0 0 54 1 0 0 15 0 19 0 832912528 10805944320 142164 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 4 0 0 0
[pid=21252/tid=21269] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21269/stat : 21269 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912528 10805944320 142166 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21270] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21270/stat : 21270 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832912528 10805944320 142167 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21271] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21271/stat : 21271 (java) S 21250 21252 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912539 10805944320 142168 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10552680
[startup+2.00135 s]
/proc/loadavg: 1.03 1.05 1.00 2/494 21271
/proc/meminfo: memFree=27041236/32950928 swapFree=39617324/67111528
[pid=21252] ppid=21250 vsize=10552680 CPUtime=3.33 cores=0,2,4,6
/proc/21252/stat : 21252 (java) S 21250 21252 20277 0 -1 4202496 185219 0 1 0 312 21 0 0 25 0 19 0 832912523 10805944320 181675 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21252/statm: 2638170 181678 2225 9 0 2628904 0
[pid=21252/tid=21253] ppid=21250 vsize=10552680 CPUtime=1.98 cores=0,2,4,6
/proc/21252/task/21253/stat : 21253 (java) R 21250 21252 20277 0 -1 4202560 173092 0 1 0 180 18 0 0 20 0 19 0 832912523 10805944320 181680 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 46912505631170 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21255/stat : 21255 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 181682 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21256/stat : 21256 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 181684 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21257/stat : 21257 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 181687 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21258/stat : 21258 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 181689 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21259/stat : 21259 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 181691 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21260] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21260/stat : 21260 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 181693 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21261] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21261/stat : 21261 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 181695 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21262] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21262/stat : 21262 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 181697 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21263] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21263/stat : 21263 (java) S 21250 21252 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832912526 10805944320 181699 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 0 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21264] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21264/stat : 21264 (java) S 21250 21252 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832912526 10805944320 181701 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21265] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21265/stat : 21265 (java) S 21250 21252 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912526 10805944320 181703 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21266] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21266/stat : 21266 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912528 10805944320 181705 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092055985 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21267] ppid=21250 vsize=10552680 CPUtime=0.64 cores=0,2,4,6
/proc/21252/task/21267/stat : 21267 (java) S 21250 21252 20277 0 -1 4202560 5321 0 0 0 64 0 0 0 21 0 19 0 832912528 10805944320 181706 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 0 0 0 0
[pid=21252/tid=21268] ppid=21250 vsize=10552680 CPUtime=0.68 cores=0,2,4,6
/proc/21252/task/21268/stat : 21268 (java) S 21250 21252 20277 0 -1 4202560 5652 0 0 0 67 1 0 0 15 0 19 0 832912528 10805944320 181708 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 4 0 0 0
[pid=21252/tid=21269] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21269/stat : 21269 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912528 10805944320 181709 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21270] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21270/stat : 21270 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832912528 10805944320 181711 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21271] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21271/stat : 21271 (java) S 21250 21252 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912539 10805944320 181714 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 10552680
[startup+2.20131 s]
/proc/loadavg: 1.03 1.05 1.00 2/494 21271
/proc/meminfo: memFree=26588760/32950928 swapFree=39617324/67111528
[pid=21252] ppid=21250 vsize=10552680 CPUtime=3.56 cores=0,2,4,6
/proc/21252/stat : 21252 (java) S 21250 21252 20277 0 -1 4202496 206064 0 1 0 334 22 0 0 25 0 19 0 832912523 10805944320 202519 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/21252/statm: 2638170 202519 2225 9 0 2628904 0
[pid=21252/tid=21253] ppid=21250 vsize=10552680 CPUtime=2.2 cores=0,2,4,6
/proc/21252/task/21253/stat : 21253 (java) R 21250 21252 20277 0 -1 4202560 194323 0 1 0 200 20 0 0 20 0 19 0 832912523 10805944320 202914 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 46912505583824 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=21252/tid=21255] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21255/stat : 21255 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 202919 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21256] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21256/stat : 21256 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 202923 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21257] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21257/stat : 21257 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 202927 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21258] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21258/stat : 21258 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 202930 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21259] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21259/stat : 21259 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 202931 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21260] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21260/stat : 21260 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 202933 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21261] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21261/stat : 21261 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 202934 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21262] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21262/stat : 21262 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912525 10805944320 202936 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21263] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21263/stat : 21263 (java) S 21250 21252 20277 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 832912526 10805944320 202938 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 0 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21264] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21264/stat : 21264 (java) S 21250 21252 20277 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 832912526 10805944320 202940 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21265] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21265/stat : 21265 (java) S 21250 21252 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912526 10805944320 202941 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21266] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21266/stat : 21266 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912528 10805944320 202943 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092055985 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21267] ppid=21250 vsize=10552680 CPUtime=0.64 cores=0,2,4,6
/proc/21252/task/21267/stat : 21267 (java) S 21250 21252 20277 0 -1 4202560 5321 0 0 0 64 0 0 0 21 0 19 0 832912528 10805944320 202945 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 0 0 0 0
[pid=21252/tid=21268] ppid=21250 vsize=10552680 CPUtime=0.7 cores=0,2,4,6
/proc/21252/task/21268/stat : 21268 (java) S 21250 21252 20277 0 -1 4202560 5655 0 0 0 69 1 0 0 15 0 19 0 832912528 10805944320 202946 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 4 0 0 0
[pid=21252/tid=21269] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21269/stat : 21269 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 832912528 10805944320 202948 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048281 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21270] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21270/stat : 21270 (java) S 21250 21252 20277 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 832912528 10805944320 202949 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
[pid=21252/tid=21271] ppid=21250 vsize=10552680 CPUtime=0 cores=0,2,4,6
/proc/21252/task/21271/stat : 21271 (java) S 21250 21252 20277 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 832912539 10805944320 202951 33554432000 1073741824 1073778376 140733360826448 18446744073709551615 208092048896 0 4 0 16800975 18446604441565346560 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.56
Current children cumulated vsize (KiB) 10552680
Child status: 10
Real time (s): 2.30612
CPU time (s): 3.66744
CPU user time (s): 3.39548
CPU system time (s): 0.271958
CPU usage (%): 159.031
Max. virtual memory (cumulated for all children) (KiB): 10552680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.39548
system time used= 0.271958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210322
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= 285
involuntary context switches= 51
runsolver used 0.018997 second user time and 0.035994 second system time
The end