2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: OscaR - ALNS 2017-06-30	SAT (TO)	45	2400.12	2266.55

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-4245127-1500699018/watcher-4245127-1500699018 -o /tmp/evaluation-result-4245127-1500699018/solver-4245127-1500699018 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500682578-15631 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1359932721 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245127-1500699018.xml 

pid=17505
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.20 1.24 1.33 3/263 17508
/proc/meminfo: memFree=30401012/32770624 swapFree=5952/253228
[pid=17508] ppid=17505 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 1763 0 0 0 0 0 0 0 20 0 2 0 5170762 369864704 1989 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 90299 1989 1125 1 0 79210 0
[pid=17508/tid=17509] ppid=17505 vsize=10621200 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 536 0 0 0 0 0 0 0 20 0 2 0 5170763 10876108800 2055 33554432000 4194304 4196468 140724390919296 140446559238560 140446547285920 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0

[startup+0.100062 s]
/proc/loadavg: 1.20 1.24 1.33 3/263 17508
/proc/meminfo: memFree=30401012/32770624 swapFree=5952/253228
[pid=17508] ppid=17505 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 5334 0 0 0 8 1 0 0 20 0 20 0 5170762 13582725120 5913 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3316095 5913 2921 1 0 3303815 0
[pid=17508/tid=17509] ppid=17505 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 3426 0 0 0 7 1 0 0 20 0 20 0 5170763 13582725120 5913 33554432000 4194304 4196468 140724390919296 140446559231392 140446511632246 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200413 s]
/proc/loadavg: 1.20 1.24 1.33 3/263 17508
/proc/meminfo: memFree=30401012/32770624 swapFree=5952/253228
[pid=17508] ppid=17505 vsize=13263912 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 8863 0 0 0 23 2 0 0 20 0 20 0 5170762 13582245888 8844 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3315978 8844 3532 1 0 3303698 0
[pid=17508/tid=17509] ppid=17505 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 6588 0 0 0 16 2 0 0 20 0 20 0 5170763 13582245888 8844 33554432000 4194304 4196468 140724390919296 140446559206064 140446555018397 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 13263912

[startup+0.300395 s]
/proc/loadavg: 1.20 1.24 1.33 3/263 17508
/proc/meminfo: memFree=30401012/32770624 swapFree=5952/253228
[pid=17508] ppid=17505 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 9848 0 0 0 39 3 0 0 20 0 20 0 5170762 13582245888 10638 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3315978 10638 3655 1 0 3303698 0
[pid=17508/tid=17509] ppid=17505 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 7251 0 0 0 25 2 0 0 20 0 20 0 5170763 13582245888 10638 33554432000 4194304 4196468 140724390919296 140446559224624 140446539040101 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700234 s]
/proc/loadavg: 1.20 1.24 1.33 3/263 17508
/proc/meminfo: memFree=30401012/32770624 swapFree=5952/253228
[pid=17508] ppid=17505 vsize=13265980 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 13653 0 0 0 143 5 0 0 20 0 20 0 5170762 13584363520 24157 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3316495 24157 3751 1 0 3304210 0
[pid=17508/tid=17509] ppid=17505 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 8415 0 0 0 63 4 0 0 20 0 20 0 5170763 13584363520 24157 33554432000 4194304 4196468 140724390919296 140446559231464 140446188667616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13265980

