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-4264384-1502298510/watcher-4264384-1502298510 -o /tmp/evaluation-result-4264384-1502298510/solver-4264384-1502298510 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502257024-9066 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264384-1502298510.xml
pid=17201
running on 4 cores: 0,2,4,6
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.84 1.84 1.84 3/201 17204
/proc/meminfo: memFree=31046224/32770624 swapFree=0/414256
[pid=17204] ppid=17201 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/17204/stat : 17204 (runsolver) D 17201 17204 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 129504027 24240128 108 18446744073709551615 4194304 4338465 140721133207664 140721133205304 139908204602071 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 10596352 140721133211808 140721133212233 140721133212233 140721133215690 0
/proc/17204/statm: 5918 108 54 36 0 2156 0
[startup+0.100169 s]
/proc/loadavg: 1.84 1.84 1.84 3/201 17204
/proc/meminfo: memFree=31046224/32770624 swapFree=0/414256
[pid=17204] ppid=17201 vsize=9934352 CPUtime=0 cores=0,2,4,6
/proc/17204/stat : 17204 (java) S 17201 17204 4525 0 -1 1077944320 2620 0 0 0 0 0 0 0 20 0 6 0 129504027 10172776448 3330 18446744073709551615 4194304 4196468 140733905109504 140733905092048 140574143495927 0 0 1 16784584 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
/proc/17204/statm: 2483588 3330 1326 1 0 2473558 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9934352
[startup+0.200306 s]
/proc/loadavg: 1.84 1.84 1.84 3/201 17204
/proc/meminfo: memFree=31046224/32770624 swapFree=0/414256
[pid=17204] ppid=17201 vsize=10551180 CPUtime=0.06 cores=0,2,4,6
/proc/17204/stat : 17204 (java) S 17201 17204 4525 0 -1 1077944320 4913 0 0 0 5 1 0 0 20 0 15 0 129504027 10804408320 5950 18446744073709551615 4194304 4196468 140733905109504 140733905092048 140574143495927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
/proc/17204/statm: 2637795 5950 2605 1 0 2627261 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10551180
[startup+0.300316 s]
/proc/loadavg: 1.84 1.84 1.84 3/201 17204
/proc/meminfo: memFree=31046224/32770624 swapFree=0/414256
[pid=17204] ppid=17201 vsize=10551180 CPUtime=0.23 cores=0,2,4,6
/proc/17204/stat : 17204 (java) S 17201 17204 4525 0 -1 1077944320 8676 0 0 0 21 2 0 0 20 0 15 0 129504027 10804408320 9036 18446744073709551615 4194304 4196468 140733905109504 140733905092048 140574143495927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
/proc/17204/statm: 2637795 9036 2888 1 0 2627261 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10551180
[startup+0.701293 s]
/proc/loadavg: 1.84 1.84 1.84 3/201 17204
/proc/meminfo: memFree=31046224/32770624 swapFree=0/414256
[pid=17204] ppid=17201 vsize=10621952 CPUtime=1.11 cores=0,2,4,6
/proc/17204/stat : 17204 (java) S 17201 17204 4525 0 -1 1077944320 14328 0 0 0 106 5 0 0 20 0 16 0 129504027 10876878848 22404 18446744073709551615 4194304 4196468 140733905109504 140733905092048 140574143495927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
/proc/17204/statm: 2655488 22404 3084 1 0 2644414 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 10621952
[startup+1.50064 s]
/proc/loadavg: 1.84 1.84 1.84 3/217 17220
/proc/meminfo: memFree=30955316/32770624 swapFree=0/414044
[pid=17204] ppid=17201 vsize=10624000 CPUtime=2.81 cores=0,2,4,6
/proc/17204/stat : 17204 (java) S 17201 17204 4525 0 -1 1077944320 21706 0 0 0 274 7 0 0 20 0 16 0 129504027 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140733905092048 140574143495927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
/proc/17204/statm: 2656000 27721 3100 1 0 2644926 0
[pid=17204/tid=17206] ppid=17201 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/17204/task/17206/stat : 17206 (java) S 17201 17204 4525 0 -1 1077944384 6207 0 0 0 19 2 0 0 20 0 16 0 129504036 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140574147738800 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17207] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17207/stat : 17207 (java) S 17201 17204 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140574084532880 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17208] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17208/stat : 17208 (java) S 17201 17204 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140574083480080 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17209] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17209/stat : 17209 (java) S 17201 17204 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140574082427280 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17210] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17210/stat : 17210 (java) S 17201 17204 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140574081374480 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17211] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17211/stat : 17211 (java) S 17201 17204 4525 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 129504038 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573639719792 140574143507074 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17212] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17212/stat : 17212 (java) S 17201 17204 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 129504038 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573638665760 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17213] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17213/stat : 17213 (java) S 17201 17204 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 129504038 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573637612912 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17214] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17214/stat : 17214 (java) S 17201 17204 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 129504041 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573636561232 140574143514523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17215] ppid=17201 vsize=10624000 CPUtime=0.52 cores=0,2,4,6
/proc/17204/task/17215/stat : 17215 (java) R 17201 17204 4525 0 -1 1077944384 2401 0 0 0 52 0 0 0 20 0 16 0 129504041 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573635508592 140574143507074 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17216] ppid=17201 vsize=10624000 CPUtime=0.57 cores=0,2,4,6
/proc/17204/task/17216/stat : 17216 (java) R 17201 17204 4525 0 -1 4202560 3090 0 0 0 57 0 0 0 20 0 16 0 129504041 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573634455792 140574122685488 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17217] ppid=17201 vsize=10624000 CPUtime=0.34 cores=0,2,4,6
/proc/17204/task/17217/stat : 17217 (java) S 17201 17204 4525 0 -1 1077944384 2652 0 0 0 34 0 0 0 20 0 16 0 129504041 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573633402992 140574143507074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17218] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17218/stat : 17218 (java) S 17201 17204 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 129504041 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573632350432 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17219] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17219/stat : 17219 (java) S 17201 17204 4525 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 16 0 129504046 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573631298736 140574143507074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17220] ppid=17201 vsize=10624000 CPUtime=1.12 cores=0,2,4,6
/proc/17204/task/17220/stat : 17220 (java) R 17201 17204 4525 0 -1 4202560 5870 0 0 0 109 3 0 0 20 0 16 0 129504063 10878976000 27721 18446744073709551615 4194304 4196468 140733905109504 140573628106232 140574143507862 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17204 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60081 s]
/proc/loadavg: 1.84 1.84 1.84 3/217 17220
/proc/meminfo: memFree=30955316/32770624 swapFree=0/414044
[pid=17204] ppid=17201 vsize=10624000 CPUtime=2.94 cores=0,2,4,6
/proc/17204/stat : 17204 (java) S 17201 17204 4525 0 -1 1077944320 21758 0 0 0 287 7 0 0 20 0 16 0 129504027 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140733905092048 140574143495927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
/proc/17204/statm: 2656000 27723 3101 1 0 2644926 0
[pid=17204/tid=17206] ppid=17201 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/17204/task/17206/stat : 17206 (java) S 17201 17204 4525 0 -1 1077944384 6207 0 0 0 19 2 0 0 20 0 16 0 129504036 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140574147738800 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17207] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17207/stat : 17207 (java) S 17201 17204 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140574084532880 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17208] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17208/stat : 17208 (java) S 17201 17204 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140574083480080 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17209] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17209/stat : 17209 (java) S 17201 17204 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140574082427280 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17210] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17210/stat : 17210 (java) S 17201 17204 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140574081374480 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17211] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17211/stat : 17211 (java) S 17201 17204 4525 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 129504038 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573639719792 140574143507074 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17212] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17212/stat : 17212 (java) S 17201 17204 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 129504038 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573638665760 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17213] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17213/stat : 17213 (java) S 17201 17204 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 129504038 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573637612912 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17214] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17214/stat : 17214 (java) S 17201 17204 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 129504041 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573636561232 140574143514523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17215] ppid=17201 vsize=10624000 CPUtime=0.52 cores=0,2,4,6
/proc/17204/task/17215/stat : 17215 (java) S 17201 17204 4525 0 -1 1077944384 2401 0 0 0 52 0 0 0 20 0 16 0 129504041 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573635508592 140574143507074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17216] ppid=17201 vsize=10624000 CPUtime=0.6 cores=0,2,4,6
/proc/17204/task/17216/stat : 17216 (java) S 17201 17204 4525 0 -1 1077944384 3134 0 0 0 60 0 0 0 20 0 16 0 129504041 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573634455792 140574143507074 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17217] ppid=17201 vsize=10624000 CPUtime=0.34 cores=0,2,4,6
/proc/17204/task/17217/stat : 17217 (java) S 17201 17204 4525 0 -1 1077944384 2656 0 0 0 34 0 0 0 20 0 16 0 129504041 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573633402992 140574143507074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17218] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17218/stat : 17218 (java) S 17201 17204 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 129504041 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573632350432 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17219] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17219/stat : 17219 (java) S 17201 17204 4525 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 16 0 129504046 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573631298736 140574143507074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17220] ppid=17201 vsize=10624000 CPUtime=1.22 cores=0,2,4,6
/proc/17204/task/17220/stat : 17220 (java) R 17201 17204 4525 0 -1 4202560 5872 0 0 0 119 3 0 0 20 0 16 0 129504063 10878976000 27723 18446744073709551615 4194304 4196468 140733905109504 140573628106232 140573763280032 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 10624000
[startup+1.70062 s]
/proc/loadavg: 1.84 1.84 1.84 3/217 17220
/proc/meminfo: memFree=30955316/32770624 swapFree=0/414044
[pid=17204] ppid=17201 vsize=10624000 CPUtime=3.04 cores=0,2,4,6
/proc/17204/stat : 17204 (java) S 17201 17204 4525 0 -1 1077944320 21781 0 0 0 297 7 0 0 20 0 16 0 129504027 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140733905092048 140574143495927 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
/proc/17204/statm: 2656000 28235 3101 1 0 2644926 0
[pid=17204/tid=17206] ppid=17201 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/17204/task/17206/stat : 17206 (java) S 17201 17204 4525 0 -1 1077944384 6207 0 0 0 19 2 0 0 20 0 16 0 129504036 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140574147738800 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17207] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17207/stat : 17207 (java) S 17201 17204 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140574084532880 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17208] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17208/stat : 17208 (java) S 17201 17204 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140574083480080 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17209] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17209/stat : 17209 (java) S 17201 17204 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140574082427280 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17210] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17210/stat : 17210 (java) S 17201 17204 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 129504036 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140574081374480 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17211] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17211/stat : 17211 (java) S 17201 17204 4525 0 -1 1077944384 124 0 0 0 0 0 0 0 20 0 16 0 129504038 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573639719792 140574143507074 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17212] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17212/stat : 17212 (java) S 17201 17204 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 129504038 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573638665760 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17213] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17213/stat : 17213 (java) S 17201 17204 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 129504038 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573637612912 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17214] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17214/stat : 17214 (java) S 17201 17204 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 129504041 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573636561232 140574143514523 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17215] ppid=17201 vsize=10624000 CPUtime=0.52 cores=0,2,4,6
/proc/17204/task/17215/stat : 17215 (java) S 17201 17204 4525 0 -1 1077944384 2403 0 0 0 52 0 0 0 20 0 16 0 129504041 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573635508592 140574143507074 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17216] ppid=17201 vsize=10624000 CPUtime=0.6 cores=0,2,4,6
/proc/17204/task/17216/stat : 17216 (java) R 17201 17204 4525 0 -1 4202560 3143 0 0 0 60 0 0 0 20 0 16 0 129504041 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573634455792 140574121243399 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17217] ppid=17201 vsize=10624000 CPUtime=0.34 cores=0,2,4,6
/proc/17204/task/17217/stat : 17217 (java) S 17201 17204 4525 0 -1 1077944384 2656 0 0 0 34 0 0 0 20 0 16 0 129504041 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573633402992 140574143507074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17218] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17218/stat : 17218 (java) S 17201 17204 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 129504041 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573632350432 140574143506133 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17219] ppid=17201 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/17204/task/17219/stat : 17219 (java) S 17201 17204 4525 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 16 0 129504046 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573631298736 140574143507074 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
[pid=17204/tid=17220] ppid=17201 vsize=10624000 CPUtime=1.32 cores=0,2,4,6
/proc/17204/task/17220/stat : 17220 (java) R 17201 17204 4525 0 -1 4202560 5884 0 0 0 129 3 0 0 20 0 16 0 129504063 10878976000 28235 18446744073709551615 4194304 4196468 140733905109504 140573628106232 140573763279884 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6483968 140733905117645 140733905117774 140733905117774 140733905121231 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.72232
CPU time (s): 3.09913
CPU user time (s): 3.01316
CPU system time (s): 0.085974
CPU usage (%): 179.939
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.01315
system time used= 0.085974
maximum resident set size= 115236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22907
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= 1830
involuntary context switches= 12
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.00534 second user time and 0.016022 second system time
The end