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: sat4j-CSP 2017-07-05	OPT	0	71.186	44.6645

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-4243482-1500672975/watcher-4243482-1500672975 -o /tmp/evaluation-result-4243482-1500672975/solver-4243482-1500672975 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500670246-12513 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243482-1500672975.xml 

pid=13016
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: 2.06 3.45 3.41 3/262 13019
/proc/meminfo: memFree=31596804/32770624 swapFree=5760/208124
[pid=13019] ppid=13016 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 2078 0 0 0 0 0 0 0 20 0 2 0 2563739 8550137856 2329 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2087436 2329 1197 1 0 2076347 0
[pid=13019/tid=13020] ppid=13016 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) R 13016 13019 9821 0 -1 4202560 875 0 0 0 0 0 0 0 20 0 2 0 2563739 8550137856 2395 33554432000 4194304 4196468 140726920210912 140215776081240 140215764129696 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0

[startup+0.100113 s]
/proc/loadavg: 2.06 3.45 3.41 3/262 13019
/proc/meminfo: memFree=31596804/32770624 swapFree=5760/208124
[pid=13019] ppid=13016 vsize=10900556 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 5009 0 0 0 8 2 0 0 20 0 20 0 2563739 11162169344 6656 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2725139 6656 2665 1 0 2713552 0
[pid=13019/tid=13020] ppid=13016 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) R 13016 13019 9821 0 -1 4202560 3092 0 0 0 7 1 0 0 20 0 20 0 2563739 11162169344 6656 33554432000 4194304 4196468 140726920210912 140215776080432 140215771862173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556

[startup+0.200436 s]
/proc/loadavg: 2.06 3.45 3.41 3/262 13019
/proc/meminfo: memFree=31596804/32770624 swapFree=5760/208124
[pid=13019] ppid=13016 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 7111 0 0 0 23 3 0 0 20 0 20 0 2563739 11162169344 8876 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2725139 8876 2823 1 0 2713552 0
[pid=13019/tid=13020] ppid=13016 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) R 13016 13019 9821 0 -1 4202560 4805 0 0 0 16 2 0 0 20 0 20 0 2563739 11162169344 8876 33554432000 4194304 4196468 140726920210912 140215776061520 140215771862173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.30035 s]
/proc/loadavg: 2.06 3.45 3.41 3/262 13019
/proc/meminfo: memFree=31596804/32770624 swapFree=5760/208124
[pid=13019] ppid=13016 vsize=10900556 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 8491 0 0 0 39 4 0 0 20 0 20 0 2563739 11162169344 11121 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2725139 11121 2989 1 0 2713552 0
[pid=13019/tid=13020] ppid=13016 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) R 13016 13019 9821 0 -1 4202560 5471 0 0 0 25 3 0 0 20 0 20 0 2563739 11162169344 11121 33554432000 4194304 4196468 140726920210912 140215776073360 140215754360831 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 10900556

[startup+0.700253 s]
/proc/loadavg: 2.06 3.45 3.41 3/262 13019
/proc/meminfo: memFree=31596804/32770624 swapFree=5760/208124
[pid=13019] ppid=13016 vsize=10900632 CPUtime=2.1 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 12604 0 0 0 180 30 0 0 20 0 20 0 2563739 11162247168 58120 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2725158 58120 3089 1 0 2713552 0
[pid=13019/tid=13020] ppid=13016 vsize=10900632 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) S 13016 13019 9821 0 -1 1077944384 6027 0 0 0 55 5 0 0 20 0 20 0 2563739 11162247168 58120 33554432000 4194304 4196468 140726920210912 140215775883312 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 10900632

