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 - Hybrid 2017-06-30	? (TO)		2400.07	2378.32

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-4249640-1500736863/watcher-4249640-1500736863 -o /tmp/evaluation-result-4249640-1500736863/solver-4249640-1500736863 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500716502-20684 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 884647701 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249640-1500736863.xml 

pid=23041
running on 8 cores: 0,2,4,6,8,10,12,14

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.92 1.85 1.80 4/265 23044
/proc/meminfo: memFree=31202124/32770624 swapFree=5704/294684
[pid=23044] ppid=23041 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 2098 0 0 0 0 0 0 0 20 0 2 0 8953505 10889764864 2301 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 2658634 2367 1188 1 0 2647545 0
[pid=23044/tid=23045] ppid=23041 vsize=10634536 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 890 0 0 0 0 0 0 0 20 0 2 0 8953505 10889764864 2433 33554432000 4194304 4196468 140729449393248 140556118485408 140556106532768 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0

[startup+0.100197 s]
/proc/loadavg: 1.92 1.85 1.80 4/265 23044
/proc/meminfo: memFree=31202124/32770624 swapFree=5704/294684
[pid=23044] ppid=23041 vsize=13264380 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 5526 0 0 0 8 2 0 0 20 0 20 0 8953505 13582725120 6096 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3316095 6096 3301 1 0 3303815 0
[pid=23044/tid=23045] ppid=23041 vsize=13264380 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 3602 0 0 0 7 1 0 0 20 0 20 0 8953505 13582725120 6096 33554432000 4194304 4196468 140729449393248 140556118485600 140556098323836 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13264380

[startup+0.200361 s]
/proc/loadavg: 1.92 1.85 1.80 4/265 23044
/proc/meminfo: memFree=31202124/32770624 swapFree=5704/294684
[pid=23044] ppid=23041 vsize=13263912 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 8721 0 0 0 23 3 0 0 20 0 20 0 8953505 13582245888 8689 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3315978 8689 3522 1 0 3303698 0
[pid=23044/tid=23045] ppid=23041 vsize=13263912 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 6414 0 0 0 16 2 0 0 20 0 20 0 8953505 13582245888 8689 33554432000 4194304 4196468 140729449393248 140556118466400 140556114255254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300403 s]
/proc/loadavg: 1.92 1.85 1.80 4/265 23044
/proc/meminfo: memFree=31202124/32770624 swapFree=5704/294684
[pid=23044] ppid=23041 vsize=13263912 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 9795 0 0 0 38 4 0 0 20 0 20 0 8953505 13582245888 10525 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3315978 10525 3632 1 0 3303698 0
[pid=23044/tid=23045] ppid=23041 vsize=13263912 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 7144 0 0 0 24 3 0 0 20 0 20 0 8953505 13582245888 10525 33554432000 4194304 4196468 140729449393248 140556118470776 140556114265245 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700206 s]
/proc/loadavg: 1.92 1.85 1.80 4/265 23044
/proc/meminfo: memFree=31202124/32770624 swapFree=5704/294684
[pid=23044] ppid=23041 vsize=13265980 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 14267 0 0 0 134 6 0 0 20 0 20 0 8953505 13584363520 24187 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3316495 24187 3768 1 0 3304210 0
[pid=23044/tid=23045] ppid=23041 vsize=13265980 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 8534 0 0 0 63 4 0 0 20 0 20 0 8953505 13584363520 24187 33554432000 4194304 4196468 140729449393248 140556118476944 140555710208368 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 13265980

