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-4257485-1501660548/watcher-4257485-1501660548 -o /tmp/evaluation-result-4257485-1501660548/solver-4257485-1501660548 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27505 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257485-1501660548.xml
pid=14566
running on 4 cores: 1,3,5,7
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.10 2.06 2.00 3/196 14569
/proc/meminfo: memFree=26215668/32770624 swapFree=0/234824
[pid=14569] ppid=14566 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14569/stat : 14569 (runsolver) D 14566 14569 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 14675078 24240128 106 18446744073709551615 4194304 4338465 140734719326592 140734719324232 140687460352727 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29761536 140734719332511 140734719332934 140734719332934 140734719336394 0
/proc/14569/statm: 5918 106 53 36 0 2156 0
[startup+0.100161 s]
/proc/loadavg: 2.10 2.06 2.00 3/196 14569
/proc/meminfo: memFree=26215668/32770624 swapFree=0/234824
[pid=14569] ppid=14566 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14569/stat : 14569 (runsolver) D 14566 14569 5131 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 14675078 24240128 106 18446744073709551615 4194304 4338465 140734719326592 140734719324232 140687460352727 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 29761536 140734719332511 140734719332934 140734719332934 140734719336394 0
/proc/14569/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200298 s]
/proc/loadavg: 2.10 2.06 2.00 3/196 14569
/proc/meminfo: memFree=26215668/32770624 swapFree=0/234824
[pid=14569] ppid=14566 vsize=10484492 CPUtime=0.05 cores=1,3,5,7
/proc/14569/stat : 14569 (java) S 14566 14569 5131 0 -1 1077944320 4531 0 0 0 4 1 0 0 20 0 14 0 14675078 10736119808 5579 18446744073709551615 4194304 4196468 140727537514992 140727537497536 140582288834295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
/proc/14569/statm: 2621123 5579 2561 1 0 2610628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.302426 s]
/proc/loadavg: 2.10 2.06 2.00 3/196 14569
/proc/meminfo: memFree=26215668/32770624 swapFree=0/234824
[pid=14569] ppid=14566 vsize=10551180 CPUtime=0.21 cores=1,3,5,7
/proc/14569/stat : 14569 (java) S 14566 14569 5131 0 -1 1077944320 8144 0 0 0 18 3 0 0 20 0 15 0 14675078 10804408320 8959 18446744073709551615 4194304 4196468 140727537514992 140727537497536 140582288834295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
/proc/14569/statm: 2637795 8959 2872 1 0 2627269 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10551180
[startup+0.70234 s]
/proc/loadavg: 2.10 2.06 2.00 3/196 14569
/proc/meminfo: memFree=26215668/32770624 swapFree=0/234824
[pid=14569] ppid=14566 vsize=10621952 CPUtime=1.18 cores=1,3,5,7
/proc/14569/stat : 14569 (java) S 14566 14569 5131 0 -1 1077944320 13741 0 0 0 112 6 0 0 20 0 16 0 14675078 10876878848 19991 18446744073709551615 4194304 4196468 140727537514992 140727537497536 140582288834295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
/proc/14569/statm: 2655488 19991 3062 1 0 2644422 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14569 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.804052 s]
/proc/loadavg: 2.10 2.06 2.00 3/196 14569
/proc/meminfo: memFree=26215668/32770624 swapFree=0/234824
[pid=14569] ppid=14566 vsize=10621952 CPUtime=1.51 cores=1,3,5,7
/proc/14569/stat : 14569 (java) S 14566 14569 5131 0 -1 1077944320 14166 0 0 0 144 7 0 0 20 0 16 0 14675078 10876878848 22480 18446744073709551615 4194304 4196468 140727537514992 140727537497536 140582288834295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
/proc/14569/statm: 2655488 22480 3086 1 0 2644422 0
Current children cumulated CPU time (s) 1.51
Current children cumulated vsize (KiB) 10621952
[startup+1.20687 s]
/proc/loadavg: 2.10 2.06 2.00 5/212 14585
/proc/meminfo: memFree=26109400/32770624 swapFree=0/234832
[pid=14569] ppid=14566 vsize=10624000 CPUtime=2.75 cores=1,3,5,7
/proc/14569/stat : 14569 (java) S 14566 14569 5131 0 -1 1077944320 16913 0 0 0 266 9 0 0 20 0 16 0 14675078 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140727537497536 140582288834295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
/proc/14569/statm: 2656000 30344 3098 1 0 2644934 0
[pid=14569/tid=14571] ppid=14566 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/14569/task/14571/stat : 14571 (java) S 14566 14569 5131 0 -1 1077944384 5706 0 0 0 18 3 0 0 20 0 16 0 14675088 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140582293077168 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14572] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14572/stat : 14572 (java) S 14566 14569 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14675089 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140582219254800 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14573] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14573/stat : 14573 (java) S 14566 14569 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14675089 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140582218202256 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14574] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14574/stat : 14574 (java) S 14566 14569 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14675089 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140582217149200 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14575] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14575/stat : 14575 (java) S 14566 14569 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14675089 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140582216096656 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14576] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14576/stat : 14576 (java) S 14566 14569 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 14675090 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581530454256 140582288845442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14577] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14577/stat : 14577 (java) S 14566 14569 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14675091 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581529400480 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14578] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14578/stat : 14578 (java) S 14566 14569 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14675091 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581460239088 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14579] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14579/stat : 14579 (java) S 14566 14569 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14675093 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581459187664 140582288852891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14580] ppid=14566 vsize=10624000 CPUtime=0.59 cores=1,3,5,7
/proc/14569/task/14580/stat : 14580 (java) R 14566 14569 5131 0 -1 4202560 1642 0 0 0 59 0 0 0 20 0 16 0 14675093 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581458135920 140582273734540 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14581] ppid=14566 vsize=10624000 CPUtime=0.55 cores=1,3,5,7
/proc/14569/task/14581/stat : 14581 (java) R 14566 14569 5131 0 -1 4202560 1160 0 0 0 55 0 0 0 20 0 16 0 14675093 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581457073632 140582272739774 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14582] ppid=14566 vsize=10624000 CPUtime=0.55 cores=1,3,5,7
/proc/14569/task/14582/stat : 14582 (java) S 14566 14569 5131 0 -1 1077944384 2296 0 0 0 54 1 0 0 20 0 16 0 14675093 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581456030192 140582288845442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14583] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14583/stat : 14583 (java) S 14566 14569 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14675093 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581454977888 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14584] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14584/stat : 14584 (java) S 14566 14569 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14675099 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581453924912 140582288845442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14585] ppid=14566 vsize=10624000 CPUtime=0.82 cores=1,3,5,7
/proc/14569/task/14585/stat : 14585 (java) R 14566 14569 5131 0 -1 4202560 4741 0 0 0 79 3 0 0 20 0 16 0 14675115 10878976000 30344 18446744073709551615 4194304 4196468 140727537514992 140581450732912 140582288846230 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
Current children cumulated CPU time (s) 2.75
Current children cumulated vsize (KiB) 10624000
[startup+1.30083 s]
/proc/loadavg: 2.10 2.06 2.00 5/212 14585
/proc/meminfo: memFree=26109400/32770624 swapFree=0/234832
[pid=14569] ppid=14566 vsize=10624000 CPUtime=3.01 cores=1,3,5,7
/proc/14569/stat : 14569 (java) S 14566 14569 5131 0 -1 1077944320 17170 0 0 0 292 9 0 0 20 0 16 0 14675078 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140727537497536 140582288834295 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 10 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
/proc/14569/statm: 2656000 30916 3098 1 0 2644934 0
[pid=14569/tid=14571] ppid=14566 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/14569/task/14571/stat : 14571 (java) S 14566 14569 5131 0 -1 1077944384 5706 0 0 0 18 3 0 0 20 0 16 0 14675088 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140582293077168 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14572] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14572/stat : 14572 (java) S 14566 14569 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14675089 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140582219254800 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14573] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14573/stat : 14573 (java) S 14566 14569 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14675089 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140582218202256 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14574] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14574/stat : 14574 (java) S 14566 14569 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14675089 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140582217149200 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14575] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14575/stat : 14575 (java) S 14566 14569 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14675089 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140582216096656 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14576] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14576/stat : 14576 (java) S 14566 14569 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 14675090 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581530454256 140582288845442 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14577] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14577/stat : 14577 (java) S 14566 14569 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14675091 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581529400480 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14578] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14578/stat : 14578 (java) S 14566 14569 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14675091 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581460239088 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14579] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14579/stat : 14579 (java) S 14566 14569 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14675093 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581459187664 140582288852891 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14580] ppid=14566 vsize=10624000 CPUtime=0.67 cores=1,3,5,7
/proc/14569/task/14580/stat : 14580 (java) R 14566 14569 5131 0 -1 4202560 1654 0 0 0 67 0 0 0 20 0 16 0 14675093 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581458135792 140582272321674 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14581] ppid=14566 vsize=10624000 CPUtime=0.63 cores=1,3,5,7
/proc/14569/task/14581/stat : 14581 (java) S 14566 14569 5131 0 -1 1077944384 1178 0 0 0 63 0 0 0 20 0 16 0 14675093 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581457083248 140582288845442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14582] ppid=14566 vsize=10624000 CPUtime=0.55 cores=1,3,5,7
/proc/14569/task/14582/stat : 14582 (java) S 14566 14569 5131 0 -1 1077944384 2298 0 0 0 54 1 0 0 20 0 16 0 14675093 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581456030192 140582288845442 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14583] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14583/stat : 14583 (java) S 14566 14569 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14675093 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581454977888 140582288844501 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14584] ppid=14566 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14569/task/14584/stat : 14584 (java) S 14566 14569 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14675099 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581453924912 140582288845442 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
[pid=14569/tid=14585] ppid=14566 vsize=10624000 CPUtime=0.91 cores=1,3,5,7
/proc/14569/task/14585/stat : 14585 (java) R 14566 14569 5131 0 -1 4202560 4966 0 0 0 88 3 0 0 20 0 16 0 14675115 10878976000 30916 18446744073709551615 4194304 4196468 140727537514992 140581450720288 140581885939978 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11141120 140727537517002 140727537517131 140727537517131 140727537520591 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.39161
CPU time (s): 3.14889
CPU user time (s): 3.05233
CPU system time (s): 0.09656
CPU usage (%): 226.277
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.05233
system time used= 0.09656
maximum resident set size= 124052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2094
involuntary context switches= 17
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012065 second user time and 0.010054 second system time
The end