[startup+1.50107 s]
/proc/loadavg: 2.06 3.45 3.41 3/282 13039
/proc/meminfo: memFree=31167080/32770624 swapFree=5760/208080
[pid=13019] ppid=13016 vsize=10900632 CPUtime=5.2 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 17439 0 0 0 413 107 0 0 20 0 20 0 2563739 11162247168 184524 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2725158 184524 3124 1 0 2713552 0
[pid=13019/tid=13020] ppid=13016 vsize=10900632 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) S 13016 13019 9821 0 -1 1077944384 6459 0 0 0 106 10 0 0 20 0 20 0 2563739 11162247168 184524 33554432000 4194304 4196468 140726920210912 140215776026656 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13022] ppid=13016 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13022/stat : 13022 (java) R 13016 13019 9821 0 -1 4202560 150 0 0 0 17 12 0 0 20 0 20 0 2563740 11162247168 184524 33554432000 4194304 4196468 140726920210912 140215724461016 140215753466015 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13023] ppid=13016 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13023/stat : 13023 (java) R 13016 13019 9821 0 -1 4202560 131 0 0 0 16 12 0 0 20 0 20 0 2563740 11162247168 184524 33554432000 4194304 4196468 140726920210912 140215723408472 140215756867666 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13024] ppid=13016 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13024/stat : 13024 (java) R 13016 13019 9821 0 -1 4202560 125 0 0 0 13 11 0 0 20 0 20 0 2563740 11162247168 184524 33554432000 4194304 4196468 140726920210912 140215722355616 140215756868121 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13025] ppid=13016 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13025/stat : 13025 (java) R 13016 13019 9821 0 -1 4202560 129 0 0 0 14 10 0 0 20 0 20 0 2563740 11162247168 184524 33554432000 4194304 4196468 140726920210912 140215721303384 140215756868103 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13026] ppid=13016 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13026/stat : 13026 (java) R 13016 13019 9821 0 -1 4202560 322 0 0 0 14 11 0 0 20 0 20 0 2563740 11162247168 184524 33554432000 4194304 4196468 140726920210912 140215720249816 140215756868121 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13027] ppid=13016 vsize=10900632 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13027/stat : 13027 (java) R 13016 13019 9821 0 -1 4202560 122 0 0 0 12 11 0 0 20 0 20 0 2563740 11162247168 184524 33554432000 4194304 4196468 140726920210912 140215719197272 140215756868130 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13028] ppid=13016 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13028/stat : 13028 (java) R 13016 13019 9821 0 -1 4202560 123 0 0 0 15 13 0 0 20 0 20 0 2563740 11162247168 184524 33554432000 4194304 4196468 140726920210912 140215718144728 140215756865592 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13029] ppid=13016 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13029/stat : 13029 (java) R 13016 13019 9821 0 -1 4202560 131 0 0 0 16 10 0 0 20 0 20 0 2563740 11162247168 184524 33554432000 4194304 4196468 140726920210912 140215371619160 140215756868139 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13030] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 9821 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 20 0 2563742 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214589711392 140215771850453 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13031] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 9821 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2563743 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214588659168 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13032] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 9821 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2563743 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214587606528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13033] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 9821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2563747 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214586555088 140215771858843 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13034] ppid=13016 vsize=10900632 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13034/stat : 13034 (java) R 13016 13019 9821 0 -1 4202560 2542 0 0 0 55 0 0 0 20 0 20 0 2563747 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214585482136 140215755337027 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13035] ppid=13016 vsize=10900632 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13035/stat : 13035 (java) R 13016 13019 9821 0 -1 4202560 2649 0 0 0 61 1 0 0 20 0 20 0 2563747 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214584435160 140215751087340 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13036] ppid=13016 vsize=10900632 CPUtime=0.45 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13036/stat : 13036 (java) S 13016 13019 9821 0 -1 1077944384 1851 0 0 0 45 0 0 0 20 0 20 0 2563747 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214583396592 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13037] ppid=13016 vsize=10900632 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13037/stat : 13037 (java) S 13016 13019 9821 0 -1 1077944384 835 0 0 0 23 0 0 0 20 0 20 0 2563747 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214582344048 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13038] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13038/stat : 13038 (java) S 13016 13019 9821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2563747 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214581291744 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13039] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13039/stat : 13039 (java) S 13016 13019 9821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2563748 11162247168 184524 33554432000 4194304 4196468 140726920210912 140214580239280 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 5.2
Current children cumulated vsize (KiB) 10900632

