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

Solver Name	Answer	CPU time	Wall clock time
R1: sat4j-CSP 2017-07-05	SAT	19.1711	4.76443

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-4244220-1500681847/watcher-4244220-1500681847 -o /tmp/evaluation-result-4244220-1500681847/solver-4244220-1500681847 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500673057-14151 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244220-1500681847.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.16 2.37 3.54 3/236 16027
/proc/meminfo: memFree=32004184/32770624 swapFree=5648/219568
[pid=16027] ppid=16024 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 2172 0 0 0 0 0 0 0 20 0 2 0 3453871 8550137856 2442 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2087436 2442 1197 1 0 2076347 0
[pid=16027/tid=16028] ppid=16024 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) R 16024 16027 9838 0 -1 4202560 918 0 0 0 0 0 0 0 20 0 2 0 3453871 8550137856 2442 33554432000 4194304 4196468 140724426594240 140527128856992 140527110566096 0 4 0 16784584 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) R 16024 16027 9838 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 3 0 3453872 8551190528 2442 33554432000 4194304 4196468 140724426594240 140527128856992 140527117354753 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0

[startup+0.100105 s]
/proc/loadavg: 1.16 2.37 3.54 3/236 16027
/proc/meminfo: memFree=32004184/32770624 swapFree=5648/219568
[pid=16027] ppid=16024 vsize=10900556 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 4670 0 0 0 9 1 0 0 20 0 20 0 3453871 11162169344 6759 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2725139 6759 2639 1 0 2713552 0
[pid=16027/tid=16028] ppid=16024 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) R 16024 16027 9838 0 -1 4202560 2751 0 0 0 7 1 0 0 20 0 20 0 3453871 11162169344 6759 33554432000 4194304 4196468 140724426594240 140527128848112 140527124636829 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) S 16024 16027 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3453872 11162169344 6759 33554432000 4194304 4196468 140724426594240 140527050689296 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556

[startup+0.20053 s]
/proc/loadavg: 1.16 2.37 3.54 3/236 16027
/proc/meminfo: memFree=32004184/32770624 swapFree=5648/219568
[pid=16027] ppid=16024 vsize=10900556 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 6829 0 0 0 23 2 0 0 20 0 20 0 3453871 11162169344 9070 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2725139 9070 2848 1 0 2713552 0
[pid=16027/tid=16028] ppid=16024 vsize=10900556 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) R 16024 16027 9838 0 -1 4202560 4488 0 0 0 16 2 0 0 20 0 20 0 3453871 11162169344 9070 33554432000 4194304 4196468 140724426594240 140527128838832 140527108695390 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) S 16024 16027 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3453872 11162169344 9070 33554432000 4194304 4196468 140724426594240 140527050689296 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 10900556

[startup+0.300563 s]
/proc/loadavg: 1.16 2.37 3.54 3/236 16027
/proc/meminfo: memFree=32004184/32770624 swapFree=5648/219568
[pid=16027] ppid=16024 vsize=10900632 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 8135 0 0 0 39 3 0 0 20 0 20 0 3453871 11162247168 10853 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2725158 10853 3008 1 0 2713552 0
[pid=16027/tid=16028] ppid=16024 vsize=10900632 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) R 16024 16027 9838 0 -1 4202560 5109 0 0 0 25 2 0 0 20 0 20 0 3453871 11162247168 10853 33554432000 4194304 4196468 140724426594240 140527128847040 140526716268199 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) S 16024 16027 9838 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 3453872 11162247168 10853 33554432000 4194304 4196468 140724426594240 140527050689296 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10900632

[startup+0.700327 s]
/proc/loadavg: 1.16 2.37 3.54 3/236 16027
/proc/meminfo: memFree=32004184/32770624 swapFree=5648/219568
[pid=16027] ppid=16024 vsize=10900632 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 10788 0 0 0 154 27 0 0 20 0 20 0 3453871 11162247168 83766 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2725158 83766 3102 1 0 2713552 0
[pid=16027/tid=16028] ppid=16024 vsize=10900632 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) S 16024 16027 9838 0 -1 1077944384 5418 0 0 0 57 5 0 0 20 0 20 0 3453871 11162247168 83766 33554432000 4194304 4196468 140724426594240 140527128852624 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=10900632 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) R 16024 16027 9838 0 -1 4202560 33 0 0 0 1 2 0 0 20 0 20 0 3453872 11162247168 83766 33554432000 4194304 4196468 140724426594240 140527050689496 140527109642786 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 10900632