[startup+1.50118 s]
/proc/loadavg: 1.20 1.24 1.33 7/283 17528
/proc/meminfo: memFree=30184556/32770624 swapFree=5952/253632
[pid=17508] ppid=17505 vsize=13265980 CPUtime=4.89 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 18726 0 0 0 457 32 0 0 20 0 20 0 5170762 13584363520 64672 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3316495 64672 3812 1 0 3304210 0
[pid=17508/tid=17509] ppid=17505 vsize=13265980 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 8640 0 0 0 134 5 0 0 20 0 20 0 5170763 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446559231368 140446191088711 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17511] ppid=17505 vsize=13265980 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 15599 0 -1 1077944384 38 0 0 0 3 3 0 0 20 0 20 0 5170763 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446507616912 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17512] ppid=17505 vsize=13265980 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 15599 0 -1 1077944384 33 0 0 0 3 3 0 0 20 0 20 0 5170763 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446506564112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17513] ppid=17505 vsize=13265980 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 15599 0 -1 1077944384 44 0 0 0 2 2 0 0 20 0 20 0 5170763 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446505511312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17514] ppid=17505 vsize=13265980 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 15599 0 -1 1077944384 38 0 0 0 2 2 0 0 20 0 20 0 5170763 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446151407888 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17515] ppid=17505 vsize=13265980 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 15599 0 -1 1077944384 34 0 0 0 3 3 0 0 20 0 20 0 5170764 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446150356112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17516] ppid=17505 vsize=13265980 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 15599 0 -1 1077944384 74 0 0 0 4 2 0 0 20 0 20 0 5170764 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446149303312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17517] ppid=17505 vsize=13265980 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 15599 0 -1 1077944384 30 0 0 0 2 3 0 0 20 0 20 0 5170764 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446148250512 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17518] ppid=17505 vsize=13265980 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 15599 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 20 0 5170764 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446147197712 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17519] ppid=17505 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 15599 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 20 0 5170766 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446017710448 140446555007618 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17520] ppid=17505 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 15599 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5170767 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446016656480 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17521] ppid=17505 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 15599 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5170767 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446015603584 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17522] ppid=17505 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5170771 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446014551888 140446555015067 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17523] ppid=17505 vsize=13265980 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17523/stat : 17523 (java) R 17505 17508 15599 0 -1 4202560 2165 0 0 0 82 0 0 0 20 0 20 0 5170771 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446013490272 140446535697741 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17524] ppid=17505 vsize=13265980 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17524/stat : 17524 (java) R 17505 17508 15599 0 -1 4202560 2449 0 0 0 82 0 0 0 20 0 20 0 5170771 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446012447768 140446539920264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17525] ppid=17505 vsize=13265980 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17525/stat : 17525 (java) R 17505 17508 15599 0 -1 4202560 2289 0 0 0 80 0 0 0 20 0 20 0 5170771 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446011394968 140446535641388 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17526] ppid=17505 vsize=13265980 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 15599 0 -1 1077944384 1402 0 0 0 50 0 0 0 20 0 20 0 5170771 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446010341872 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17527] ppid=17505 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5170771 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446009289312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17528] ppid=17505 vsize=13265980 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5170772 13584363520 64672 33554432000 4194304 4196468 140724390919296 140446008236592 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 4.89
Current children cumulated vsize (KiB) 13265980

[startup+3.10072 s]
/proc/loadavg: 1.20 1.24 1.33 4/283 17528
/proc/meminfo: memFree=29918172/32770624 swapFree=5952/253640
[pid=17508] ppid=17505 vsize=13268028 CPUtime=9.79 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 25052 0 0 0 789 190 0 0 20 0 20 0 5170762 13586460672 255630 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3317007 255630 3827 1 0 3304722 0
[pid=17508/tid=17509] ppid=17505 vsize=13268028 CPUtime=2.67 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 10756 0 0 0 254 13 0 0 20 0 20 0 5170763 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446559232872 140446193699990 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17511] ppid=17505 vsize=13268028 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 15599 0 -1 1077944384 198 0 0 0 15 22 0 0 20 0 20 0 5170763 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446507616912 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17512] ppid=17505 vsize=13268028 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 15599 0 -1 1077944384 175 0 0 0 15 21 0 0 20 0 20 0 5170763 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446506564112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17513] ppid=17505 vsize=13268028 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 15599 0 -1 1077944384 178 0 0 0 15 20 0 0 20 0 20 0 5170763 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446505511312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17514] ppid=17505 vsize=13268028 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 15599 0 -1 1077944384 198 0 0 0 15 19 0 0 20 0 20 0 5170763 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446151407888 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17515] ppid=17505 vsize=13268028 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 15599 0 -1 1077944384 191 0 0 0 15 22 0 0 20 0 20 0 5170764 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446150356112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17516] ppid=17505 vsize=13268028 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 15599 0 -1 1077944384 200 0 0 0 15 20 0 0 20 0 20 0 5170764 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446149303312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17517] ppid=17505 vsize=13268028 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 15599 0 -1 1077944384 202 0 0 0 15 21 0 0 20 0 20 0 5170764 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446148250512 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17518] ppid=17505 vsize=13268028 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 15599 0 -1 1077944384 173 0 0 0 15 21 0 0 20 0 20 0 5170764 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446147197712 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17519] ppid=17505 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 15599 0 -1 1077944384 548 0 0 0 1 0 0 0 20 0 20 0 5170766 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446017710448 140446555007618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17520] ppid=17505 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 15599 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5170767 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446016656480 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17521] ppid=17505 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 15599 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5170767 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446015603584 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17522] ppid=17505 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5170771 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446014551888 140446555015067 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17523] ppid=17505 vsize=13268028 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17523/stat : 17523 (java) S 17505 17508 15599 0 -1 1077944384 2253 0 0 0 111 0 0 0 20 0 20 0 5170771 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446013500272 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17524] ppid=17505 vsize=13268028 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 15599 0 -1 1077944384 3223 0 0 0 121 0 0 0 20 0 20 0 5170771 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446012447472 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17525] ppid=17505 vsize=13268028 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 15599 0 -1 1077944384 2347 0 0 0 110 0 0 0 20 0 20 0 5170771 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446011394672 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17526] ppid=17505 vsize=13268028 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 15599 0 -1 1077944384 3029 0 0 0 68 1 0 0 20 0 20 0 5170771 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446010341872 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17527] ppid=17505 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5170771 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446009289312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17528] ppid=17505 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5170772 13586460672 255630 33554432000 4194304 4196468 140724390919296 140446008236592 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 9.79
Current children cumulated vsize (KiB) 13268028

