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-4263896-1502318962/watcher-4263896-1502318962 -o /tmp/evaluation-result-4263896-1502318962/solver-4263896-1502318962 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502258094-11417 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4263896-1502318962.xml
pid=24132
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.26 2.06 2.06 3/195 24135
/proc/meminfo: memFree=31535092/32770624 swapFree=0/338980
[pid=24135] ppid=24132 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24135/stat : 24135 (runsolver) D 24132 24135 6971 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 20236888 24240128 108 18446744073709551615 4194304 4338465 140725851270624 140725851268264 139899330466519 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 16101376 140725851279520 140725851279946 140725851279946 140725851283402 0
/proc/24135/statm: 5918 108 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 2.26 2.06 2.06 3/195 24135
/proc/meminfo: memFree=31535092/32770624 swapFree=0/338980
[pid=24135] ppid=24132 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24135/stat : 24135 (runsolver) D 24132 24135 6971 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 20236888 24240128 108 18446744073709551615 4194304 4338465 140725851270624 140725851268264 139899330466519 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 16101376 140725851279520 140725851279946 140725851279946 140725851283402 0
/proc/24135/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200239 s]
/proc/loadavg: 2.26 2.06 2.06 3/195 24135
/proc/meminfo: memFree=31535092/32770624 swapFree=0/338980
[pid=24135] ppid=24132 vsize=10484492 CPUtime=0.05 cores=1,3,5,7
/proc/24135/stat : 24135 (java) S 24132 24135 6971 0 -1 1077944320 4538 0 0 0 4 1 0 0 20 0 14 0 20236888 10736119808 5582 18446744073709551615 4194304 4196468 140722053623376 140722053605920 140359822876407 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
/proc/24135/statm: 2621123 5582 2578 1 0 2610620 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.300266 s]
/proc/loadavg: 2.26 2.06 2.06 3/195 24135
/proc/meminfo: memFree=31535092/32770624 swapFree=0/338980
[pid=24135] ppid=24132 vsize=10551180 CPUtime=0.12 cores=1,3,5,7
/proc/24135/stat : 24135 (java) S 24132 24135 6971 0 -1 1077944320 5156 0 0 0 11 1 0 0 20 0 15 0 20236888 10804408320 7240 18446744073709551615 4194304 4196468 140722053623376 140722053605920 140359822876407 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
/proc/24135/statm: 2637795 7240 2806 1 0 2627261 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10551180
[startup+0.700184 s]
/proc/loadavg: 2.26 2.06 2.06 3/195 24135
/proc/meminfo: memFree=31535092/32770624 swapFree=0/338980
[pid=24135] ppid=24132 vsize=10621952 CPUtime=1 cores=1,3,5,7
/proc/24135/stat : 24135 (java) S 24132 24135 6971 0 -1 1077944320 13080 0 0 0 95 5 0 0 20 0 16 0 20236888 10876878848 18294 18446744073709551615 4194304 4196468 140722053623376 140722053605920 140359822876407 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
/proc/24135/statm: 2655488 18294 3062 1 0 2644414 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10621952
[startup+1.50068 s]
/proc/loadavg: 2.26 2.06 2.06 5/211 24151
/proc/meminfo: memFree=31432308/32770624 swapFree=0/339016
[pid=24135] ppid=24132 vsize=10624000 CPUtime=3.36 cores=1,3,5,7
/proc/24135/stat : 24135 (java) S 24132 24135 6971 0 -1 1077944320 21502 0 0 0 328 8 0 0 20 0 16 0 20236888 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140722053605920 140359822876407 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
/proc/24135/statm: 2656000 36240 3105 1 0 2644926 0
[pid=24135/tid=24137] ppid=24132 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/24135/task/24137/stat : 24137 (java) S 24132 24135 6971 0 -1 1077944384 5740 0 0 0 19 2 0 0 20 0 16 0 20236899 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359827119280 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24138] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24138/stat : 24138 (java) S 24132 24135 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359753296144 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24139] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24139/stat : 24139 (java) S 24132 24135 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359752243600 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24140] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24140/stat : 24140 (java) S 24132 24135 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359751191056 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24141] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24141/stat : 24141 (java) S 24132 24135 6971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359750138512 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24142] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24142/stat : 24142 (java) S 24132 24135 6971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359319374320 140359822887554 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24143] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24143/stat : 24143 (java) S 24132 24135 6971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359318320544 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24144] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24144/stat : 24144 (java) S 24132 24135 6971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359317267952 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24145] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24145/stat : 24145 (java) S 24132 24135 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20236904 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359316216528 140359822895003 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24146] ppid=24132 vsize=10624000 CPUtime=0.79 cores=1,3,5,7
/proc/24135/task/24146/stat : 24146 (java) R 24132 24135 6971 0 -1 4202560 3605 0 0 0 79 0 0 0 20 0 16 0 20236904 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359315163120 140359800893419 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24147] ppid=24132 vsize=10624000 CPUtime=0.77 cores=1,3,5,7
/proc/24135/task/24147/stat : 24147 (java) S 24132 24135 6971 0 -1 1077944384 2483 0 0 0 77 0 0 0 20 0 16 0 20236904 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359314110576 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24148] ppid=24132 vsize=10624000 CPUtime=0.48 cores=1,3,5,7
/proc/24135/task/24148/stat : 24148 (java) S 24132 24135 6971 0 -1 1077944384 2642 0 0 0 48 0 0 0 20 0 16 0 20236904 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359313058032 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24149] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24149/stat : 24149 (java) S 24132 24135 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20236904 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359312005728 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24150] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24150/stat : 24150 (java) S 24132 24135 6971 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 20236913 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359310953264 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24151] ppid=24132 vsize=10624000 CPUtime=1.06 cores=1,3,5,7
/proc/24135/task/24151/stat : 24151 (java) R 24132 24135 6971 0 -1 4202560 5661 0 0 0 103 3 0 0 20 0 16 0 20236930 10878976000 36240 18446744073709551615 4194304 4196468 140722053623376 140359307761352 140359418836842 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
Current children cumulated CPU time (s) 3.36
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24135 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.7213 s]
/proc/loadavg: 2.26 2.06 2.06 5/211 24151
/proc/meminfo: memFree=31432308/32770624 swapFree=0/339016
[pid=24135] ppid=24132 vsize=10624000 CPUtime=3.54 cores=1,3,5,7
/proc/24135/stat : 24135 (java) S 24132 24135 6971 0 -1 1077944320 22488 0 0 0 346 8 0 0 20 0 16 0 20236888 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140722053605920 140359822876407 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
/proc/24135/statm: 2656000 39508 3105 1 0 2644926 0
[pid=24135/tid=24137] ppid=24132 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/24135/task/24137/stat : 24137 (java) S 24132 24135 6971 0 -1 1077944384 5740 0 0 0 19 2 0 0 20 0 16 0 20236899 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359827119280 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24138] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24138/stat : 24138 (java) S 24132 24135 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359753296144 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24139] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24139/stat : 24139 (java) S 24132 24135 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359752243600 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24140] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24140/stat : 24140 (java) S 24132 24135 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359751191056 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24141] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24141/stat : 24141 (java) S 24132 24135 6971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359750138512 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24142] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24142/stat : 24142 (java) S 24132 24135 6971 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359319374320 140359822887554 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24143] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24143/stat : 24143 (java) S 24132 24135 6971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359318320544 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24144] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24144/stat : 24144 (java) S 24132 24135 6971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359317267952 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24145] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24145/stat : 24145 (java) S 24132 24135 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20236904 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359316216528 140359822895003 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24146] ppid=24132 vsize=10624000 CPUtime=0.83 cores=1,3,5,7
/proc/24135/task/24146/stat : 24146 (java) S 24132 24135 6971 0 -1 1077944384 4066 0 0 0 83 0 0 0 20 0 16 0 20236904 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359315163120 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24147] ppid=24132 vsize=10624000 CPUtime=0.77 cores=1,3,5,7
/proc/24135/task/24147/stat : 24147 (java) S 24132 24135 6971 0 -1 1077944384 2483 0 0 0 77 0 0 0 20 0 16 0 20236904 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359314110576 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24148] ppid=24132 vsize=10624000 CPUtime=0.49 cores=1,3,5,7
/proc/24135/task/24148/stat : 24148 (java) S 24132 24135 6971 0 -1 1077944384 3155 0 0 0 49 0 0 0 20 0 16 0 20236904 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359313058032 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24149] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24149/stat : 24149 (java) S 24132 24135 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20236904 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359312005728 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24150] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24150/stat : 24150 (java) S 24132 24135 6971 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 20236913 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359310953264 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24151] ppid=24132 vsize=10624000 CPUtime=1.19 cores=1,3,5,7
/proc/24135/task/24151/stat : 24151 (java) R 24132 24135 6971 0 -1 4202560 5671 0 0 0 116 3 0 0 20 0 16 0 20236930 10878976000 39508 18446744073709551615 4194304 4196468 140722053623376 140359307761336 140359418837162 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10624000
[startup+2.10067 s]
/proc/loadavg: 2.26 2.06 2.06 5/211 24151
/proc/meminfo: memFree=31432308/32770624 swapFree=0/339016
[pid=24135] ppid=24132 vsize=10624000 CPUtime=4.25 cores=1,3,5,7
/proc/24135/stat : 24135 (java) S 24132 24135 6971 0 -1 1077944320 24267 0 0 0 416 9 0 0 20 0 16 0 20236888 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140722053605920 140359822876407 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
/proc/24135/statm: 2656000 46727 3106 1 0 2644926 0
[pid=24135/tid=24137] ppid=24132 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/24135/task/24137/stat : 24137 (java) S 24132 24135 6971 0 -1 1077944384 5740 0 0 0 19 2 0 0 20 0 16 0 20236899 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359827119280 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24138] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24138/stat : 24138 (java) S 24132 24135 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359753296144 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24139] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24139/stat : 24139 (java) S 24132 24135 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359752243600 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24140] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24140/stat : 24140 (java) S 24132 24135 6971 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359751191056 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24141] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24141/stat : 24141 (java) S 24132 24135 6971 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 20236899 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359750138512 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24142] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24142/stat : 24142 (java) S 24132 24135 6971 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359319374320 140359822887554 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24143] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24143/stat : 24143 (java) S 24132 24135 6971 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359318320544 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24144] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24144/stat : 24144 (java) S 24132 24135 6971 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359317267952 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24145] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24145/stat : 24145 (java) S 24132 24135 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20236904 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359316216528 140359822895003 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24146] ppid=24132 vsize=10624000 CPUtime=0.91 cores=1,3,5,7
/proc/24135/task/24146/stat : 24146 (java) S 24132 24135 6971 0 -1 1077944384 4227 0 0 0 90 1 0 0 20 0 16 0 20236904 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359315163120 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24147] ppid=24132 vsize=10624000 CPUtime=1.01 cores=1,3,5,7
/proc/24135/task/24147/stat : 24147 (java) S 24132 24135 6971 0 -1 1077944384 3657 0 0 0 101 0 0 0 20 0 16 0 20236904 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359314110576 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24148] ppid=24132 vsize=10624000 CPUtime=0.5 cores=1,3,5,7
/proc/24135/task/24148/stat : 24148 (java) S 24132 24135 6971 0 -1 1077944384 3357 0 0 0 50 0 0 0 20 0 16 0 20236904 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359313058032 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24149] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24149/stat : 24149 (java) S 24132 24135 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20236904 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359312005728 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24150] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24150/stat : 24150 (java) S 24132 24135 6971 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 20236913 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359310953264 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24151] ppid=24132 vsize=10624000 CPUtime=1.58 cores=1,3,5,7
/proc/24135/task/24151/stat : 24151 (java) R 24132 24135 6971 0 -1 4202560 5857 0 0 0 154 4 0 0 20 0 16 0 20236930 10878976000 46727 18446744073709551615 4194304 4196468 140722053623376 140359307760592 140359418931523 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 10624000
[startup+2.50069 s]
/proc/loadavg: 2.64 2.15 2.08 3/211 24151
/proc/meminfo: memFree=31339260/32770624 swapFree=0/339028
[pid=24135] ppid=24132 vsize=10624000 CPUtime=4.77 cores=1,3,5,7
/proc/24135/stat : 24135 (java) S 24132 24135 6971 0 -1 1077944320 25506 0 0 0 467 10 0 0 20 0 16 0 20236888 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140722053605920 140359822876407 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
/proc/24135/statm: 2656000 51898 3119 1 0 2644926 0
[pid=24135/tid=24137] ppid=24132 vsize=10624000 CPUtime=0.21 cores=1,3,5,7
/proc/24135/task/24137/stat : 24137 (java) S 24132 24135 6971 0 -1 1077944384 5740 0 0 0 19 2 0 0 20 0 16 0 20236899 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359827119280 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 9 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24138] ppid=24132 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/24135/task/24138/stat : 24138 (java) S 24132 24135 6971 0 -1 1077944384 171 0 0 0 1 0 0 0 20 0 16 0 20236899 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359753296144 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24139] ppid=24132 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/24135/task/24139/stat : 24139 (java) S 24132 24135 6971 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 16 0 20236899 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359752243600 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24140] ppid=24132 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/24135/task/24140/stat : 24140 (java) S 24132 24135 6971 0 -1 1077944384 411 0 0 0 1 0 0 0 20 0 16 0 20236899 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359751191056 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24141] ppid=24132 vsize=10624000 CPUtime=0.01 cores=1,3,5,7
/proc/24135/task/24141/stat : 24141 (java) S 24132 24135 6971 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 16 0 20236899 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359750138512 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24142] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24142/stat : 24142 (java) S 24132 24135 6971 0 -1 1077944384 202 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359319374320 140359822887554 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24143] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24143/stat : 24143 (java) S 24132 24135 6971 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359318320544 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24144] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24144/stat : 24144 (java) S 24132 24135 6971 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 16 0 20236901 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359317267952 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24145] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24145/stat : 24145 (java) S 24132 24135 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20236904 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359316216528 140359822895003 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24146] ppid=24132 vsize=10624000 CPUtime=0.96 cores=1,3,5,7
/proc/24135/task/24146/stat : 24146 (java) S 24132 24135 6971 0 -1 1077944384 4283 0 0 0 95 1 0 0 20 0 16 0 20236904 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359315163120 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24147] ppid=24132 vsize=10624000 CPUtime=1.02 cores=1,3,5,7
/proc/24135/task/24147/stat : 24147 (java) S 24132 24135 6971 0 -1 1077944384 3659 0 0 0 102 0 0 0 20 0 16 0 20236904 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359314110576 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24148] ppid=24132 vsize=10624000 CPUtime=0.52 cores=1,3,5,7
/proc/24135/task/24148/stat : 24148 (java) S 24132 24135 6971 0 -1 1077944384 3692 0 0 0 52 0 0 0 20 0 16 0 20236904 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359313058032 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24149] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24149/stat : 24149 (java) S 24132 24135 6971 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 20236904 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359312005728 140359822886613 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24150] ppid=24132 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/24135/task/24150/stat : 24150 (java) S 24132 24135 6971 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 16 0 20236913 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359310953264 140359822887554 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 10 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
[pid=24135/tid=24151] ppid=24132 vsize=10624000 CPUtime=1.96 cores=1,3,5,7
/proc/24135/task/24151/stat : 24151 (java) R 24132 24135 6971 0 -1 4202560 5866 0 0 0 192 4 0 0 20 0 16 0 20236930 10878976000 51898 18446744073709551615 4194304 4196468 140722053623376 140359307763392 140359418954700 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8376320 140722053624270 140722053624399 140722053624399 140722053627855 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 2.52186
CPU time (s): 4.80054
CPU user time (s): 4.69114
CPU system time (s): 0.109402
CPU usage (%): 190.357
Max. virtual memory (cumulated for all children) (KiB): 10625024
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.69114
system time used= 0.109402
maximum resident set size= 207988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2222
involuntary context switches= 16
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.007721 second user time and 0.025264 second system time
The end