[startup+1.50108 s]
/proc/loadavg: 1.92 1.85 1.80 5/285 23064
/proc/meminfo: memFree=31003696/32770624 swapFree=5704/294740
[pid=23044] ppid=23041 vsize=13270076 CPUtime=3.8 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 20260 0 0 0 355 25 0 0 20 0 20 0 8953505 13588557824 58101 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3317519 58101 3798 1 0 3305234 0
[pid=23044/tid=23045] ppid=23041 vsize=13270076 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 10243 0 0 0 137 6 0 0 20 0 20 0 8953505 13588557824 58101 33554432000 4194304 4196468 140729449393248 140556118478712 140556114255254 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23046] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23046/stat : 23046 (java) S 23041 23044 20653 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58101 33554432000 4194304 4196468 140729449393248 140556032723600 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23048] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23048/stat : 23048 (java) S 23041 23044 20653 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58101 33554432000 4194304 4196468 140729449393248 140556031670800 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23049] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23049/stat : 23049 (java) S 23041 23044 20653 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58101 33554432000 4194304 4196468 140729449393248 140556030618000 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23050] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23050/stat : 23050 (java) S 23041 23044 20653 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58101 33554432000 4194304 4196468 140729449393248 140556029565200 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23051] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23051/stat : 23051 (java) S 23041 23044 20653 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58101 33554432000 4194304 4196468 140729449393248 140556028513424 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23052] ppid=23041 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23052/stat : 23052 (java) S 23041 23044 20653 0 -1 1077944384 13 0 0 0 1 2 0 0 20 0 20 0 8953506 13588557824 58101 33554432000 4194304 4196468 140729449393248 140556027460624 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23053] ppid=23041 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23053/stat : 23053 (java) S 23041 23044 20653 0 -1 1077944384 12 0 0 0 1 2 0 0 20 0 20 0 8953506 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555707214736 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23054] ppid=23041 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23054/stat : 23054 (java) S 23041 23044 20653 0 -1 1077944384 12 0 0 0 1 2 0 0 20 0 20 0 8953506 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555706161936 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23055] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23055/stat : 23055 (java) S 23041 23044 20653 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 8953508 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555577583984 140556114254466 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23056] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23056/stat : 23056 (java) S 23041 23044 20653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555576530016 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23057] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23057/stat : 23057 (java) S 23041 23044 20653 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555575477104 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23058] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23058/stat : 23058 (java) S 23041 23044 20653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8953513 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555574425424 140556114261915 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23059] ppid=23041 vsize=13270076 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23059/stat : 23059 (java) R 23041 23044 20653 0 -1 4202560 1555 0 0 0 51 0 0 0 20 0 20 0 8953513 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555573373728 140556114264666 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23060] ppid=23041 vsize=13270076 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23060/stat : 23060 (java) R 23041 23044 20653 0 -1 4202560 1306 0 0 0 44 0 0 0 20 0 20 0 8953513 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555572321008 140556094879203 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23061] ppid=23041 vsize=13270076 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23061/stat : 23061 (java) R 23041 23044 20653 0 -1 4202560 1375 0 0 0 48 0 0 0 20 0 20 0 8953513 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555571268504 140556114264666 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23062] ppid=23041 vsize=13270076 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23062/stat : 23062 (java) S 23041 23044 20653 0 -1 1077944384 4189 0 0 0 61 1 0 0 20 0 20 0 8953513 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555570215408 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23063] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23063/stat : 23063 (java) S 23041 23044 20653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8953514 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555569162848 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23064] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23064/stat : 23064 (java) S 23041 23044 20653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8953514 13588557824 58101 33554432000 4194304 4196468 140729449393248 140555568110128 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13270076