[startup+3.10077 s]
/proc/loadavg: 2.06 3.45 3.41 3/282 13039
/proc/meminfo: memFree=30857772/32770624 swapFree=5760/208080
[pid=13019] ppid=13016 vsize=10900632 CPUtime=7.36 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 21209 0 0 0 623 113 0 0 20 0 20 0 2563739 11162247168 230927 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2725158 230927 3124 1 0 2713552 0
[pid=13019/tid=13020] ppid=13016 vsize=10900632 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) R 13016 13019 9821 0 -1 4202560 8073 0 0 0 261 14 0 0 20 0 20 0 2563739 11162247168 230927 33554432000 4194304 4196468 140726920210912 140215776071216 140215400577923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13022] ppid=13016 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 9821 0 -1 1077944384 153 0 0 0 18 12 0 0 20 0 20 0 2563740 11162247168 230927 33554432000 4194304 4196468 140726920210912 140215724460816 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13023] ppid=13016 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 9821 0 -1 1077944384 133 0 0 0 17 12 0 0 20 0 20 0 2563740 11162247168 231439 33554432000 4194304 4196468 140726920210912 140215723408272 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13024] ppid=13016 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 9821 0 -1 1077944384 128 0 0 0 14 11 0 0 20 0 20 0 2563740 11162247168 231439 33554432000 4194304 4196468 140726920210912 140215722355728 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13025] ppid=13016 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 9821 0 -1 1077944384 132 0 0 0 14 11 0 0 20 0 20 0 2563740 11162247168 231439 33554432000 4194304 4196468 140726920210912 140215721303184 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13026] ppid=13016 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 9821 0 -1 1077944384 324 0 0 0 14 11 0 0 20 0 20 0 2563740 11162247168 231439 33554432000 4194304 4196468 140726920210912 140215720249616 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13027] ppid=13016 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 9821 0 -1 1077944384 124 0 0 0 13 11 0 0 20 0 20 0 2563740 11162247168 231439 33554432000 4194304 4196468 140726920210912 140215719197072 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13028] ppid=13016 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 9821 0 -1 1077944384 126 0 0 0 15 13 0 0 20 0 20 0 2563740 11162247168 231439 33554432000 4194304 4196468 140726920210912 140215718144528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13029] ppid=13016 vsize=10900632 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 9821 0 -1 1077944384 134 0 0 0 17 10 0 0 20 0 20 0 2563740 11162247168 231439 33554432000 4194304 4196468 140726920210912 140215371618960 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13030] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 9821 0 -1 1077944384 514 0 0 0 0 0 0 0 20 0 20 0 2563742 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214589712880 140215771851394 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13031] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 9821 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2563743 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214588659168 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13032] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 9821 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2563743 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214587606528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13033] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 9821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2563747 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214586555088 140215771858843 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13034] ppid=13016 vsize=10900632 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 9821 0 -1 1077944384 3967 0 0 0 88 0 0 0 20 0 20 0 2563747 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214585501680 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13035] ppid=13016 vsize=10900632 CPUtime=0.77 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13035/stat : 13035 (java) S 13016 13019 9821 0 -1 1077944384 3326 0 0 0 76 1 0 0 20 0 20 0 2563747 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214584449136 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13036] ppid=13016 vsize=10900632 CPUtime=0.46 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13036/stat : 13036 (java) S 13016 13019 9821 0 -1 1077944384 1851 0 0 0 46 0 0 0 20 0 20 0 2563747 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214583396592 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13037] ppid=13016 vsize=10900632 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13037/stat : 13037 (java) S 13016 13019 9821 0 -1 1077944384 835 0 0 0 23 0 0 0 20 0 20 0 2563747 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214582344048 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13038] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13038/stat : 13038 (java) S 13016 13019 9821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2563747 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214581291744 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13039] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13039/stat : 13039 (java) S 13016 13019 9821 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2563748 11162247168 231439 33554432000 4194304 4196468 140726920210912 140214580239280 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 7.36
Current children cumulated vsize (KiB) 10900632