[startup+6.30127 s]
/proc/loadavg: 1.91 1.39 1.38 10/283 17528
/proc/meminfo: memFree=27533152/32770624 swapFree=5952/253636
[pid=17508] ppid=17505 vsize=13268028 CPUtime=22.72 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 30842 0 0 0 1640 632 0 0 20 0 20 0 5170762 13586460672 729380 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3317007 729380 3846 1 0 3304722 0
[pid=17508/tid=17509] ppid=17505 vsize=13268028 CPUtime=4.48 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 11488 0 0 0 421 27 0 0 20 0 20 0 5170763 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446559231688 140446194059015 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17511] ppid=17505 vsize=13268028 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 15599 0 -1 1077944384 671 0 0 0 92 76 0 0 20 0 20 0 5170763 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446507616912 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17512] ppid=17505 vsize=13268028 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 15599 0 -1 1077944384 597 0 0 0 89 73 0 0 20 0 20 0 5170763 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446506564112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17513] ppid=17505 vsize=13268028 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 15599 0 -1 1077944384 624 0 0 0 91 75 0 0 20 0 20 0 5170763 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446505511312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17514] ppid=17505 vsize=13268028 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 15599 0 -1 1077944384 764 0 0 0 93 72 0 0 20 0 20 0 5170763 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446151407888 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17515] ppid=17505 vsize=13268028 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 15599 0 -1 1077944384 660 0 0 0 89 78 0 0 20 0 20 0 5170764 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446150356112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17516] ppid=17505 vsize=13268028 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 15599 0 -1 1077944384 579 0 0 0 92 70 0 0 20 0 20 0 5170764 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446149303312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17517] ppid=17505 vsize=13268028 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 15599 0 -1 1077944384 677 0 0 0 91 76 0 0 20 0 20 0 5170764 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446148250512 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17518] ppid=17505 vsize=13268028 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 15599 0 -1 1077944384 553 0 0 0 94 74 0 0 20 0 20 0 5170764 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446147197712 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17519] ppid=17505 vsize=13268028 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 15599 0 -1 1077944384 1866 0 0 0 6 0 0 0 20 0 20 0 5170766 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446017710448 140446555007618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17520] ppid=17505 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 15599 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 5170767 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446016656480 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17521] ppid=17505 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 15599 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 5170767 13586460672 729380 33554432000 4194304 4196468 140724390919296 140446015603584 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17522] ppid=17505 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15

################
# More data... #
################

[pid=17508/tid=17524] ppid=17505 vsize=13270076 CPUtime=2.61 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 15599 0 -1 1077944384 19643 0 0 0 259 2 0 0 20 0 20 0 5170771 13588557824 1130350 33554432000 4194304 4196468 140724390919296 140446012447472 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17525] ppid=17505 vsize=13270076 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 15599 0 -1 1077944384 15463 0 0 0 219 2 0 0 20 0 20 0 5170771 13588557824 1130350 33554432000 4194304 4196468 140724390919296 140446011394672 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17526] ppid=17505 vsize=13270076 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 15599 0 -1 1077944384 27338 0 0 0 114 3 0 0 20 0 20 0 5170771 13588557824 1130350 33554432000 4194304 4196468 140724390919296 140446010341872 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17527] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5170771 13588557824 1130350 33554432000 4194304 4196468 140724390919296 140446009289312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17528] ppid=17505 vsize=13270076 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 15599 0 -1 1077944384 1563 0 0 0 60 67 0 0 20 0 20 0 5170772 13588557824 1130350 33554432000 4194304 4196468 140724390919296 140446008236592 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 2330.14
Current children cumulated vsize (KiB) 13270076

