runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4262593-1502427099/watcher-4262593-1502427099 -o /tmp/evaluation-result-4262593-1502427099/solver-4262593-1502427099 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1394 --watchdog 2580 bin/concrete HOME/instance-4262593-1502427099.xml
pid=4525
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.73 1.45 1.42 3/194 4528
/proc/meminfo: memFree=30855328/32770624 swapFree=0/499264
[pid=4528] ppid=4525 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/4528/stat : 4528 (runsolver) D 4525 4528 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 44930685 24240128 106 18446744073709551615 4194304 4338465 140734027499856 140734027497496 140237606642391 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 25624576 140734027505873 140734027506249 140734027506249 140734027509706 0
/proc/4528/statm: 5918 106 53 36 0 2156 0
[startup+0.100039 s]
/proc/loadavg: 1.73 1.45 1.42 3/194 4528
/proc/meminfo: memFree=30855328/32770624 swapFree=0/499264
[pid=4528] ppid=4525 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/4528/stat : 4528 (bash) S 4525 4528 1330 0 -1 4202496 897 6476 0 0 0 0 0 1 20 0 1 0 44930685 9867264 377 18446744073709551615 4194304 5098028 140734833702512 140734833696520 139932809010176 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 36192256 140734833709588 140734833709673 140734833709673 140734833713130 0
/proc/4528/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200151 s]
/proc/loadavg: 1.73 1.45 1.42 3/194 4528
/proc/meminfo: memFree=30855328/32770624 swapFree=0/499264
[pid=4528] ppid=4525 vsize=9636 CPUtime=0.07 cores=0,2,4,6
/proc/4528/stat : 4528 (bash) S 4525 4528 1330 0 -1 4202496 937 11793 0 0 0 0 5 2 20 0 1 0 44930685 9867264 377 18446744073709551615 4194304 5098028 140734833702512 140734833698344 139932809010176 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 7 0 0 7196144 7232144 36192256 140734833709588 140734833709673 140734833709673 140734833713130 0
/proc/4528/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9636
[startup+0.30029 s]
/proc/loadavg: 1.73 1.45 1.42 3/194 4528
/proc/meminfo: memFree=30855328/32770624 swapFree=0/499264
[pid=4528] ppid=4525 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/4528/stat : 4528 (java) S 4525 4528 1330 0 -1 1077944320 5872 12471 0 0 5 1 5 2 20 0 14 0 44930685 14241083392 5539 18446744073709551615 4194304 4196468 140734669026384 140734669008928 140020505878263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
/proc/4528/statm: 3476827 5539 2559 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.701062 s]
/proc/loadavg: 1.73 1.45 1.42 3/194 4528
/proc/meminfo: memFree=30855328/32770624 swapFree=0/499264
[pid=4528] ppid=4525 vsize=13974784 CPUtime=0.69 cores=0,2,4,6
/proc/4528/stat : 4528 (java) S 4525 4528 1330 0 -1 1077944320 14041 12471 0 0 58 4 5 2 20 0 15 0 44930685 14310178816 14987 18446744073709551615 4194304 4196468 140734669026384 140734669008928 140020505878263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
/proc/4528/statm: 3493696 14987 3125 1 0 3482965 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13974784
[startup+1.50066 s]
/proc/loadavg: 1.73 1.45 1.42 3/209 4591
/proc/meminfo: memFree=30759908/32770624 swapFree=0/499300
[pid=4528] ppid=4525 vsize=13985408 CPUtime=1.93 cores=0,2,4,6
/proc/4528/stat : 4528 (java) S 4525 4528 1330 0 -1 1077944320 29630 12471 0 0 176 10 5 2 20 0 15 0 44930685 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140734669008928 140020505878263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
/proc/4528/statm: 3496352 39709 3372 1 0 3485525 0
[pid=4528/tid=4578] ppid=4525 vsize=13985408 CPUtime=1.29 cores=0,2,4,6
/proc/4528/task/4578/stat : 4578 (java) S 4525 4528 1330 0 -1 1077944384 22364 12471 0 0 116 6 5 2 20 0 15 0 44930706 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140020510099904 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4579] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4579/stat : 4579 (java) S 4525 4528 1330 0 -1 1077944384 47 12471 0 0 0 0 5 2 20 0 15 0 44930706 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140020440312976 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4580] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4580/stat : 4580 (java) S 4525 4528 1330 0 -1 1077944384 54 12471 0 0 0 0 5 2 20 0 15 0 44930706 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140020439260176 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4581] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4581/stat : 4581 (java) S 4525 4528 1330 0 -1 1077944384 50 12471 0 0 0 0 5 2 20 0 15 0 44930706 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140020438207376 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4582] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4582/stat : 4582 (java) S 4525 4528 1330 0 -1 1077944384 194 12471 0 0 0 0 5 2 20 0 15 0 44930706 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140020437154576 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4583] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4583/stat : 4583 (java) R 4525 4528 1330 0 -1 4202560 1263 12471 0 0 0 0 5 2 20 0 15 0 44930708 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140019983934144 140020487516579 0 0 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4584] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4584/stat : 4584 (java) S 4525 4528 1330 0 -1 1077944384 33 12471 0 0 0 0 5 2 20 0 15 0 44930708 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140019982881824 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4585] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4585/stat : 4585 (java) S 4525 4528 1330 0 -1 1077944384 21 12471 0 0 0 0 5 2 20 0 15 0 44930708 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140019981828976 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4586] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4586/stat : 4586 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140019980777296 140020505896859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4587] ppid=4525 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/4528/task/4587/stat : 4587 (java) S 4525 4528 1330 0 -1 1077944384 1611 12471 0 0 15 0 5 2 20 0 15 0 44930711 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140019979725680 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4588] ppid=4525 vsize=13985408 CPUtime=0.24 cores=0,2,4,6
/proc/4528/task/4588/stat : 4588 (java) S 4525 4528 1330 0 -1 1077944384 672 12471 0 0 17 0 5 2 20 0 15 0 44930711 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140019978672880 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4589] ppid=4525 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/4528/task/4589/stat : 4589 (java) S 4525 4528 1330 0 -1 1077944384 1314 12471 0 0 23 0 5 2 20 0 15 0 44930711 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140019977615952 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4590] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4590/stat : 4590 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140019976567520 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4591] ppid=4525 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4591/stat : 4591 (java) S 4525 4528 1330 0 -1 1077944384 10 12471 0 0 0 0 5 2 20 0 15 0 44930716 14321057792 39709 18446744073709551615 4194304 4196468 140734669026384 140019975514800 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 13985408
[startup+3.10431 s]
/proc/loadavg: 1.73 1.45 1.42 4/209 4591
/proc/meminfo: memFree=30678356/32770624 swapFree=0/499300
[pid=4528] ppid=4525 vsize=13997884 CPUtime=6.1 cores=0,2,4,6
/proc/4528/stat : 4528 (java) S 4525 4528 1330 0 -1 1077944320 44114 12471 0 0 585 18 5 2 20 0 15 0 44930685 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140734669008928 140020505878263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
/proc/4528/statm: 3499471 70208 3456 1 0 3488085 0
[pid=4528/tid=4578] ppid=4525 vsize=13997884 CPUtime=2.78 cores=0,2,4,6
/proc/4528/task/4578/stat : 4578 (java) R 4525 4528 1330 0 -1 4202560 28389 12471 0 0 262 9 5 2 20 0 15 0 44930706 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140020510106480 140020116562255 0 4 1 16800974 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4579] ppid=4525 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/4528/task/4579/stat : 4579 (java) S 4525 4528 1330 0 -1 1077944384 54 12471 0 0 1 0 5 2 20 0 15 0 44930706 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140020440312976 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4580] ppid=4525 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/4528/task/4580/stat : 4580 (java) S 4525 4528 1330 0 -1 1077944384 56 12471 0 0 1 0 5 2 20 0 15 0 44930706 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140020439260176 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4581] ppid=4525 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/4528/task/4581/stat : 4581 (java) S 4525 4528 1330 0 -1 1077944384 74 12471 0 0 1 0 5 2 20 0 15 0 44930706 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140020438207376 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4582] ppid=4525 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/4528/task/4582/stat : 4582 (java) S 4525 4528 1330 0 -1 1077944384 309 12471 0 0 1 0 5 2 20 0 15 0 44930706 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140020437154576 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4583] ppid=4525 vsize=13997884 CPUtime=0.08 cores=0,2,4,6
/proc/4528/task/4583/stat : 4583 (java) S 4525 4528 1330 0 -1 1077944384 1616 12471 0 0 1 0 5 2 20 0 15 0 44930708 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140019983935856 140020505889410 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4584] ppid=4525 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4584/stat : 4584 (java) S 4525 4528 1330 0 -1 1077944384 56 12471 0 0 0 0 5 2 20 0 15 0 44930708 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140019982881888 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4585] ppid=4525 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4585/stat : 4585 (java) S 4525 4528 1330 0 -1 1077944384 43 12471 0 0 0 0 5 2 20 0 15 0 44930708 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140019981828992 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4586] ppid=4525 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4586/stat : 4586 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140019980777296 140020505896859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4587] ppid=4525 vsize=13997884 CPUtime=0.95 cores=0,2,4,6
/proc/4528/task/4587/stat : 4587 (java) R 4525 4528 1330 0 -1 1077944384 3245 12471 0 0 87 1 5 2 20 0 15 0 44930711 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140019979711792 140020505888469 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4588] ppid=4525 vsize=13997884 CPUtime=1.25 cores=0,2,4,6
/proc/4528/task/4588/stat : 4588 (java) R 4525 4528 1330 0 -1 4202560 4103 12471 0 0 117 1 5 2 20 0 15 0 44930711 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140019978672880 140020490783532 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4589] ppid=4525 vsize=13997884 CPUtime=1.18 cores=0,2,4,6
/proc/4528/task/4589/stat : 4589 (java) R 4525 4528 1330 0 -1 4202560 3997 12471 0 0 109 2 5 2 20 0 15 0 44930711 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140019977620080 140020498975099 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4590] ppid=4525 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4590/stat : 4590 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140019976567520 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4591] ppid=4525 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4591/stat : 4591 (java) S 4525 4528 1330 0 -1 1077944384 12 12471 0 0 0 0 5 2 20 0 15 0 44930716 14333833216 70208 18446744073709551615 4194304 4196468 140734669026384 140019975514800 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 13997884
[startup+6.30296 s]
/proc/loadavg: 1.91 1.49 1.43 6/209 4591
/proc/meminfo: memFree=30514748/32770624 swapFree=0/498960
[pid=4528] ppid=4525 vsize=14001980 CPUtime=15.48 cores=0,2,4,6
/proc/4528/stat : 4528 (java) S 4525 4528 1330 0 -1 1077944320 75235 12471 0 0 1512 29 5 2 20 0 15 0 44930685 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140734669008928 140020505878263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
/proc/4528/statm: 3500495 94512 3479 1 0 3489109 0
[pid=4528/tid=4578] ppid=4525 vsize=14001980 CPUtime=5.85 cores=0,2,4,6
/proc/4528/task/4578/stat : 4578 (java) S 4525 4528 1330 0 -1 1077944384 32432 12471 0 0 567 11 5 2 20 0 15 0 44930706 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140020510104800 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4579] ppid=4525 vsize=14001980 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4579/stat : 4579 (java) S 4525 4528 1330 0 -1 1077944384 111 12471 0 0 8 1 5 2 20 0 15 0 44930706 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140020440312976 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4580] ppid=4525 vsize=14001980 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4580/stat : 4580 (java) S 4525 4528 1330 0 -1 1077944384 118 12471 0 0 8 1 5 2 20 0 15 0 44930706 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140020439260176 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4581] ppid=4525 vsize=14001980 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4581/stat : 4581 (java) S 4525 4528 1330 0 -1 1077944384 292 12471 0 0 8 1 5 2 20 0 15 0 44930706 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140020438207376 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4582] ppid=4525 vsize=14001980 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4582/stat : 4582 (java) S 4525 4528 1330 0 -1 1077944384 514 12471 0 0 8 1 5 2 20 0 15 0 44930706 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140020437154576 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4583] ppid=4525 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/4528/task/4583/stat : 4583 (java) S 4525 4528 1330 0 -1 1077944384 7105 12471 0 0 4 1 5 2 20 0 15 0 44930708 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140019983935856 140020505889410 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4584] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4584/stat : 4584 (java) S 4525 4528 1330 0 -1 1077944384 58 12471 0 0 0 0 5 2 20 0 15 0 44930708 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140019982881888 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4585] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4585/stat : 4585 (java) S 4525 4528 1330 0 -1 1077944384 46 12471 0 0 0 0 5 2 20 0 15 0 44930708 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140019981828992 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4586] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4586/stat : 4586 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140019980777296 140020505896859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4587] ppid=4525 vsize=14001980 CPUtime=3.43 cores=0,2,4,6
/proc/4528/task/4587/stat : 4587 (java) R 4525 4528 1330 0 -1 4202560 8143 12471 0 0 334 2 5 2 20 0 15 0 44930711 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140019979717440 140020505890198 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4588] ppid=4525 vsize=14001980 CPUtime=3.75 cores=0,2,4,6
/proc/4528/task/4588/stat : 4588 (java) R 4525 4528 1330 0 -1 1077944384 11239 12471 0 0 366 2 5 2 20 0 15 0 44930711 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140019978656976 140020505888469 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4589] ppid=4525 vsize=14001980 CPUtime=2.15 cores=0,2,4,6
/proc/4528/task/4589/stat : 4589 (java) S 4525 4528 1330 0 -1 1077944384 12873 12471 0 0 204 4 5 2 20 0 15 0 44930711 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140019977620080 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4590] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4590/stat : 4590 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140019976567520 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4591] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4591/stat : 4591 (java) S 4525 4528 1330 0 -1 1077944384 143 12471 0 0 0 0 5 2 20 0 15 0 44930716 14338027520 94512 18446744073709551615 4194304 4196468 140734669026384 140019975514800 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
Current children cumulated CPU time (s) 15.48
Current children cumulated vsize (KiB) 14001980
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4528 sig 9
??? kill -4528 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40104 s]
/proc/loadavg: 1.91 1.49 1.43 6/209 4591
/proc/meminfo: memFree=30514748/32770624 swapFree=0/498960
[pid=4528] ppid=4525 vsize=14001980 CPUtime=15.81 cores=0,2,4,6
/proc/4528/stat : 4528 (java) S 4525 4528 1330 0 -1 1077944320 76265 12471 0 0 1545 29 5 2 20 0 15 0 44930685 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140734669008928 140020505878263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
/proc/4528/statm: 3500495 94715 3479 1 0 3489109 0
[pid=4528/tid=4578] ppid=4525 vsize=14001980 CPUtime=5.95 cores=0,2,4,6
/proc/4528/task/4578/stat : 4578 (java) R 4525 4528 1330 0 -1 4202560 32446 12471 0 0 577 11 5 2 20 0 15 0 44930706 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140020510104800 140020120462023 0 4 1 16800974 0 0 0 -1 0 0 0 12 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4579] ppid=4525 vsize=14001980 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4579/stat : 4579 (java) S 4525 4528 1330 0 -1 1077944384 111 12471 0 0 8 1 5 2 20 0 15 0 44930706 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140020440312976 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4580] ppid=4525 vsize=14001980 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4580/stat : 4580 (java) S 4525 4528 1330 0 -1 1077944384 118 12471 0 0 8 1 5 2 20 0 15 0 44930706 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140020439260176 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4581] ppid=4525 vsize=14001980 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4581/stat : 4581 (java) S 4525 4528 1330 0 -1 1077944384 292 12471 0 0 8 1 5 2 20 0 15 0 44930706 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140020438207376 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4582] ppid=4525 vsize=14001980 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4582/stat : 4582 (java) S 4525 4528 1330 0 -1 1077944384 514 12471 0 0 8 1 5 2 20 0 15 0 44930706 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140020437154576 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4583] ppid=4525 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/4528/task/4583/stat : 4583 (java) S 4525 4528 1330 0 -1 1077944384 7105 12471 0 0 4 1 5 2 20 0 15 0 44930708 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140019983935856 140020505889410 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4584] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4584/stat : 4584 (java) S 4525 4528 1330 0 -1 1077944384 58 12471 0 0 0 0 5 2 20 0 15 0 44930708 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140019982881888 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4585] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4585/stat : 4585 (java) S 4525 4528 1330 0 -1 1077944384 46 12471 0 0 0 0 5 2 20 0 15 0 44930708 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140019981828992 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4586] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4586/stat : 4586 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140019980777296 140020505896859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4587] ppid=4525 vsize=14001980 CPUtime=3.52 cores=0,2,4,6
/proc/4528/task/4587/stat : 4587 (java) R 4525 4528 1330 0 -1 4202560 8256 12471 0 0 343 2 5 2 20 0 15 0 44930711 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140019979725680 140020485310340 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4588] ppid=4525 vsize=14001980 CPUtime=3.84 cores=0,2,4,6
/proc/4528/task/4588/stat : 4588 (java) R 4525 4528 1330 0 -1 4202560 11276 12471 0 0 375 2 5 2 20 0 15 0 44930711 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140019978658480 140020490777770 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4589] ppid=4525 vsize=14001980 CPUtime=2.19 cores=0,2,4,6
/proc/4528/task/4589/stat : 4589 (java) S 4525 4528 1330 0 -1 1077944384 13739 12471 0 0 208 4 5 2 20 0 15 0 44930711 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140019977620080 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4590] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4590/stat : 4590 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140019976567520 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4591] ppid=4525 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4591/stat : 4591 (java) S 4525 4528 1330 0 -1 1077944384 143 12471 0 0 0 0 5 2 20 0 15 0 44930716 14338027520 94715 18446744073709551615 4194304 4196468 140734669026384 140019975514800 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
Current children cumulated CPU time (s) 15.81
Current children cumulated vsize (KiB) 14001980
[startup+7.20066 s]
/proc/loadavg: 1.91 1.49 1.43 5/209 4591
/proc/meminfo: memFree=30485168/32770624 swapFree=0/498960
[pid=4528] ppid=4525 vsize=14072216 CPUtime=18.31 cores=0,2,4,6
/proc/4528/stat : 4528 (java) S 4525 4528 1330 0 -1 1077944320 97076 12471 0 0 1792 32 5 2 20 0 15 0 44930685 14409949184 107873 18446744073709551615 4194304 4196468 140734669026384 140734669008928 140020505878263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
/proc/4528/statm: 3518054 107873 3485 1 0 3506668 0
[pid=4528/tid=4578] ppid=4525 vsize=14072216 CPUtime=6.74 cores=0,2,4,6
/proc/4528/task/4578/stat : 4578 (java) R 4525 4528 1330 0 -1 4202560 47517 12471 0 0 654 13 5 2 20 0 15 0 44930706 14409949184 107873 18446744073709551615 4194304 4196468 140734669026384 140020510111584 140020505890198 0 4 1 16800974 0 0 0 -1 2 0 0 12 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4579] ppid=4525 vsize=14072216 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4579/stat : 4579 (java) S 4525 4528 1330 0 -1 1077944384 111 12471 0 0 8 1 5 2 20 0 15 0 44930706 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140020440312976 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4580] ppid=4525 vsize=14072216 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4580/stat : 4580 (java) S 4525 4528 1330 0 -1 1077944384 118 12471 0 0 8 1 5 2 20 0 15 0 44930706 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140020439260176 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4581] ppid=4525 vsize=14072216 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4581/stat : 4581 (java) S 4525 4528 1330 0 -1 1077944384 292 12471 0 0 8 1 5 2 20 0 15 0 44930706 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140020438207376 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4582] ppid=4525 vsize=14072216 CPUtime=0.16 cores=0,2,4,6
/proc/4528/task/4582/stat : 4582 (java) S 4525 4528 1330 0 -1 1077944384 514 12471 0 0 8 1 5 2 20 0 15 0 44930706 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140020437154576 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4583] ppid=4525 vsize=14072216 CPUtime=0.12 cores=0,2,4,6
/proc/4528/task/4583/stat : 4583 (java) S 4525 4528 1330 0 -1 1077944384 7106 12471 0 0 4 1 5 2 20 0 15 0 44930708 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140019983935856 140020505889410 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4584] ppid=4525 vsize=14072216 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4584/stat : 4584 (java) S 4525 4528 1330 0 -1 1077944384 58 12471 0 0 0 0 5 2 20 0 15 0 44930708 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140019982881888 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4585] ppid=4525 vsize=14072216 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4585/stat : 4585 (java) S 4525 4528 1330 0 -1 1077944384 46 12471 0 0 0 0 5 2 20 0 15 0 44930708 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140019981828992 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4586] ppid=4525 vsize=14072216 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4586/stat : 4586 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140019980777296 140020505896859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4587] ppid=4525 vsize=14072216 CPUtime=4.29 cores=0,2,4,6
/proc/4528/task/4587/stat : 4587 (java) R 4525 4528 1330 0 -1 4202560 13290 12471 0 0 420 2 5 2 20 0 15 0 44930711 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140019979711840 140020487421980 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4588] ppid=4525 vsize=14072216 CPUtime=4.51 cores=0,2,4,6
/proc/4528/task/4588/stat : 4588 (java) R 4525 4528 1330 0 -1 4202560 11706 12471 0 0 441 3 5 2 20 0 15 0 44930711 14409949184 107939 18446744073709551615 4194304 4196468 140734669026384 140019978654416 140020489289135 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4589] ppid=4525 vsize=14072216 CPUtime=2.45 cores=0,2,4,6
/proc/4528/task/4589/stat : 4589 (java) S 4525 4528 1330 0 -1 1077944384 14089 12471 0 0 234 4 5 2 20 0 15 0 44930711 14409949184 108005 18446744073709551615 4194304 4196468 140734669026384 140019977620080 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4590] ppid=4525 vsize=14072216 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4590/stat : 4590 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14409949184 108005 18446744073709551615 4194304 4196468 140734669026384 140019976567520 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4591] ppid=4525 vsize=14072216 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4591/stat : 4591 (java) S 4525 4528 1330 0 -1 1077944384 143 12471 0 0 0 0 5 2 20 0 15 0 44930716 14409949184 108005 18446744073709551615 4194304 4196468 140734669026384 140019975514800 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
Current children cumulated CPU time (s) 18.31
Current children cumulated vsize (KiB) 14072216
[startup+7.61103 s]
/proc/loadavg: 1.91 1.49 1.43 5/209 4591
/proc/meminfo: memFree=30485168/32770624 swapFree=0/498960
[pid=4528] ppid=4525 vsize=14069564 CPUtime=19.61 cores=0,2,4,6
/proc/4528/stat : 4528 (java) S 4525 4528 1330 0 -1 1077944320 98194 12471 0 0 1919 35 5 2 20 0 15 0 44930685 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140734669008928 140020505878263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
/proc/4528/statm: 3517391 118753 3485 1 0 3506005 0
[pid=4528/tid=4578] ppid=4525 vsize=14069564 CPUtime=6.83 cores=0,2,4,6
/proc/4528/task/4578/stat : 4578 (java) S 4525 4528 1330 0 -1 1077944384 47575 12471 0 0 663 13 5 2 20 0 15 0 44930706 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140020510115936 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4579] ppid=4525 vsize=14069564 CPUtime=0.38 cores=0,2,4,6
/proc/4528/task/4579/stat : 4579 (java) R 4525 4528 1330 0 -1 4202560 144 12471 0 0 29 2 5 2 20 0 15 0 44930706 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140020440312976 140020490828978 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4580] ppid=4525 vsize=14069564 CPUtime=0.39 cores=0,2,4,6
/proc/4528/task/4580/stat : 4580 (java) R 4525 4528 1330 0 -1 4202560 325 12471 0 0 30 2 5 2 20 0 15 0 44930706 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140020439260176 140020490333020 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4581] ppid=4525 vsize=14069564 CPUtime=0.38 cores=0,2,4,6
/proc/4528/task/4581/stat : 4581 (java) R 4525 4528 1330 0 -1 4202560 383 12471 0 0 30 1 5 2 20 0 15 0 44930706 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140020438207376 140020498506471 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4582] ppid=4525 vsize=14069564 CPUtime=0.39 cores=0,2,4,6
/proc/4528/task/4582/stat : 4582 (java) R 4525 4528 1330 0 -1 4202560 704 12471 0 0 30 2 5 2 20 0 15 0 44930706 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140020437154776 140020490575873 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4583] ppid=4525 vsize=14069564 CPUtime=0.21 cores=0,2,4,6
/proc/4528/task/4583/stat : 4583 (java) S 4525 4528 1330 0 -1 1077944384 7188 12471 0 0 13 1 5 2 20 0 15 0 44930708 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140019983934256 140020505888469 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4584] ppid=4525 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4584/stat : 4584 (java) S 4525 4528 1330 0 -1 1077944384 58 12471 0 0 0 0 5 2 20 0 15 0 44930708 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140019982881520 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4585] ppid=4525 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4585/stat : 4585 (java) S 4525 4528 1330 0 -1 1077944384 46 12471 0 0 0 0 5 2 20 0 15 0 44930708 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140019981828992 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4586] ppid=4525 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4586/stat : 4586 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140019980777296 140020505896859 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4587] ppid=4525 vsize=14069564 CPUtime=4.41 cores=0,2,4,6
/proc/4528/task/4587/stat : 4587 (java) S 4525 4528 1330 0 -1 1077944384 13449 12471 0 0 432 2 5 2 20 0 15 0 44930711 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140019979709840 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4588] ppid=4525 vsize=14069564 CPUtime=4.6 cores=0,2,4,6
/proc/4528/task/4588/stat : 4588 (java) S 4525 4528 1330 0 -1 1077944384 11922 12471 0 0 450 3 5 2 20 0 15 0 44930711 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140019978649680 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4589] ppid=4525 vsize=14069564 CPUtime=2.47 cores=0,2,4,6
/proc/4528/task/4589/stat : 4589 (java) S 4525 4528 1330 0 -1 1077944384 14096 12471 0 0 236 4 5 2 20 0 15 0 44930711 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140019977620080 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4590] ppid=4525 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4590/stat : 4590 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 15 0 44930711 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140019976567520 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4591] ppid=4525 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4591/stat : 4591 (java) S 4525 4528 1330 0 -1 1077944384 143 12471 0 0 0 0 5 2 20 0 15 0 44930716 14407233536 118753 18446744073709551615 4194304 4196468 140734669026384 140019975514800 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
Current children cumulated CPU time (s) 19.61
Current children cumulated vsize (KiB) 14069564
[startup+7.70055 s]
/proc/loadavg: 1.91 1.49 1.43 5/209 4591
/proc/meminfo: memFree=30394784/32770624 swapFree=0/498944
[pid=4528] ppid=4525 vsize=14136128 CPUtime=19.89 cores=0,2,4,6
/proc/4528/stat : 4528 (java) S 4525 4528 1330 0 -1 1077944320 98494 12471 0 0 1947 35 5 2 20 0 13 0 44930685 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140734669008928 140020505878263 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 7 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
/proc/4528/statm: 3534032 117928 3488 1 0 3522646 0
[pid=4528/tid=4578] ppid=4525 vsize=14136128 CPUtime=6.89 cores=0,2,4,6
/proc/4528/task/4578/stat : 4578 (java) S 4525 4528 1330 0 -1 1077944384 47753 12471 0 0 669 13 5 2 20 0 13 0 44930706 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140020510121104 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 12 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4579] ppid=4525 vsize=14136128 CPUtime=0.39 cores=0,2,4,6
/proc/4528/task/4579/stat : 4579 (java) S 4525 4528 1330 0 -1 1077944384 144 12471 0 0 30 2 5 2 20 0 13 0 44930706 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140020440312976 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4580] ppid=4525 vsize=14136128 CPUtime=0.4 cores=0,2,4,6
/proc/4528/task/4580/stat : 4580 (java) S 4525 4528 1330 0 -1 1077944384 325 12471 0 0 31 2 5 2 20 0 13 0 44930706 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140020439260176 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4581] ppid=4525 vsize=14136128 CPUtime=0.39 cores=0,2,4,6
/proc/4528/task/4581/stat : 4581 (java) S 4525 4528 1330 0 -1 1077944384 383 12471 0 0 31 1 5 2 20 0 13 0 44930706 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140020438207376 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4582] ppid=4525 vsize=14136128 CPUtime=0.41 cores=0,2,4,6
/proc/4528/task/4582/stat : 4582 (java) S 4525 4528 1330 0 -1 1077944384 704 12471 0 0 32 2 5 2 20 0 13 0 44930706 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140020437154576 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4583] ppid=4525 vsize=14136128 CPUtime=0.23 cores=0,2,4,6
/proc/4528/task/4583/stat : 4583 (java) S 4525 4528 1330 0 -1 1077944384 7188 12471 0 0 15 1 5 2 20 0 13 0 44930708 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140019983936064 140020505889410 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4584] ppid=4525 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4584/stat : 4584 (java) S 4525 4528 1330 0 -1 1077944384 59 12471 0 0 0 0 5 2 20 0 13 0 44930708 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140019982881888 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4585] ppid=4525 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4585/stat : 4585 (java) S 4525 4528 1330 0 -1 1077944384 47 12471 0 0 0 0 5 2 20 0 13 0 44930708 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140019981828992 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4587] ppid=4525 vsize=14136128 CPUtime=4.47 cores=0,2,4,6
/proc/4528/task/4587/stat : 4587 (java) R 4525 4528 1330 0 -1 4202560 13493 12471 0 0 438 2 5 2 20 0 13 0 44930711 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140019979705072 140020489375051 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4588] ppid=4525 vsize=14136128 CPUtime=4.66 cores=0,2,4,6
/proc/4528/task/4588/stat : 4588 (java) S 4525 4528 1330 0 -1 1077944384 11935 12471 0 0 456 3 5 2 20 0 13 0 44930711 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140019978652944 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4589] ppid=4525 vsize=14136128 CPUtime=2.49 cores=0,2,4,6
/proc/4528/task/4589/stat : 4589 (java) S 4525 4528 1330 0 -1 1077944384 14104 12471 0 0 238 4 5 2 20 0 13 0 44930711 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140019977620080 140020505889410 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
[pid=4528/tid=4590] ppid=4525 vsize=14136128 CPUtime=0.07 cores=0,2,4,6
/proc/4528/task/4590/stat : 4590 (java) S 4525 4528 1330 0 -1 1077944384 3 12471 0 0 0 0 5 2 20 0 13 0 44930711 14475395072 117928 18446744073709551615 4194304 4196468 140734669026384 140019976567520 140020505888469 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36208640 140734669027280 140734669030065 140734669030065 140734669033423 0
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (KiB) 14136128
Child status: 0
Real time (s): 7.74618
CPU time (s): 19.9416
CPU user time (s): 19.548
CPU system time (s): 0.39363
CPU usage (%): 257.438
Max. virtual memory (cumulated for all children) (KiB): 14136128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.548
system time used= 0.39363
maximum resident set size= 475292
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 110988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8325
involuntary context switches= 92
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040041 second user time and 0.047048 second system time
The end