[startup+6.30101 s]
/proc/loadavg: 1.97 3.41 3.40 10/282 13039
/proc/meminfo: memFree=29799668/32770624 swapFree=5760/208092
[pid=13019] ppid=13016 vsize=10900632 CPUtime=28.13 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 77171 0 0 0 2428 385 0 0 20 0 20 0 2563739 11162247168 451922 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2725158 451922 3137 1 0 2713552 0
[pid=13019/tid=13020] ppid=13016 vsize=10900632 CPUtime=3.39 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) S 13016 13019 9821 0 -1 1077944384 8373 0 0 0 321 18 0 0 20 0 20 0 2563739 11162247168 451922 33554432000 4194304 4196468 140726920210912 140215776073104 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13022] ppid=13016 vsize=10900632 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13022/stat : 13022 (java) R 13016 13019 9821 0 -1 4202560 6243 0 0 0 232 45 0 0 20 0 20 0 2563740 11162247168 451922 33554432000 4194304 4196468 140726920210912 140215724460936 140215756540897 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13023] ppid=13016 vsize=10900632 CPUtime=2.82 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13023/stat : 13023 (java) R 13016 13019 9821 0 -1 4202560 6212 0 0 0 237 45 0 0 20 0 20 0 2563740 11162247168 451922 33554432000 4194304 4196468 140726920210912 140215723408392 140215764936992 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13024] ppid=13016 vsize=10900632 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13024/stat : 13024 (java) R 13016 13019 9821 0 -1 4202560 6579 0 0 0 233 44 0 0 20 0 20 0 2563740 11162247168 451922 33554432000 4194304 4196468 140726920210912 140215722355848 140215764943884 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13025] ppid=13016 vsize=10900632 CPUtime=2.77 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13025/stat : 13025 (java) R 13016 13019 9821 0 -1 4202560 7260 0 0 0 232 45 0 0 20 0 20 0 2563740 11162247168 451922 33554432000 4194304 4196468 140726920210912 140215721303304 140215756540972 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13026] ppid=13016 vsize=10900632 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13026/stat : 13026 (java) R 13016 13019 9821 0 -1 4202560 6869 0 0 0 233 45 0 0 20 0 20 0 2563740 11162247168 451922 33554432000 4194304 4196468 140726920210912 140215720249736 140215756540924 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13027] ppid=13016 vsize=10900632 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13027/stat : 13027 (java) R 13016 13019 9821 0 -1 4202560 6949 0 0 0 231 44 0 0 20 0 20 0 2563740 11162247168 451922 33554432000 4194304 4196468 140726920210912 140215719197192 140215756540987 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13028] ppid=13016 vsize=10900632 CPUtime=2.8 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13028/stat : 13028 (java) R 13016 13019 9821 0 -1 4202560 7009 0 0 0 233 47 0 0 20 0 20 0 2563740 11162247168 451922 33554432000 4194304 4196468 140726920210912 140215718144648 140215756540870 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13029] ppid=13016 vsize=10900632 CPUtime=2.78 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13029/stat : 13029 (java) R 13016 13019 9821 0 -1 4202560 6251 0 0 0 235 43 0 0 20 0 20 0 2563740 11162247168 451922 33554432000 4194304 4196468 140726920210912 140215371619080 140215764943884 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13030] ppid=13016 vsize=10900632 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 9821 0 -1 1077944384 3300 0 0 0 1 0 0 0 20 0 20 0 2563742 11162247168 451922 33554432000 4194304 4196468 140726920210912 140214589711424 140215771850453 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13031] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 9821 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2563743 11162247168 451922 33554432000 4194304 4196468 140726920210912 140214588659168 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13032] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 9821 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2563743 11162247168 451922 33554432000 4194304 4196468 140726920210912 140214587606528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13033] ppid=13016 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=13019/tid=13031] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 9821 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2563743 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214588659168 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13032] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 9821 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 2563743 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214587606528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13033] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 9821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214586555088 140215771858843 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13034] ppid=13016 vsize=10967196 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 9821 0 -1 1077944384 9130 0 0 0 183 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214585501680 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13035] ppid=13016 vsize=10967196 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13035/stat : 13035 (java) S 13016 13019 9821 0 -1 1077944384 9529 0 0 0 157 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214584449136 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13036] ppid=13016 vsize=10967196 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13036/stat : 13036 (java) S 13016 13019 9821 0 -1 1077944384 8523 0 0 0 145 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214583396592 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13037] ppid=13016 vsize=10967196 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13037/stat : 13037 (java) S 13016 13019 9821 0 -1 1077944384 2516 0 0 0 38 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214582344048 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13038] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13038/stat : 13038 (java) S 13016 13019 9821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214581291744 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13039] ppid=13016 vsize=10967196 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13039/stat : 13039 (java) S 13016 13019 9821 0 -1 1077944384 1667 0 0 0 1 1 0 0 20 0 21 0 2563748 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214580239280 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13040] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13040/stat : 13040 (java) S 13016 13019 9821 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2564519 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214579185072 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 69.89
Current children cumulated vsize (KiB) 10967196