[startup+1.50083 s]
/proc/loadavg: 1.16 2.37 3.54 9/256 16047
/proc/meminfo: memFree=31587448/32770624 swapFree=5648/219604
[pid=16027] ppid=16024 vsize=10900632 CPUtime=4.68 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 12142 0 0 0 334 134 0 0 20 0 20 0 3453871 11162247168 135712 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2725158 135712 3118 1 0 2713552 0
[pid=16027/tid=16028] ppid=16024 vsize=10900632 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) R 16024 16027 9838 0 -1 4202560 5435 0 0 0 109 5 0 0 20 0 20 0 3453871 11162247168 135712 33554432000 4194304 4196468 140724426594240 140527128852584 140526718608889 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) S 16024 16027 9838 0 -1 1077944384 161 0 0 0 16 16 0 0 20 0 20 0 3453872 11162247168 135712 33554432000 4194304 4196468 140724426594240 140527050689296 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16030] ppid=16024 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16030/stat : 16030 (java) S 16024 16027 9838 0 -1 1077944384 153 0 0 0 15 15 0 0 20 0 20 0 3453872 11162247168 135712 33554432000 4194304 4196468 140724426594240 140527049636752 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16031] ppid=16024 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16031/stat : 16031 (java) S 16024 16027 9838 0 -1 1077944384 167 0 0 0 16 15 0 0 20 0 20 0 3453872 11162247168 135712 33554432000 4194304 4196468 140724426594240 140527048584208 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16032] ppid=16024 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16032/stat : 16032 (java) S 16024 16027 9838 0 -1 1077944384 176 0 0 0 16 16 0 0 20 0 20 0 3453872 11162247168 135712 33554432000 4194304 4196468 140724426594240 140527047531664 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16034] ppid=16024 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16034/stat : 16034 (java) S 16024 16027 9838 0 -1 1077944384 156 0 0 0 15 14 0 0 20 0 20 0 3453872 11162247168 135712 33554432000 4194304 4196468 140724426594240 140527046478096 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16035] ppid=16024 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16035/stat : 16035 (java) S 16024 16027 9838 0 -1 1077944384 156 0 0 0 15 15 0 0 20 0 20 0 3453872 11162247168 135712 33554432000 4194304 4196468 140724426594240 140527045425552 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16036] ppid=16024 vsize=10900632 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16036/stat : 16036 (java) S 16024 16027 9838 0 -1 1077944384 162 0 0 0 16 15 0 0 20 0 20 0 3453872 11162247168 135712 33554432000 4194304 4196468 140724426594240 140527044373008 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16037] ppid=16024 vsize=10900632 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16037/stat : 16037 (java) S 16024 16027 9838 0 -1 1077944384 175 0 0 0 16 16 0 0 20 0 20 0 3453872 11162247168 135712 33554432000 4194304 4196468 140724426594240 140527043320464 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16038] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16038/stat : 16038 (java) S 16024 16027 9838 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 3453875 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526464428528 140527124626050 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16039] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16039/stat : 16039 (java) S 16024 16027 9838 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3453875 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526463374816 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16040] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16040/stat : 16040 (java) S 16024 16027 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3453876 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526462322176 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16041] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16041/stat : 16041 (java) S 16024 16027 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3453879 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526461270736 140527124633499 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16042] ppid=16024 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16042/stat : 16042 (java) S 16024 16027 9838 0 -1 1077944384 1382 0 0 0 24 0 0 0 20 0 20 0 3453879 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526460217328 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16043] ppid=16024 vsize=10900632 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16043/stat : 16043 (java) S 16024 16027 9838 0 -1 1077944384 717 0 0 0 23 0 0 0 20 0 20 0 3453879 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526459164784 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16044] ppid=16024 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16044/stat : 16044 (java) S 16024 16027 9838 0 -1 1077944384 868 0 0 0 25 0 0 0 20 0 20 0 3453879 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526458112240 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16045] ppid=16024 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16045/stat : 16045 (java) R 16024 16027 9838 0 -1 4202560 858 0 0 0 21 0 0 0 20 0 20 0 3453879 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526457059696 140527108723052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16046] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16046/stat : 16046 (java) S 16024 16027 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3453879 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526456007392 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16047] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16047/stat : 16047 (java) S 16024 16027 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3453879 11162247168 135712 33554432000 4194304 4196468 140724426594240 140526454954928 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 10900632

