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 - Conflict Ordering 2017-06-30	? (TO)		2400.02	2380.31

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-4249639-1500764685/watcher-4249639-1500764685 -o /tmp/evaluation-result-4249639-1500764685/solver-4249639-1500764685 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500755322-19952 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1983792100 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249639-1500764685.xml 

pid=21015
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: 2.04 2.05 1.97 2/263 21018
/proc/meminfo: memFree=28841344/32770624 swapFree=6300/708696
[pid=21018] ppid=21015 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 1718 0 0 0 0 0 0 0 20 0 2 0 11736324 369864704 1925 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16784584 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 90299 1925 1072 1 0 79210 0
[pid=21018/tid=21019] ppid=21015 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) S 21015 21018 19920 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 11736324 369864704 1925 33554432000 4194304 4196468 140731377707264 140023503305120 140023499074178 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0

[startup+0.100159 s]
/proc/loadavg: 2.04 2.05 1.97 2/263 21018
/proc/meminfo: memFree=28841344/32770624 swapFree=6300/708696
[pid=21018] ppid=21015 vsize=13264380 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 5497 0 0 0 8 1 0 0 20 0 20 0 11736324 13582725120 6048 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3316095 6048 3025 1 0 3303815 0
[pid=21018/tid=21019] ppid=21015 vsize=13264380 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 3575 0 0 0 7 1 0 0 20 0 20 0 11736324 13582725120 6114 33554432000 4194304 4196468 140731377707264 140023503305312 140023455698806 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264380

[startup+0.200342 s]
/proc/loadavg: 2.04 2.05 1.97 2/263 21018
/proc/meminfo: memFree=28841344/32770624 swapFree=6300/708696
[pid=21018] ppid=21015 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 8903 0 0 0 24 2 0 0 20 0 20 0 11736324 13582245888 8856 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3315978 8856 3535 1 0 3303698 0
[pid=21018/tid=21019] ppid=21015 vsize=13263912 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 6608 0 0 0 16 1 0 0 20 0 20 0 11736324 13582245888 8856 33554432000 4194304 4196468 140731377707264 140023503291408 140023483143518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912

[startup+0.300306 s]
/proc/loadavg: 2.04 2.05 1.97 2/263 21018
/proc/meminfo: memFree=28841344/32770624 swapFree=6300/708696
[pid=21018] ppid=21015 vsize=13263912 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 9873 0 0 0 39 3 0 0 20 0 20 0 11736324 13582245888 10585 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3315978 10585 3619 1 0 3303698 0
[pid=21018/tid=21019] ppid=21015 vsize=13263912 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 7313 0 0 0 26 2 0 0 20 0 20 0 11736324 13582245888 10585 33554432000 4194304 4196468 140731377707264 140023503276576 140023483143518 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 13263912

[startup+0.700213 s]
/proc/loadavg: 2.04 2.05 1.97 2/263 21018
/proc/meminfo: memFree=28841344/32770624 swapFree=6300/708696
[pid=21018] ppid=21015 vsize=13265980 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 14242 0 0 0 138 6 0 0 20 0 20 0 11736324 13584363520 26168 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3316495 26168 3767 1 0 3304210 0
[pid=21018/tid=21019] ppid=21015 vsize=13265980 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 8613 0 0 0 64 3 0 0 20 0 20 0 11736324 13584363520 26168 33554432000 4194304 4196468 140731377707264 140023503296048 140023134376442 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 13265980

