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-4249801-1500740167/watcher-4249801-1500740167 -o /tmp/evaluation-result-4249801-1500740167/solver-4249801-1500740167 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1500709764-19675 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 1858745860 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249801-1500740167.xml
pid=24239
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.93 1.94 1.95 3/261 24242
/proc/meminfo: memFree=31577764/32770624 swapFree=6544/174032
[pid=24242] ppid=24239 vsize=11101512 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24242/stat : 24242 (java) S 24239 24242 19643 0 -1 1077944320 2262 0 0 0 0 1 0 0 20 0 10 0 9281658 11367948288 2517 33554432000 4194304 4196468 140723057133920 140723057116464 140087867166455 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
/proc/24242/statm: 2775378 2517 1199 1 0 2764289 0
[pid=24242/tid=24243] ppid=24239 vsize=11421512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24243/stat : 24243 (java) R 24239 24242 19643 0 -1 4202560 946 0 0 0 0 0 0 0 20 0 10 0 9281659 11695628288 2517 33554432000 4194304 4196468 140723057133920 140087871407416 140087859883418 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24244] ppid=24239 vsize=11515512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24244/stat : 24244 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 9281660 11791884288 2527 33554432000 4194304 4196468 140723057133920 140087819787152 140087867176661 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24245] ppid=24239 vsize=11507832 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24245/stat : 24245 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 9281660 11784019968 2527 33554432000 4194304 4196468 140723057133920 140087818734352 140087867176661 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24246] ppid=24239 vsize=12564600 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24246/stat : 24246 (java) S 24239 24242 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 10 0 9281660 12866150400 2527 33554432000 4194304 4196468 140723057133920 140087817682064 140087867176661 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24247] ppid=24239 vsize=12564600 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24247/stat : 24247 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 9281660 12866150400 2527 33554432000 4194304 4196468 140723057133920 140087816629264 140087867176661 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24248] ppid=24239 vsize=12564600 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24248/stat : 24248 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 9281660 12866150400 2527 33554432000 4194304 4196468 140723057133920 140087815575952 140087867176661 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24249] ppid=24239 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24249/stat : 24249 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 10 0 9281660 12867006464 2527 33554432000 4194304 4196468 140723057133920 140087814523152 140087867176661 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24250] ppid=24239 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24250/stat : 24250 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 9281660 12867006464 2592 33554432000 4194304 4196468 140723057133920 140087813470864 140087867176661 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24251] ppid=24239 vsize=12565436 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24251/stat : 24251 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 10 0 9281660 12867006464 2592 33554432000 4194304 4196468 140723057133920 140087812418064 140087867176661 0 4 0 16784584 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[startup+0.100105 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24242
/proc/meminfo: memFree=31577764/32770624 swapFree=6544/174032
[pid=24242] ppid=24239 vsize=13261040 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/24242/stat : 24242 (java) S 24239 24242 19643 0 -1 1077944320 4662 0 0 0 9 1 0 0 20 0 20 0 9281658 13579304960 5259 33554432000 4194304 4196468 140723057133920 140723057116464 140087867166455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
/proc/24242/statm: 3316095 5259 2608 1 0 3303815 0
[pid=24242/tid=24243] ppid=24239 vsize=13264380 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24243/stat : 24243 (java) R 24239 24242 19643 0 -1 4202560 2762 0 0 0 7 0 0 0 20 0 20 0 9281659 13582725120 5259 33554432000 4194304 4196468 140723057133920 140087871408736 140087823801169 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24244] ppid=24239 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24244/stat : 24244 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582725120 5259 33554432000 4194304 4196468 140723057133920 140087819787152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24245] ppid=24239 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24245/stat : 24245 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582725120 5259 33554432000 4194304 4196468 140723057133920 140087818734352 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24246] ppid=24239 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24246/stat : 24246 (java) S 24239 24242 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281660 13582725120 5259 33554432000 4194304 4196468 140723057133920 140087817682064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24247] ppid=24239 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24247/stat : 24247 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13582725120 5324 33554432000 4194304 4196468 140723057133920 140087816629264 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24248] ppid=24239 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24248/stat : 24248 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582725120 5324 33554432000 4194304 4196468 140723057133920 140087815575952 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24249] ppid=24239 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24249/stat : 24249 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582725120 5324 33554432000 4194304 4196468 140723057133920 140087814523152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24250] ppid=24239 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24250/stat : 24250 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13582725120 5324 33554432000 4194304 4196468 140723057133920 140087813470864 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24251] ppid=24239 vsize=13264380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24251/stat : 24251 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13582725120 5324 33554432000 4194304 4196468 140723057133920 140087812418064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13261040
[startup+0.201236 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24242
/proc/meminfo: memFree=31577764/32770624 swapFree=6544/174032
[pid=24242] ppid=24239 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24242/stat : 24242 (java) S 24239 24242 19643 0 -1 1077944320 8681 0 0 0 23 2 0 0 20 0 20 0 9281658 13582245888 8663 33554432000 4194304 4196468 140723057133920 140723057116464 140087867166455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
/proc/24242/statm: 3315978 8663 3499 1 0 3303698 0
[pid=24242/tid=24243] ppid=24239 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24243/stat : 24243 (java) R 24239 24242 19643 0 -1 4202560 6399 0 0 0 16 2 0 0 20 0 20 0 9281659 13582245888 8663 33554432000 4194304 4196468 140723057133920 140087871375840 140087867188381 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24244] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24244/stat : 24244 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 8663 33554432000 4194304 4196468 140723057133920 140087819787152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24245] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24245/stat : 24245 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 8663 33554432000 4194304 4196468 140723057133920 140087818734352 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24246] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24246/stat : 24246 (java) S 24239 24242 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 8663 33554432000 4194304 4196468 140723057133920 140087817682064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24247] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24247/stat : 24247 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 8663 33554432000 4194304 4196468 140723057133920 140087816629264 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24248] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24248/stat : 24248 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 8663 33554432000 4194304 4196468 140723057133920 140087815575952 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24249] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24249/stat : 24249 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 8663 33554432000 4194304 4196468 140723057133920 140087814523152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24250] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24250/stat : 24250 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 8663 33554432000 4194304 4196468 140723057133920 140087813470864 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24251] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24251/stat : 24251 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 8663 33554432000 4194304 4196468 140723057133920 140087812418064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912
[startup+0.301021 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24242
/proc/meminfo: memFree=31577764/32770624 swapFree=6544/174032
[pid=24242] ppid=24239 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/24242/stat : 24242 (java) S 24239 24242 19643 0 -1 1077944320 9726 0 0 0 39 3 0 0 20 0 20 0 9281658 13582245888 10503 33554432000 4194304 4196468 140723057133920 140723057116464 140087867166455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
/proc/24242/statm: 3315978 10503 3654 1 0 3303698 0
[pid=24242/tid=24243] ppid=24239 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24243/stat : 24243 (java) R 24239 24242 19643 0 -1 4202560 7122 0 0 0 25 2 0 0 20 0 20 0 9281659 13582245888 10503 33554432000 4194304 4196468 140723057133920 140087871382992 140087867188381 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24244] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24244/stat : 24244 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 10503 33554432000 4194304 4196468 140723057133920 140087819787152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24245] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24245/stat : 24245 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 10503 33554432000 4194304 4196468 140723057133920 140087818734352 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24246] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24246/stat : 24246 (java) S 24239 24242 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 10503 33554432000 4194304 4196468 140723057133920 140087817682064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24247] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24247/stat : 24247 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 10503 33554432000 4194304 4196468 140723057133920 140087816629264 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24248] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24248/stat : 24248 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 10503 33554432000 4194304 4196468 140723057133920 140087815575952 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24249] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24249/stat : 24249 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 10503 33554432000 4194304 4196468 140723057133920 140087814523152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24250] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24250/stat : 24250 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 10503 33554432000 4194304 4196468 140723057133920 140087813470864 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24251] ppid=24239 vsize=13263912 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24251/stat : 24251 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13582245888 10503 33554432000 4194304 4196468 140723057133920 140087812418064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912
[startup+0.70073 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24242
/proc/meminfo: memFree=31577764/32770624 swapFree=6544/174032
[pid=24242] ppid=24239 vsize=13265980 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/24242/stat : 24242 (java) S 24239 24242 19643 0 -1 1077944320 14280 0 0 0 143 5 0 0 20 0 20 0 9281658 13584363520 20069 33554432000 4194304 4196468 140723057133920 140723057116464 140087867166455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
/proc/24242/statm: 3316495 20069 3765 1 0 3304210 0
[pid=24242/tid=24243] ppid=24239 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24243/stat : 24243 (java) R 24239 24242 19643 0 -1 4202560 8471 0 0 0 64 3 0 0 20 0 20 0 9281659 13584363520 20069 33554432000 4194304 4196468 140723057133920 140087871401776 140087851246942 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24244] ppid=24239 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24244/stat : 24244 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13584363520 20069 33554432000 4194304 4196468 140723057133920 140087819787152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24245] ppid=24239 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24245/stat : 24245 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13584363520 20069 33554432000 4194304 4196468 140723057133920 140087818734352 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24246] ppid=24239 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24246/stat : 24246 (java) S 24239 24242 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281660 13584363520 20069 33554432000 4194304 4196468 140723057133920 140087817682064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24247] ppid=24239 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24247/stat : 24247 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13584363520 20069 33554432000 4194304 4196468 140723057133920 140087816629264 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24248] ppid=24239 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24248/stat : 24248 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13584363520 20069 33554432000 4194304 4196468 140723057133920 140087815575952 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24249] ppid=24239 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24249/stat : 24249 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13584363520 20069 33554432000 4194304 4196468 140723057133920 140087814523152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24250] ppid=24239 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24250/stat : 24250 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13584363520 20069 33554432000 4194304 4196468 140723057133920 140087813470864 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24251] ppid=24239 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24251/stat : 24251 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13584363520 20133 33554432000 4194304 4196468 140723057133920 140087812418064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13265980
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24242 sig 9
??? kill -24242 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.04226 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24242
/proc/meminfo: memFree=31577764/32770624 swapFree=6544/174032
[pid=24242] ppid=24239 vsize=13268028 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/24242/stat : 24242 (java) S 24239 24242 19643 0 -1 1077944320 17729 0 0 0 249 7 0 0 20 0 20 0 9281658 13586460672 37386 33554432000 4194304 4196468 140723057133920 140723057116464 140087867166455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
/proc/24242/statm: 3317007 37386 3775 1 0 3304722 0
[pid=24242/tid=24243] ppid=24239 vsize=13268028 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24243/stat : 24243 (java) R 24239 24242 19643 0 -1 4202560 9562 0 0 0 97 4 0 0 20 0 20 0 9281659 13586460672 37386 33554432000 4194304 4196468 140723057133920 140087871400312 140087493514987 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24244] ppid=24239 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24244/stat : 24244 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13586460672 37386 33554432000 4194304 4196468 140723057133920 140087819787152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24245] ppid=24239 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24245/stat : 24245 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13586460672 37386 33554432000 4194304 4196468 140723057133920 140087818734352 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24246] ppid=24239 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24246/stat : 24246 (java) S 24239 24242 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281660 13586460672 37386 33554432000 4194304 4196468 140723057133920 140087817682064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24247] ppid=24239 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24247/stat : 24247 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13586460672 37386 33554432000 4194304 4196468 140723057133920 140087816629264 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24248] ppid=24239 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24248/stat : 24248 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13586460672 37386 33554432000 4194304 4196468 140723057133920 140087815575952 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24249] ppid=24239 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24249/stat : 24249 (java) S 24239 24242 19643 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 9281660 13586460672 37386 33554432000 4194304 4196468 140723057133920 140087814523152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24250] ppid=24239 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24250/stat : 24250 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13586460672 37386 33554432000 4194304 4196468 140723057133920 140087813470864 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24251] ppid=24239 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24251/stat : 24251 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281660 13586460672 37386 33554432000 4194304 4196468 140723057133920 140087812418064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 13268028
[startup+1.20069 s]
/proc/loadavg: 1.93 1.94 1.95 3/261 24242
/proc/meminfo: memFree=31577764/32770624 swapFree=6544/174032
[pid=24242] ppid=24239 vsize=13270076 CPUtime=3.18 cores=1,3,5,7,9,11,13,15
/proc/24242/stat : 24242 (java) S 24239 24242 19643 0 -1 1077944320 22354 0 0 0 304 14 0 0 20 0 20 0 9281658 13588557824 54537 33554432000 4194304 4196468 140723057133920 140723057116464 140087867166455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
/proc/24242/statm: 3317519 54537 3801 1 0 3305234 0
[pid=24242/tid=24243] ppid=24239 vsize=13270076 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24243/stat : 24243 (java) R 24239 24242 19643 0 -1 4202560 10916 0 0 0 109 5 0 0 20 0 20 0 9281659 13588557824 54537 33554432000 4194304 4196468 140723057133920 140087871403056 140087867178390 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24244] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24244/stat : 24244 (java) S 24239 24242 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 54537 33554432000 4194304 4196468 140723057133920 140087819787152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24245] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24245/stat : 24245 (java) S 24239 24242 19643 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 54537 33554432000 4194304 4196468 140723057133920 140087818734352 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24246] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24246/stat : 24246 (java) S 24239 24242 19643 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 54537 33554432000 4194304 4196468 140723057133920 140087817682064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24247] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24247/stat : 24247 (java) S 24239 24242 19643 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 54537 33554432000 4194304 4196468 140723057133920 140087816629264 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24248] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24248/stat : 24248 (java) S 24239 24242 19643 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 54537 33554432000 4194304 4196468 140723057133920 140087815575952 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24249] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24249/stat : 24249 (java) S 24239 24242 19643 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 54537 33554432000 4194304 4196468 140723057133920 140087814523152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24250] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24250/stat : 24250 (java) S 24239 24242 19643 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 54537 33554432000 4194304 4196468 140723057133920 140087813470864 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24251] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24251/stat : 24251 (java) S 24239 24242 19643 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 54537 33554432000 4194304 4196468 140723057133920 140087812418064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
Current children cumulated CPU time (s) 3.18
Current children cumulated vsize (KiB) 13270076
[startup+1.30077 s]
/proc/loadavg: 1.93 1.94 1.95 6/281 24262
/proc/meminfo: memFree=31365016/32770624 swapFree=6544/174396
[pid=24242] ppid=24239 vsize=13270076 CPUtime=3.57 cores=1,3,5,7,9,11,13,15
/proc/24242/stat : 24242 (java) S 24239 24242 19643 0 -1 1077944320 25950 0 0 0 342 15 0 0 20 0 20 0 9281658 13588557824 56980 33554432000 4194304 4196468 140723057133920 140723057116464 140087867166455 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
/proc/24242/statm: 3317519 56980 3803 1 0 3305234 0
[pid=24242/tid=24243] ppid=24239 vsize=13270076 CPUtime=1.26 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24243/stat : 24243 (java) R 24239 24242 19643 0 -1 4202560 11033 0 0 0 120 6 0 0 20 0 20 0 9281659 13588557824 56980 33554432000 4194304 4196468 140723057133920 140087871404272 140087496189300 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24244] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24244/stat : 24244 (java) S 24239 24242 19643 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 56980 33554432000 4194304 4196468 140723057133920 140087819787152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24245] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24245/stat : 24245 (java) S 24239 24242 19643 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 56980 33554432000 4194304 4196468 140723057133920 140087818734352 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24246] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24246/stat : 24246 (java) S 24239 24242 19643 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 56980 33554432000 4194304 4196468 140723057133920 140087817682064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24247] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24247/stat : 24247 (java) S 24239 24242 19643 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 56980 33554432000 4194304 4196468 140723057133920 140087816629264 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24248] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24248/stat : 24248 (java) S 24239 24242 19643 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 56980 33554432000 4194304 4196468 140723057133920 140087815575952 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24249] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24249/stat : 24249 (java) S 24239 24242 19643 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 56980 33554432000 4194304 4196468 140723057133920 140087814523152 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24250] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24250/stat : 24250 (java) S 24239 24242 19643 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 56980 33554432000 4194304 4196468 140723057133920 140087813470864 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24251] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24251/stat : 24251 (java) S 24239 24242 19643 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 9281660 13588557824 56980 33554432000 4194304 4196468 140723057133920 140087812418064 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24253] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24253/stat : 24253 (java) S 24239 24242 19643 0 -1 1077944384 133 0 0 0 0 0 0 0 20 0 20 0 9281662 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086531316336 140087867177602 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24254] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24254/stat : 24254 (java) S 24239 24242 19643 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 9281663 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086530262368 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24255] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24255/stat : 24255 (java) S 24239 24242 19643 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 9281663 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086529209968 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24256] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24256/stat : 24256 (java) S 24239 24242 19643 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 9281667 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086528158288 140087867185051 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24257] ppid=24239 vsize=13270076 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24257/stat : 24257 (java) S 24239 24242 19643 0 -1 1077944384 2212 0 0 0 52 0 0 0 20 0 20 0 9281667 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086527105136 140087867177602 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24258] ppid=24239 vsize=13270076 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24258/stat : 24258 (java) R 24239 24242 19643 0 -1 4202560 2129 0 0 0 47 0 0 0 20 0 20 0 9281667 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086526037424 140087851455347 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24259] ppid=24239 vsize=13270076 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24259/stat : 24259 (java) R 24239 24242 19643 0 -1 4202560 2320 0 0 0 50 0 0 0 20 0 20 0 9281667 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086524974976 140087848710544 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24260] ppid=24239 vsize=13270076 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24260/stat : 24260 (java) S 24239 24242 19643 0 -1 1077944384 6235 0 0 0 65 1 0 0 20 0 20 0 9281667 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086523947248 140087867177602 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24261] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24261/stat : 24261 (java) S 24239 24242 19643 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 9281668 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086522895200 140087867176661 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
[pid=24242/tid=24262] ppid=24239 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24242/task/24262/stat : 24262 (java) S 24239 24242 19643 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 9281668 13588557824 56980 33554432000 4194304 4196468 140723057133920 140086521842480 140087867177602 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35635200 140723057136781 140723057136964 140723057136964 140723057139663 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 13270076
Child status: 0
Real time (s): 1.35486
CPU time (s): 3.68068
CPU user time (s): 3.51897
CPU system time (s): 0.16171
CPU usage (%): 271.665
Max. virtual memory (cumulated for all children) (KiB): 13270076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.51897
system time used= 0.16171
maximum resident set size= 229988
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26270
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= 3372
involuntary context switches= 287
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.019824 second user time and 0.02478 second system time
The end