[startup+3.10099 s]
/proc/loadavg: 1.16 2.37 3.54 9/256 16047
/proc/meminfo: memFree=30923372/32770624 swapFree=5648/219616
[pid=16027] ppid=16024 vsize=10900632 CPUtime=15.17 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 34887 0 0 0 1260 257 0 0 20 0 20 0 3453871 11162247168 274910 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2725158 274910 3128 1 0 2713552 0
[pid=16027/tid=16028] ppid=16024 vsize=10900632 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) S 16024 16027 9838 0 -1 1077944384 5551 0 0 0 136 8 0 0 20 0 20 0 3453871 11162247168 274910 33554432000 4194304 4196468 140724426594240 140527128851904 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=10900632 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) R 16024 16027 9838 0 -1 4202560 3207 0 0 0 127 31 0 0 20 0 20 0 3453872 11162247168 274910 33554432000 4194304 4196468 140724426594240 140527050689416 140527109315904 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16030] ppid=16024 vsize=10900632 CPUtime=1.57 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16030/stat : 16030 (java) R 16024 16027 9838 0 -1 4202560 3097 0 0 0 127 30 0 0 20 0 20 0 3453872 11162247168 274910 33554432000 4194304 4196468 140724426594240 140527049636872 140527109072534 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16031] ppid=16024 vsize=10900632 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16031/stat : 16031 (java) R 16024 16027 9838 0 -1 4202560 3170 0 0 0 128 30 0 0 20 0 20 0 3453872 11162247168 274910 33554432000 4194304 4196468 140724426594240 140527048584328 140527109072501 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16032] ppid=16024 vsize=10900632 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16032/stat : 16032 (java) R 16024 16027 9838 0 -1 4202560 3319 0 0 0 127 31 0 0 20 0 20 0 3453872 11162247168 274910 33554432000 4194304 4196468 140724426594240 140527047531784 140527109315536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16034] ppid=16024 vsize=10900632 CPUtime=1.55 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16034/stat : 16034 (java) R 16024 16027 9838 0 -1 4202560 3494 0 0 0 125 30 0 0 20 0 20 0 3453872 11162247168 274910 33554432000 4194304 4196468 140724426594240 140527046478296 140527109315553 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16035] ppid=16024 vsize=10900632 CPUtime=1.58 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16035/stat : 16035 (java) R 16024 16027 9838 0 -1 4202560 3238 0 0 0 129 29 0 0 20 0 20 0 3453872 11162247168 274910 33554432000 4194304 4196468 140724426594240 140527045425672 140527109315536 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16036] ppid=16024 vsize=10900632 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16036/stat : 16036 (java) R 16024 16027 9838 0 -1 4202560 1718 0 0 0 130 29 0 0 20 0 20 0 3453872 11162247168 274910 33554432000 4194304 4196468 140724426594240 140527044373128 140527109611259 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16037] ppid=16024 vsize=10900632 CPUtime=1.59 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16037/stat : 16037 (java) R 16024 16027 9838 0 -1 4202560 2162 0 0 0 129 30 0 0 20 0 20 0 3453872 11162247168 274910 33554432000 4194304 4196468 140724426594240 140527043320584 140527109315637 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16038] ppid=16024 vsize=10900632 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16038/stat : 16038 (java) S 16024 16027 9838 0 -1 1077944384 761 0 0 0 1 0 0 0 20 0 20 0 3453875 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526464427072 140527124625109 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16039] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16039/stat : 16039 (java) S 16024 16027 9838 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3453875 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526463374816 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16040] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16040/stat : 16040 (java) S 16024 16027 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3453876 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526462322176 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16041] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16041/stat : 16041 (java) S 16024 16027 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3453879 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526461270736 140527124633499 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16042] ppid=16024 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16042/stat : 16042 (java) S 16024 16027 9838 0 -1 1077944384 1382 0 0 0 24 0 0 0 20 0 20 0 3453879 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526460217328 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16043] ppid=16024 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16043/stat : 16043 (java) S 16024 16027 9838 0 -1 1077944384 717 0 0 0 24 0 0 0 20 0 20 0 3453879 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526459164784 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16044] ppid=16024 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16044/stat : 16044 (java) S 16024 16027 9838 0 -1 1077944384 868 0 0 0 25 0 0 0 20 0 20 0 3453879 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526458112240 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16045] ppid=16024 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16045/stat : 16045 (java) S 16024 16027 9838 0 -1 1077944384 871 0 0 0 22 0 0 0 20 0 20 0 3453879 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526457059696 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16046] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16046/stat : 16046 (java) S 16024 16027 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3453879 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526456007392 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16047] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16047/stat : 16047 (java) S 16024 16027 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3453879 11162247168 274910 33554432000 4194304 4196468 140724426594240 140526454954928 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 15.17
Current children cumulated vsize (KiB) 10900632

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