[startup+1.50091 s]
/proc/loadavg: 2.04 2.05 1.97 7/283 21038
/proc/meminfo: memFree=28642448/32770624 swapFree=6300/708692
[pid=21018] ppid=21015 vsize=13270076 CPUtime=3.8 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 20070 0 0 0 358 22 0 0 20 0 20 0 11736324 13588557824 57926 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3317519 57926 3797 1 0 3305234 0
[pid=21018/tid=21019] ppid=21015 vsize=13270076 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 10284 0 0 0 137 6 0 0 20 0 20 0 11736324 13588557824 57926 33554432000 4194304 4196468 140731377707264 140023503298824 140023137932193 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21021] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21021/stat : 21021 (java) S 21015 21018 19920 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 57926 33554432000 4194304 4196468 140731377707264 140023451683728 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21022] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21022/stat : 21022 (java) S 21015 21018 19920 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 57926 33554432000 4194304 4196468 140731377707264 140023097129744 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21023] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21023/stat : 21023 (java) S 21015 21018 19920 0 -1 1077944384 12 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 57926 33554432000 4194304 4196468 140731377707264 140023096077456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21024] ppid=21015 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21024/stat : 21024 (java) S 21015 21018 19920 0 -1 1077944384 15 0 0 0 2 1 0 0 20 0 20 0 11736325 13588557824 57926 33554432000 4194304 4196468 140731377707264 140023095024656 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21025] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21025/stat : 21025 (java) S 21015 21018 19920 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 57926 33554432000 4194304 4196468 140731377707264 140023093971344 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21026] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21026/stat : 21026 (java) S 21015 21018 19920 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 57926 33554432000 4194304 4196468 140731377707264 140023092918544 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21027] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21027/stat : 21027 (java) S 21015 21018 19920 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 57926 33554432000 4194304 4196468 140731377707264 140023091866256 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21028] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21028/stat : 21028 (java) S 21015 21018 19920 0 -1 1077944384 12 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 57926 33554432000 4194304 4196468 140731377707264 140023090813456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21029] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21029/stat : 21029 (java) S 21015 21018 19920 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 11736327 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022164937328 140023499074178 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21030] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21030/stat : 21030 (java) S 21015 21018 19920 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022163883296 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21031] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21031/stat : 21031 (java) S 21015 21018 19920 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022162830960 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21032] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21032/stat : 21032 (java) S 21015 21018 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11736332 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022161779280 140023499081627 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21033] ppid=21015 vsize=13270076 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21033/stat : 21033 (java) R 21015 21018 19920 0 -1 4202560 1498 0 0 0 48 1 0 0 20 0 20 0 11736332 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022160726128 140023499074966 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21034] ppid=21015 vsize=13270076 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21034/stat : 21034 (java) R 21015 21018 19920 0 -1 4202560 1008 0 0 0 46 0 0 0 20 0 20 0 11736332 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022159661608 140023482549085 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21035] ppid=21015 vsize=13270076 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21035/stat : 21035 (java) S 21015 21018 19920 0 -1 1077944384 1559 0 0 0 47 0 0 0 20 0 20 0 11736332 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022158621040 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21036] ppid=21015 vsize=13270076 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21036/stat : 21036 (java) S 21015 21018 19920 0 -1 1077944384 4129 0 0 0 61 1 0 0 20 0 20 0 11736332 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022157568240 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21037] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21037/stat : 21037 (java) S 21015 21018 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11736333 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022156516192 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21038] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21038/stat : 21038 (java) S 21015 21018 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11736333 13588557824 57926 33554432000 4194304 4196468 140731377707264 140022155463472 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 3.8
Current children cumulated vsize (KiB) 13270076