[startup+2262.3 s]
/proc/loadavg: 1.90 1.93 1.86 3/281 17707
/proc/meminfo: memFree=22553748/32770624 swapFree=5952/256464
[pid=17508] ppid=17505 vsize=13270076 CPUtime=2395.17 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 566247 0 0 0 238315 1202 0 0 20 0 20 0 5170762 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3317519 1131525 3860 1 0 3305234 0
[pid=17508/tid=17509] ppid=17505 vsize=13270076 CPUtime=2242.09 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 212352 0 0 0 224135 74 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446559234144 140446189077287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17511] ppid=17505 vsize=13270076 CPUtime=17.74 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 15599 0 -1 1077944384 29518 0 0 0 1640 134 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446507616912 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17512] ppid=17505 vsize=13270076 CPUtime=17.95 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 15599 0 -1 1077944384 36631 0 0 0 1667 128 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446506564112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17513] ppid=17505 vsize=13270076 CPUtime=17.91 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 15599 0 -1 1077944384 26195 0 0 0 1661 130 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446505511312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17514] ppid=17505 vsize=13270076 CPUtime=17.79 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 15599 0 -1 1077944384 35342 0 0 0 1650 129 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446151407888 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17515] ppid=17505 vsize=13270076 CPUtime=17.8 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 15599 0 -1 1077944384 33626 0 0 0 1644 136 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446150356112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17516] ppid=17505 vsize=13270076 CPUtime=17.81 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 15599 0 -1 1077944384 28489 0 0 0 1652 129 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446149303312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17517] ppid=17505 vsize=13270076 CPUtime=17.88 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 15599 0 -1 1077944384 32923 0 0 0 1656 132 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446148250512 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17518] ppid=17505 vsize=13270076 CPUtime=17.86 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 15599 0 -1 1077944384 33485 0 0 0 1656 130 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446147197712 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17519] ppid=17505 vsize=13270076 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 15599 0 -1 1077944384 15795 0 0 0 44 9 0 0 20 0 20 0 5170766 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446017710448 140446555007618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17520] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 15599 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5170767 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446016656480 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17521] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 15599 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5170767 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446015603584 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17522] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446014551888 140446555015067 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17523] ppid=17505 vsize=13270076 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17523/stat : 17523 (java) S 17505 17508 15599 0 -1 1077944384 16412 0 0 0 234 3 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446013500272 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17524] ppid=17505 vsize=13270076 CPUtime=2.61 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 15599 0 -1 1077944384 19646 0 0 0 259 2 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446012447472 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17525] ppid=17505 vsize=13270076 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 15599 0 -1 1077944384 15466 0 0 0 219 2 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446011394672 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17526] ppid=17505 vsize=13270076 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 15599 0 -1 1077944384 27343 0 0 0 114 3 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446010341872 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17527] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446009289312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17528] ppid=17505 vsize=13270076 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 15599 0 -1 1077944384 1590 0 0 0 61 69 0 0 20 0 20 0 5170772 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446008236592 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 2395.17
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2266.5 s]
/proc/loadavg: 1.82 1.91 1.85 10/281 17708
/proc/meminfo: memFree=22551824/32770624 swapFree=5952/256476
[pid=17508] ppid=17505 vsize=13270076 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 566255 0 0 0 238803 1203 0 0 20 0 20 0 5170762 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3317519 1131525 3860 1 0 3305234 0
[pid=17508/tid=17509] ppid=17505 vsize=13270076 CPUtime=2246.18 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 212353 0 0 0 224544 74 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446559234144 140446195849365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17511] ppid=17505 vsize=13270076 CPUtime=17.84 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 15599 0 -1 1077944384 29518 0 0 0 1650 134 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446507616912 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17512] ppid=17505 vsize=13270076 CPUtime=18.05 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 15599 0 -1 1077944384 36631 0 0 0 1677 128 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446506564112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17513] ppid=17505 vsize=13270076 CPUtime=18.01 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 15599 0 -1 1077944384 26196 0 0 0 1671 130 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446505511312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17514] ppid=17505 vsize=13270076 CPUtime=17.9 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 15599 0 -1 1077944384 35344 0 0 0 1661 129 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446151407888 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17515] ppid=17505 vsize=13270076 CPUtime=17.9 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 15599 0 -1 1077944384 33627 0 0 0 1654 136 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446150356112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17516] ppid=17505 vsize=13270076 CPUtime=17.91 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 15599 0 -1 1077944384 28489 0 0 0 1662 129 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446149303312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17517] ppid=17505 vsize=13270076 CPUtime=17.98 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 15599 0 -1 1077944384 32924 0 0 0 1666 132 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446148250512 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17518] ppid=17505 vsize=13270076 CPUtime=17.95 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 15599 0 -1 1077944384 33485 0 0 0 1665 130 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446147197712 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17519] ppid=17505 vsize=13270076 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 15599 0 -1 1077944384 15797 0 0 0 44 9 0 0 20 0 20 0 5170766 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446017710448 140446555007618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17520] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 15599 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5170767 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446016656480 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17521] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 15599 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5170767 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446015603584 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17522] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446014551888 140446555015067 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17523] ppid=17505 vsize=13270076 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17523/stat : 17523 (java) S 17505 17508 15599 0 -1 1077944384 16412 0 0 0 234 3 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446013500272 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17524] ppid=17505 vsize=13270076 CPUtime=2.61 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 15599 0 -1 1077944384 19646 0 0 0 259 2 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446012447472 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17525] ppid=17505 vsize=13270076 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 15599 0 -1 1077944384 15466 0 0 0 219 2 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446011394672 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17526] ppid=17505 vsize=13270076 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 15599 0 -1 1077944384 27343 0 0 0 114 3 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446010341872 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17527] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446009289312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17528] ppid=17505 vsize=13270076 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 15599 0 -1 1077944384 1590 0 0 0 61 69 0 0 20 0 20 0 5170772 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446008236592 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13270076

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17508 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2266.5 s]
/proc/loadavg: 1.82 1.91 1.85 10/281 17708
/proc/meminfo: memFree=22551824/32770624 swapFree=5952/256476
[pid=17508] ppid=17505 vsize=13270076 CPUtime=2400.06 cores=1,3,5,7,9,11,13,15
/proc/17508/stat : 17508 (java) S 17505 17508 15599 0 -1 1077944320 566255 0 0 0 238803 1203 0 0 20 0 20 0 5170762 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140724390901840 140446554996471 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
/proc/17508/statm: 3317519 1131525 3860 1 0 3305234 0
[pid=17508/tid=17509] ppid=17505 vsize=13270076 CPUtime=2246.18 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17509/stat : 17509 (java) R 17505 17508 15599 0 -1 4202560 212353 0 0 0 224544 74 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446559234144 140446195849365 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17511] ppid=17505 vsize=13270076 CPUtime=17.84 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17511/stat : 17511 (java) S 17505 17508 15599 0 -1 1077944384 29518 0 0 0 1650 134 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446507616912 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17512] ppid=17505 vsize=13270076 CPUtime=18.05 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17512/stat : 17512 (java) S 17505 17508 15599 0 -1 1077944384 36631 0 0 0 1677 128 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446506564112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17513] ppid=17505 vsize=13270076 CPUtime=18.01 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17513/stat : 17513 (java) S 17505 17508 15599 0 -1 1077944384 26196 0 0 0 1671 130 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446505511312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17514] ppid=17505 vsize=13270076 CPUtime=17.9 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17514/stat : 17514 (java) S 17505 17508 15599 0 -1 1077944384 35344 0 0 0 1661 129 0 0 20 0 20 0 5170763 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446151407888 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17515] ppid=17505 vsize=13270076 CPUtime=17.9 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17515/stat : 17515 (java) S 17505 17508 15599 0 -1 1077944384 33627 0 0 0 1654 136 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446150356112 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17516] ppid=17505 vsize=13270076 CPUtime=17.91 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17516/stat : 17516 (java) S 17505 17508 15599 0 -1 1077944384 28489 0 0 0 1662 129 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446149303312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17517] ppid=17505 vsize=13270076 CPUtime=17.98 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17517/stat : 17517 (java) S 17505 17508 15599 0 -1 1077944384 32924 0 0 0 1666 132 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446148250512 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17518] ppid=17505 vsize=13270076 CPUtime=17.95 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17518/stat : 17518 (java) S 17505 17508 15599 0 -1 1077944384 33485 0 0 0 1665 130 0 0 20 0 20 0 5170764 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446147197712 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17519] ppid=17505 vsize=13270076 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17519/stat : 17519 (java) S 17505 17508 15599 0 -1 1077944384 15797 0 0 0 44 9 0 0 20 0 20 0 5170766 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446017710448 140446555007618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17520] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17520/stat : 17520 (java) S 17505 17508 15599 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5170767 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446016656480 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17521] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17521/stat : 17521 (java) S 17505 17508 15599 0 -1 1077944384 51 0 0 0 0 0 0 0 20 0 20 0 5170767 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446015603584 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17522] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17522/stat : 17522 (java) S 17505 17508 15599 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446014551888 140446555015067 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17523] ppid=17505 vsize=13270076 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17523/stat : 17523 (java) S 17505 17508 15599 0 -1 1077944384 16412 0 0 0 234 3 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446013500272 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17524] ppid=17505 vsize=13270076 CPUtime=2.61 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17524/stat : 17524 (java) S 17505 17508 15599 0 -1 1077944384 19646 0 0 0 259 2 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446012447472 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17525] ppid=17505 vsize=13270076 CPUtime=2.21 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17525/stat : 17525 (java) S 17505 17508 15599 0 -1 1077944384 15466 0 0 0 219 2 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446011394672 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17526] ppid=17505 vsize=13270076 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17526/stat : 17526 (java) S 17505 17508 15599 0 -1 1077944384 27343 0 0 0 114 3 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446010341872 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17527] ppid=17505 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17527/stat : 17527 (java) S 17505 17508 15599 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5170771 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446009289312 140446555006677 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
[pid=17508/tid=17528] ppid=17505 vsize=13270076 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/17508/task/17528/stat : 17528 (java) S 17505 17508 15599 0 -1 1077944384 1590 0 0 0 61 69 0 0 20 0 20 0 5170772 13588557824 1131525 33554432000 4194304 4196468 140724390919296 140446008236592 140446555007618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26017792 140724390921359 140724390921540 140724390921540 140724390924239 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2266.55
CPU time (s): 2400.12
CPU user time (s): 2388.06
CPU system time (s): 12.0624
CPU usage (%): 105.893
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2388.06
system time used= 12.0624
maximum resident set size= 4526872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 567920
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 65383
involuntary context switches= 124612

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.584 second user time and 18.2423 second system time