[startup+3.10078 s]
/proc/loadavg: 1.92 1.85 1.80 3/285 23064
/proc/meminfo: memFree=30984724/32770624 swapFree=5704/294740
[pid=23044] ppid=23041 vsize=13270076 CPUtime=5.9 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 23275 0 0 0 565 25 0 0 20 0 20 0 8953505 13588557824 58560 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3317519 58560 3799 1 0 3305234 0
[pid=23044/tid=23045] ppid=23041 vsize=13270076 CPUtime=3.03 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 10629 0 0 0 297 6 0 0 20 0 20 0 8953505 13588557824 58560 33554432000 4194304 4196468 140729449393248 140556118478584 140555714219561 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23046] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23046/stat : 23046 (java) S 23041 23044 20653 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58560 33554432000 4194304 4196468 140729449393248 140556032723600 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23048] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23048/stat : 23048 (java) S 23041 23044 20653 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58560 33554432000 4194304 4196468 140729449393248 140556031670800 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23049] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23049/stat : 23049 (java) S 23041 23044 20653 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58560 33554432000 4194304 4196468 140729449393248 140556030618000 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23050] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23050/stat : 23050 (java) S 23041 23044 20653 0 -1 1077944384 26 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58560 33554432000 4194304 4196468 140729449393248 140556029565200 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23051] ppid=23041 vsize=13270076 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23051/stat : 23051 (java) S 23041 23044 20653 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 20 0 8953506 13588557824 58560 33554432000 4194304 4196468 140729449393248 140556028513424 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23052] ppid=23041 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23052/stat : 23052 (java) S 23041 23044 20653 0 -1 1077944384 13 0 0 0 1 2 0 0 20 0 20 0 8953506 13588557824 58560 33554432000 4194304 4196468 140729449393248 140556027460624 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23053] ppid=23041 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23053/stat : 23053 (java) S 23041 23044 20653 0 -1 1077944384 12 0 0 0 1 2 0 0 20 0 20 0 8953506 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555707214736 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23054] ppid=23041 vsize=13270076 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23054/stat : 23054 (java) S 23041 23044 20653 0 -1 1077944384 12 0 0 0 1 2 0 0 20 0 20 0 8953506 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555706161936 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23055] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23055/stat : 23055 (java) S 23041 23044 20653 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 8953508 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555577583984 140556114254466 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23056] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23056/stat : 23056 (java) S 23041 23044 20653 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555576530016 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23057] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23057/stat : 23057 (java) S 23041 23044 20653 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555575477104 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23058] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23058/stat : 23058 (java) S 23041 23044 20653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8953513 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555574425424 140556114261915 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23059] ppid=23041 vsize=13270076 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23059/stat : 23059 (java) R 23041 23044 20653 0 -1 4202560 2730 0 0 0 64 0 0 0 20 0 20 0 8953513 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555573359688 140556095765028 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23060] ppid=23041 vsize=13270076 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23060/stat : 23060 (java) S 23041 23044 20653 0 -1 1077944384 1439 0 0 0 62 0 0 0 20 0 20 0 8953513 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555572321008 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23061] ppid=23041 vsize=13270076 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23061/stat : 23061 (java) R 23041 23044 20653 0 -1 4202560 2644 0 0 0 64 0 0 0 20 0 20 0 8953513 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555571254232 140556097630635 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23062] ppid=23041 vsize=13270076 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23062/stat : 23062 (java) S 23041 23044 20653 0 -1 1077944384 4228 0 0 0 63 1 0 0 20 0 20 0 8953513 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555570215408 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23063] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23063/stat : 23063 (java) S 23041 23044 20653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8953514 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555569162848 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23064] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23064/stat : 23064 (java) S 23041 23044 20653 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 8953514 13588557824 58560 33554432000 4194304 4196468 140729449393248 140555568110128 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 5.9
Current children cumulated vsize (KiB) 13270076