[startup+44.0007 s]
/proc/loadavg: 2.24 3.30 3.37 5/283 13040
/proc/meminfo: memFree=29703396/32770624 swapFree=5760/208120
[pid=13019] ppid=13016 vsize=10967196 CPUtime=70.71 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 110801 0 0 0 6681 390 0 0 20 0 21 0 2563739 11230408704 451519 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2741799 451519 3169 1 0 2730193 0
[pid=13019/tid=13020] ppid=13016 vsize=10967196 CPUtime=40.67 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) R 13016 13019 9821 0 -1 4202560 16442 0 0 0 4048 19 0 0 20 0 21 0 2563739 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215776076240 140215757908366 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13022] ppid=13016 vsize=10967196 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 9821 0 -1 1077944384 6375 0 0 0 259 45 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215724460816 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13023] ppid=13016 vsize=10967196 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 9821 0 -1 1077944384 6735 0 0 0 264 45 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215723408272 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13024] ppid=13016 vsize=10967196 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 9821 0 -1 1077944384 7353 0 0 0 260 44 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215722355728 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13025] ppid=13016 vsize=10967196 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 9821 0 -1 1077944384 7668 0 0 0 259 45 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215721303184 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13026] ppid=13016 vsize=10967196 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 9821 0 -1 1077944384 7489 0 0 0 261 45 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215720249616 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13027] ppid=13016 vsize=10967196 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 9821 0 -1 1077944384 7497 0 0 0 258 44 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215719197072 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13028] ppid=13016 vsize=10967196 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 9821 0 -1 1077944384 7596 0 0 0 261 47 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215718144528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13029] ppid=13016 vsize=10967196 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 9821 0 -1 1077944384 6644 0 0 0 263 43 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215371618960 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13030] ppid=13016 vsize=10967196 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 9821 0 -1 1077944384 4214 0 0 0 13 0 0 0 20 0 21 0 2563742 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214589712880 140215771851394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13031] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 9821 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2563743 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214588659168 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13032] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 9821 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 2563743 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214587606528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13033] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 9821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214586555088 140215771858843 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13034] ppid=13016 vsize=10967196 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 9821 0 -1 1077944384 9130 0 0 0 183 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214585501680 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13035] ppid=13016 vsize=10967196 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13035/stat : 13035 (java) S 13016 13019 9821 0 -1 1077944384 9540 0 0 0 158 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214584449136 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13036] ppid=13016 vsize=10967196 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13036/stat : 13036 (java) S 13016 13019 9821 0 -1 1077944384 8523 0 0 0 145 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214583396592 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13037] ppid=13016 vsize=10967196 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13037/stat : 13037 (java) S 13016 13019 9821 0 -1 1077944384 2540 0 0 0 39 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214582344048 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13038] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13038/stat : 13038 (java) S 13016 13019 9821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214581291744 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13039] ppid=13016 vsize=10967196 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13039/stat : 13039 (java) S 13016 13019 9821 0 -1 1077944384 1667 0 0 0 1 1 0 0 20 0 21 0 2563748 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214580239280 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13040] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13040/stat : 13040 (java) S 13016 13019 9821 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2564519 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214579185072 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 70.71
Current children cumulated vsize (KiB) 10967196

