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-4248801-1500746859/watcher-4248801-1500746859 -o /tmp/evaluation-result-4248801-1500746859/solver-4248801-1500746859 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500717974-4504 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 354040814 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4248801-1500746859.xml
pid=9228
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.86 1.68 1.57 3/261 9231
/proc/meminfo: memFree=28071448/32770624 swapFree=5860/337084
[pid=9231] ppid=9228 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/stat : 9231 (java) S 9228 9231 4472 0 -1 1077944320 1963 0 0 0 0 0 0 0 20 0 2 0 9953394 10889764864 1676 33554432000 4194304 4196468 140729125649056 140729125631600 139765722992375 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
/proc/9231/statm: 2658634 1676 1188 1 0 2647545 0
[pid=9231/tid=9232] ppid=9228 vsize=10634536 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9232/stat : 9232 (java) R 9228 9231 4472 0 -1 4202560 860 0 0 0 0 0 0 0 20 0 2 0 9953394 10889764864 1874 33554432000 4194304 4196468 140729125649056 139765727234464 139765715281824 0 4 0 16784584 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[startup+0.100101 s]
/proc/loadavg: 1.86 1.68 1.57 3/261 9231
/proc/meminfo: memFree=28071448/32770624 swapFree=5860/337084
[pid=9231] ppid=9228 vsize=13264380 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/9231/stat : 9231 (java) S 9228 9231 4472 0 -1 1077944320 5840 0 0 0 9 1 0 0 20 0 20 0 9953394 13582725120 6413 33554432000 4194304 4196468 140729125649056 140729125631600 139765722992375 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
/proc/9231/statm: 3316095 6351 3346 1 0 3303815 0
[pid=9231/tid=9232] ppid=9228 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9232/stat : 9232 (java) R 9228 9231 4472 0 -1 4202560 3926 0 0 0 7 1 0 0 20 0 20 0 9953394 13582245888 6285 33554432000 4194304 4196468 140729125649056 139765727231128 139765715709479 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380
[startup+0.200398 s]
/proc/loadavg: 1.86 1.68 1.57 3/261 9231
/proc/meminfo: memFree=28071448/32770624 swapFree=5860/337084
[pid=9231] ppid=9228 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/9231/stat : 9231 (java) S 9228 9231 4472 0 -1 1077944320 9028 0 0 0 24 2 0 0 20 0 20 0 9953394 13582245888 9054 33554432000 4194304 4196468 140729125649056 140729125631600 139765722992375 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
/proc/9231/statm: 3315978 9054 3560 1 0 3303698 0
[pid=9231/tid=9232] ppid=9228 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9232/stat : 9232 (java) R 9228 9231 4472 0 -1 4202560 6750 0 0 0 17 1 0 0 20 0 20 0 9953394 13582245888 9054 33554432000 4194304 4196468 140729125649056 139765727207968 139765723014301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300334 s]
/proc/loadavg: 1.86 1.68 1.57 3/261 9231
/proc/meminfo: memFree=28071448/32770624 swapFree=5860/337084
[pid=9231] ppid=9228 vsize=13263912 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/9231/stat : 9231 (java) S 9228 9231 4472 0 -1 1077944320 10047 0 0 0 40 3 0 0 20 0 20 0 9953394 13582245888 11237 33554432000 4194304 4196468 140729125649056 140729125631600 139765722992375 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
/proc/9231/statm: 3315978 11237 3641 1 0 3303698 0
[pid=9231/tid=9232] ppid=9228 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9232/stat : 9232 (java) R 9228 9231 4472 0 -1 4202560 7467 0 0 0 26 2 0 0 20 0 20 0 9953394 13582245888 11237 33554432000 4194304 4196468 140729125649056 139765727215872 139765723014301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 13263912
[startup+0.700303 s]
/proc/loadavg: 1.86 1.68 1.57 3/261 9231
/proc/meminfo: memFree=28071448/32770624 swapFree=5860/337084
[pid=9231] ppid=9228 vsize=13268028 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/9231/stat : 9231 (java) S 9228 9231 4472 0 -1 1077944320 13098 0 0 0 114 4 0 0 20 0 20 0 9953394 13586460672 18929 33554432000 4194304 4196468 140729125649056 140729125631600 139765722992375 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
/proc/9231/statm: 3317007 18929 3758 1 0 3304722 0
[pid=9231/tid=9232] ppid=9228 vsize=13268028 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9232/stat : 9232 (java) R 9228 9231 4472 0 -1 4202560 9360 0 0 0 65 3 0 0 20 0 20 0 9953394 13586460672 18929 33554432000 4194304 4196468 140729125649056 139765727227304 139765707072862 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 13268028
[startup+1.50076 s]
/proc/loadavg: 2.11 1.73 1.58 6/281 9251
/proc/meminfo: memFree=27939500/32770624 swapFree=5860/337084
[pid=9231] ppid=9228 vsize=13268028 CPUtime=3.24 cores=1,3,5,7,9,11,13,15
/proc/9231/stat : 9231 (java) S 9228 9231 4472 0 -1 1077944320 28268 0 0 0 315 9 0 0 20 0 20 0 9953394 13586460672 54706 33554432000 4194304 4196468 140729125649056 140729125631600 139765722992375 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
/proc/9231/statm: 3317007 54706 3796 1 0 3304722 0
[pid=9231/tid=9232] ppid=9228 vsize=13268028 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9232/stat : 9232 (java) R 9228 9231 4472 0 -1 4202560 10408 0 0 0 142 5 0 0 20 0 20 0 9953394 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765727230856 139765363278028 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9234] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9234/stat : 9234 (java) S 9228 9231 4472 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765686098192 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9235] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9235/stat : 9235 (java) S 9228 9231 4472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765321496976 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9236] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9236/stat : 9236 (java) S 9228 9231 4472 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765320444432 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9237] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9237/stat : 9237 (java) S 9228 9231 4472 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765319391888 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9238] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9238/stat : 9238 (java) S 9228 9231 4472 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765318339344 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9239] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9239/stat : 9239 (java) S 9228 9231 4472 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765317286800 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9240] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9240/stat : 9240 (java) S 9228 9231 4472 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765316234256 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9241] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9241/stat : 9241 (java) S 9228 9231 4472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765315181712 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9242] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9242/stat : 9242 (java) S 9228 9231 4472 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 20 0 9953397 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765186381808 139765723003522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9243] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9243/stat : 9243 (java) S 9228 9231 4472 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 9953398 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765185328096 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9244] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9244/stat : 9244 (java) S 9228 9231 4472 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 9953398 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765184275456 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9245] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9245/stat : 9245 (java) S 9228 9231 4472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9953402 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765183224016 139765723010971 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9246] ppid=9228 vsize=13268028 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9246/stat : 9246 (java) S 9228 9231 4472 0 -1 1077944384 6489 0 0 0 45 1 0 0 20 0 20 0 9953402 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765182171632 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9247] ppid=9228 vsize=13268028 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9247/stat : 9247 (java) S 9228 9231 4472 0 -1 1077944384 3612 0 0 0 41 0 0 0 20 0 20 0 9953402 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765181119088 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9248] ppid=9228 vsize=13268028 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9248/stat : 9248 (java) S 9228 9231 4472 0 -1 1077944384 3158 0 0 0 49 0 0 0 20 0 20 0 9953402 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765180066544 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9249] ppid=9228 vsize=13268028 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9249/stat : 9249 (java) S 9228 9231 4472 0 -1 1077944384 2411 0 0 0 33 0 0 0 20 0 20 0 9953402 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765179014000 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9250] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9250/stat : 9250 (java) S 9228 9231 4472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9953402 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765177960672 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9251] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9251/stat : 9251 (java) S 9228 9231 4472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9953403 13586460672 54706 33554432000 4194304 4196468 140729125649056 139765176908208 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 13268028
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9231 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60102 s]
/proc/loadavg: 2.11 1.73 1.58 6/281 9251
/proc/meminfo: memFree=27939500/32770624 swapFree=5860/337084
[pid=9231] ppid=9228 vsize=13268028 CPUtime=3.35 cores=1,3,5,7,9,11,13,15
/proc/9231/stat : 9231 (java) S 9228 9231 4472 0 -1 1077944320 28298 0 0 0 326 9 0 0 20 0 20 0 9953394 13586460672 54717 33554432000 4194304 4196468 140729125649056 140729125631600 139765722992375 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
/proc/9231/statm: 3317007 54717 3796 1 0 3304722 0
[pid=9231/tid=9232] ppid=9228 vsize=13268028 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9232/stat : 9232 (java) R 9228 9231 4472 0 -1 4202560 10410 0 0 0 152 5 0 0 20 0 20 0 9953394 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765727230616 139765363281131 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9234] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9234/stat : 9234 (java) S 9228 9231 4472 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765686098192 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9235] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9235/stat : 9235 (java) S 9228 9231 4472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765321496976 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9236] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9236/stat : 9236 (java) S 9228 9231 4472 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765320444432 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9237] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9237/stat : 9237 (java) S 9228 9231 4472 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765319391888 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9238] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9238/stat : 9238 (java) S 9228 9231 4472 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765318339344 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9239] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9239/stat : 9239 (java) S 9228 9231 4472 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765317286800 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9240] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9240/stat : 9240 (java) S 9228 9231 4472 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765316234256 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9241] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9241/stat : 9241 (java) S 9228 9231 4472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765315181712 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9242] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9242/stat : 9242 (java) S 9228 9231 4472 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 20 0 9953397 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765186381808 139765723003522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9243] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9243/stat : 9243 (java) S 9228 9231 4472 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 9953398 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765185328096 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9244] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9244/stat : 9244 (java) S 9228 9231 4472 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 9953398 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765184275456 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9245] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9245/stat : 9245 (java) S 9228 9231 4472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765183224016 139765723010971 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9246] ppid=9228 vsize=13268028 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9246/stat : 9246 (java) S 9228 9231 4472 0 -1 1077944384 6489 0 0 0 45 1 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765182171632 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9247] ppid=9228 vsize=13268028 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9247/stat : 9247 (java) S 9228 9231 4472 0 -1 1077944384 3612 0 0 0 41 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765181119088 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9248] ppid=9228 vsize=13268028 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9248/stat : 9248 (java) S 9228 9231 4472 0 -1 1077944384 3158 0 0 0 49 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765180066544 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9249] ppid=9228 vsize=13268028 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9249/stat : 9249 (java) S 9228 9231 4472 0 -1 1077944384 2439 0 0 0 34 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765179014000 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9250] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9250/stat : 9250 (java) S 9228 9231 4472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765177960672 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9251] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9251/stat : 9251 (java) S 9228 9231 4472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9953403 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765176908208 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 13268028
[startup+1.80076 s]
/proc/loadavg: 2.11 1.73 1.58 6/281 9251
/proc/meminfo: memFree=27939500/32770624 swapFree=5860/337084
[pid=9231] ppid=9228 vsize=13268028 CPUtime=3.55 cores=1,3,5,7,9,11,13,15
/proc/9231/stat : 9231 (java) S 9228 9231 4472 0 -1 1077944320 28298 0 0 0 346 9 0 0 20 0 20 0 9953394 13586460672 54717 33554432000 4194304 4196468 140729125649056 140729125631600 139765722992375 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
/proc/9231/statm: 3317007 54717 3796 1 0 3304722 0
[pid=9231/tid=9232] ppid=9228 vsize=13268028 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9232/stat : 9232 (java) R 9228 9231 4472 0 -1 4202560 10410 0 0 0 172 5 0 0 20 0 20 0 9953394 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765727230616 139765363278223 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9234] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9234/stat : 9234 (java) S 9228 9231 4472 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765686098192 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9235] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9235/stat : 9235 (java) S 9228 9231 4472 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765321496976 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9236] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9236/stat : 9236 (java) S 9228 9231 4472 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765320444432 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9237] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9237/stat : 9237 (java) S 9228 9231 4472 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765319391888 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9238] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9238/stat : 9238 (java) S 9228 9231 4472 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765318339344 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9239] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9239/stat : 9239 (java) S 9228 9231 4472 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765317286800 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9240] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9240/stat : 9240 (java) S 9228 9231 4472 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765316234256 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9241] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9241/stat : 9241 (java) S 9228 9231 4472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9953395 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765315181712 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9242] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9242/stat : 9242 (java) S 9228 9231 4472 0 -1 1077944384 183 0 0 0 0 0 0 0 20 0 20 0 9953397 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765186381808 139765723003522 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9243] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9243/stat : 9243 (java) S 9228 9231 4472 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 20 0 9953398 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765185328096 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9244] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9244/stat : 9244 (java) S 9228 9231 4472 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 9953398 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765184275456 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9245] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9245/stat : 9245 (java) S 9228 9231 4472 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765183224016 139765723010971 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9246] ppid=9228 vsize=13268028 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9246/stat : 9246 (java) S 9228 9231 4472 0 -1 1077944384 6489 0 0 0 45 1 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765182171632 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9247] ppid=9228 vsize=13268028 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9247/stat : 9247 (java) S 9228 9231 4472 0 -1 1077944384 3612 0 0 0 41 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765181119088 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9248] ppid=9228 vsize=13268028 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9248/stat : 9248 (java) S 9228 9231 4472 0 -1 1077944384 3158 0 0 0 49 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765180066544 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9249] ppid=9228 vsize=13268028 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9249/stat : 9249 (java) S 9228 9231 4472 0 -1 1077944384 2439 0 0 0 34 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765179014000 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9250] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9250/stat : 9250 (java) S 9228 9231 4472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9953402 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765177960672 139765723002581 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
[pid=9231/tid=9251] ppid=9228 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9251/stat : 9251 (java) S 9228 9231 4472 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9953403 13586460672 54717 33554432000 4194304 4196468 140729125649056 139765176908208 139765723003522 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 13213696 140729125651594 140729125651780 140729125651780 140729125654479 0
Current children cumulated CPU time (s) 3.55
Current children cumulated vsize (KiB) 13268028
[startup+1.90078 s]
/proc/loadavg: 2.11 1.73 1.58 6/281 9251
/proc/meminfo: memFree=27939500/32770624 swapFree=5860/337084
[pid=9231] ppid=9228 vsize=0 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/9231/stat : 9231 (java) Z 9228 9231 4472 0 -1 4227084 28429 0 0 0 350 10 0 0 20 0 2 0 9953394 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/9231/statm: 0 0 0 0 0 0 0
[pid=9231/tid=9249] ppid=9228 vsize=0 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/9231/task/9249/stat : 9249 (java) D 9228 9231 4472 0 -1 4203588 2442 0 0 0 34 1 0 0 20 0 2 0 9953402 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 9 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1.986
CPU time (s): 3.61176
CPU user time (s): 3.50619
CPU system time (s): 0.105571
CPU usage (%): 181.861
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.50619
system time used= 0.105571
maximum resident set size= 219368
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28429
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2714
involuntary context switches= 241
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.018375 second user time and 0.021077 second system time
The end