[startup+6.30089 s]
/proc/loadavg: 1.76 1.82 1.79 3/285 23064
/proc/meminfo: memFree=30938220/32770624 swapFree=5704/294740
[pid=23044] ppid=23041 vsize=13270076 CPUtime=9.75 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 27908 0 0 0 927 48 0 0 20 0 20 0 8953505 13588557824 69515 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3317519 69515 3810 1 0 3305234 0
[pid=23044/tid=23045] ppid=23041 vsize=13270076 CPUtime=6.16 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 10783 0 0 0 610 6 0 0 20 0 20 0 8953505 13588557824 69515 33554432000 4194304 4196468 140729449393248 140556118478792 140555714219503 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23046] ppid=23041 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23046/stat : 23046 (java) S 23041 23044 20653 0 -1 1077944384 382 0 0 0 4 4 0 0 20 0 20 0 8953506 13588557824 69515 33554432000 4194304 4196468 140729449393248 140556032723600 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23048] ppid=23041 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23048/stat : 23048 (java) S 23041 23044 20653 0 -1 1077944384 47 0 0 0 4 4 0 0 20 0 20 0 8953506 13588557824 69515 33554432000 4194304 4196468 140729449393248 140556031670800 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23049] ppid=23041 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23049/stat : 23049 (java) S 23041 23044 20653 0 -1 1077944384 135 0 0 0 4 4 0 0 20 0 20 0 8953506 13588557824 69515 33554432000 4194304 4196468 140729449393248 140556030618000 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23050] ppid=23041 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23050/stat : 23050 (java) S 23041 23044 20653 0 -1 1077944384 410 0 0 0 4 4 0 0 20 0 20 0 8953506 13588557824 69515 33554432000 4194304 4196468 140729449393248 140556029565200 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23051] ppid=23041 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23051/stat : 23051 (java) S 23041 23044 20653 0 -1 1077944384 77 0 0 0 4 4 0 0 20 0 20 0 8953506 13588557824 69515 33554432000 4194304 4196468 140729449393248 140556028513424 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23052] ppid=23041 vsize=13270076 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23052/stat : 23052 (java) S 23041 23044 20653 0 -1 1077944384 49 0 0 0 4 5 0 0 20 0 20 0 8953506 13588557824 69515 33554432000 4194304 4196468 140729449393248 140556027460624 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23053] ppid=23041 vsize=13270076 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23053/stat : 23053 (java) S 23041 23044 20653 0 -1 1077944384 813 0 0 0 4 4 0 0 20 0 20 0 8953506 13588557824 69515 33554432000 4194304 4196468 140729449393248 140555707214736 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23054] ppid=23041 vsize=13270076 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23054/stat : 23054 (java) S 23041 23044 20653 0 -1 1077944384 65 0 0 0 3 4 0 0 20 0 20 0 8953506 13588557824 69515 33554432000 4194304 4196468 140729449393248 140555706161936 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23055] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23055/stat : 23055 (java) S 23041 23044 20653 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 8953508 13588557824 69515 33554432000 4194304 4196468 140729449393248 140555577583984 140556114254466 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23056] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23056/stat : 23056 (java) S 23041 23044 20653 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 69515 33554432000 4194304 4196468 140729449393248 140555576530016 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23057] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23057/stat : 23057 (java) S 23041 23044 20653 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 69515 33554432000 4194304 4196468 140729449393248 140555575477120 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23058] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=23044/tid=23060] ppid=23041 vsize=13270076 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23060/stat : 23060 (java) S 23041 23044 20653 0 -1 1077944384 8282 0 0 0 144 1 0 0 20 0 20 0 8953513 13588557824 153064 33554432000 4194304 4196468 140729449393248 140555572321008 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23061] ppid=23041 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23061/stat : 23061 (java) S 23041 23044 20653 0 -1 1077944384 12252 0 0 0 150 2 0 0 20 0 20 0 8953513 13588557824 153064 33554432000 4194304 4196468 140729449393248 140555571268208 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23062] ppid=23041 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23062/stat : 23062 (java) S 23041 23044 20653 0 -1 1077944384 7029 0 0 0 73 2 0 0 20 0 20 0 8953513 13588557824 153064 33554432000 4194304 4196468 140729449393248 140555570215408 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 41 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23063] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23063/stat : 23063 (java) S 23041 23044 20653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8953514 13588557824 153064 33554432000 4194304 4196468 140729449393248 140555569162848 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23064] ppid=23041 vsize=13270076 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23064/stat : 23064 (java) S 23041 23044 20653 0 -1 1077944384 1250 0 0 0 32 36 0 0 20 0 20 0 8953514 13588557824 153064 33554432000 4194304 4196468 140729449393248 140555568110128 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 50 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 2282.79
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 2.10 1.91 1.87 3/284 23219
/proc/meminfo: memFree=29531672/32770624 swapFree=5704/297236
[pid=23044] ppid=23041 vsize=13270076 CPUtime=2343.41 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 120043 0 0 0 234137 204 0 0 20 0 20 0 8953505 13588557824 151652 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3317519 151652 3812 1 0 3305234 0
[pid=23044/tid=23045] ppid=23041 vsize=13270076 CPUtime=2318.16 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 35875 0 0 0 231794 22 0 0 20 0 20 0 8953505 13588557824 151652 33554432000 4194304 4196468 140729449393248 140556118481440 140555714630497 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23046] ppid=23041 vsize=13270076 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23046/stat : 23046 (java) S 23041 23044 20653 0 -1 1077944384 2398 0 0 0 215 16 0 0 20 0 20 0 8953506 13588557824 151652 33554432000 4194304 4196468 140729449393248 140556032723600 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23048] ppid=23041 vsize=13270076 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23048/stat : 23048 (java) S 23041 23044 20653 0 -1 1077944384 2978 0 0 0 211 18 0 0 20 0 20 0 8953506 13588557824 151652 33554432000 4194304 4196468 140729449393248 140556031670800 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23049] ppid=23041 vsize=13270076 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23049/stat : 23049 (java) S 23041 23044 20653 0 -1 1077944384 4526 0 0 0 211 17 0 0 20 0 20 0 8953506 13588557824 151652 33554432000 4194304 4196468 140729449393248 140556030618000 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23050] ppid=23041 vsize=13270076 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23050/stat : 23050 (java) S 23041 23044 20653 0 -1 1077944384 4229 0 0 0 209 18 0 0 20 0 20 0 8953506 13588557824 151652 33554432000 4194304 4196468 140729449393248 140556029565200 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23051] ppid=23041 vsize=13270076 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23051/stat : 23051 (java) S 23041 23044 20653 0 -1 1077944384 3365 0 0 0 211 17 0 0 20 0 20 0 8953506 13588557824 151652 33554432000 4194304 4196468 140729449393248 140556028513424 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23052] ppid=23041 vsize=13270076 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23052/stat : 23052 (java) S 23041 23044 20653 0 -1 1077944384 5824 0 0 0 210 19 0 0 20 0 20 0 8953506 13588557824 151652 33554432000 4194304 4196468 140729449393248 140556027460624 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23053] ppid=23041 vsize=13270076 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23053/stat : 23053 (java) S 23041 23044 20653 0 -1 1077944384 4979 0 0 0 213 19 0 0 20 0 20 0 8953506 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555707214736 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23054] ppid=23041 vsize=13270076 CPUtime=2.28 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23054/stat : 23054 (java) S 23041 23044 20653 0 -1 1077944384 5073 0 0 0 211 17 0 0 20 0 20 0 8953506 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555706161936 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23055] ppid=23041 vsize=13270076 CPUtime=0.73 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23055/stat : 23055 (java) S 23041 23044 20653 0 -1 1077944384 7469 0 0 0 61 12 0 0 20 0 20 0 8953508 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555577583984 140556114254466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23056] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23056/stat : 23056 (java) S 23041 23044 20653 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555576530016 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23057] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23057/stat : 23057 (java) S 23041 23044 20653 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555575477120 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23058] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23058/stat : 23058 (java) S 23041 23044 20653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8953513 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555574425424 140556114261915 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23059] ppid=23041 vsize=13270076 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23059/stat : 23059 (java) S 23041 23044 20653 0 -1 1077944384 13073 0 0 0 162 1 0 0 20 0 20 0 8953513 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555573373808 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23060] ppid=23041 vsize=13270076 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23060/stat : 23060 (java) S 23041 23044 20653 0 -1 1077944384 8284 0 0 0 144 1 0 0 20 0 20 0 8953513 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555572321008 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23061] ppid=23041 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23061/stat : 23061 (java) S 23041 23044 20653 0 -1 1077944384 12254 0 0 0 150 2 0 0 20 0 20 0 8953513 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555571268208 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23062] ppid=23041 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23062/stat : 23062 (java) S 23041 23044 20653 0 -1 1077944384 7032 0 0 0 73 2 0 0 20 0 20 0 8953513 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555570215408 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23063] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23063/stat : 23063 (java) S 23041 23044 20653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8953514 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555569162848 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23064] ppid=23041 vsize=13270076 CPUtime=0.7 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23064/stat : 23064 (java) S 23041 23044 20653 0 -1 1077944384 1269 0 0 0 33 37 0 0 20 0 20 0 8953514 13588557824 151652 33554432000 4194304 4196468 140729449393248 140555568110128 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 50 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 2343.41
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2378.31 s]
/proc/loadavg: 1.88 1.88 1.86 3/286 23229
/proc/meminfo: memFree=29533108/32770624 swapFree=5704/297284
[pid=23044] ppid=23041 vsize=13270076 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 121655 0 0 0 239797 207 0 0 20 0 20 0 8953505 13588557824 150753 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3317519 150753 3812 1 0 3305234 0
[pid=23044/tid=23045] ppid=23041 vsize=13270076 CPUtime=2374 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 36313 0 0 0 237378 22 0 0 20 0 20 0 8953505 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556118481456 140555714630545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23046] ppid=23041 vsize=13270076 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23046/stat : 23046 (java) S 23041 23044 20653 0 -1 1077944384 2427 0 0 0 225 16 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556032723600 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23048] ppid=23041 vsize=13270076 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23048/stat : 23048 (java) S 23041 23044 20653 0 -1 1077944384 3094 0 0 0 220 18 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556031670800 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23049] ppid=23041 vsize=13270076 CPUtime=2.37 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23049/stat : 23049 (java) S 23041 23044 20653 0 -1 1077944384 4732 0 0 0 220 17 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556030618000 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23050] ppid=23041 vsize=13270076 CPUtime=2.36 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23050/stat : 23050 (java) S 23041 23044 20653 0 -1 1077944384 4296 0 0 0 218 18 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556029565200 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23051] ppid=23041 vsize=13270076 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23051/stat : 23051 (java) S 23041 23044 20653 0 -1 1077944384 3422 0 0 0 221 18 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556028513424 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23052] ppid=23041 vsize=13270076 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23052/stat : 23052 (java) S 23041 23044 20653 0 -1 1077944384 6088 0 0 0 219 19 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556027460624 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23053] ppid=23041 vsize=13270076 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23053/stat : 23053 (java) S 23041 23044 20653 0 -1 1077944384 5186 0 0 0 222 19 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555707214736 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23054] ppid=23041 vsize=13270076 CPUtime=2.37 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23054/stat : 23054 (java) S 23041 23044 20653 0 -1 1077944384 5102 0 0 0 220 17 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555706161936 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23055] ppid=23041 vsize=13270076 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23055/stat : 23055 (java) S 23041 23044 20653 0 -1 1077944384 7645 0 0 0 64 12 0 0 20 0 20 0 8953508 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555577583984 140556114254466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23056] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23056/stat : 23056 (java) S 23041 23044 20653 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555576530016 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23057] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23057/stat : 23057 (java) S 23041 23044 20653 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555575477120 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23058] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23058/stat : 23058 (java) S 23041 23044 20653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555574425424 140556114261915 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23059] ppid=23041 vsize=13270076 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23059/stat : 23059 (java) S 23041 23044 20653 0 -1 1077944384 13075 0 0 0 162 1 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555573373808 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23060] ppid=23041 vsize=13270076 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23060/stat : 23060 (java) S 23041 23044 20653 0 -1 1077944384 8286 0 0 0 144 1 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555572321008 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23061] ppid=23041 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23061/stat : 23061 (java) S 23041 23044 20653 0 -1 1077944384 12256 0 0 0 150 2 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555571268208 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23062] ppid=23041 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23062/stat : 23062 (java) S 23041 23044 20653 0 -1 1077944384 7034 0 0 0 73 2 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555570215408 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23063] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23063/stat : 23063 (java) S 23041 23044 20653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8953514 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555569162848 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23064] ppid=23041 vsize=13270076 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23064/stat : 23064 (java) S 23041 23044 20653 0 -1 1077944384 1284 0 0 0 34 38 0 0 20 0 20 0 8953514 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555568110128 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 2400.04
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 23044 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2378.31 s]
/proc/loadavg: 1.88 1.88 1.86 3/286 23229
/proc/meminfo: memFree=29533108/32770624 swapFree=5704/297284
[pid=23044] ppid=23041 vsize=13270076 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/23044/stat : 23044 (java) S 23041 23044 20653 0 -1 1077944320 121655 0 0 0 239797 207 0 0 20 0 20 0 8953505 13588557824 150753 33554432000 4194304 4196468 140729449393248 140729449375792 140556114243319 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
/proc/23044/statm: 3317519 150753 3812 1 0 3305234 0
[pid=23044/tid=23045] ppid=23041 vsize=13270076 CPUtime=2374 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23045/stat : 23045 (java) R 23041 23044 20653 0 -1 4202560 36313 0 0 0 237378 22 0 0 20 0 20 0 8953505 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556118481456 140555714630545 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23046] ppid=23041 vsize=13270076 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23046/stat : 23046 (java) S 23041 23044 20653 0 -1 1077944384 2427 0 0 0 225 16 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556032723600 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23048] ppid=23041 vsize=13270076 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23048/stat : 23048 (java) S 23041 23044 20653 0 -1 1077944384 3094 0 0 0 220 18 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556031670800 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23049] ppid=23041 vsize=13270076 CPUtime=2.37 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23049/stat : 23049 (java) S 23041 23044 20653 0 -1 1077944384 4732 0 0 0 220 17 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556030618000 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23050] ppid=23041 vsize=13270076 CPUtime=2.36 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23050/stat : 23050 (java) S 23041 23044 20653 0 -1 1077944384 4296 0 0 0 218 18 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556029565200 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23051] ppid=23041 vsize=13270076 CPUtime=2.39 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23051/stat : 23051 (java) S 23041 23044 20653 0 -1 1077944384 3422 0 0 0 221 18 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556028513424 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23052] ppid=23041 vsize=13270076 CPUtime=2.38 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23052/stat : 23052 (java) S 23041 23044 20653 0 -1 1077944384 6088 0 0 0 219 19 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140556027460624 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23053] ppid=23041 vsize=13270076 CPUtime=2.41 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23053/stat : 23053 (java) S 23041 23044 20653 0 -1 1077944384 5186 0 0 0 222 19 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555707214736 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23054] ppid=23041 vsize=13270076 CPUtime=2.37 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23054/stat : 23054 (java) S 23041 23044 20653 0 -1 1077944384 5102 0 0 0 220 17 0 0 20 0 20 0 8953506 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555706161936 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23055] ppid=23041 vsize=13270076 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23055/stat : 23055 (java) S 23041 23044 20653 0 -1 1077944384 7645 0 0 0 64 12 0 0 20 0 20 0 8953508 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555577583984 140556114254466 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23056] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23056/stat : 23056 (java) S 23041 23044 20653 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555576530016 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23057] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23057/stat : 23057 (java) S 23041 23044 20653 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 8953509 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555575477120 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23058] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23058/stat : 23058 (java) S 23041 23044 20653 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555574425424 140556114261915 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23059] ppid=23041 vsize=13270076 CPUtime=1.63 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23059/stat : 23059 (java) S 23041 23044 20653 0 -1 1077944384 13075 0 0 0 162 1 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555573373808 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23060] ppid=23041 vsize=13270076 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23060/stat : 23060 (java) S 23041 23044 20653 0 -1 1077944384 8286 0 0 0 144 1 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555572321008 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23061] ppid=23041 vsize=13270076 CPUtime=1.52 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23061/stat : 23061 (java) S 23041 23044 20653 0 -1 1077944384 12256 0 0 0 150 2 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555571268208 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23062] ppid=23041 vsize=13270076 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23062/stat : 23062 (java) S 23041 23044 20653 0 -1 1077944384 7034 0 0 0 73 2 0 0 20 0 20 0 8953513 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555570215408 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 41 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23063] ppid=23041 vsize=13270076 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23063/stat : 23063 (java) S 23041 23044 20653 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 8953514 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555569162848 140556114253525 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
[pid=23044/tid=23064] ppid=23041 vsize=13270076 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/23044/task/23064/stat : 23064 (java) S 23041 23044 20653 0 -1 1077944384 1284 0 0 0 34 38 0 0 20 0 20 0 8953514 13588557824 150753 33554432000 4194304 4196468 140729449393248 140555568110128 140556114254466 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 50 0 0 6293624 6294260 18411520 140729449399438 140729449399620 140729449399620 140729449402319 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2378.32
CPU time (s): 2400.07
CPU user time (s): 2397.99
CPU system time (s): 2.0827
CPU usage (%): 100.914
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.99
system time used= 2.0827
maximum resident set size= 1209372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 121853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86404
involuntary context switches= 129830

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4766 second user time and 18.0742 second system time