[startup+3.10088 s]
/proc/loadavg: 2.04 2.05 1.97 3/283 21038
/proc/meminfo: memFree=28623956/32770624 swapFree=6300/708692
[pid=21018] ppid=21015 vsize=13270076 CPUtime=5.93 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 20599 0 0 0 571 22 0 0 20 0 20 0 11736324 13588557824 58257 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3317519 58257 3797 1 0 3305234 0
[pid=21018/tid=21019] ppid=21015 vsize=13270076 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 10520 0 0 0 297 6 0 0 20 0 20 0 11736324 13588557824 58257 33554432000 4194304 4196468 140731377707264 140023503298360 140023138279989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21021] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21021/stat : 21021 (java) S 21015 21018 19920 0 -1 1077944384 22 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 58257 33554432000 4194304 4196468 140731377707264 140023451683728 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21022] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21022/stat : 21022 (java) S 21015 21018 19920 0 -1 1077944384 14 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 58257 33554432000 4194304 4196468 140731377707264 140023097129744 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21023] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21023/stat : 21023 (java) S 21015 21018 19920 0 -1 1077944384 12 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 58257 33554432000 4194304 4196468 140731377707264 140023096077456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21024] ppid=21015 vsize=13270076 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21024/stat : 21024 (java) S 21015 21018 19920 0 -1 1077944384 15 0 0 0 2 1 0 0 20 0 20 0 11736325 13588557824 58257 33554432000 4194304 4196468 140731377707264 140023095024656 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21025] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21025/stat : 21025 (java) S 21015 21018 19920 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 58257 33554432000 4194304 4196468 140731377707264 140023093971344 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21026] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21026/stat : 21026 (java) S 21015 21018 19920 0 -1 1077944384 21 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 58257 33554432000 4194304 4196468 140731377707264 140023092918544 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21027] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21027/stat : 21027 (java) S 21015 21018 19920 0 -1 1077944384 15 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 58257 33554432000 4194304 4196468 140731377707264 140023091866256 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21028] ppid=21015 vsize=13270076 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21028/stat : 21028 (java) S 21015 21018 19920 0 -1 1077944384 12 0 0 0 1 1 0 0 20 0 20 0 11736325 13588557824 58257 33554432000 4194304 4196468 140731377707264 140023090813456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21029] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21029/stat : 21029 (java) S 21015 21018 19920 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 11736327 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022164937328 140023499074178 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21030] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21030/stat : 21030 (java) S 21015 21018 19920 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022163883296 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21031] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21031/stat : 21031 (java) S 21015 21018 19920 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022162830960 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21032] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21032/stat : 21032 (java) S 21015 21018 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11736332 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022161779280 140023499081627 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21033] ppid=21015 vsize=13270076 CPUtime=0.71 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21033/stat : 21033 (java) S 21015 21018 19920 0 -1 1077944384 1589 0 0 0 70 1 0 0 20 0 20 0 11736332 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022160726128 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21034] ppid=21015 vsize=13270076 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21034/stat : 21034 (java) S 21015 21018 19920 0 -1 1077944384 1022 0 0 0 57 0 0 0 20 0 20 0 11736332 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022159673328 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21035] ppid=21015 vsize=13270076 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21035/stat : 21035 (java) S 21015 21018 19920 0 -1 1077944384 1709 0 0 0 64 0 0 0 20 0 20 0 11736332 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022158621040 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21036] ppid=21015 vsize=13270076 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21036/stat : 21036 (java) S 21015 21018 19920 0 -1 1077944384 4167 0 0 0 64 1 0 0 20 0 20 0 11736332 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022157568240 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21037] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21037/stat : 21037 (java) S 21015 21018 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11736333 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022156516192 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21038] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21038/stat : 21038 (java) S 21015 21018 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11736333 13588557824 58257 33554432000 4194304 4196468 140731377707264 140022155463472 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 13270076