[startup+3.20135 s]
/proc/loadavg: 1.16 2.37 3.54 9/256 16047
/proc/meminfo: memFree=30923372/32770624 swapFree=5648/219616
[pid=16027] ppid=16024 vsize=10900632 CPUtime=15.97 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 35328 0 0 0 1340 257 0 0 20 0 20 0 3453871 11162247168 274967 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2725158 274967 3128 1 0 2713552 0
[pid=16027/tid=16028] ppid=16024 vsize=10900632 CPUtime=1.44 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) S 16024 16027 9838 0 -1 1077944384 5551 0 0 0 136 8 0 0 20 0 20 0 3453871 11162247168 274967 33554432000 4194304 4196468 140724426594240 140527128851904 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=10900632 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) R 16024 16027 9838 0 -1 4202560 3287 0 0 0 137 31 0 0 20 0 20 0 3453872 11162247168 274967 33554432000 4194304 4196468 140724426594240 140527050689416 140527109315526 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16030] ppid=16024 vsize=10900632 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16030/stat : 16030 (java) R 16024 16027 9838 0 -1 4202560 3153 0 0 0 137 30 0 0 20 0 20 0 3453872 11162247168 274967 33554432000 4194304 4196468 140724426594240 140527049636872 140527109315369 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16031] ppid=16024 vsize=10900632 CPUtime=1.68 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16031/stat : 16031 (java) R 16024 16027 9838 0 -1 4202560 3190 0 0 0 138 30 0 0 20 0 20 0 3453872 11162247168 274967 33554432000 4194304 4196468 140724426594240 140527048584328 140527106224742 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0

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

[pid=16027/tid=16037] ppid=16024 vsize=10900632 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16037/stat : 16037 (java) S 16024 16027 9838 0 -1 1077944384 2218 0 0 0 152 30 0 0 20 0 20 0 3453872 11162247168 275482 33554432000 4194304 4196468 140724426594240 140527043320464 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16038] ppid=16024 vsize=10900632 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16038/stat : 16038 (java) S 16024 16027 9838 0 -1 1077944384 1760 0 0 0 60 0 0 0 20 0 20 0 3453875 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526464428528 140527124626050 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16039] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16039/stat : 16039 (java) S 16024 16027 9838 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 3453875 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526463374816 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16040] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16040/stat : 16040 (java) S 16024 16027 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 3453876 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526462322176 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16041] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16041/stat : 16041 (java) S 16024 16027 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3453879 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526461270736 140527124633499 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16042] ppid=16024 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16042/stat : 16042 (java) S 16024 16027 9838 0 -1 1077944384 1382 0 0 0 24 0 0 0 20 0 20 0 3453879 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526460217328 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16043] ppid=16024 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16043/stat : 16043 (java) S 16024 16027 9838 0 -1 1077944384 717 0 0 0 24 0 0 0 20 0 20 0 3453879 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526459164784 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16044] ppid=16024 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16044/stat : 16044 (java) S 16024 16027 9838 0 -1 1077944384 868 0 0 0 25 0 0 0 20 0 20 0 3453879 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526458112240 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16045] ppid=16024 vsize=10900632 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16045/stat : 16045 (java) S 16024 16027 9838 0 -1 1077944384 871 0 0 0 22 0 0 0 20 0 20 0 3453879 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526457059696 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16046] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16046/stat : 16046 (java) S 16024 16027 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3453879 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526456007392 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16047] ppid=16024 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16047/stat : 16047 (java) S 16024 16027 9838 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3453879 11162247168 275482 33554432000 4194304 4196468 140724426594240 140526454954928 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 17.7
Current children cumulated vsize (KiB) 10900632

