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-4264577-1502273778/watcher-4264577-1502273778 -o /tmp/evaluation-result-4264577-1502273778/solver-4264577-1502273778 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502257024-9067 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264577-1502273778.xml
pid=12176
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: 1.79 1.92 1.94 3/202 12179
/proc/meminfo: memFree=31074260/32770624 swapFree=0/409276
[pid=12179] ppid=12176 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/12179/stat : 12179 (runsolver) D 12176 12179 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 127030856 24240128 107 18446744073709551615 4194304 4338465 140728459482048 140728459479688 140378379043543 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 32567296 140728459485344 140728459485769 140728459485769 140728459489226 0
/proc/12179/statm: 5918 107 54 36 0 2156 0
[startup+0.100058 s]
/proc/loadavg: 1.79 1.92 1.94 3/202 12179
/proc/meminfo: memFree=31074260/32770624 swapFree=0/409276
[pid=12179] ppid=12176 vsize=105196 CPUtime=0 cores=1,3,5,7
/proc/12179/stat : 12179 (java) S 12176 12179 4525 0 -1 1077944320 1634 0 0 0 0 0 0 0 20 0 2 0 127030856 107720704 1336 18446744073709551615 4194304 4196468 140723246219664 140723246202208 140238255865591 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
/proc/12179/statm: 26299 1336 1010 1 0 16808 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 105196
[startup+0.200278 s]
/proc/loadavg: 1.79 1.92 1.94 3/202 12179
/proc/meminfo: memFree=31074260/32770624 swapFree=0/409276
[pid=12179] ppid=12176 vsize=10484492 CPUtime=0.05 cores=1,3,5,7
/proc/12179/stat : 12179 (java) S 12176 12179 4525 0 -1 1077944320 4846 0 0 0 4 1 0 0 20 0 14 0 127030856 10736119808 5890 18446744073709551615 4194304 4196468 140723246219664 140723246202208 140238255865591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
/proc/12179/statm: 2621123 5890 2576 1 0 2610620 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.300345 s]
/proc/loadavg: 1.79 1.92 1.94 3/202 12179
/proc/meminfo: memFree=31074260/32770624 swapFree=0/409276
[pid=12179] ppid=12176 vsize=10551180 CPUtime=0.21 cores=1,3,5,7
/proc/12179/stat : 12179 (java) S 12176 12179 4525 0 -1 1077944320 8654 0 0 0 19 2 0 0 20 0 15 0 127030856 10804408320 8985 18446744073709551615 4194304 4196468 140723246219664 140723246202208 140238255865591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
/proc/12179/statm: 2637795 8985 2864 1 0 2627261 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 10551180
[startup+0.70552 s]
/proc/loadavg: 1.79 1.92 1.94 3/202 12179
/proc/meminfo: memFree=31074260/32770624 swapFree=0/409276
[pid=12179] ppid=12176 vsize=10621952 CPUtime=1.08 cores=1,3,5,7
/proc/12179/stat : 12179 (java) S 12176 12179 4525 0 -1 1077944320 14046 0 0 0 102 6 0 0 20 0 16 0 127030856 10876878848 42236 18446744073709551615 4194304 4196468 140723246219664 140723246202208 140238255865591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
/proc/12179/statm: 2655488 42236 3081 1 0 2644414 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12179 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800556 s]
/proc/loadavg: 1.79 1.92 1.94 3/202 12179
/proc/meminfo: memFree=31074260/32770624 swapFree=0/409276
[pid=12179] ppid=12176 vsize=10621952 CPUtime=1.43 cores=1,3,5,7
/proc/12179/stat : 12179 (java) S 12176 12179 4525 0 -1 1077944320 15662 0 0 0 136 7 0 0 20 0 16 0 127030856 10876878848 47389 18446744073709551615 4194304 4196468 140723246219664 140723246202208 140238255865591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
/proc/12179/statm: 2655488 47389 3100 1 0 2644414 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 10621952
[startup+1.20756 s]
/proc/loadavg: 1.80 1.92 1.94 5/218 12195
/proc/meminfo: memFree=30892528/32770624 swapFree=0/409300
[pid=12179] ppid=12176 vsize=10624000 CPUtime=2.86 cores=1,3,5,7
/proc/12179/stat : 12179 (java) S 12176 12179 4525 0 -1 1077944320 17532 0 0 0 278 8 0 0 20 0 16 0 127030856 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140723246202208 140238255865591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
/proc/12179/statm: 2656000 48704 3116 1 0 2644926 0
[pid=12179/tid=12181] ppid=12176 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/12179/task/12181/stat : 12181 (java) S 12176 12179 4525 0 -1 1077944384 6194 0 0 0 19 2 0 0 20 0 16 0 127030866 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140238260108464 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12182] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12182/stat : 12182 (java) S 12176 12179 4525 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 16 0 127030867 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140238202215184 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12183] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12183/stat : 12183 (java) S 12176 12179 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 127030867 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140238201162640 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12184] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12184/stat : 12184 (java) S 12176 12179 4525 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 16 0 127030867 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140238200110096 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12185] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12185/stat : 12185 (java) S 12176 12179 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 127030867 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237863705744 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12186] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12186/stat : 12186 (java) S 12176 12179 4525 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 127030868 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237513627632 140238255876738 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12187] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12187/stat : 12187 (java) S 12176 12179 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 127030869 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237512573856 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12188] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12188/stat : 12188 (java) S 12176 12179 4525 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 127030869 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237511521264 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12189] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12189/stat : 12189 (java) S 12176 12179 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 127030871 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237510469840 140238255884187 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12190] ppid=12176 vsize=10624000 CPUtime=0.57 cores=1,3,5,7
/proc/12179/task/12190/stat : 12190 (java) R 12176 12179 4525 0 -1 4202560 1780 0 0 0 57 0 0 0 20 0 16 0 127030871 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237509406688 140238237387046 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12191] ppid=12176 vsize=10624000 CPUtime=0.56 cores=1,3,5,7
/proc/12179/task/12191/stat : 12191 (java) R 12176 12179 4525 0 -1 4202560 1869 0 0 0 56 0 0 0 20 0 16 0 127030871 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237508351456 140238240152290 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12192] ppid=12176 vsize=10624000 CPUtime=0.62 cores=1,3,5,7
/proc/12179/task/12192/stat : 12192 (java) R 12176 12179 4525 0 -1 4202560 3110 0 0 0 62 0 0 0 20 0 16 0 127030871 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237507312368 140238234357567 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12193] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12193/stat : 12193 (java) S 12176 12179 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 127030872 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237506260064 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12194] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12194/stat : 12194 (java) S 12176 12179 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 127030877 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237505206576 140238255876738 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12195] ppid=12176 vsize=10624000 CPUtime=0.81 cores=1,3,5,7
/proc/12179/task/12195/stat : 12195 (java) R 12176 12179 4525 0 -1 4202560 3100 0 0 0 79 2 0 0 20 0 16 0 127030893 10878976000 48704 18446744073709551615 4194304 4196468 140723246219664 140237502013808 140238233859601 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 10624000
[startup+1.40156 s]
/proc/loadavg: 1.80 1.92 1.94 5/218 12195
/proc/meminfo: memFree=30892528/32770624 swapFree=0/409300
[pid=12179] ppid=12176 vsize=10624000 CPUtime=3.52 cores=1,3,5,7
/proc/12179/stat : 12179 (java) S 12176 12179 4525 0 -1 1077944320 18252 0 0 0 343 9 0 0 20 0 16 0 127030856 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140723246202208 140238255865591 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
/proc/12179/statm: 2656000 51373 3123 1 0 2644926 0
[pid=12179/tid=12181] ppid=12176 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/12179/task/12181/stat : 12181 (java) S 12176 12179 4525 0 -1 1077944384 6194 0 0 0 19 2 0 0 20 0 16 0 127030866 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140238260108464 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12182] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12182/stat : 12182 (java) S 12176 12179 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 127030867 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140238202215184 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12183] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12183/stat : 12183 (java) S 12176 12179 4525 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 16 0 127030867 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140238201162640 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12184] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12184/stat : 12184 (java) S 12176 12179 4525 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 16 0 127030867 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140238200110096 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12185] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12185/stat : 12185 (java) S 12176 12179 4525 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 16 0 127030867 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237863705744 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12186] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12186/stat : 12186 (java) S 12176 12179 4525 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 16 0 127030868 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237513627632 140238255876738 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12187] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12187/stat : 12187 (java) S 12176 12179 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 127030869 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237512573920 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12188] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12188/stat : 12188 (java) S 12176 12179 4525 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 16 0 127030869 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237511521280 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12189] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12189/stat : 12189 (java) S 12176 12179 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 127030871 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237510469840 140238255884187 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12190] ppid=12176 vsize=10624000 CPUtime=0.75 cores=1,3,5,7
/proc/12179/task/12190/stat : 12190 (java) R 12176 12179 4525 0 -1 4202560 1919 0 0 0 75 0 0 0 20 0 16 0 127030871 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237509404064 140238235125999 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12191] ppid=12176 vsize=10624000 CPUtime=0.73 cores=1,3,5,7
/proc/12179/task/12191/stat : 12191 (java) R 12176 12179 4525 0 -1 4202560 1923 0 0 0 73 0 0 0 20 0 16 0 127030871 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237508354832 140238237409348 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12192] ppid=12176 vsize=10624000 CPUtime=0.73 cores=1,3,5,7
/proc/12179/task/12192/stat : 12192 (java) R 12176 12179 4525 0 -1 4202560 3301 0 0 0 72 1 0 0 20 0 16 0 127030871 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237507312368 140238255886938 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12193] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12193/stat : 12193 (java) S 12176 12179 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 127030872 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237506260064 140238255875797 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12194] ppid=12176 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/12179/task/12194/stat : 12194 (java) S 12176 12179 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 127030877 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237505206576 140238255876738 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
[pid=12179/tid=12195] ppid=12176 vsize=10624000 CPUtime=0.99 cores=1,3,5,7
/proc/12179/task/12195/stat : 12195 (java) R 12176 12179 4525 0 -1 4202560 3403 0 0 0 97 2 0 0 20 0 16 0 127030893 10878976000 51373 18446744073709551615 4194304 4196468 140723246219664 140237502007328 140238239946078 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20783104 140723246227917 140723246228046 140723246228046 140723246231503 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.43014
CPU time (s): 3.58051
CPU user time (s): 3.47913
CPU system time (s): 0.101373
CPU usage (%): 250.361
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.47913
system time used= 0.101373
maximum resident set size= 206320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18321
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= 2219
involuntary context switches= 21
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.00369 second user time and 0.015994 second system time
The end