[startup+6.30085 s]
/proc/loadavg: 2.04 2.04 1.97 3/283 21038
/proc/meminfo: memFree=28577548/32770624 swapFree=6300/708692
[pid=21018] ppid=21015 vsize=13270076 CPUtime=9.66 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 25439 0 0 0 922 44 0 0 20 0 20 0 11736324 13588557824 71758 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3317519 71758 3805 1 0 3305234 0
[pid=21018/tid=21019] ppid=21015 vsize=13270076 CPUtime=6.18 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 10892 0 0 0 612 6 0 0 20 0 20 0 11736324 13588557824 71758 33554432000 4194304 4196468 140731377707264 140023503301128 140023138215551 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21021] ppid=21015 vsize=13270076 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21021/stat : 21021 (java) S 21015 21018 19920 0 -1 1077944384 41 0 0 0 3 4 0 0 20 0 20 0 11736325 13588557824 71758 33554432000 4194304 4196468 140731377707264 140023451683728 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21022] ppid=21015 vsize=13270076 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21022/stat : 21022 (java) S 21015 21018 19920 0 -1 1077944384 355 0 0 0 3 4 0 0 20 0 20 0 11736325 13588557824 71758 33554432000 4194304 4196468 140731377707264 140023097129744 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21023] ppid=21015 vsize=13270076 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21023/stat : 21023 (java) S 21015 21018 19920 0 -1 1077944384 49 0 0 0 3 3 0 0 20 0 20 0 11736325 13588557824 71758 33554432000 4194304 4196468 140731377707264 140023096077456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21024] ppid=21015 vsize=13270076 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21024/stat : 21024 (java) S 21015 21018 19920 0 -1 1077944384 42 0 0 0 3 4 0 0 20 0 20 0 11736325 13588557824 71758 33554432000 4194304 4196468 140731377707264 140023095024656 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21025] ppid=21015 vsize=13270076 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21025/stat : 21025 (java) S 21015 21018 19920 0 -1 1077944384 59 0 0 0 3 4 0 0 20 0 20 0 11736325 13588557824 71758 33554432000 4194304 4196468 140731377707264 140023093971344 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21026] ppid=21015 vsize=13270076 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21026/stat : 21026 (java) S 21015 21018 19920 0 -1 1077944384 118 0 0 0 4 4 0 0 20 0 20 0 11736325 13588557824 71758 33554432000 4194304 4196468 140731377707264 140023092918544 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21027] ppid=21015 vsize=13270076 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21027/stat : 21027 (java) S 21015 21018 19920 0 -1 1077944384 324 0 0 0 4 3 0 0 20 0 20 0 11736325 13588557824 71758 33554432000 4194304 4196468 140731377707264 140023091866256 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21028] ppid=21015 vsize=13270076 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21028/stat : 21028 (java) S 21015 21018 19920 0 -1 1077944384 65 0 0 0 3 4 0 0 20 0 20 0 11736325 13588557824 71758 33554432000 4194304 4196468 140731377707264 140023090813456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21029] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21029/stat : 21029 (java) S 21015 21018 19920 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 20 0 11736327 13588557824 71758 33554432000 4194304 4196468 140731377707264 140022164937328 140023499074178 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21030] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21030/stat : 21030 (java) S 21015 21018 19920 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 71758 33554432000 4194304 4196468 140731377707264 140022163883360 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21031] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21031/stat : 21031 (java) S 21015 21018 19920 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 71758 33554432000 4194304 4196468 140731377707264 140022162830976 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21032] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15

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

[pid=21018/tid=21034] ppid=21015 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21034/stat : 21034 (java) S 21015 21018 19920 0 -1 1077944384 9251 0 0 0 147 2 0 0 20 0 20 0 11736332 13588557824 154188 33554432000 4194304 4196468 140731377707264 140022159673328 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21035] ppid=21015 vsize=13270076 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21035/stat : 21035 (java) S 21015 21018 19920 0 -1 1077944384 12545 0 0 0 152 1 0 0 20 0 20 0 11736332 13588557824 154188 33554432000 4194304 4196468 140731377707264 140022158621040 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21036] ppid=21015 vsize=13270076 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21036/stat : 21036 (java) S 21015 21018 19920 0 -1 1077944384 7214 0 0 0 75 2 0 0 20 0 20 0 11736332 13588557824 154188 33554432000 4194304 4196468 140731377707264 140022157568240 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21037] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21037/stat : 21037 (java) S 21015 21018 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11736333 13588557824 154188 33554432000 4194304 4196468 140731377707264 140022156516192 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21038] ppid=21015 vsize=13270076 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21038/stat : 21038 (java) S 21015 21018 19920 0 -1 1077944384 1204 0 0 0 23 29 0 0 20 0 20 0 11736333 13588557824 154188 33554432000 4194304 4196468 140731377707264 140022155463472 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 48 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 2280.89
Current children cumulated vsize (KiB) 13270076