[startup+4.40112 s]
/proc/loadavg: 1.63 2.45 3.56 6/257 16048
/proc/meminfo: memFree=30906060/32770624 swapFree=5648/219616
[pid=16027] ppid=16024 vsize=10967196 CPUtime=18.78 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 43303 0 0 0 1619 259 0 0 20 0 21 0 3453871 11230408704 277982 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2741799 277982 3136 1 0 2730193 0
[pid=16027/tid=16028] ppid=16024 vsize=10967196 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) R 16024 16027 9838 0 -1 4202560 6809 0 0 0 184 9 0 0 20 0 21 0 3453871 11230408704 277982 33554432000 4194304 4196468 140724426594240 140527128851112 140526719594837 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=10967196 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) S 16024 16027 9838 0 -1 1077944384 3297 0 0 0 151 31 0 0 20 0 21 0 3453872 11230408704 277982 33554432000 4194304 4196468 140724426594240 140527050689296 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16030] ppid=16024 vsize=10967196 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16030/stat : 16030 (java) S 16024 16027 9838 0 -1 1077944384 3168 0 0 0 151 30 0 0 20 0 21 0 3453872 11230408704 277982 33554432000 4194304 4196468 140724426594240 140527049636752 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16031] ppid=16024 vsize=10967196 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16031/stat : 16031 (java) S 16024 16027 9838 0 -1 1077944384 3214 0 0 0 152 30 0 0 20 0 21 0 3453872 11230408704 277982 33554432000 4194304 4196468 140724426594240 140527048584208 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16032] ppid=16024 vsize=10967196 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16032/stat : 16032 (java) S 16024 16027 9838 0 -1 1077944384 3349 0 0 0 150 31 0 0 20 0 21 0 3453872 11230408704 277982 33554432000 4194304 4196468 140724426594240 140527047531664 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16034] ppid=16024 vsize=10967196 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16034/stat : 16034 (java) S 16024 16027 9838 0 -1 1077944384 3554 0 0 0 146 30 0 0 20 0 21 0 3453872 11230408704 277982 33554432000 4194304 4196468 140724426594240 140527046478096 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16035] ppid=16024 vsize=10967196 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16035/stat : 16035 (java) S 16024 16027 9838 0 -1 1077944384 3335 0 0 0 152 29 0 0 20 0 21 0 3453872 11230408704 277982 33554432000 4194304 4196468 140724426594240 140527045425552 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16036] ppid=16024 vsize=10967196 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16036/stat : 16036 (java) S 16024 16027 9838 0 -1 1077944384 1779 0 0 0 154 29 0 0 20 0 21 0 3453872 11230408704 277982 33554432000 4194304 4196468 140724426594240 140527044373008 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16037] ppid=16024 vsize=10967196 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16037/stat : 16037 (java) S 16024 16027 9838 0 -1 1077944384 2218 0 0 0 152 30 0 0 20 0 21 0 3453872 11230408704 277982 33554432000 4194304 4196468 140724426594240 140527043320464 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16038] ppid=16024 vsize=10967196 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16038/stat : 16038 (java) S 16024 16027 9838 0 -1 1077944384 1866 0 0 0 60 0 0 0 20 0 21 0 3453875 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526464428528 140527124626050 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16039] ppid=16024 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16039/stat : 16039 (java) S 16024 16027 9838 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 3453875 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526463374816 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16040] ppid=16024 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16040/stat : 16040 (java) S 16024 16027 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3453876 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526462322176 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16041] ppid=16024 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16041/stat : 16041 (java) S 16024 16027 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3453879 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526461270736 140527124633499 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16042] ppid=16024 vsize=10967196 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16042/stat : 16042 (java) R 16024 16027 9838 0 -1 4202560 3393 0 0 0 44 0 0 0 20 0 21 0 3453879 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526460203896 140527108903905 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16043] ppid=16024 vsize=10967196 CPUtime=0.43 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16043/stat : 16043 (java) R 16024 16027 9838 0 -1 4202560 2023 0 0 0 43 0 0 0 20 0 21 0 3453879 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526459154704 140527105920784 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16044] ppid=16024 vsize=10967196 CPUtime=0.44 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16044/stat : 16044 (java) R 16024 16027 9838 0 -1 4202560 2184 0 0 0 44 0 0 0 20 0 21 0 3453879 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526458098208 140527105790747 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16045] ppid=16024 vsize=10967196 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16045/stat : 16045 (java) S 16024 16027 9838 0 -1 1077944384 1703 0 0 0 28 1 0 0 20 0 21 0 3453879 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526457059696 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16046] ppid=16024 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16046/stat : 16046 (java) S 16024 16027 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3453879 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526456007392 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16047] ppid=16024 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16047/stat : 16047 (java) S 16024 16027 9838 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3453879 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526454954928 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16048] ppid=16024 vsize=10967196 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16048/stat : 16048 (java) S 16024 16027 9838 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 21 0 3454296 11230408704 277982 33554432000 4194304 4196468 140724426594240 140526453900720 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 18.78
Current children cumulated vsize (KiB) 10967196