[startup+44.4008 s]
/proc/loadavg: 2.24 3.30 3.37 5/283 13040
/proc/meminfo: memFree=29703396/32770624 swapFree=5760/208120
[pid=13019] ppid=13016 vsize=10967196 CPUtime=71.1 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 110810 0 0 0 6720 390 0 0 20 0 21 0 2563739 11230408704 451519 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2741799 451519 3169 1 0 2730193 0
[pid=13019/tid=13020] ppid=13016 vsize=10967196 CPUtime=41.06 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) R 13016 13019 9821 0 -1 4202560 16450 0 0 0 4087 19 0 0 20 0 21 0 2563739 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215776076904 140215403383505 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13022] ppid=13016 vsize=10967196 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 9821 0 -1 1077944384 6375 0 0 0 259 45 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215724460816 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13023] ppid=13016 vsize=10967196 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 9821 0 -1 1077944384 6735 0 0 0 264 45 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215723408272 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13024] ppid=13016 vsize=10967196 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 9821 0 -1 1077944384 7353 0 0 0 260 44 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215722355728 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13025] ppid=13016 vsize=10967196 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 9821 0 -1 1077944384 7668 0 0 0 259 45 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215721303184 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13026] ppid=13016 vsize=10967196 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 9821 0 -1 1077944384 7489 0 0 0 261 45 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215720249616 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13027] ppid=13016 vsize=10967196 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 9821 0 -1 1077944384 7497 0 0 0 258 44 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215719197072 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13028] ppid=13016 vsize=10967196 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 9821 0 -1 1077944384 7596 0 0 0 261 47 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215718144528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13029] ppid=13016 vsize=10967196 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 9821 0 -1 1077944384 6644 0 0 0 263 43 0 0 20 0 21 0 2563740 11230408704 451519 33554432000 4194304 4196468 140726920210912 140215371618960 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13030] ppid=13016 vsize=10967196 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 9821 0 -1 1077944384 4214 0 0 0 13 0 0 0 20 0 21 0 2563742 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214589712880 140215771851394 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13031] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 9821 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2563743 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214588659168 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13032] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 9821 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 2563743 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214587606528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13033] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 9821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214586555088 140215771858843 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13034] ppid=13016 vsize=10967196 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 9821 0 -1 1077944384 9130 0 0 0 183 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214585501680 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13035] ppid=13016 vsize=10967196 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13035/stat : 13035 (java) S 13016 13019 9821 0 -1 1077944384 9540 0 0 0 158 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214584449136 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13036] ppid=13016 vsize=10967196 CPUtime=1.46 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13036/stat : 13036 (java) S 13016 13019 9821 0 -1 1077944384 8523 0 0 0 145 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214583396592 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13037] ppid=13016 vsize=10967196 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13037/stat : 13037 (java) S 13016 13019 9821 0 -1 1077944384 2540 0 0 0 39 1 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214582344048 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13038] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13038/stat : 13038 (java) S 13016 13019 9821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2563747 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214581291744 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13039] ppid=13016 vsize=10967196 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13039/stat : 13039 (java) S 13016 13019 9821 0 -1 1077944384 1667 0 0 0 1 1 0 0 20 0 21 0 2563748 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214580239280 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13040] ppid=13016 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13040/stat : 13040 (java) S 13016 13019 9821 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 2564519 11230408704 451519 33554432000 4194304 4196468 140726920210912 140214579185072 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 71.1
Current children cumulated vsize (KiB) 10967196