[startup+2322.3 s]
/proc/loadavg: 1.82 1.80 1.84 3/282 21195
/proc/meminfo: memFree=28552868/32770624 swapFree=6300/709612
[pid=21018] ppid=21015 vsize=13270076 CPUtime=2341.48 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 105885 0 0 0 233972 176 0 0 20 0 20 0 11736324 13588557824 153417 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3317519 153417 3812 1 0 3305234 0
[pid=21018/tid=21019] ppid=21015 vsize=13270076 CPUtime=2318.75 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 33999 0 0 0 231855 20 0 0 20 0 20 0 11736324 13588557824 153417 33554432000 4194304 4196468 140731377707264 140023503301552 140023138896530 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21021] ppid=21015 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21021/stat : 21021 (java) S 21015 21018 19920 0 -1 1077944384 1968 0 0 0 180 16 0 0 20 0 20 0 11736325 13588557824 153417 33554432000 4194304 4196468 140731377707264 140023451683728 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21022] ppid=21015 vsize=13270076 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21022/stat : 21022 (java) S 21015 21018 19920 0 -1 1077944384 3467 0 0 0 176 16 0 0 20 0 20 0 11736325 13588557824 153417 33554432000 4194304 4196468 140731377707264 140023097129744 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21023] ppid=21015 vsize=13270076 CPUtime=1.95 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21023/stat : 21023 (java) S 21015 21018 19920 0 -1 1077944384 2021 0 0 0 180 15 0 0 20 0 20 0 11736325 13588557824 153417 33554432000 4194304 4196468 140731377707264 140023096077456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21024] ppid=21015 vsize=13270076 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21024/stat : 21024 (java) S 21015 21018 19920 0 -1 1077944384 2163 0 0 0 183 15 0 0 20 0 20 0 11736325 13588557824 153417 33554432000 4194304 4196468 140731377707264 140023095024656 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21025] ppid=21015 vsize=13270076 CPUtime=2 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21025/stat : 21025 (java) S 21015 21018 19920 0 -1 1077944384 3282 0 0 0 183 17 0 0 20 0 20 0 11736325 13588557824 153417 33554432000 4194304 4196468 140731377707264 140023093971344 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21026] ppid=21015 vsize=13270076 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21026/stat : 21026 (java) S 21015 21018 19920 0 -1 1077944384 3149 0 0 0 180 16 0 0 20 0 20 0 11736325 13588557824 153417 33554432000 4194304 4196468 140731377707264 140023092918544 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21027] ppid=21015 vsize=13270076 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21027/stat : 21027 (java) S 21015 21018 19920 0 -1 1077944384 5287 0 0 0 185 14 0 0 20 0 20 0 11736325 13588557824 153417 33554432000 4194304 4196468 140731377707264 140023091866256 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21028] ppid=21015 vsize=13270076 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21028/stat : 21028 (java) S 21015 21018 19920 0 -1 1077944384 2078 0 0 0 182 15 0 0 20 0 20 0 11736325 13588557824 153417 33554432000 4194304 4196468 140731377707264 140023090813456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21029] ppid=21015 vsize=13270076 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21029/stat : 21029 (java) S 21015 21018 19920 0 -1 1077944384 6931 0 0 0 74 10 0 0 20 0 20 0 11736327 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022164937328 140023499074178 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21030] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21030/stat : 21030 (java) S 21015 21018 19920 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022163883360 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21031] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21031/stat : 21031 (java) S 21015 21018 19920 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022162830976 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21032] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21032/stat : 21032 (java) S 21015 21018 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11736332 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022161779280 140023499081627 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21033] ppid=21015 vsize=13270076 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21033/stat : 21033 (java) S 21015 21018 19920 0 -1 1077944384 9925 0 0 0 168 2 0 0 20 0 20 0 11736332 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022160726128 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21034] ppid=21015 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21034/stat : 21034 (java) S 21015 21018 19920 0 -1 1077944384 9251 0 0 0 147 2 0 0 20 0 20 0 11736332 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022159673328 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21035] ppid=21015 vsize=13270076 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21035/stat : 21035 (java) S 21015 21018 19920 0 -1 1077944384 12545 0 0 0 152 1 0 0 20 0 20 0 11736332 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022158621040 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21036] ppid=21015 vsize=13270076 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21036/stat : 21036 (java) S 21015 21018 19920 0 -1 1077944384 7214 0 0 0 75 2 0 0 20 0 20 0 11736332 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022157568240 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 35 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21037] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21037/stat : 21037 (java) S 21015 21018 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11736333 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022156516192 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21038] ppid=21015 vsize=13270076 CPUtime=0.53 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21038/stat : 21038 (java) S 21015 21018 19920 0 -1 1077944384 1217 0 0 0 23 30 0 0 20 0 20 0 11736333 13588557824 153417 33554432000 4194304 4196468 140731377707264 140022155463472 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 48 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 2341.48
Current children cumulated vsize (KiB) 13270076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2380.3 s]
/proc/loadavg: 2.00 1.85 1.86 3/282 21196
/proc/meminfo: memFree=28559652/32770624 swapFree=6300/709640
[pid=21018] ppid=21015 vsize=13270076 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 106853 0 0 0 239821 179 0 0 20 0 20 0 11736324 13588557824 152261 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3317519 152261 3812 1 0 3305234 0
[pid=21018/tid=21019] ppid=21015 vsize=13270076 CPUtime=2376.61 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 34202 0 0 0 237641 20 0 0 20 0 20 0 11736324 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023503301552 140023138079360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21021] ppid=21015 vsize=13270076 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21021/stat : 21021 (java) S 21015 21018 19920 0 -1 1077944384 1979 0 0 0 187 16 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023451683728 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21022] ppid=21015 vsize=13270076 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21022/stat : 21022 (java) S 21015 21018 19920 0 -1 1077944384 3505 0 0 0 183 16 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023097129744 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21023] ppid=21015 vsize=13270076 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21023/stat : 21023 (java) S 21015 21018 19920 0 -1 1077944384 2039 0 0 0 188 15 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023096077456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21024] ppid=21015 vsize=13270076 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21024/stat : 21024 (java) S 21015 21018 19920 0 -1 1077944384 2186 0 0 0 190 16 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023095024656 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21025] ppid=21015 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21025/stat : 21025 (java) S 21015 21018 19920 0 -1 1077944384 3391 0 0 0 191 17 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023093971344 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21026] ppid=21015 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21026/stat : 21026 (java) S 21015 21018 19920 0 -1 1077944384 3319 0 0 0 188 17 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023092918544 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21027] ppid=21015 vsize=13270076 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21027/stat : 21027 (java) S 21015 21018 19920 0 -1 1077944384 5432 0 0 0 192 14 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023091866256 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21028] ppid=21015 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21028/stat : 21028 (java) S 21015 21018 19920 0 -1 1077944384 2126 0 0 0 188 16 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023090813456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21029] ppid=21015 vsize=13270076 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21029/stat : 21029 (java) S 21015 21018 19920 0 -1 1077944384 7108 0 0 0 77 11 0 0 20 0 20 0 11736327 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022164937328 140023499074178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21030] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21030/stat : 21030 (java) S 21015 21018 19920 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022163883360 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21031] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21031/stat : 21031 (java) S 21015 21018 19920 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022162830976 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21032] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21032/stat : 21032 (java) S 21015 21018 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022161779280 140023499081627 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21033] ppid=21015 vsize=13270076 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21033/stat : 21033 (java) S 21015 21018 19920 0 -1 1077944384 9927 0 0 0 168 2 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022160726128 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21034] ppid=21015 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21034/stat : 21034 (java) S 21015 21018 19920 0 -1 1077944384 9253 0 0 0 147 2 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022159673328 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21035] ppid=21015 vsize=13270076 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21035/stat : 21035 (java) S 21015 21018 19920 0 -1 1077944384 12547 0 0 0 152 1 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022158621040 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21036] ppid=21015 vsize=13270076 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21036/stat : 21036 (java) S 21015 21018 19920 0 -1 1077944384 7216 0 0 0 75 2 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022157568240 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21037] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21037/stat : 21037 (java) S 21015 21018 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11736333 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022156516192 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21038] ppid=21015 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21038/stat : 21038 (java) S 21015 21018 19920 0 -1 1077944384 1235 0 0 0 24 30 0 0 20 0 20 0 11736333 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022155463472 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 2400
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 21018 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2380.3 s]
/proc/loadavg: 2.00 1.85 1.86 3/282 21196
/proc/meminfo: memFree=28559652/32770624 swapFree=6300/709640
[pid=21018] ppid=21015 vsize=13270076 CPUtime=2400 cores=1,3,5,7,9,11,13,15
/proc/21018/stat : 21018 (java) S 21015 21018 19920 0 -1 1077944320 106853 0 0 0 239821 179 0 0 20 0 20 0 11736324 13588557824 152261 33554432000 4194304 4196468 140731377707264 140731377689808 140023499063031 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
/proc/21018/statm: 3317519 152261 3812 1 0 3305234 0
[pid=21018/tid=21019] ppid=21015 vsize=13270076 CPUtime=2376.61 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21019/stat : 21019 (java) R 21015 21018 19920 0 -1 4202560 34202 0 0 0 237641 20 0 0 20 0 20 0 11736324 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023503301552 140023138079360 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21021] ppid=21015 vsize=13270076 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21021/stat : 21021 (java) S 21015 21018 19920 0 -1 1077944384 1979 0 0 0 187 16 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023451683728 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21022] ppid=21015 vsize=13270076 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21022/stat : 21022 (java) S 21015 21018 19920 0 -1 1077944384 3505 0 0 0 183 16 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023097129744 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21023] ppid=21015 vsize=13270076 CPUtime=2.03 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21023/stat : 21023 (java) S 21015 21018 19920 0 -1 1077944384 2039 0 0 0 188 15 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023096077456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21024] ppid=21015 vsize=13270076 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21024/stat : 21024 (java) S 21015 21018 19920 0 -1 1077944384 2186 0 0 0 190 16 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023095024656 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21025] ppid=21015 vsize=13270076 CPUtime=2.08 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21025/stat : 21025 (java) S 21015 21018 19920 0 -1 1077944384 3391 0 0 0 191 17 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023093971344 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21026] ppid=21015 vsize=13270076 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21026/stat : 21026 (java) S 21015 21018 19920 0 -1 1077944384 3319 0 0 0 188 17 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023092918544 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21027] ppid=21015 vsize=13270076 CPUtime=2.06 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21027/stat : 21027 (java) S 21015 21018 19920 0 -1 1077944384 5432 0 0 0 192 14 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023091866256 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21028] ppid=21015 vsize=13270076 CPUtime=2.04 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21028/stat : 21028 (java) S 21015 21018 19920 0 -1 1077944384 2126 0 0 0 188 16 0 0 20 0 20 0 11736325 13588557824 152261 33554432000 4194304 4196468 140731377707264 140023090813456 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21029] ppid=21015 vsize=13270076 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21029/stat : 21029 (java) S 21015 21018 19920 0 -1 1077944384 7108 0 0 0 77 11 0 0 20 0 20 0 11736327 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022164937328 140023499074178 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21030] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21030/stat : 21030 (java) S 21015 21018 19920 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022163883360 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21031] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21031/stat : 21031 (java) S 21015 21018 19920 0 -1 1077944384 27 0 0 0 0 0 0 0 20 0 20 0 11736328 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022162830976 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21032] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21032/stat : 21032 (java) S 21015 21018 19920 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022161779280 140023499081627 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21033] ppid=21015 vsize=13270076 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21033/stat : 21033 (java) S 21015 21018 19920 0 -1 1077944384 9927 0 0 0 168 2 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022160726128 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21034] ppid=21015 vsize=13270076 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21034/stat : 21034 (java) S 21015 21018 19920 0 -1 1077944384 9253 0 0 0 147 2 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022159673328 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21035] ppid=21015 vsize=13270076 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21035/stat : 21035 (java) S 21015 21018 19920 0 -1 1077944384 12547 0 0 0 152 1 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022158621040 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21036] ppid=21015 vsize=13270076 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21036/stat : 21036 (java) S 21015 21018 19920 0 -1 1077944384 7216 0 0 0 75 2 0 0 20 0 20 0 11736332 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022157568240 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21037] ppid=21015 vsize=13270076 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21037/stat : 21037 (java) S 21015 21018 19920 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 11736333 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022156516192 140023499073237 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
[pid=21018/tid=21038] ppid=21015 vsize=13270076 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/21018/task/21038/stat : 21038 (java) S 21015 21018 19920 0 -1 1077944384 1235 0 0 0 24 30 0 0 20 0 20 0 11736333 13588557824 152261 33554432000 4194304 4196468 140731377707264 140022155463472 140023499074178 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 48 0 0 6293624 6294260 28401664 140731377714313 140731377714500 140731377714500 140731377717199 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 13270076

