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-4263938-1502272945/watcher-4263938-1502272945 -o /tmp/evaluation-result-4263938-1502272945/solver-4263938-1502272945 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502259017-17571 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263938-1502272945.xml
pid=19704
running on 4 cores: 1,3,5,7
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: 2.00 1.92 1.75 3/200 19707
/proc/meminfo: memFree=30856772/32770624 swapFree=0/401316
[pid=19707] ppid=19704 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/19707/stat : 19707 (runsolver) D 19704 19707 9153 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 69205532 24240128 108 18446744073709551615 4194304 4338465 140721138867520 140721138865160 140154391122647 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 31719424 140721138876575 140721138877001 140721138877001 140721138880458 0
/proc/19707/statm: 5918 108 54 36 0 2156 0
[startup+0.100209 s]
/proc/loadavg: 2.00 1.92 1.75 3/200 19707
/proc/meminfo: memFree=30856772/32770624 swapFree=0/401316
[pid=19707] ppid=19704 vsize=9934352 CPUtime=0 cores=1,3,5,7
/proc/19707/stat : 19707 (java) S 19704 19707 9153 0 -1 1077944320 2604 0 0 0 0 0 0 0 20 0 6 0 69205532 10172776448 3325 18446744073709551615 4194304 4196468 140730050533072 140730050515616 139625116061431 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
/proc/19707/statm: 2483589 3325 1325 1 0 2473559 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9934352
[startup+0.200311 s]
/proc/loadavg: 2.00 1.92 1.75 3/200 19707
/proc/meminfo: memFree=30856772/32770624 swapFree=0/401316
[pid=19707] ppid=19704 vsize=10551180 CPUtime=0.08 cores=1,3,5,7
/proc/19707/stat : 19707 (java) S 19704 19707 9153 0 -1 1077944320 4877 0 0 0 7 1 0 0 20 0 15 0 69205532 10804408320 6905 18446744073709551615 4194304 4196468 140730050533072 140730050515616 139625116061431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
/proc/19707/statm: 2637795 6905 2673 1 0 2627261 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10551180
[startup+0.301578 s]
/proc/loadavg: 2.00 1.92 1.75 3/200 19707
/proc/meminfo: memFree=30856772/32770624 swapFree=0/401316
[pid=19707] ppid=19704 vsize=10553264 CPUtime=0.26 cores=1,3,5,7
/proc/19707/stat : 19707 (java) S 19704 19707 9153 0 -1 1077944320 8357 0 0 0 24 2 0 0 20 0 15 0 69205532 10806542336 9653 18446744073709551615 4194304 4196468 140730050533072 140730050515616 139625116061431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
/proc/19707/statm: 2638316 9653 2894 1 0 2627261 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10553264
[startup+0.70025 s]
/proc/loadavg: 2.00 1.92 1.75 3/200 19707
/proc/meminfo: memFree=30856772/32770624 swapFree=0/401316
[pid=19707] ppid=19704 vsize=10621952 CPUtime=1.29 cores=1,3,5,7
/proc/19707/stat : 19707 (java) S 19704 19707 9153 0 -1 1077944320 13077 0 0 0 124 5 0 0 20 0 16 0 69205532 10876878848 22758 18446744073709551615 4194304 4196468 140730050533072 140730050515616 139625116061431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
/proc/19707/statm: 2655488 22758 3080 1 0 2644414 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19707 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800313 s]
/proc/loadavg: 2.00 1.92 1.75 3/200 19707
/proc/meminfo: memFree=30856772/32770624 swapFree=0/401316
[pid=19707] ppid=19704 vsize=10621952 CPUtime=1.64 cores=1,3,5,7
/proc/19707/stat : 19707 (java) S 19704 19707 9153 0 -1 1077944320 14837 0 0 0 158 6 0 0 20 0 16 0 69205532 10876878848 26595 18446744073709551615 4194304 4196468 140730050533072 140730050515616 139625116061431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
/proc/19707/statm: 2655488 26595 3084 1 0 2644414 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10621952
[startup+1.20707 s]
/proc/loadavg: 2.00 1.92 1.75 5/216 19723
/proc/meminfo: memFree=30722972/32770624 swapFree=0/401112
[pid=19707] ppid=19704 vsize=10624000 CPUtime=3.04 cores=1,3,5,7
/proc/19707/stat : 19707 (java) S 19704 19707 9153 0 -1 1077944320 16013 0 0 0 297 7 0 0 20 0 16 0 69205532 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 140730050515616 139625116061431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
/proc/19707/statm: 2656000 43163 3097 1 0 2644926 0
[pid=19707/tid=19709] ppid=19704 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/19707/task/19709/stat : 19709 (java) S 19704 19707 9153 0 -1 1077944384 5714 0 0 0 19 2 0 0 20 0 16 0 69205542 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139625120304304 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19710] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19710/stat : 19710 (java) S 19704 19707 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 69205542 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139625046481680 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19711] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19711/stat : 19711 (java) S 19704 19707 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 69205542 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139625045429136 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19712] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19712/stat : 19712 (java) S 19704 19707 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 69205542 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139625044376592 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19713] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19713/stat : 19713 (java) S 19704 19707 9153 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 69205542 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139625043324048 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19714] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19714/stat : 19714 (java) S 19704 19707 9153 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 69205544 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624223561712 139625116072578 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19715] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19715/stat : 19715 (java) S 19704 19707 9153 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 69205544 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624222507936 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19716] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19716/stat : 19716 (java) S 19704 19707 9153 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 69205544 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624221455344 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19717] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19717/stat : 19717 (java) S 19704 19707 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69205547 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624018077904 139625116080027 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19718] ppid=19704 vsize=10624000 CPUtime=0.7 cores=1,3,5,7
/proc/19707/task/19718/stat : 19718 (java) S 19704 19707 9153 0 -1 1077944384 1625 0 0 0 70 0 0 0 20 0 16 0 69205547 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624017025520 139625116072578 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19719] ppid=19704 vsize=10624000 CPUtime=0.71 cores=1,3,5,7
/proc/19707/task/19719/stat : 19719 (java) R 19704 19707 9153 0 -1 4202560 1737 0 0 0 71 0 0 0 20 0 16 0 69205547 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624015972976 139625116073366 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19720] ppid=19704 vsize=10624000 CPUtime=0.53 cores=1,3,5,7
/proc/19707/task/19720/stat : 19720 (java) R 19704 19707 9153 0 -1 1077944384 2478 0 0 0 53 0 0 0 20 0 16 0 69205547 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624014920432 139625116072578 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19721] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19721/stat : 19721 (java) S 19704 19707 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69205547 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624013868128 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19722] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19722/stat : 19722 (java) S 19704 19707 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 69205550 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624012814640 139625116072578 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19723] ppid=19704 vsize=10624000 CPUtime=0.85 cores=1,3,5,7
/proc/19707/task/19723/stat : 19723 (java) R 19704 19707 9153 0 -1 4202560 3092 0 0 0 82 3 0 0 20 0 16 0 69205567 10878976000 43163 18446744073709551615 4194304 4196468 140730050533072 139624009622192 139624712000781 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 10624000
[startup+1.40108 s]
/proc/loadavg: 2.00 1.92 1.75 5/216 19723
/proc/meminfo: memFree=30722972/32770624 swapFree=0/401112
[pid=19707] ppid=19704 vsize=10624000 CPUtime=3.64 cores=1,3,5,7
/proc/19707/stat : 19707 (java) S 19704 19707 9153 0 -1 1077944320 18070 0 0 0 353 11 0 0 20 0 16 0 69205532 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 140730050515616 139625116061431 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 8 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
/proc/19707/statm: 2656000 55202 3114 1 0 2644926 0
[pid=19707/tid=19709] ppid=19704 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/19707/task/19709/stat : 19709 (java) S 19704 19707 9153 0 -1 1077944384 5714 0 0 0 19 2 0 0 20 0 16 0 69205542 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139625120304304 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19710] ppid=19704 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/19707/task/19710/stat : 19710 (java) S 19704 19707 9153 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 16 0 69205542 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139625046481680 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19711] ppid=19704 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/19707/task/19711/stat : 19711 (java) S 19704 19707 9153 0 -1 1077944384 20 0 0 0 1 0 0 0 20 0 16 0 69205542 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139625045429136 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19712] ppid=19704 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/19707/task/19712/stat : 19712 (java) S 19704 19707 9153 0 -1 1077944384 9 0 0 0 1 0 0 0 20 0 16 0 69205542 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139625044376592 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19713] ppid=19704 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/19707/task/19713/stat : 19713 (java) S 19704 19707 9153 0 -1 1077944384 24 0 0 0 1 0 0 0 20 0 16 0 69205542 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139625043324048 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19714] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19714/stat : 19714 (java) S 19704 19707 9153 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 16 0 69205544 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624223561712 139625116072578 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19715] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19715/stat : 19715 (java) S 19704 19707 9153 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 16 0 69205544 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624222507936 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19716] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19716/stat : 19716 (java) S 19704 19707 9153 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 69205544 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624221455344 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19717] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19717/stat : 19717 (java) S 19704 19707 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69205547 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624018077904 139625116080027 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19718] ppid=19704 vsize=10624000 CPUtime=0.85 cores=1,3,5,7
/proc/19707/task/19718/stat : 19718 (java) R 19704 19707 9153 0 -1 4202560 1673 0 0 0 85 0 0 0 20 0 16 0 69205547 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624017012336 139625096828888 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19719] ppid=19704 vsize=10624000 CPUtime=0.84 cores=1,3,5,7
/proc/19707/task/19719/stat : 19719 (java) R 19704 19707 9153 0 -1 4202560 1783 0 0 0 84 0 0 0 20 0 16 0 69205547 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624015963600 139625095757048 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19720] ppid=19704 vsize=10624000 CPUtime=0.59 cores=1,3,5,7
/proc/19707/task/19720/stat : 19720 (java) S 19704 19707 9153 0 -1 1077944384 2567 0 0 0 59 0 0 0 20 0 16 0 69205547 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624014920432 139625116072578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19721] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19721/stat : 19721 (java) S 19704 19707 9153 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 69205547 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624013868128 139625116071637 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19722] ppid=19704 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/19707/task/19722/stat : 19722 (java) S 19704 19707 9153 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 69205550 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624012814640 139625116072578 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
[pid=19707/tid=19723] ppid=19704 vsize=10624000 CPUtime=1.02 cores=1,3,5,7
/proc/19707/task/19723/stat : 19723 (java) R 19704 19707 9153 0 -1 4202560 4811 0 0 0 98 4 0 0 20 0 16 0 69205567 10878976000 55202 18446744073709551615 4194304 4196468 140730050533072 139624009616896 139625116073366 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9162752 140730050535885 140730050536014 140730050536014 140730050539471 0
Current children cumulated CPU time (s) 3.64
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.4379
CPU time (s): 3.72475
CPU user time (s): 3.60747
CPU system time (s): 0.117283
CPU usage (%): 259.041
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.60747
system time used= 0.117283
maximum resident set size= 221872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18127
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= 1810
involuntary context switches= 17
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008283 second user time and 0.011833 second system time
The end