[startup+44.6012 s]
/proc/loadavg: 2.24 3.30 3.37 5/283 13040
/proc/meminfo: memFree=29703396/32770624 swapFree=5760/208120
[pid=13019] ppid=13016 vsize=11100324 CPUtime=71.13 cores=0,2,4,6,8,10,12,14
/proc/13019/stat : 13019 (java) S 13016 13019 9821 0 -1 1077944320 111311 0 0 0 6723 390 0 0 20 0 21 0 2563739 11366731776 451551 33554432000 4194304 4196468 140726920210912 140726920193456 140215771840247 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
/proc/13019/statm: 2775081 451551 3171 1 0 2763475 0
[pid=13019/tid=13020] ppid=13016 vsize=11100324 CPUtime=41.08 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13020/stat : 13020 (java) S 13016 13019 9821 0 -1 1077944384 16604 0 0 0 4089 19 0 0 20 0 21 0 2563739 11366731776 451551 33554432000 4194304 4196468 140726920210912 140215776080928 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13022] ppid=13016 vsize=11100324 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13022/stat : 13022 (java) S 13016 13019 9821 0 -1 1077944384 6375 0 0 0 259 45 0 0 20 0 21 0 2563740 11366731776 451551 33554432000 4194304 4196468 140726920210912 140215724460816 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13023] ppid=13016 vsize=11100324 CPUtime=3.09 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13023/stat : 13023 (java) S 13016 13019 9821 0 -1 1077944384 6735 0 0 0 264 45 0 0 20 0 21 0 2563740 11366731776 451551 33554432000 4194304 4196468 140726920210912 140215723408272 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13024] ppid=13016 vsize=11100324 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13024/stat : 13024 (java) S 13016 13019 9821 0 -1 1077944384 7353 0 0 0 260 44 0 0 20 0 21 0 2563740 11366731776 451551 33554432000 4194304 4196468 140726920210912 140215722355728 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13025] ppid=13016 vsize=11100324 CPUtime=3.04 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13025/stat : 13025 (java) S 13016 13019 9821 0 -1 1077944384 7668 0 0 0 259 45 0 0 20 0 21 0 2563740 11366731776 451551 33554432000 4194304 4196468 140726920210912 140215721303184 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13026] ppid=13016 vsize=11100324 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13026/stat : 13026 (java) S 13016 13019 9821 0 -1 1077944384 7489 0 0 0 261 45 0 0 20 0 21 0 2563740 11366731776 451551 33554432000 4194304 4196468 140726920210912 140215720249616 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13027] ppid=13016 vsize=11100324 CPUtime=3.02 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13027/stat : 13027 (java) S 13016 13019 9821 0 -1 1077944384 7497 0 0 0 258 44 0 0 20 0 21 0 2563740 11366731776 451551 33554432000 4194304 4196468 140726920210912 140215719197072 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13028] ppid=13016 vsize=11100324 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13028/stat : 13028 (java) S 13016 13019 9821 0 -1 1077944384 7596 0 0 0 261 47 0 0 20 0 21 0 2563740 11366731776 451551 33554432000 4194304 4196468 140726920210912 140215718144528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13029] ppid=13016 vsize=11100324 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13029/stat : 13029 (java) S 13016 13019 9821 0 -1 1077944384 6644 0 0 0 263 43 0 0 20 0 21 0 2563740 11366731776 451551 33554432000 4194304 4196468 140726920210912 140215371618960 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13030] ppid=13016 vsize=11100324 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13030/stat : 13030 (java) S 13016 13019 9821 0 -1 1077944384 4214 0 0 0 13 0 0 0 20 0 21 0 2563742 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214589712880 140215771851394 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13031] ppid=13016 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13031/stat : 13031 (java) S 13016 13019 9821 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 21 0 2563743 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214588659168 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13032] ppid=13016 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13032/stat : 13032 (java) S 13016 13019 9821 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 2563743 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214587606528 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13033] ppid=13016 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13033/stat : 13033 (java) S 13016 13019 9821 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2563747 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214586555088 140215771858843 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13034] ppid=13016 vsize=11100324 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13034/stat : 13034 (java) S 13016 13019 9821 0 -1 1077944384 9191 0 0 0 184 1 0 0 20 0 21 0 2563747 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214585501680 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13035] ppid=13016 vsize=11100324 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13035/stat : 13035 (java) S 13016 13019 9821 0 -1 1077944384 9582 0 0 0 158 1 0 0 20 0 21 0 2563747 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214584449136 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13036] ppid=13016 vsize=11100324 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13036/stat : 13036 (java) S 13016 13019 9821 0 -1 1077944384 8551 0 0 0 146 1 0 0 20 0 21 0 2563747 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214583396592 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13037] ppid=13016 vsize=11100324 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13037/stat : 13037 (java) S 13016 13019 9821 0 -1 1077944384 2655 0 0 0 39 1 0 0 20 0 21 0 2563747 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214582344048 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13038] ppid=13016 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13038/stat : 13038 (java) S 13016 13019 9821 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2563747 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214581291744 140215771850453 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
[pid=13019/tid=13039] ppid=13016 vsize=11100324 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13019/task/13039/stat : 13039 (java) S 13016 13019 9821 0 -1 1077944384 1667 0 0 0 1 1 0 0 20 0 21 0 2563748 11366731776 451551 33554432000 4194304 4196468 140726920210912 140214580239280 140215771851394 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13885440 140726920217771 140726920217924 140726920217924 140726920220623 0
Current children cumulated CPU time (s) 71.13
Current children cumulated vsize (KiB) 11100324