[startup+4.60083 s]
/proc/loadavg: 1.63 2.45 3.56 6/257 16048
/proc/meminfo: memFree=30906060/32770624 swapFree=5648/219616
[pid=16027] ppid=16024 vsize=11100324 CPUtime=19.12 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 43465 0 0 0 1653 259 0 0 20 0 21 0 3453871 11366731776 278045 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2775081 278045 3138 1 0 2763475 0
[pid=16027/tid=16028] ppid=16024 vsize=11100324 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) S 16024 16027 9838 0 -1 1077944384 6829 0 0 0 195 9 0 0 20 0 21 0 3453871 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527128855584 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=11100324 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) S 16024 16027 9838 0 -1 1077944384 3297 0 0 0 151 31 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527050689296 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16030] ppid=16024 vsize=11100324 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16030/stat : 16030 (java) S 16024 16027 9838 0 -1 1077944384 3168 0 0 0 151 30 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527049636752 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16031] ppid=16024 vsize=11100324 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16031/stat : 16031 (java) S 16024 16027 9838 0 -1 1077944384 3214 0 0 0 152 30 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527048584208 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16032] ppid=16024 vsize=11100324 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16032/stat : 16032 (java) S 16024 16027 9838 0 -1 1077944384 3349 0 0 0 150 31 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527047531664 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16034] ppid=16024 vsize=11100324 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16034/stat : 16034 (java) S 16024 16027 9838 0 -1 1077944384 3554 0 0 0 146 30 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527046478096 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16035] ppid=16024 vsize=11100324 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16035/stat : 16035 (java) S 16024 16027 9838 0 -1 1077944384 3335 0 0 0 152 29 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527045425552 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16036] ppid=16024 vsize=11100324 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16036/stat : 16036 (java) S 16024 16027 9838 0 -1 1077944384 1779 0 0 0 154 29 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527044373008 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16037] ppid=16024 vsize=11100324 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16037/stat : 16037 (java) S 16024 16027 9838 0 -1 1077944384 2218 0 0 0 152 30 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527043320464 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16038] ppid=16024 vsize=11100324 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16038/stat : 16038 (java) S 16024 16027 9838 0 -1 1077944384 1866 0 0 0 60 0 0 0 20 0 21 0 3453875 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526464428528 140527124626050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16039] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16039/stat : 16039 (java) S 16024 16027 9838 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 3453875 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526463374816 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16040] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16040/stat : 16040 (java) S 16024 16027 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3453876 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526462322176 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16041] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16041/stat : 16041 (java) S 16024 16027 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526461270736 140527124633499 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16042] ppid=16024 vsize=11100324 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16042/stat : 16042 (java) S 16024 16027 9838 0 -1 1077944384 3414 0 0 0 51 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526460217328 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16043] ppid=16024 vsize=11100324 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16043/stat : 16043 (java) S 16024 16027 9838 0 -1 1077944384 2048 0 0 0 50 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526459164784 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16044] ppid=16024 vsize=11100324 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16044/stat : 16044 (java) S 16024 16027 9838 0 -1 1077944384 2196 0 0 0 51 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526458112240 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16045] ppid=16024 vsize=11100324 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16045/stat : 16045 (java) S 16024 16027 9838 0 -1 1077944384 1732 0 0 0 29 1 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526457059696 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16046] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16046/stat : 16046 (java) S 16024 16027 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526456007392 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16047] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16047/stat : 16047 (java) S 16024 16027 9838 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526454954928 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 19.12
Current children cumulated vsize (KiB) 11100324

