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-4264465-1502299793/watcher-4264465-1502299793 -o /tmp/evaluation-result-4264465-1502299793/solver-4264465-1502299793 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502258125-5060 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264465-1502299793.xml
pid=13438
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.79 1.97 2.03 4/200 13441
/proc/meminfo: memFree=30983292/32770624 swapFree=0/528444
[pid=13441] ppid=13438 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13441/stat : 13441 (runsolver) D 13438 13441 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 77485518 24240128 107 18446744073709551615 4194304 4338465 140731796774048 140731796771688 140047480955607 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 26689536 140731796775072 140731796775497 140731796775497 140731796778954 0
/proc/13441/statm: 5918 107 54 36 0 2156 0
[startup+0.100057 s]
/proc/loadavg: 1.79 1.97 2.03 4/200 13441
/proc/meminfo: memFree=30983292/32770624 swapFree=0/528444
[pid=13441] ppid=13438 vsize=9936560 CPUtime=0 cores=0,2,4,6
/proc/13441/stat : 13441 (java) S 13438 13441 31388 0 -1 1077944320 2691 0 0 0 0 0 0 0 20 0 6 0 77485518 10175037440 3394 18446744073709551615 4194304 4196468 140724887987008 140724887969552 140571858448119 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
/proc/13441/statm: 2484140 3394 1368 1 0 2473637 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9936560
[startup+0.200898 s]
/proc/loadavg: 1.79 1.97 2.03 4/200 13441
/proc/meminfo: memFree=30983292/32770624 swapFree=0/528444
[pid=13441] ppid=13438 vsize=10551180 CPUtime=0.08 cores=0,2,4,6
/proc/13441/stat : 13441 (java) S 13438 13441 31388 0 -1 1077944320 5199 0 0 0 7 1 0 0 20 0 15 0 77485518 10804408320 6712 18446744073709551615 4194304 4196468 140724887987008 140724887969552 140571858448119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
/proc/13441/statm: 2637795 6712 2671 1 0 2627261 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10551180
[startup+0.300394 s]
/proc/loadavg: 1.79 1.97 2.03 4/200 13441
/proc/meminfo: memFree=30983292/32770624 swapFree=0/528444
[pid=13441] ppid=13438 vsize=10553264 CPUtime=0.26 cores=0,2,4,6
/proc/13441/stat : 13441 (java) S 13438 13441 31388 0 -1 1077944320 8999 0 0 0 23 3 0 0 20 0 15 0 77485518 10806542336 9800 18446744073709551615 4194304 4196468 140724887987008 140724887969552 140571858448119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
/proc/13441/statm: 2638316 9800 2941 1 0 2627261 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10553264
[startup+0.707003 s]
/proc/loadavg: 1.79 1.97 2.03 4/200 13441
/proc/meminfo: memFree=30983292/32770624 swapFree=0/528444
[pid=13441] ppid=13438 vsize=10621952 CPUtime=1.14 cores=0,2,4,6
/proc/13441/stat : 13441 (java) S 13438 13441 31388 0 -1 1077944320 13376 0 0 0 108 6 0 0 20 0 16 0 77485518 10876878848 21181 18446744073709551615 4194304 4196468 140724887987008 140724887969552 140571858448119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
/proc/13441/statm: 2655488 21181 3088 1 0 2644414 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 10621952
[startup+1.50074 s]
/proc/loadavg: 1.79 1.97 2.03 3/216 13458
/proc/meminfo: memFree=30840720/32770624 swapFree=0/528228
[pid=13441] ppid=13438 vsize=10621952 CPUtime=2.43 cores=0,2,4,6
/proc/13441/stat : 13441 (java) S 13438 13441 31388 0 -1 1077944320 14313 0 0 0 235 8 0 0 20 0 16 0 77485518 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140724887969552 140571858448119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
/proc/13441/statm: 2655488 47375 3112 1 0 2644414 0
[pid=13441/tid=13444] ppid=13438 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/13441/task/13444/stat : 13444 (java) S 13438 13441 31388 0 -1 1077944384 6208 0 0 0 19 2 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571862690992 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13445] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13445/stat : 13445 (java) S 13438 13441 31388 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571799485456 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13446] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13446/stat : 13446 (java) S 13438 13441 31388 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571798432912 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13447] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13447/stat : 13447 (java) S 13438 13441 31388 0 -1 1077944384 6 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571467180816 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13448] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13448/stat : 13448 (java) S 13438 13441 31388 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571466128272 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13449] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13449/stat : 13449 (java) S 13438 13441 31388 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571354859760 140571858459266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13450] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13450/stat : 13450 (java) S 13438 13441 31388 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571353805984 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13451] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13451/stat : 13451 (java) S 13438 13441 31388 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571352752880 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13452] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13452/stat : 13452 (java) S 13438 13441 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571351701456 140571858466715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13453] ppid=13438 vsize=10621952 CPUtime=0.32 cores=0,2,4,6
/proc/13441/task/13453/stat : 13453 (java) S 13438 13441 31388 0 -1 1077944384 1055 0 0 0 32 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571350649584 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13454] ppid=13438 vsize=10621952 CPUtime=0.34 cores=0,2,4,6
/proc/13441/task/13454/stat : 13454 (java) S 13438 13441 31388 0 -1 1077944384 923 0 0 0 34 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571349597040 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13455] ppid=13438 vsize=10621952 CPUtime=0.34 cores=0,2,4,6
/proc/13441/task/13455/stat : 13455 (java) S 13438 13441 31388 0 -1 1077944384 1511 0 0 0 34 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571348543984 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13456] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13456/stat : 13456 (java) S 13438 13441 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571347491680 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13457] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13457/stat : 13457 (java) S 13438 13441 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77485536 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571346438704 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13458] ppid=13438 vsize=10621952 CPUtime=1.13 cores=0,2,4,6
/proc/13441/task/13458/stat : 13458 (java) R 13438 13441 31388 0 -1 4202560 3130 0 0 0 110 3 0 0 20 0 16 0 77485552 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571343249040 140571481737307 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 13441 sig 9
??? kill -13441 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60092 s]
/proc/loadavg: 1.79 1.97 2.03 3/216 13458
/proc/meminfo: memFree=30840720/32770624 swapFree=0/528228
[pid=13441] ppid=13438 vsize=10621952 CPUtime=2.53 cores=0,2,4,6
/proc/13441/stat : 13441 (java) S 13438 13441 31388 0 -1 1077944320 14313 0 0 0 245 8 0 0 20 0 16 0 77485518 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140724887969552 140571858448119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
/proc/13441/statm: 2655488 47375 3112 1 0 2644414 0
[pid=13441/tid=13444] ppid=13438 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/13441/task/13444/stat : 13444 (java) S 13438 13441 31388 0 -1 1077944384 6208 0 0 0 19 2 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571862690992 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13445] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13445/stat : 13445 (java) S 13438 13441 31388 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571799485456 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13446] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13446/stat : 13446 (java) S 13438 13441 31388 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571798432912 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13447] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13447/stat : 13447 (java) S 13438 13441 31388 0 -1 1077944384 6 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571467180816 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13448] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13448/stat : 13448 (java) S 13438 13441 31388 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 77485527 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571466128272 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13449] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13449/stat : 13449 (java) S 13438 13441 31388 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571354859760 140571858459266 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13450] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13450/stat : 13450 (java) S 13438 13441 31388 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571353805984 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13451] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13451/stat : 13451 (java) S 13438 13441 31388 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571352752880 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13452] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13452/stat : 13452 (java) S 13438 13441 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571351701456 140571858466715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13453] ppid=13438 vsize=10621952 CPUtime=0.32 cores=0,2,4,6
/proc/13441/task/13453/stat : 13453 (java) S 13438 13441 31388 0 -1 1077944384 1055 0 0 0 32 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571350649584 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13454] ppid=13438 vsize=10621952 CPUtime=0.34 cores=0,2,4,6
/proc/13441/task/13454/stat : 13454 (java) S 13438 13441 31388 0 -1 1077944384 923 0 0 0 34 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571349597040 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13455] ppid=13438 vsize=10621952 CPUtime=0.34 cores=0,2,4,6
/proc/13441/task/13455/stat : 13455 (java) S 13438 13441 31388 0 -1 1077944384 1511 0 0 0 34 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571348543984 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13456] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13456/stat : 13456 (java) S 13438 13441 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77485532 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571347491680 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13457] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13457/stat : 13457 (java) S 13438 13441 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77485536 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571346438704 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13458] ppid=13438 vsize=10621952 CPUtime=1.23 cores=0,2,4,6
/proc/13441/task/13458/stat : 13458 (java) R 13438 13441 31388 0 -1 4202560 3130 0 0 0 120 3 0 0 20 0 16 0 77485552 10876878848 47375 18446744073709551615 4194304 4196468 140724887987008 140571343246824 140571481563040 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 10621952
[startup+2.00073 s]
/proc/loadavg: 1.79 1.97 2.03 3/216 13458
/proc/meminfo: memFree=30840720/32770624 swapFree=0/528228
[pid=13441] ppid=13438 vsize=10621952 CPUtime=2.97 cores=0,2,4,6
/proc/13441/stat : 13441 (java) S 13438 13441 31388 0 -1 1077944320 14340 0 0 0 288 9 0 0 20 0 16 0 77485518 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140724887969552 140571858448119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
/proc/13441/statm: 2655488 50447 3112 1 0 2644414 0
[pid=13441/tid=13444] ppid=13438 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/13441/task/13444/stat : 13444 (java) S 13438 13441 31388 0 -1 1077944384 6208 0 0 0 19 2 0 0 20 0 16 0 77485527 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571862690992 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13445] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13445/stat : 13445 (java) S 13438 13441 31388 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571799485456 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13446] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13446/stat : 13446 (java) S 13438 13441 31388 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571798432912 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13447] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13447/stat : 13447 (java) S 13438 13441 31388 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571467180816 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13448] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13448/stat : 13448 (java) S 13438 13441 31388 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571466128272 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13449] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13449/stat : 13449 (java) S 13438 13441 31388 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571354859760 140571858459266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13450] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13450/stat : 13450 (java) S 13438 13441 31388 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571353805984 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13451] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13451/stat : 13451 (java) S 13438 13441 31388 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571352752880 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13452] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13452/stat : 13452 (java) S 13438 13441 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77485532 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571351701456 140571858466715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13453] ppid=13438 vsize=10621952 CPUtime=0.32 cores=0,2,4,6
/proc/13441/task/13453/stat : 13453 (java) S 13438 13441 31388 0 -1 1077944384 1055 0 0 0 32 0 0 0 20 0 16 0 77485532 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571350649584 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13454] ppid=13438 vsize=10621952 CPUtime=0.34 cores=0,2,4,6
/proc/13441/task/13454/stat : 13454 (java) S 13438 13441 31388 0 -1 1077944384 923 0 0 0 34 0 0 0 20 0 16 0 77485532 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571349597040 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13455] ppid=13438 vsize=10621952 CPUtime=0.34 cores=0,2,4,6
/proc/13441/task/13455/stat : 13455 (java) S 13438 13441 31388 0 -1 1077944384 1513 0 0 0 34 0 0 0 20 0 16 0 77485532 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571348543984 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13456] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13456/stat : 13456 (java) S 13438 13441 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77485532 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571347491680 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13457] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13457/stat : 13457 (java) S 13438 13441 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77485536 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571346438704 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13458] ppid=13438 vsize=10621952 CPUtime=1.62 cores=0,2,4,6
/proc/13441/task/13458/stat : 13458 (java) R 13438 13441 31388 0 -1 4202560 3131 0 0 0 159 3 0 0 20 0 16 0 77485552 10876878848 50447 18446744073709551615 4194304 4196468 140724887987008 140571343249040 140571481564231 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 10621952
[startup+2.20072 s]
/proc/loadavg: 1.79 1.97 2.03 3/216 13458
/proc/meminfo: memFree=30792748/32770624 swapFree=0/528228
[pid=13441] ppid=13438 vsize=10621952 CPUtime=3.18 cores=0,2,4,6
/proc/13441/stat : 13441 (java) S 13438 13441 31388 0 -1 1077944320 14570 0 0 0 309 9 0 0 20 0 16 0 77485518 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140724887969552 140571858448119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
/proc/13441/statm: 2655488 50452 3114 1 0 2644414 0
[pid=13441/tid=13444] ppid=13438 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/13441/task/13444/stat : 13444 (java) S 13438 13441 31388 0 -1 1077944384 6208 0 0 0 19 2 0 0 20 0 16 0 77485527 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571862690992 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13445] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13445/stat : 13445 (java) S 13438 13441 31388 0 -1 1077944384 12 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571799485456 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13446] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13446/stat : 13446 (java) S 13438 13441 31388 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571798432912 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13447] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13447/stat : 13447 (java) S 13438 13441 31388 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571467180816 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13448] ppid=13438 vsize=10621952 CPUtime=0.01 cores=0,2,4,6
/proc/13441/task/13448/stat : 13448 (java) S 13438 13441 31388 0 -1 1077944384 15 0 0 0 1 0 0 0 20 0 16 0 77485527 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571466128272 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13449] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13449/stat : 13449 (java) S 13438 13441 31388 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571354859760 140571858459266 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13450] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13450/stat : 13450 (java) S 13438 13441 31388 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571353805984 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13451] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13451/stat : 13451 (java) S 13438 13441 31388 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 77485529 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571352752880 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13452] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13452/stat : 13452 (java) S 13438 13441 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77485532 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571351701456 140571858466715 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13453] ppid=13438 vsize=10621952 CPUtime=0.32 cores=0,2,4,6
/proc/13441/task/13453/stat : 13453 (java) S 13438 13441 31388 0 -1 1077944384 1055 0 0 0 32 0 0 0 20 0 16 0 77485532 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571350649584 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13454] ppid=13438 vsize=10621952 CPUtime=0.34 cores=0,2,4,6
/proc/13441/task/13454/stat : 13454 (java) S 13438 13441 31388 0 -1 1077944384 923 0 0 0 34 0 0 0 20 0 16 0 77485532 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571349597040 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13455] ppid=13438 vsize=10621952 CPUtime=0.34 cores=0,2,4,6
/proc/13441/task/13455/stat : 13455 (java) S 13438 13441 31388 0 -1 1077944384 1514 0 0 0 34 0 0 0 20 0 16 0 77485532 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571348543984 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13456] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13456/stat : 13456 (java) S 13438 13441 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 77485532 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571347491680 140571858458325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13457] ppid=13438 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/13441/task/13457/stat : 13457 (java) S 13438 13441 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 77485536 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571346438704 140571858459266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
[pid=13441/tid=13458] ppid=13438 vsize=10621952 CPUtime=1.83 cores=0,2,4,6
/proc/13441/task/13458/stat : 13458 (java) R 13438 13441 31388 0 -1 4202560 3360 0 0 0 180 3 0 0 20 0 16 0 77485552 10876878848 50452 18446744073709551615 4194304 4196468 140724887987008 140571343235360 140571481737189 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14651392 140724887990733 140724887990862 140724887990862 140724887994319 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 10621952
Child status: 0
Real time (s): 2.29455
CPU time (s): 3.2826
CPU user time (s): 3.1817
CPU system time (s): 0.100893
CPU usage (%): 143.061
Max. virtual memory (cumulated for all children) (KiB): 10622976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.1817
system time used= 0.100893
maximum resident set size= 202604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14625
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2052
involuntary context switches= 8
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008063 second user time and 0.022399 second system time
The end