The end

Begin job on node134 at 2017-07-22 17:21:03
IDJOB=4249640
IDBENCH=137614
IDSOLVER=2629
FILE ID=node134/4249640-1500736863
RUNJOBID= node134-1500716502-20684
PBS_JOBID= 20623359
Free space on /tmp= 61964 MiB

SOLVER NAME= OscaR - Hybrid 2017-06-30
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n4w4b3r4.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249640-1500736863/watcher-4249640-1500736863 -o /tmp/evaluation-result-4249640-1500736863/solver-4249640-1500736863 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500716502-20684 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 884647701 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249640-1500736863.xml

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

MD5SUM BENCH= f75a86a5a7a46a13e5890f4f16694299
RANDOM SEED=884647701

node134.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		: 1600.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.84
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		: 1600.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		: 1867.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.84
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		: 2400.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.84
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		: 2668.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.84
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.84
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		: 2533.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.84
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.84
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.84
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		: 1600.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:        31202128 kB
MemAvailable:   31512652 kB
Buffers:          142208 kB
Cached:           447772 kB
SwapCached:            0 kB
Active:           827404 kB
Inactive:         303540 kB
Active(anon):     543496 kB
Inactive(anon):     8856 kB
Active(file):     283908 kB
Inactive(file):   294684 kB
Unevictable:        5704 kB
Mlocked:            5704 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             41956 kB
Writeback:             0 kB
AnonPages:        545604 kB
Mapped:            45936 kB
Shmem:              8872 kB
Slab:             129344 kB
SReclaimable:      95532 kB
SUnreclaim:        33812 kB
KernelStack:        4656 kB
PageTables:         6324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1301380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    479232 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61924 MiB
End job on node134 at 2017-07-22 18:00:42

Name	BinPacking/BinPacking-sum-skj2/ BinPacking-sum-n4w4b3r4.xml
MD5SUM	f75a86a5a7a46a13e5890f4f16694299
Bench Category	COP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables	2727
Number of constraints	119
Number of domains	2
Minimum domain size	59
Maximum domain size	186
Distribution of domain sizes	[{"size":59,"count":1},{"size":186,"count":2726}]
Minimum variable degree	2
Maximum variable degree	5
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":4,"count":2668},{"degree":5,"count":58}]
Minimum constraint arity	47
Maximum constraint arity	2726
Distribution of constraint arities	[{"arity":47,"count":116},{"arity":59,"count":1},{"arity":2726,"count":2}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"ordered","count":58},{"type":"lex","count":1},{"type":"sum","count":58},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problem	YES
Type of objective	max VAR

Trace number 4249640

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data