The end

Begin job on node113 at 2017-07-22 06:50:18
IDJOB=4245127
IDBENCH=120572
IDSOLVER=2627
FILE ID=node113/4245127-1500699018
RUNJOBID= node113-1500682578-15631
PBS_JOBID= 20623330
Free space on /tmp= 61976 MiB

SOLVER NAME= OscaR - ALNS 2017-06-30
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap06a.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245127-1500699018/watcher-4245127-1500699018 -o /tmp/evaluation-result-4245127-1500699018/solver-4245127-1500699018 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node113-1500682578-15631 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-alns.jar --randomseed 1359932721 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245127-1500699018.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= a8532fde929f2c832645b1246a7d35a6
RANDOM SEED=1359932721

node113.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2400.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2267.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30401464 kB
MemAvailable:   30665060 kB
Buffers:          113764 kB
Cached:           430764 kB
SwapCached:            0 kB
Active:          1670188 kB
Inactive:         261824 kB
Active(anon):    1390748 kB
Inactive(anon):     8596 kB
Active(file):     279440 kB
Inactive(file):   253228 kB
Unevictable:        5952 kB
Mlocked:            5952 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             43740 kB
Writeback:             0 kB
AnonPages:       1399380 kB
Mapped:            45488 kB
Shmem:              8848 kB
Slab:             126356 kB
SReclaimable:      93524 kB
SUnreclaim:        32832 kB
KernelStack:        4880 kB
PageTables:         7852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2047744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1325056 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      148864 kB
DirectMap2M:    33396736 kB

Free space on /tmp at the end= 61932 MiB
End job on node113 at 2017-07-22 07:28:05

Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4245127

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data