Child status: 0
Real time (s): 44.6645
CPU time (s): 71.186
CPU user time (s): 67.2611
CPU system time (s): 3.92493
CPU usage (%): 159.379
Max. virtual memory (cumulated for all children) (KiB): 11100324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.2611
system time used= 3.92493
maximum resident set size= 1812932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111912
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5451
involuntary context switches= 4012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.30639 second user time and 0.348374 second system time

The end

Begin job on node143 at 2017-07-21 23:36:15
IDJOB=4243482
IDBENCH=122956
IDSOLVER=2623
FILE ID=node143/4243482-1500672975
RUNJOBID= node143-1500670246-12513
PBS_JOBID= 20623278
Free space on /tmp= 61988 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-02-350-100.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243482-1500672975/watcher-4243482-1500672975 -o /tmp/evaluation-result-4243482-1500672975/solver-4243482-1500672975 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500670246-12513 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243482-1500672975.xml

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

MD5SUM BENCH= 2b8f29373db6f74e5fecedb039cde62c
RANDOM SEED=132821487

node143.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.69
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		: 2133.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.69
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.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.69
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.69
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		: 2668.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		: 1733.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.69
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		: 2668.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		: 2267.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.69
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.69
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:        31597756 kB
MemAvailable:   31652764 kB
Buffers:           70920 kB
Cached:           283476 kB
SwapCached:            0 kB
Active:           560036 kB
Inactive:         216860 kB
Active(anon):     425708 kB
Inactive(anon):     8736 kB
Active(file):     134328 kB
Inactive(file):   208124 kB
Unevictable:        5760 kB
Mlocked:            5760 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1764 kB
Writeback:             0 kB
AnonPages:        451520 kB
Mapped:            42376 kB
Shmem:              8852 kB
Slab:              89132 kB
SReclaimable:      56784 kB
SUnreclaim:        32348 kB
KernelStack:        4912 kB
PageTables:         5692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1355748 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    358400 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      155008 kB
DirectMap2M:    33390592 kB

Free space on /tmp at the end= 61988 MiB
End job on node143 at 2017-07-21 23:36:59

Name	Opd/Opd-sum-large/ Opd-02-350-100.xml
MD5SUM	2b8f29373db6f74e5fecedb039cde62c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	0
Best CPU time to get the best result obtained on this benchmark	1.07961
Satisfiable
(Un)Satisfiability was proved
Number of variables	701
Number of constraints	4
Number of domains	2
Minimum domain size	2
Maximum domain size	351
Distribution of domain sizes	[{"size":2,"count":700},{"size":351,"count":1}]
Minimum variable degree	2
Maximum variable degree	3
Distribution of variable degrees	[{"degree":2,"count":1},{"degree":3,"count":700}]
Minimum constraint arity	350
Maximum constraint arity	701
Distribution of constraint arities	[{"arity":350,"count":2},{"arity":700,"count":1},{"arity":701,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"lex","count":1},{"type":"sum","count":3}]
Optimization problem	YES
Type of objective	min VAR

Trace number 4243482

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data