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-4259464-1501661084/watcher-4259464-1501661084 -o /tmp/evaluation-result-4259464-1501661084/solver-4259464-1501661084 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node128-1501642693-29417 --watchdog 300 bin/concrete HOME/instance-4259464-1501661084.xml
pid=21299
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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: 2.24 1.87 1.74 5/194 21302
/proc/meminfo: memFree=30817388/32770624 swapFree=0/955120
[pid=21302] ppid=21299 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21302/stat : 21302 (runsolver) D 21299 21302 5678 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 14733082 24240128 106 18446744073709551615 4194304 4338465 140733508159664 140733508157304 140581800026839 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 24727552 140733508165840 140733508166214 140733508166214 140733508169674 0
/proc/21302/statm: 5918 106 53 36 0 2156 0
[startup+0.100075 s]
/proc/loadavg: 2.24 1.87 1.74 5/194 21302
/proc/meminfo: memFree=30817388/32770624 swapFree=0/955120
[pid=21302] ppid=21299 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/21302/stat : 21302 (bash) S 21299 21302 5678 0 -1 4202496 715 3537 0 0 0 0 0 0 20 0 1 0 14733082 9736192 355 18446744073709551615 4194304 5098028 140731399045568 140731399043208 140562214202368 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 30834688 140731399053841 140731399053926 140731399053926 140731399057386 0
/proc/21302/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508
[startup+0.200278 s]
/proc/loadavg: 2.24 1.87 1.74 5/194 21302
/proc/meminfo: memFree=30817388/32770624 swapFree=0/955120
[pid=21302] ppid=21299 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/21302/stat : 21302 (bash) S 21299 21302 5678 0 -1 4202496 892 6488 0 0 0 0 0 1 20 0 1 0 14733082 9867264 377 18446744073709551615 4194304 5098028 140731399045568 140731399039576 140562214202368 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 30834688 140731399053841 140731399053926 140731399053926 140731399057386 0
/proc/21302/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.300329 s]
/proc/loadavg: 2.24 1.87 1.74 5/194 21302
/proc/meminfo: memFree=30817388/32770624 swapFree=0/955120
[pid=21302] ppid=21299 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/21302/stat : 21302 (java) S 21299 21302 5678 0 -1 1077944320 5554 12473 0 0 5 1 5 2 20 0 14 0 14733082 14241083392 5237 18446744073709551615 4194304 4196468 140735042843104 140735042825648 139782173564663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
/proc/21302/statm: 3476827 5237 2558 1 0 3466332 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308
[startup+0.701015 s]
/proc/loadavg: 2.24 1.87 1.74 5/194 21302
/proc/meminfo: memFree=30817388/32770624 swapFree=0/955120
[pid=21302] ppid=21299 vsize=13974784 CPUtime=0.6 cores=0,2,4,6
/proc/21302/stat : 21302 (java) S 21299 21302 5678 0 -1 1077944320 13601 12473 0 0 49 4 5 2 20 0 15 0 14733082 14310178816 13954 18446744073709551615 4194304 4196468 140735042843104 140735042825648 139782173564663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
/proc/21302/statm: 3493696 13954 3061 1 0 3482973 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 13974784
[startup+1.50068 s]
/proc/loadavg: 2.24 1.87 1.74 6/209 21365
/proc/meminfo: memFree=30647856/32770624 swapFree=0/955828
[pid=21302] ppid=21299 vsize=13985408 CPUtime=1.8 cores=0,2,4,6
/proc/21302/stat : 21302 (java) S 21299 21302 5678 0 -1 1077944320 25357 12473 0 0 166 7 5 2 20 0 15 0 14733082 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 140735042825648 139782173564663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
/proc/21302/statm: 3496352 33847 3327 1 0 3485533 0
[pid=21302/tid=21352] ppid=21299 vsize=13985408 CPUtime=1.27 cores=0,2,4,6
/proc/21302/task/21352/stat : 21352 (java) R 21299 21302 5678 0 -1 4202560 20188 12473 0 0 114 6 5 2 20 0 15 0 14733103 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139782177794816 139782157608293 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21353] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21353/stat : 21353 (java) S 21299 21302 5678 0 -1 1077944384 1 12473 0 0 0 0 5 2 20 0 15 0 14733104 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139782130530704 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21354] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21354/stat : 21354 (java) S 21299 21302 5678 0 -1 1077944384 1 12473 0 0 0 0 5 2 20 0 15 0 14733104 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139782129477904 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21355] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21355/stat : 21355 (java) S 21299 21302 5678 0 -1 1077944384 1 12473 0 0 0 0 5 2 20 0 15 0 14733104 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139782128425616 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21356] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21356/stat : 21356 (java) S 21299 21302 5678 0 -1 1077944384 2 12473 0 0 0 0 5 2 20 0 15 0 14733104 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781770242576 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21357] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21357/stat : 21357 (java) S 21299 21302 5678 0 -1 1077944384 5 12473 0 0 0 0 5 2 20 0 15 0 14733105 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781089761904 139782173575810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21358] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21358/stat : 21358 (java) S 21299 21302 5678 0 -1 1077944384 33 12473 0 0 0 0 5 2 20 0 15 0 14733106 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781088707872 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21359] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21359/stat : 21359 (java) S 21299 21302 5678 0 -1 1077944384 21 12473 0 0 0 0 5 2 20 0 15 0 14733106 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781087655536 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21360] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21360/stat : 21360 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733109 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781086603856 139782173583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21361] ppid=21299 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/21302/task/21361/stat : 21361 (java) S 21299 21302 5678 0 -1 1077944384 1020 12473 0 0 16 0 5 2 20 0 15 0 14733109 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781085550704 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21362] ppid=21299 vsize=13985408 CPUtime=0.2 cores=0,2,4,6
/proc/21302/task/21362/stat : 21362 (java) S 21299 21302 5678 0 -1 1077944384 659 12473 0 0 13 0 5 2 20 0 15 0 14733109 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781084497904 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21363] ppid=21299 vsize=13985408 CPUtime=0.28 cores=0,2,4,6
/proc/21302/task/21363/stat : 21363 (java) R 21299 21302 5678 0 -1 4202560 1268 12473 0 0 21 0 5 2 20 0 15 0 14733109 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781083445616 139782166549705 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21364] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21364/stat : 21364 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733109 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781082393056 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21365] ppid=21299 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21365/stat : 21365 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733117 14321057792 33847 18446744073709551615 4194304 4196468 140735042843104 139781081340848 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 13985408
[startup+3.10058 s]
/proc/loadavg: 2.24 1.87 1.74 8/209 21365
/proc/meminfo: memFree=30520756/32770624 swapFree=0/955828
[pid=21302] ppid=21299 vsize=13999932 CPUtime=5.36 cores=0,2,4,6
/proc/21302/stat : 21302 (java) S 21299 21302 5678 0 -1 1077944320 38960 12473 0 0 513 16 5 2 20 0 15 0 14733082 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 140735042825648 139782173564663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
/proc/21302/statm: 3499983 55145 3432 1 0 3488605 0
[pid=21302/tid=21352] ppid=21299 vsize=13999932 CPUtime=2.83 cores=0,2,4,6
/proc/21302/task/21352/stat : 21352 (java) R 21299 21302 5678 0 -1 4202560 28854 12473 0 0 266 10 5 2 20 0 15 0 14733103 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139782177796176 139782153784189 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21353] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21353/stat : 21353 (java) S 21299 21302 5678 0 -1 1077944384 45 12473 0 0 0 0 5 2 20 0 15 0 14733104 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139782130530704 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21354] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21354/stat : 21354 (java) S 21299 21302 5678 0 -1 1077944384 180 12473 0 0 0 0 5 2 20 0 15 0 14733104 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139782129477904 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21355] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21355/stat : 21355 (java) S 21299 21302 5678 0 -1 1077944384 32 12473 0 0 0 0 5 2 20 0 15 0 14733104 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139782128425616 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21356] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21356/stat : 21356 (java) S 21299 21302 5678 0 -1 1077944384 44 12473 0 0 0 0 5 2 20 0 15 0 14733104 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781770242576 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21357] ppid=21299 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/21302/task/21357/stat : 21357 (java) S 21299 21302 5678 0 -1 1077944384 621 12473 0 0 1 0 5 2 20 0 15 0 14733105 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781089761904 139782173575810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21358] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21358/stat : 21358 (java) S 21299 21302 5678 0 -1 1077944384 54 12473 0 0 0 0 5 2 20 0 15 0 14733106 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781088707936 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21359] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21359/stat : 21359 (java) S 21299 21302 5678 0 -1 1077944384 46 12473 0 0 0 0 5 2 20 0 15 0 14733106 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781087655552 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21360] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21360/stat : 21360 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733109 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781086603856 139782173583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21361] ppid=21299 vsize=13999932 CPUtime=1 cores=0,2,4,6
/proc/21302/task/21361/stat : 21361 (java) S 21299 21302 5678 0 -1 1077944384 2814 12473 0 0 93 0 5 2 20 0 15 0 14733109 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781085550704 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21362] ppid=21299 vsize=13999932 CPUtime=0.62 cores=0,2,4,6
/proc/21302/task/21362/stat : 21362 (java) S 21299 21302 5678 0 -1 1077944384 1072 12473 0 0 55 0 5 2 20 0 15 0 14733109 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781084497904 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21363] ppid=21299 vsize=13999932 CPUtime=0.99 cores=0,2,4,6
/proc/21302/task/21363/stat : 21363 (java) R 21299 21302 5678 0 -1 4202560 3039 12473 0 0 91 1 5 2 20 0 15 0 14733109 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781083445616 139782152534159 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21364] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21364/stat : 21364 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733109 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781082393056 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21365] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21365/stat : 21365 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733117 14335930368 55145 18446744073709551615 4194304 4196468 140735042843104 139781081340848 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 13999932
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21302 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20695 s]
/proc/loadavg: 2.24 1.87 1.74 8/209 21365
/proc/meminfo: memFree=30520756/32770624 swapFree=0/955828
[pid=21302] ppid=21299 vsize=13999932 CPUtime=5.63 cores=0,2,4,6
/proc/21302/stat : 21302 (java) S 21299 21302 5678 0 -1 1077944320 39328 12473 0 0 539 17 5 2 20 0 15 0 14733082 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 140735042825648 139782173564663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
/proc/21302/statm: 3499983 56454 3433 1 0 3488605 0
[pid=21302/tid=21352] ppid=21299 vsize=13999932 CPUtime=2.93 cores=0,2,4,6
/proc/21302/task/21352/stat : 21352 (java) R 21299 21302 5678 0 -1 4202560 28973 12473 0 0 276 10 5 2 20 0 15 0 14733103 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139782177785424 139782151989472 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21353] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21353/stat : 21353 (java) S 21299 21302 5678 0 -1 1077944384 45 12473 0 0 0 0 5 2 20 0 15 0 14733104 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139782130530704 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21354] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21354/stat : 21354 (java) S 21299 21302 5678 0 -1 1077944384 180 12473 0 0 0 0 5 2 20 0 15 0 14733104 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139782129477904 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21355] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21355/stat : 21355 (java) S 21299 21302 5678 0 -1 1077944384 32 12473 0 0 0 0 5 2 20 0 15 0 14733104 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139782128425616 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21356] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21356/stat : 21356 (java) S 21299 21302 5678 0 -1 1077944384 44 12473 0 0 0 0 5 2 20 0 15 0 14733104 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781770242576 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21357] ppid=21299 vsize=13999932 CPUtime=0.08 cores=0,2,4,6
/proc/21302/task/21357/stat : 21357 (java) S 21299 21302 5678 0 -1 1077944384 621 12473 0 0 1 0 5 2 20 0 15 0 14733105 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781089761904 139782173575810 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21358] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21358/stat : 21358 (java) S 21299 21302 5678 0 -1 1077944384 54 12473 0 0 0 0 5 2 20 0 15 0 14733106 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781088707936 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21359] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21359/stat : 21359 (java) S 21299 21302 5678 0 -1 1077944384 46 12473 0 0 0 0 5 2 20 0 15 0 14733106 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781087655552 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21360] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21360/stat : 21360 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733109 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781086603856 139782173583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21361] ppid=21299 vsize=13999932 CPUtime=1.05 cores=0,2,4,6
/proc/21302/task/21361/stat : 21361 (java) S 21299 21302 5678 0 -1 1077944384 2841 12473 0 0 97 1 5 2 20 0 15 0 14733109 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781085550704 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21362] ppid=21299 vsize=13999932 CPUtime=0.65 cores=0,2,4,6
/proc/21302/task/21362/stat : 21362 (java) R 21299 21302 5678 0 -1 4202560 1097 12473 0 0 58 0 5 2 20 0 15 0 14733109 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781084483968 139782151980978 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21363] ppid=21299 vsize=13999932 CPUtime=1.08 cores=0,2,4,6
/proc/21302/task/21363/stat : 21363 (java) S 21299 21302 5678 0 -1 1077944384 3235 12473 0 0 99 2 5 2 20 0 15 0 14733109 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781083445616 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21364] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21364/stat : 21364 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733109 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781082393056 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21365] ppid=21299 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21365/stat : 21365 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733117 14335930368 56454 18446744073709551615 4194304 4196468 140735042843104 139781081340848 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
Current children cumulated CPU time (s) 5.63
Current children cumulated vsize (KiB) 13999932
[startup+3.40671 s]
/proc/loadavg: 2.24 1.87 1.74 5/209 21365
/proc/meminfo: memFree=30429516/32770624 swapFree=0/955828
[pid=21302] ppid=21299 vsize=14001980 CPUtime=6.11 cores=0,2,4,6
/proc/21302/stat : 21302 (java) S 21299 21302 5678 0 -1 1077944320 44313 12473 0 0 585 19 5 2 20 0 15 0 14733082 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 140735042825648 139782173564663 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
/proc/21302/statm: 3500495 62489 3435 1 0 3489117 0
[pid=21302/tid=21352] ppid=21299 vsize=14001980 CPUtime=3.09 cores=0,2,4,6
/proc/21302/task/21352/stat : 21352 (java) R 21299 21302 5678 0 -1 4202560 31784 12473 0 0 292 10 5 2 20 0 15 0 14733103 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139782177798472 139782159258161 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21353] ppid=21299 vsize=14001980 CPUtime=0.09 cores=0,2,4,6
/proc/21302/task/21353/stat : 21353 (java) S 21299 21302 5678 0 -1 1077944384 57 12473 0 0 2 0 5 2 20 0 15 0 14733104 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139782130530704 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21354] ppid=21299 vsize=14001980 CPUtime=0.09 cores=0,2,4,6
/proc/21302/task/21354/stat : 21354 (java) S 21299 21302 5678 0 -1 1077944384 188 12473 0 0 2 0 5 2 20 0 15 0 14733104 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139782129477904 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21355] ppid=21299 vsize=14001980 CPUtime=0.09 cores=0,2,4,6
/proc/21302/task/21355/stat : 21355 (java) S 21299 21302 5678 0 -1 1077944384 35 12473 0 0 2 0 5 2 20 0 15 0 14733104 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139782128425616 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21356] ppid=21299 vsize=14001980 CPUtime=0.09 cores=0,2,4,6
/proc/21302/task/21356/stat : 21356 (java) S 21299 21302 5678 0 -1 1077944384 53 12473 0 0 2 0 5 2 20 0 15 0 14733104 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139781770242576 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21357] ppid=21299 vsize=14001980 CPUtime=0.1 cores=0,2,4,6
/proc/21302/task/21357/stat : 21357 (java) S 21299 21302 5678 0 -1 1077944384 800 12473 0 0 3 0 5 2 20 0 15 0 14733105 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139781089761904 139782173575810 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21358] ppid=21299 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21358/stat : 21358 (java) S 21299 21302 5678 0 -1 1077944384 54 12473 0 0 0 0 5 2 20 0 15 0 14733106 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139781088707936 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21359] ppid=21299 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21359/stat : 21359 (java) S 21299 21302 5678 0 -1 1077944384 46 12473 0 0 0 0 5 2 20 0 15 0 14733106 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139781087655552 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21360] ppid=21299 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21360/stat : 21360 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733109 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139781086603856 139782173583259 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21361] ppid=21299 vsize=14001980 CPUtime=1.14 cores=0,2,4,6
/proc/21302/task/21361/stat : 21361 (java) R 21299 21302 5678 0 -1 4202560 3487 12473 0 0 106 1 5 2 20 0 15 0 14733109 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139781085537232 139782155108816 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21362] ppid=21299 vsize=14001980 CPUtime=0.73 cores=0,2,4,6
/proc/21302/task/21362/stat : 21362 (java) R 21299 21302 5678 0 -1 4202560 1568 12473 0 0 65 1 5 2 20 0 15 0 14733109 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139781084483928 139782158486489 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21363] ppid=21299 vsize=14001980 CPUtime=1.14 cores=0,2,4,6
/proc/21302/task/21363/stat : 21363 (java) S 21299 21302 5678 0 -1 1077944384 4089 12473 0 0 105 2 5 2 20 0 15 0 14733109 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139781083445616 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21364] ppid=21299 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21364/stat : 21364 (java) S 21299 21302 5678 0 -1 1077944384 3 12473 0 0 0 0 5 2 20 0 15 0 14733109 14338027520 62489 18446744073709551615 4194304 4196468 140735042843104 139781082393056 139782173574869 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
[pid=21302/tid=21365] ppid=21299 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/21302/task/21365/stat : 21365 (java) S 21299 21302 5678 0 -1 1077944384 8 12473 0 0 0 0 5 2 20 0 15 0 14733117 14338027520 62510 18446744073709551615 4194304 4196468 140735042843104 139781081340848 139782173575810 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24100864 140735042844621 140735042847406 140735042847406 140735042850767 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 14001980
Child status: 0
Real time (s): 3.46735
CPU time (s): 6.28138
CPU user time (s): 6.05029
CPU system time (s): 0.231091
CPU usage (%): 181.158
Max. virtual memory (cumulated for all children) (KiB): 14001980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.05029
system time used= 0.231091
maximum resident set size= 251700
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 58230
page faults= 0
swaps= 0
block input operations= 0
block output operations= 16
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5503
involuntary context switches= 36
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.021044 second user time and 0.022046 second system time
The end