Child status: 143
Real time (s): 2380.31
CPU time (s): 2400.02
CPU user time (s): 2398.22
CPU system time (s): 1.80503
CPU usage (%): 100.828
Max. virtual memory (cumulated for all children) (KiB): 13270076

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.22
system time used= 1.80503
maximum resident set size= 1210968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107100
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86284
involuntary context switches= 127401

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.699 second user time and 18.56 second system time

The end

Begin job on node124 at 2017-07-23 01:04:46
IDJOB=4249639
IDBENCH=137614
IDSOLVER=2628
FILE ID=node124/4249639-1500764685
RUNJOBID= node124-1500755322-19952
PBS_JOBID= 20624592
Free space on /tmp= 61820 MiB

SOLVER NAME= OscaR - Conflict Ordering 2017-06-30
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-skj2/BinPacking-sum-n4w4b3r4.xml
COMMAND LINE= java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit MEMLIMIT --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249639-1500764685/watcher-4249639-1500764685 -o /tmp/evaluation-result-4249639-1500764685/solver-4249639-1500764685 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500755322-19952 --watchdog 2560  java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1983792100 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4249639-1500764685.xml

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

MD5SUM BENCH= f75a86a5a7a46a13e5890f4f16694299
RANDOM SEED=1983792100

node124.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.16
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		: 1600.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.16
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.16
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		: 2400.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.16
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		: 1867.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.16
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		: 2668.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.16
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		: 1867.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.16
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		: 1733.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.16
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:        28841416 kB
MemAvailable:   29729184 kB
Buffers:          144872 kB
Cached:          1020920 kB
SwapCached:            0 kB
Active:          2767204 kB
Inactive:         717452 kB
Active(anon):    2321640 kB
Inactive(anon):     8756 kB
Active(file):     445564 kB
Inactive(file):   708696 kB
Unevictable:        6300 kB
Mlocked:            6300 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42180 kB
Writeback:            16 kB
AnonPages:       2486788 kB
Mapped:            46100 kB
Shmem:              8840 kB
Slab:             133000 kB
SReclaimable:      98688 kB
SUnreclaim:        34312 kB
KernelStack:        4784 kB
PageTables:         9768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3794256 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2396160 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61776 MiB
End job on node124 at 2017-07-23 01:44:26

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 4249639

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data