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-4249035-1500746949/watcher-4249035-1500746949 -o /tmp/evaluation-result-4249035-1500746949/solver-4249035-1500746949 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1500746949-26528 --watchdog 2560 java -jar HOME/AbsCon-basic.jar HOME/instance-4249035-1500746949.xml
pid=26567
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 0.88 0.77 0.80 3/254 26570
/proc/meminfo: memFree=31696784/32770624 swapFree=5892/221644
[pid=26570] ppid=26567 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/stat : 26570 (java) S 26567 26570 18196 0 -1 1077944320 1999 0 0 0 0 0 0 0 20 0 2 0 9964586 8550137856 2243 33554432000 4194304 4196468 140734797803456 140734797786000 140543808761591 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
/proc/26570/statm: 2087436 2243 1198 1 0 2076347 0
[pid=26570/tid=26571] ppid=26567 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26571/stat : 26571 (java) R 26567 26570 18196 0 -1 4202560 790 0 0 0 0 0 0 0 20 0 2 0 9964586 8550137856 2309 33554432000 4194304 4196468 140734797803456 140543813003680 140543801051040 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[startup+0.100124 s]
/proc/loadavg: 0.88 0.77 0.80 3/254 26570
/proc/meminfo: memFree=31696784/32770624 swapFree=5892/221644
[pid=26570] ppid=26567 vsize=10900580 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/26570/stat : 26570 (java) S 26567 26570 18196 0 -1 1077944320 4946 0 0 0 8 1 0 0 20 0 20 0 9964586 11162193920 6564 33554432000 4194304 4196468 140734797803456 140734797786000 140543808761591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
/proc/26570/statm: 2725145 6564 2632 1 0 2713552 0
[pid=26570/tid=26571] ppid=26567 vsize=10900580 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26571/stat : 26571 (java) R 26567 26570 18196 0 -1 4202560 3031 0 0 0 7 1 0 0 20 0 20 0 9964586 11162193920 6564 33554432000 4194304 4196468 140734797803456 140543812994208 140543808768955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900580
[startup+0.200396 s]
/proc/loadavg: 0.88 0.77 0.80 3/254 26570
/proc/meminfo: memFree=31696784/32770624 swapFree=5892/221644
[pid=26570] ppid=26567 vsize=10900580 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/26570/stat : 26570 (java) S 26567 26570 18196 0 -1 1077944320 6213 0 0 0 27 1 0 0 20 0 20 0 9964586 11162193920 8239 33554432000 4194304 4196468 140734797803456 140734797786000 140543808761591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
/proc/26570/statm: 2725145 8239 2913 1 0 2713552 0
[pid=26570/tid=26571] ppid=26567 vsize=10900580 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26571/stat : 26571 (java) R 26567 26570 18196 0 -1 4202560 3402 0 0 0 17 1 0 0 20 0 20 0 9964586 11162193920 8239 33554432000 4194304 4196468 140734797803456 140543812998096 140543808783517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10900580
[startup+0.300345 s]
/proc/loadavg: 0.88 0.77 0.80 3/254 26570
/proc/meminfo: memFree=31696784/32770624 swapFree=5892/221644
[pid=26570] ppid=26567 vsize=10902664 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/26570/stat : 26570 (java) S 26567 26570 18196 0 -1 1077944320 8066 0 0 0 44 2 0 0 20 0 20 0 9964586 11164327936 10927 33554432000 4194304 4196468 140734797803456 140734797786000 140543808761591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
/proc/26570/statm: 2725666 10927 2958 1 0 2713552 0
[pid=26570/tid=26571] ppid=26567 vsize=10902664 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26571/stat : 26571 (java) R 26567 26570 18196 0 -1 4202560 5122 0 0 0 26 1 0 0 20 0 20 0 9964586 11164327936 10927 33554432000 4194304 4196468 140734797803456 140543812998712 140543792842078 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 10902664
[startup+0.700186 s]
/proc/loadavg: 0.88 0.77 0.80 3/254 26570
/proc/meminfo: memFree=31696784/32770624 swapFree=5892/221644
[pid=26570] ppid=26567 vsize=10971352 CPUtime=1.25 cores=0,2,4,6,8,10,12,14
/proc/26570/stat : 26570 (java) S 26567 26570 18196 0 -1 1077944320 10815 0 0 0 121 4 0 0 20 0 21 0 9964586 11234664448 18579 33554432000 4194304 4196468 140734797803456 140734797786000 140543808761591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
/proc/26570/statm: 2742838 18579 3099 1 0 2730705 0
[pid=26570/tid=26571] ppid=26567 vsize=10971352 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26571/stat : 26571 (java) S 26567 26570 18196 0 -1 1077944384 5203 0 0 0 29 2 0 0 20 0 21 0 9964586 11234664448 18579 33554432000 4194304 4196468 140734797803456 140543813004464 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 10971352
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 26570 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800246 s]
/proc/loadavg: 0.88 0.77 0.80 3/254 26570
/proc/meminfo: memFree=31696784/32770624 swapFree=5892/221644
[pid=26570] ppid=26567 vsize=10971352 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/26570/stat : 26570 (java) S 26567 26570 18196 0 -1 1077944320 13304 0 0 0 158 5 0 0 20 0 21 0 9964586 11234664448 24038 33554432000 4194304 4196468 140734797803456 140734797786000 140543808761591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
/proc/26570/statm: 2742838 24038 3110 1 0 2730705 0
[pid=26570/tid=26571] ppid=26567 vsize=10971352 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26571/stat : 26571 (java) S 26567 26570 18196 0 -1 1077944384 5203 0 0 0 29 2 0 0 20 0 21 0 9964586 11234664448 24038 33554432000 4194304 4196468 140734797803456 140543813004464 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 10971352
[startup+1.21469 s]
/proc/loadavg: 0.88 0.77 0.80 5/258 26609
/proc/meminfo: memFree=31613292/32770624 swapFree=5892/221696
[pid=26570] ppid=26567 vsize=11039964 CPUtime=3.24 cores=0,2,4,6,8,10,12,14
/proc/26570/stat : 26570 (java) S 26567 26570 18196 0 -1 1077944320 17013 0 0 0 318 6 0 0 20 0 19 0 9964586 11304923136 28696 33554432000 4194304 4196468 140734797803456 140734797786000 140543808761591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
/proc/26570/statm: 2759991 28696 3119 1 0 2747858 0
[pid=26570/tid=26571] ppid=26567 vsize=11039964 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26571/stat : 26571 (java) S 26567 26570 18196 0 -1 1077944384 5209 0 0 0 29 2 0 0 20 0 19 0 9964586 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543813004432 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26573] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26573/stat : 26573 (java) S 26567 26570 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543415675792 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26574] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26574/stat : 26574 (java) S 26567 26570 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543414622992 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26575] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26575/stat : 26575 (java) S 26567 26570 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543413570704 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26576] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26576/stat : 26576 (java) S 26567 26570 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543412517904 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26577] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26577/stat : 26577 (java) S 26567 26570 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543411464592 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26578] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26578/stat : 26578 (java) S 26567 26570 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543410411792 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26579] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26579/stat : 26579 (java) S 26567 26570 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543409359504 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26580] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26580/stat : 26580 (java) S 26567 26570 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543408306704 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26588] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26588/stat : 26588 (java) S 26567 26570 18196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 9964590 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543351774016 140543808772738 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26589] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26589/stat : 26589 (java) S 26567 26570 18196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 9964591 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543350719776 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26590] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26590/stat : 26590 (java) S 26567 26570 18196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 9964591 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543349667440 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26591] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26591/stat : 26591 (java) S 26567 26570 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 9964595 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543348614528 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26592] ppid=26567 vsize=11039964 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26592/stat : 26592 (java) S 26567 26570 18196 0 -1 1077944384 1843 0 0 0 51 0 0 0 20 0 19 0 9964595 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543347562608 140543808772738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26593] ppid=26567 vsize=11039964 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26593/stat : 26593 (java) R 26567 26570 18196 0 -1 4202560 2326 0 0 0 52 0 0 0 20 0 19 0 9964595 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543346491376 140543792258379 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26594] ppid=26567 vsize=11039964 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26594/stat : 26594 (java) R 26567 26570 18196 0 -1 4202560 2179 0 0 0 57 0 0 0 20 0 19 0 9964595 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543345439088 140543792258379 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26595] ppid=26567 vsize=11039964 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26595/stat : 26595 (java) S 26567 26570 18196 0 -1 1077944384 1988 0 0 0 43 0 0 0 20 0 19 0 9964595 11304923136 28696 33554432000 4194304 4196468 140734797803456 140543344404720 140543808772738 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26596] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26596/stat : 26596 (java) S 26567 26570 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9964595 11304923136 28696 33554432000 4194304 4196468 140734797803456 140542617840480 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 11039964
[startup+1.30091 s]
/proc/loadavg: 0.88 0.77 0.80 5/258 26609
/proc/meminfo: memFree=31613292/32770624 swapFree=5892/221696
[pid=26570] ppid=26567 vsize=11039964 CPUtime=3.36 cores=0,2,4,6,8,10,12,14
/proc/26570/stat : 26570 (java) S 26567 26570 18196 0 -1 1077944320 17142 0 0 0 330 6 0 0 20 0 19 0 9964586 11304923136 28828 33554432000 4194304 4196468 140734797803456 140734797786000 140543808761591 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
/proc/26570/statm: 2759991 28828 3119 1 0 2747858 0
[pid=26570/tid=26571] ppid=26567 vsize=11039964 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26571/stat : 26571 (java) S 26567 26570 18196 0 -1 1077944384 5209 0 0 0 29 2 0 0 20 0 19 0 9964586 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543813004432 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26573] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26573/stat : 26573 (java) S 26567 26570 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543415675792 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26574] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26574/stat : 26574 (java) S 26567 26570 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543414622992 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26575] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26575/stat : 26575 (java) S 26567 26570 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543413570704 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26576] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26576/stat : 26576 (java) S 26567 26570 18196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543412517904 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26577] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26577/stat : 26577 (java) S 26567 26570 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543411464592 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26578] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26578/stat : 26578 (java) S 26567 26570 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543410411792 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26579] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26579/stat : 26579 (java) S 26567 26570 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543409359504 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26580] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26580/stat : 26580 (java) S 26567 26570 18196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 9964587 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543408306704 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26588] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26588/stat : 26588 (java) S 26567 26570 18196 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 9964590 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543351774016 140543808772738 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26589] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26589/stat : 26589 (java) S 26567 26570 18196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 9964591 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543350719776 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26590] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26590/stat : 26590 (java) S 26567 26570 18196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 9964591 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543349667440 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26591] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26591/stat : 26591 (java) S 26567 26570 18196 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 19 0 9964595 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543348614528 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26592] ppid=26567 vsize=11039964 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26592/stat : 26592 (java) S 26567 26570 18196 0 -1 1077944384 1843 0 0 0 51 0 0 0 20 0 19 0 9964595 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543347562608 140543808772738 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26593] ppid=26567 vsize=11039964 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26593/stat : 26593 (java) R 26567 26570 18196 0 -1 4202560 2358 0 0 0 61 0 0 0 20 0 19 0 9964595 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543346491376 140543792258375 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26594] ppid=26567 vsize=11039964 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26594/stat : 26594 (java) S 26567 26570 18196 0 -1 1077944384 2276 0 0 0 61 0 0 0 20 0 19 0 9964595 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543345437920 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26595] ppid=26567 vsize=11039964 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26595/stat : 26595 (java) S 26567 26570 18196 0 -1 1077944384 1988 0 0 0 43 0 0 0 20 0 19 0 9964595 11304923136 28828 33554432000 4194304 4196468 140734797803456 140543344404720 140543808772738 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
[pid=26570/tid=26596] ppid=26567 vsize=11039964 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/26570/task/26596/stat : 26596 (java) S 26567 26570 18196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 9964595 11304923136 28828 33554432000 4194304 4196468 140734797803456 140542617840480 140543808771797 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17846272 140734797804739 140734797804868 140734797804868 140734797807567 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 11039964
Child status: 0
Real time (s): 1.31469
CPU time (s): 3.38071
CPU user time (s): 3.31145
CPU system time (s): 0.069264
CPU usage (%): 257.149
Max. virtual memory (cumulated for all children) (KiB): 11039964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.31145
system time used= 0.069264
maximum resident set size= 116284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17210
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= 2660
involuntary context switches= 264
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.014483 second user time and 0.022642 second system time
The end