[startup+4.70119 s]
/proc/loadavg: 1.63 2.45 3.56 6/257 16048
/proc/meminfo: memFree=30906060/32770624 swapFree=5648/219616
[pid=16027] ppid=16024 vsize=11100324 CPUtime=19.12 cores=0,2,4,6,8,10,12,14
/proc/16027/stat : 16027 (java) S 16024 16027 9838 0 -1 1077944320 43465 0 0 0 1653 259 0 0 20 0 21 0 3453871 11366731776 278045 33554432000 4194304 4196468 140724426594240 140724426576784 140527124614903 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
/proc/16027/statm: 2775081 278045 3138 1 0 2763475 0
[pid=16027/tid=16028] ppid=16024 vsize=11100324 CPUtime=2.04 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16028/stat : 16028 (java) S 16024 16027 9838 0 -1 1077944384 6829 0 0 0 195 9 0 0 20 0 21 0 3453871 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527128855584 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16029] ppid=16024 vsize=11100324 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16029/stat : 16029 (java) S 16024 16027 9838 0 -1 1077944384 3297 0 0 0 151 31 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527050689296 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16030] ppid=16024 vsize=11100324 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16030/stat : 16030 (java) S 16024 16027 9838 0 -1 1077944384 3168 0 0 0 151 30 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527049636752 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16031] ppid=16024 vsize=11100324 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16031/stat : 16031 (java) S 16024 16027 9838 0 -1 1077944384 3214 0 0 0 152 30 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527048584208 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16032] ppid=16024 vsize=11100324 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16032/stat : 16032 (java) S 16024 16027 9838 0 -1 1077944384 3349 0 0 0 150 31 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527047531664 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16034] ppid=16024 vsize=11100324 CPUtime=1.76 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16034/stat : 16034 (java) S 16024 16027 9838 0 -1 1077944384 3554 0 0 0 146 30 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527046478096 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16035] ppid=16024 vsize=11100324 CPUtime=1.81 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16035/stat : 16035 (java) S 16024 16027 9838 0 -1 1077944384 3335 0 0 0 152 29 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527045425552 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16036] ppid=16024 vsize=11100324 CPUtime=1.83 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16036/stat : 16036 (java) S 16024 16027 9838 0 -1 1077944384 1779 0 0 0 154 29 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527044373008 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16037] ppid=16024 vsize=11100324 CPUtime=1.82 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16037/stat : 16037 (java) S 16024 16027 9838 0 -1 1077944384 2218 0 0 0 152 30 0 0 20 0 21 0 3453872 11366731776 278045 33554432000 4194304 4196468 140724426594240 140527043320464 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16038] ppid=16024 vsize=11100324 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16038/stat : 16038 (java) S 16024 16027 9838 0 -1 1077944384 1866 0 0 0 60 0 0 0 20 0 21 0 3453875 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526464428528 140527124626050 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16039] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16039/stat : 16039 (java) S 16024 16027 9838 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 21 0 3453875 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526463374816 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16040] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16040/stat : 16040 (java) S 16024 16027 9838 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 21 0 3453876 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526462322176 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16041] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16041/stat : 16041 (java) S 16024 16027 9838 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526461270736 140527124633499 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16042] ppid=16024 vsize=11100324 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16042/stat : 16042 (java) S 16024 16027 9838 0 -1 1077944384 3414 0 0 0 51 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526460217328 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16043] ppid=16024 vsize=11100324 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16043/stat : 16043 (java) S 16024 16027 9838 0 -1 1077944384 2048 0 0 0 50 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526459164784 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16044] ppid=16024 vsize=11100324 CPUtime=0.51 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16044/stat : 16044 (java) S 16024 16027 9838 0 -1 1077944384 2196 0 0 0 51 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526458112240 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16045] ppid=16024 vsize=11100324 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16045/stat : 16045 (java) S 16024 16027 9838 0 -1 1077944384 1732 0 0 0 29 1 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526457059696 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16046] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16046/stat : 16046 (java) S 16024 16027 9838 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526456007392 140527124625109 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
[pid=16027/tid=16047] ppid=16024 vsize=11100324 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/16027/task/16047/stat : 16047 (java) S 16024 16027 9838 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 21 0 3453879 11366731776 278045 33554432000 4194304 4196468 140724426594240 140526454954928 140527124626050 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 9805824 140724426601643 140724426601796 140724426601796 140724426604495 0
Current children cumulated CPU time (s) 19.12
Current children cumulated vsize (KiB) 11100324

