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-4257488-1501660555/watcher-4257488-1501660555 -o /tmp/evaluation-result-4257488-1501660555/solver-4257488-1501660555 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6626 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257488-1501660555.xml
pid=23906
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.45 2.10 2.00 3/199 23909
/proc/meminfo: memFree=31607036/32770624 swapFree=0/336716
[pid=23909] ppid=23906 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/23909/stat : 23909 (runsolver) D 23906 23909 5234 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 13561306 24240128 106 18446744073709551615 4194304 4338465 140731139135200 140731139132840 140676015092439 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 22847488 140731139141792 140731139142214 140731139142214 140731139145674 0
/proc/23909/statm: 5918 106 53 36 0 2156 0
[startup+0.108855 s]
/proc/loadavg: 2.45 2.10 2.00 3/199 23909
/proc/meminfo: memFree=31607036/32770624 swapFree=0/336716
[pid=23909] ppid=23906 vsize=9936560 CPUtime=0.01 cores=0,2,4,6
/proc/23909/stat : 23909 (java) S 23906 23909 5234 0 -1 1077944320 3529 0 0 0 1 0 0 0 20 0 6 0 13561306 10175037440 4756 18446744073709551615 4194304 4196468 140727154974960 140727154957504 140461590822647 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
/proc/23909/statm: 2484140 4756 1940 1 0 2473645 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9936560
[startup+0.204864 s]
/proc/loadavg: 2.45 2.10 2.00 3/199 23909
/proc/meminfo: memFree=31607036/32770624 swapFree=0/336716
[pid=23909] ppid=23906 vsize=10551180 CPUtime=0.07 cores=0,2,4,6
/proc/23909/stat : 23909 (java) S 23906 23909 5234 0 -1 1077944320 4965 0 0 0 7 0 0 0 20 0 15 0 13561306 10804408320 6489 18446744073709551615 4194304 4196468 140727154974960 140727154957504 140461590822647 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
/proc/23909/statm: 2637795 6489 2666 1 0 2627269 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10551180
[startup+0.300277 s]
/proc/loadavg: 2.45 2.10 2.00 3/199 23909
/proc/meminfo: memFree=31607036/32770624 swapFree=0/336716
[pid=23909] ppid=23906 vsize=10551180 CPUtime=0.25 cores=0,2,4,6
/proc/23909/stat : 23909 (java) S 23906 23909 5234 0 -1 1077944320 8854 0 0 0 23 2 0 0 20 0 15 0 13561306 10804408320 9703 18446744073709551615 4194304 4196468 140727154974960 140727154957504 140461590822647 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
/proc/23909/statm: 2637795 9703 2871 1 0 2627269 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10551180
[startup+0.701258 s]
/proc/loadavg: 2.45 2.10 2.00 3/199 23909
/proc/meminfo: memFree=31607036/32770624 swapFree=0/336716
[pid=23909] ppid=23906 vsize=10621952 CPUtime=1.19 cores=0,2,4,6
/proc/23909/stat : 23909 (java) S 23906 23909 5234 0 -1 1077944320 13888 0 0 0 114 5 0 0 20 0 16 0 13561306 10876878848 19604 18446744073709551615 4194304 4196468 140727154974960 140727154957504 140461590822647 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
/proc/23909/statm: 2655488 19604 3054 1 0 2644422 0
Current children cumulated CPU time (s) 1.19
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23909 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.801524 s]
/proc/loadavg: 2.45 2.10 2.00 3/199 23909
/proc/meminfo: memFree=31607036/32770624 swapFree=0/336716
[pid=23909] ppid=23906 vsize=10624000 CPUtime=1.48 cores=0,2,4,6
/proc/23909/stat : 23909 (java) S 23906 23909 5234 0 -1 1077944320 16177 0 0 0 142 6 0 0 20 0 16 0 13561306 10878976000 23995 18446744073709551615 4194304 4196468 140727154974960 140727154957504 140461590822647 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
/proc/23909/statm: 2656000 23995 3077 1 0 2644934 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10624000
[startup+1.20696 s]
/proc/loadavg: 2.45 2.10 2.00 5/215 23925
/proc/meminfo: memFree=31495844/32770624 swapFree=0/336716
[pid=23909] ppid=23906 vsize=10624000 CPUtime=2.65 cores=0,2,4,6
/proc/23909/stat : 23909 (java) S 23906 23909 5234 0 -1 1077944320 17913 0 0 0 258 7 0 0 20 0 16 0 13561306 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140727154957504 140461590822647 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
/proc/23909/statm: 2656000 33200 3092 1 0 2644934 0
[pid=23909/tid=23911] ppid=23906 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/23909/task/23911/stat : 23911 (java) S 23906 23909 5234 0 -1 1077944384 6157 0 0 0 19 2 0 0 20 0 16 0 13561315 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461595065520 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23912] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23912/stat : 23912 (java) S 23906 23909 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13561316 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461202004496 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23913] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23913/stat : 23913 (java) S 23906 23909 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13561316 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461200951952 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23914] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23914/stat : 23914 (java) S 23906 23909 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13561316 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461199898896 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23915] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23915/stat : 23915 (java) S 23906 23909 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13561316 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461198846352 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23916] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23916/stat : 23916 (java) S 23906 23909 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13561317 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461154945776 140461590833794 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23917] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23917/stat : 23917 (java) S 23906 23909 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13561318 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461153892000 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23918] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23918/stat : 23918 (java) S 23906 23909 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13561318 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461152838896 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23919] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23919/stat : 23919 (java) S 23906 23909 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13561320 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461151787472 140461590841243 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23920] ppid=23906 vsize=10624000 CPUtime=0.49 cores=0,2,4,6
/proc/23909/task/23920/stat : 23920 (java) S 23906 23909 5234 0 -1 1077944384 1647 0 0 0 49 0 0 0 20 0 16 0 13561320 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461150734576 140461590833794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23921] ppid=23906 vsize=10624000 CPUtime=0.62 cores=0,2,4,6
/proc/23909/task/23921/stat : 23921 (java) S 23906 23909 5234 0 -1 1077944384 1668 0 0 0 62 0 0 0 20 0 16 0 13561320 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461149682032 140461590833794 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23922] ppid=23906 vsize=10624000 CPUtime=0.44 cores=0,2,4,6
/proc/23909/task/23922/stat : 23922 (java) S 23906 23909 5234 0 -1 1077944384 2161 0 0 0 44 0 0 0 20 0 16 0 13561320 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461148628976 140461590833794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23923] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23923/stat : 23923 (java) S 23906 23909 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13561320 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461147576672 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23924] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23924/stat : 23924 (java) S 23906 23909 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13561325 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461146524720 140461590833794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23925] ppid=23906 vsize=10624000 CPUtime=0.84 cores=0,2,4,6
/proc/23909/task/23925/stat : 23925 (java) R 23906 23909 5234 0 -1 4202560 4912 0 0 0 81 3 0 0 20 0 16 0 13561342 10878976000 33200 18446744073709551615 4194304 4196468 140727154974960 140461143334872 140461222571438 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
Current children cumulated CPU time (s) 2.65
Current children cumulated vsize (KiB) 10624000
[startup+1.30076 s]
/proc/loadavg: 2.45 2.10 2.00 5/215 23925
/proc/meminfo: memFree=31495844/32770624 swapFree=0/336716
[pid=23909] ppid=23906 vsize=10624000 CPUtime=2.77 cores=0,2,4,6
/proc/23909/stat : 23909 (java) S 23906 23909 5234 0 -1 1077944320 17937 0 0 0 269 8 0 0 20 0 16 0 13561306 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140727154957504 140461590822647 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
/proc/23909/statm: 2656000 35770 3092 1 0 2644934 0
[pid=23909/tid=23911] ppid=23906 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/23909/task/23911/stat : 23911 (java) S 23906 23909 5234 0 -1 1077944384 6157 0 0 0 19 2 0 0 20 0 16 0 13561315 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461595065520 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23912] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23912/stat : 23912 (java) S 23906 23909 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13561316 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461202004496 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23913] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23913/stat : 23913 (java) S 23906 23909 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13561316 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461200951952 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23914] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23914/stat : 23914 (java) S 23906 23909 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13561316 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461199898896 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23915] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23915/stat : 23915 (java) S 23906 23909 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 13561316 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461198846352 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23916] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23916/stat : 23916 (java) S 23906 23909 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 13561317 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461154945776 140461590833794 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23917] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23917/stat : 23917 (java) S 23906 23909 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 13561318 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461153892000 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23918] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23918/stat : 23918 (java) S 23906 23909 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 13561318 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461152838896 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23919] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23919/stat : 23919 (java) S 23906 23909 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13561320 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461151787472 140461590841243 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23920] ppid=23906 vsize=10624000 CPUtime=0.49 cores=0,2,4,6
/proc/23909/task/23920/stat : 23920 (java) S 23906 23909 5234 0 -1 1077944384 1651 0 0 0 49 0 0 0 20 0 16 0 13561320 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461150734576 140461590833794 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23921] ppid=23906 vsize=10624000 CPUtime=0.63 cores=0,2,4,6
/proc/23909/task/23921/stat : 23921 (java) R 23906 23909 5234 0 -1 4202560 1669 0 0 0 63 0 0 0 20 0 16 0 13561320 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461149682032 140461574359768 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23922] ppid=23906 vsize=10624000 CPUtime=0.45 cores=0,2,4,6
/proc/23909/task/23922/stat : 23922 (java) S 23906 23909 5234 0 -1 1077944384 2175 0 0 0 45 0 0 0 20 0 16 0 13561320 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461148628976 140461590833794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23923] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23923/stat : 23923 (java) S 23906 23909 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 13561320 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461147576672 140461590832853 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23924] ppid=23906 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/23909/task/23924/stat : 23924 (java) S 23906 23909 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 13561325 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461146524720 140461590833794 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
[pid=23909/tid=23925] ppid=23906 vsize=10624000 CPUtime=0.93 cores=0,2,4,6
/proc/23909/task/23925/stat : 23925 (java) R 23906 23909 5234 0 -1 4202560 4917 0 0 0 90 3 0 0 20 0 16 0 13561342 10878976000 35770 18446744073709551615 4194304 4196468 140727154974960 140461143334872 140461222571061 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 25464832 140727154979274 140727154979403 140727154979403 140727154982863 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.33206
CPU time (s): 2.83087
CPU user time (s): 2.74493
CPU system time (s): 0.085938
CPU usage (%): 212.518
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.74493
system time used= 0.085938
maximum resident set size= 145488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18021
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= 1942
involuntary context switches= 11
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01201 second user time and 0.008407 second system time
The end