Child status: 0
Real time (s): 4.76443
CPU time (s): 19.1711
CPU user time (s): 16.556
CPU system time (s): 2.61511
CPU usage (%): 402.381
Max. virtual memory (cumulated for all children) (KiB): 11100324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.556
system time used= 2.61511
maximum resident set size= 1112728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43564
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3063
involuntary context switches= 1425

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048321 second user time and 0.064078 second system time

The end

Begin job on node114 at 2017-07-22 02:04:07
IDJOB=4244220
IDBENCH=138725
IDSOLVER=2623
FILE ID=node114/4244220-1500681847
RUNJOBID= node114-1500673057-14151
PBS_JOBID= 20623304
Free space on /tmp= 62012 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Domino/Domino-m1-s1/Domino-700-100.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244220-1500681847/watcher-4244220-1500681847 -o /tmp/evaluation-result-4244220-1500681847/solver-4244220-1500681847 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500673057-14151 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4244220-1500681847.xml

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

MD5SUM BENCH= afd68c385e5184dcb31c2a6fba91eaef
RANDOM SEED=1547695964

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

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

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

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

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.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.60
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.60
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:        32005152 kB
MemAvailable:   32030212 kB
Buffers:           49484 kB
Cached:           284640 kB
SwapCached:            0 kB
Active:           161312 kB
Inactive:         228452 kB
Active(anon):      58288 kB
Inactive(anon):     8852 kB
Active(file):     103024 kB
Inactive(file):   219600 kB
Unevictable:        5648 kB
Mlocked:            5648 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1872 kB
Writeback:            20 kB
AnonPages:         85160 kB
Mapped:            28796 kB
Shmem:              8848 kB
Slab:              69468 kB
SReclaimable:      36544 kB
SUnreclaim:        32924 kB
KernelStack:        4352 kB
PageTables:         4040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     308764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 62008 MiB
End job on node114 at 2017-07-22 02:04:12

Name	Domino/ Domino-m1-s1/Domino-700-100.xml
MD5SUM	afd68c385e5184dcb31c2a6fba91eaef
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.01282
Satisfiable
(Un)Satisfiability was proved
Number of variables	700
Number of constraints	2
Number of domains	1
Minimum domain size	100
Maximum domain size	100
Distribution of domain sizes	[{"size":100,"count":700}]
Minimum variable degree	1
Maximum variable degree	2
Distribution of variable degrees	[{"degree":1,"count":698},{"degree":2,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	700
Distribution of constraint arities	[{"arity":2,"count":1},{"arity":700,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	1
Distribution of constraint types	[{"type":"intension","count":1},{"type":"allEqual","count":1}]
Optimization problem	NO
Type of objective

Trace number 4244220

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data