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	?	889.595	144.531

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-4243783-1500675895/watcher-4243783-1500675895 -o /tmp/evaluation-result-4243783-1500675895/solver-4243783-1500675895 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500673476-5597 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243783-1500675895.xml 

pid=6202
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.20 2.03 1.97 3/262 6205
/proc/meminfo: memFree=31933720/32770624 swapFree=5780/227228
[pid=6205] ppid=6202 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 2075 0 0 0 0 0 0 0 20 0 2 0 2857211 8550137856 2310 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2087436 2310 1197 1 0 2076347 0
[pid=6205/tid=6206] ppid=6202 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2448 0 -1 4202560 855 0 0 0 0 0 0 0 20 0 2 0 2857211 8550137856 2376 33554432000 4194304 4196468 140727294704176 140143471245728 140143459293088 0 4 0 16784584 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0

[startup+0.10016 s]
/proc/loadavg: 2.20 2.03 1.97 3/262 6205
/proc/meminfo: memFree=31933720/32770624 swapFree=5780/227228
[pid=6205] ppid=6202 vsize=10900556 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 5019 0 0 0 9 1 0 0 20 0 20 0 2857211 11162169344 6100 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2725139 6100 2631 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2448 0 -1 4202560 3107 0 0 0 8 0 0 0 20 0 20 0 2857211 11162169344 6100 33554432000 4194304 4196468 140727294704176 140143471241216 140143467025565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10900556

[startup+0.200334 s]
/proc/loadavg: 2.20 2.03 1.97 3/262 6205
/proc/meminfo: memFree=31933720/32770624 swapFree=5780/227228
[pid=6205] ppid=6202 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 7375 0 0 0 23 3 0 0 20 0 20 0 2857211 11162169344 8539 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2725139 8539 2888 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2448 0 -1 4202560 4953 0 0 0 16 1 0 0 20 0 20 0 2857211 11162169344 8539 33554432000 4194304 4196468 140727294704176 140143471215472 140143451084126 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300291 s]
/proc/loadavg: 2.20 2.03 1.97 3/262 6205
/proc/meminfo: memFree=31933720/32770624 swapFree=5780/227228
[pid=6205] ppid=6202 vsize=10900556 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 9952 0 0 0 53 3 0 0 20 0 20 0 2857211 11162169344 12072 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2725139 12072 3006 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2448 0 -1 4202560 5222 0 0 0 26 1 0 0 20 0 20 0 2857211 11162169344 12072 33554432000 4194304 4196468 140727294704176 140143471234176 140143467025565 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10900556

[startup+0.700233 s]
/proc/loadavg: 2.20 2.03 1.97 3/262 6205
/proc/meminfo: memFree=31933720/32770624 swapFree=5780/227228
[pid=6205] ppid=6202 vsize=10900632 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 12381 0 0 0 183 5 0 0 20 0 20 0 2857211 11162247168 26809 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2725158 26809 3076 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900632 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2448 0 -1 4202560 5778 0 0 0 63 2 0 0 20 0 20 0 2857211 11162247168 26809 33554432000 4194304 4196468 140727294704176 140143471238472 140143058207837 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10900632

[startup+1.50084 s]
/proc/loadavg: 2.20 2.03 1.97 6/282 6225
/proc/meminfo: memFree=31737424/32770624 swapFree=5780/227636
[pid=6205] ppid=6202 vsize=10900632 CPUtime=5.52 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 16561 0 0 0 479 73 0 0 20 0 20 0 2857211 11162247168 159349 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2725158 159349 3132 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900632 CPUtime=1.28 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) R 6202 6205 2448 0 -1 1077944384 6306 0 0 0 119 9 0 0 20 0 20 0 2857211 11162247168 159349 33554432000 4194304 4196468 140727294704176 140143471240816 140143467013845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6208] ppid=6202 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6208/stat : 6208 (java) S 6202 6205 2448 0 -1 1077944384 134 0 0 0 5 8 0 0 20 0 20 0 2857212 11162247168 159349 33554432000 4194304 4196468 140727294704176 140143393077776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6209] ppid=6202 vsize=10900632 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6209/stat : 6209 (java) S 6202 6205 2448 0 -1 1077944384 125 0 0 0 5 6 0 0 20 0 20 0 2857212 11162247168 159349 33554432000 4194304 4196468 140727294704176 140143392025232 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6210] ppid=6202 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6210/stat : 6210 (java) S 6202 6205 2448 0 -1 1077944384 151 0 0 0 5 7 0 0 20 0 20 0 2857212 11162247168 159349 33554432000 4194304 4196468 140727294704176 140143390972176 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6211] ppid=6202 vsize=10900632 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6211/stat : 6211 (java) S 6202 6205 2448 0 -1 1077944384 161 0 0 0 6 8 0 0 20 0 20 0 2857212 11162247168 159349 33554432000 4194304 4196468 140727294704176 140143389919632 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6212] ppid=6202 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6212/stat : 6212 (java) S 6202 6205 2448 0 -1 1077944384 196 0 0 0 6 7 0 0 20 0 20 0 2857212 11162247168 159349 33554432000 4194304 4196468 140727294704176 140143388867600 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6213] ppid=6202 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6213/stat : 6213 (java) S 6202 6205 2448 0 -1 1077944384 144 0 0 0 6 7 0 0 20 0 20 0 2857212 11162247168 159349 33554432000 4194304 4196468 140727294704176 140143387815056 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6214] ppid=6202 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6214/stat : 6214 (java) S 6202 6205 2448 0 -1 1077944384 122 0 0 0 6 6 0 0 20 0 20 0 2857212 11162247168 159349 33554432000 4194304 4196468 140727294704176 140143386762000 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6215] ppid=6202 vsize=10900632 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6215/stat : 6215 (java) S 6202 6205 2448 0 -1 1077944384 113 0 0 0 6 7 0 0 20 0 20 0 2857212 11162247168 159349 33554432000 4194304 4196468 140727294704176 140143385709456 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6216] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2448 0 -1 1077944384 470 0 0 0 0 0 0 0 20 0 20 0 2857215 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142807398640 140143467014786 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6217] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6217/stat : 6217 (java) S 6202 6205 2448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2857215 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142806344928 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6218] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6218/stat : 6218 (java) S 6202 6205 2448 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2857216 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142805291776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6219] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6219/stat : 6219 (java) S 6202 6205 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2857219 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142804240336 140143467022235 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6220] ppid=6202 vsize=10900632 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6220/stat : 6220 (java) S 6202 6205 2448 0 -1 1077944384 2065 0 0 0 92 0 0 0 20 0 20 0 2857219 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142803188464 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6221] ppid=6202 vsize=10900632 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6221/stat : 6221 (java) S 6202 6205 2448 0 -1 1077944384 1799 0 0 0 89 0 0 0 20 0 20 0 2857219 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142802135920 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6222] ppid=6202 vsize=10900632 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6222/stat : 6222 (java) S 6202 6205 2448 0 -1 1077944384 1899 0 0 0 88 0 0 0 20 0 20 0 2857219 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142801082864 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6223] ppid=6202 vsize=10900632 CPUtime=0.4 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6223/stat : 6223 (java) S 6202 6205 2448 0 -1 1077944384 1513 0 0 0 40 0 0 0 20 0 20 0 2857219 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142800030320 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 3 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6224] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6224/stat : 6224 (java) S 6202 6205 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2857220 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142798977504 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6225] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6225/stat : 6225 (java) S 6202 6205 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2857220 11162247168 159349 33554432000 4194304 4196468 140727294704176 140142797925040 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 10900632

[startup+3.10089 s]
/proc/loadavg: 2.20 2.03 1.97 4/282 6225
/proc/meminfo: memFree=31303524/32770624 swapFree=5780/227648
[pid=6205] ppid=6202 vsize=10900632 CPUtime=12.67 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 19348 0 0 0 1047 220 0 0 20 0 20 0 2857211 11162247168 238513 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2725158 238513 3145 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900632 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) S 6202 6205 2448 0 -1 1077944384 6506 0 0 0 211 9 0 0 20 0 20 0 2857211 11162247168 238513 33554432000 4194304 4196468 140727294704176 140143471239776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6208] ppid=6202 vsize=10900632 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6208/stat : 6208 (java) R 6202 6205 2448 0 -1 4202560 313 0 0 0 54 26 0 0 20 0 20 0 2857212 11162247168 238513 33554432000 4194304 4196468 140727294704176 140143393077976 140143459631847 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6209] ppid=6202 vsize=10900632 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6209/stat : 6209 (java) R 6202 6205 2448 0 -1 4202560 399 0 0 0 53 25 0 0 20 0 20 0 2857212 11162247168 238513 33554432000 4194304 4196468 140727294704176 140143392025432 140143459631847 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6210] ppid=6202 vsize=10900632 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6210/stat : 6210 (java) R 6202 6205 2448 0 -1 4202560 400 0 0 0 54 25 0 0 20 0 20 0 2857212 11162247168 238513 33554432000 4194304 4196468 140727294704176 140143390972376 140143459631847 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6211] ppid=6202 vsize=10900632 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6211/stat : 6211 (java) R 6202 6205 2448 0 -1 4202560 336 0 0 0 55 26 0 0 20 0 20 0 2857212 11162247168 238513 33554432000 4194304 4196468 140727294704176 140143389919752 140143450386674 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6212] ppid=6202 vsize=10900632 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6212/stat : 6212 (java) R 6202 6205 2448 0 -1 4202560 354 0 0 0 54 26 0 0 20 0 20 0 2857212 11162247168 238513 33554432000 4194304 4196468 140727294704176 140143388867800 140143459631847 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6213] ppid=6202 vsize=10900632 CPUtime=0.79 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6213/stat : 6213 (java) R 6202 6205 2448 0 -1 4202560 375 0 0 0 54 25 0 0 20 0 20 0 2857212 11162247168 238513 33554432000 4194304 4196468 140727294704176 140143387815256 140143459631847 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6214] ppid=6202 vsize=10900632 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6214/stat : 6214 (java) R 6202 6205 2448 0 -1 4202560 567 0 0 0 54 24 0 0 20 0 20 0 2857212 11162247168 238513 33554432000 4194304 4196468 140727294704176 140143386761888 140143451704376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6215] ppid=6202 vsize=10900632 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6215/stat : 6215 (java) R 6202 6205 2448 0 -1 4202560 312 0 0 0 53 25 0 0 20 0 20 0 2857212 11162247168 238513 33554432000 4194304 4196468 140727294704176 140143385709656 140143459631847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6216] ppid=6202 vsize=10900632 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2448 0 -1 1077944384 629 0 0 0 1 0 0 0 20 0 20 0 2857215 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142807397184 140143467013845 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6217] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6217/stat : 6217 (java) S 6202 6205 2448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2857215 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142806344928 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6218] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6218/stat : 6218 (java) S 6202 6205 2448 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2857216 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142805291776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6219] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6219/stat : 6219 (java) S 6202 6205 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2857219 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142804240336 140143467022235 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6220] ppid=6202 vsize=10900632 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6220/stat : 6220 (java) S 6202 6205 2448 0 -1 1077944384 2150 0 0 0 117 0 0 0 20 0 20 0 2857219 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142803188464 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 2 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6221] ppid=6202 vsize=10900632 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6221/stat : 6221 (java) S 6202 6205 2448 0 -1 1077944384 1844 0 0 0 113 0 0 0 20 0 20 0 2857219 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142802135920 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6222] ppid=6202 vsize=10900632 CPUtime=1.13 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6222/stat : 6222 (java) S 6202 6205 2448 0 -1 1077944384 1960 0 0 0 113 0 0 0 20 0 20 0 2857219 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142801067856 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6223] ppid=6202 vsize=10900632 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6223/stat : 6223 (java) S 6202 6205 2448 0 -1 1077944384 1836 0 0 0 54 1 0 0 20 0 20 0 2857219 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142800030320 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 3 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6224] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6224/stat : 6224 (java) S 6202 6205 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2857220 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142798977504 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6225] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6225/stat : 6225 (java) S 6202 6205 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2857220 11162247168 238513 33554432000 4194304 4196468 140727294704176 140142797925040 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 4 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 10900632

[startup+6.30099 s]
/proc/loadavg: 2.75 2.14 2.01 10/282 6225
/proc/meminfo: memFree=30589904/32770624 swapFree=5780/227648
[pid=6205] ppid=6202 vsize=10900632 CPUtime=26.19 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 24307 0 0 0 2154 465 0 0 20 0 20 0 2857211 11162247168 448880 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2725158 448880 3152 1 0 2713552 0
[pid=6205/tid=6206] ppid=6202 vsize=10900632 CPUtime=3.58 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) S 6202 6205 2448 0 -1 1077944384 7843 0 0 0 344 14 0 0 20 0 20 0 2857211 11162247168 448880 33554432000 4194304 4196468 140727294704176 140143471239920 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6208] ppid=6202 vsize=10900632 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6208/stat : 6208 (java) R 6202 6205 2448 0 -1 4202560 699 0 0 0 168 56 0 0 20 0 20 0 2857212 11162247168 448880 33554432000 4194304 4196468 140727294704176 140143393077976 140143451701264 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6209] ppid=6202 vsize=10900632 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6209/stat : 6209 (java) R 6202 6205 2448 0 -1 4202560 813 0 0 0 167 56 0 0 20 0 20 0 2857212 11162247168 448880 33554432000 4194304 4196468 140727294704176 140143392025432 140143451955247 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6210] ppid=6202 vsize=10900632 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6210/stat : 6210 (java) R 6202 6205 2448 0 -1 4202560 703 0 0 0 168 56 0 0 20 0 20 0 2857212 11162247168 448880 33554432000 4194304 4196468 140727294704176 140143390972064 140143451458282 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6211] ppid=6202 vsize=10900632 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6211/stat : 6211 (java) R 6202 6205 2448 0 -1 4202560 825 0 0 0 166 55 0 0 20 0 20 0 2857212 11162247168 448880 33554432000 4194304 4196468 140727294704176 140143389919832 140143451701414 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6212] ppid=6202 vsize=10900632 CPUtime=2.25 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6212/stat : 6212 (java) R 6202 6205 2448 0 -1 4202560 630 0 0 0 168 57 0 0 20 0 20 0 2857212 11162247168 448880 33554432000 4194304 4196468 140727294704176 140143388867800 140143451701318 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6213] ppid=6202 vsize=10900632 CPUtime=2.24 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6213/stat : 6213 (java) R 6202 6205 2448 0 -1 4202560 835 0 0 0 171 53 0 0 20 0 20 0 2857212 11162247168 448880 33554432000 4194304 4196468 140727294704176 140143387815256 140143451988935 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6214] ppid=6202 vsize=10900632 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6214/stat : 6214 (java) R 6202 6205 2448 0 -1 4202560 915 0 0 0 169 54 0 0 20 0 20 0 2857212 11162247168 448880 33554432000 4194304 4196468 140727294704176 140143386762200 140143448600301 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6215] ppid=6202 vsize=10900632 CPUtime=2.23 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6215/stat : 6215 (java) R 6202 6205 2448 0 -1 4202560 594 0 0 0 168 55 0 0 20 0 20 0 2857212 11162247168 448880 33554432000 4194304 4196468 140727294704176 140143385709352 140143459631847 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6216] ppid=6202 vsize=10900632 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2448 0 -1 1077944384 1253 0 0 0 38 0 0 0 20 0 20 0 2857215 11162247168 448880 33554432000 4194304 4196468 140727294704176 140142807396960 140143467013845 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6217] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6217/stat : 6217 (java) S 6202 6205 2448 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 2857215 11162247168 448880 33554432000 4194304 4196468 140727294704176 140142806344928 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6218] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6218/stat : 6218 (java) S 6202 6205 2448 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 2857216 11162247168 448880 33554432000 4194304 4196468 140727294704176 140142805291776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6219] ppid=6202 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

/proc/6205/task/6223/stat : 6223 (java) S 6202 6205 2448 0 -1 1077944384 5076 0 0 0 65 1 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142800030368 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 3 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6224] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6224/stat : 6224 (java) S 6202 6205 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2857220 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142798977504 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6225] ppid=6202 vsize=11035960 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6225/stat : 6225 (java) S 6202 6205 2448 0 -1 1077944384 217 0 0 0 3 2 0 0 20 0 21 0 2857220 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142797925040 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 4 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6316] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6316/stat : 6316 (java) S 6202 6205 2448 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 2870774 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142794770768 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 877.68
Current children cumulated vsize (KiB) 11035960

[startup+143.201 s]
/proc/loadavg: 11.73 5.60 3.29 17/282 6317
/proc/meminfo: memFree=15253396/32770624 swapFree=5780/228764
[pid=6205] ppid=6202 vsize=11035960 CPUtime=884.05 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 507870 0 2 0 85538 2867 0 0 20 0 21 0 2857211 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2758990 2088059 3216 1 0 2747346 0
[pid=6205/tid=6206] ppid=6202 vsize=11035960 CPUtime=17.07 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) S 6202 6205 2448 0 -1 1077944384 30159 0 2 0 1690 17 0 0 20 0 21 0 2857211 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143471244320 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 1 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6208] ppid=6202 vsize=11035960 CPUtime=104.6 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6208/stat : 6208 (java) R 6202 6205 2448 0 -1 4202560 49290 0 0 0 10102 358 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143393077976 140143451993235 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6209] ppid=6202 vsize=11035960 CPUtime=104.76 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6209/stat : 6209 (java) R 6202 6205 2448 0 -1 4202560 51472 0 0 0 10124 352 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143392025352 140143451704272 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6210] ppid=6202 vsize=11035960 CPUtime=104.98 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6210/stat : 6210 (java) R 6202 6205 2448 0 -1 4202560 57873 0 0 0 10149 349 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143390972296 140143452000117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6211] ppid=6202 vsize=11035960 CPUtime=105.15 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6211/stat : 6211 (java) R 6202 6205 2448 0 -1 4202560 53297 0 0 0 10166 349 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143389919832 140143451704355 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6212] ppid=6202 vsize=11035960 CPUtime=104.79 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6212/stat : 6212 (java) R 6202 6205 2448 0 -1 4202560 55128 0 0 0 10126 353 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143388867800 140143451704224 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6213] ppid=6202 vsize=11035960 CPUtime=104.72 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6213/stat : 6213 (java) R 6202 6205 2448 0 -1 4202560 44250 0 0 0 10109 363 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143387815176 140143452000006 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6214] ppid=6202 vsize=11035960 CPUtime=105.04 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6214/stat : 6214 (java) R 6202 6205 2448 0 -1 4202560 51070 0 0 0 10162 342 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143386762200 140143451704335 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6215] ppid=6202 vsize=11035960 CPUtime=104.85 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6215/stat : 6215 (java) R 6202 6205 2448 0 -1 4202560 45047 0 0 0 10118 367 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143385709656 140143451704286 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6216] ppid=6202 vsize=11035960 CPUtime=19.2 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6216/stat : 6216 (java) S 6202 6205 2448 0 -1 1077944384 34092 0 0 0 1919 1 0 0 20 0 21 0 2857215 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142807397184 140143467013845 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6217] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6217/stat : 6217 (java) S 6202 6205 2448 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 2857215 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142806344928 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6218] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6218/stat : 6218 (java) S 6202 6205 2448 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 21 0 2857216 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142805291776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6219] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6219/stat : 6219 (java) S 6202 6205 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142804240336 140143467022235 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6220] ppid=6202 vsize=11035960 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6220/stat : 6220 (java) S 6202 6205 2448 0 -1 1077944384 9275 0 0 0 249 2 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142803188512 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 2 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6221] ppid=6202 vsize=11035960 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6221/stat : 6221 (java) S 6202 6205 2448 0 -1 1077944384 12399 0 0 0 296 2 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142802135968 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6222] ppid=6202 vsize=11035960 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6222/stat : 6222 (java) S 6202 6205 2448 0 -1 1077944384 7730 0 0 0 252 1 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142801082624 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6223] ppid=6202 vsize=11035960 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6223/stat : 6223 (java) S 6202 6205 2448 0 -1 1077944384 5076 0 0 0 65 1 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142800030368 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 3 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6224] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6224/stat : 6224 (java) S 6202 6205 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2857220 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142798977504 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6225] ppid=6202 vsize=11035960 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6225/stat : 6225 (java) S 6202 6205 2448 0 -1 1077944384 217 0 0 0 3 2 0 0 20 0 21 0 2857220 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142797925040 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 4 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6316] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6316/stat : 6316 (java) S 6202 6205 2448 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 2870774 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142794770768 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 884.05
Current children cumulated vsize (KiB) 11035960

[startup+144.001 s]
/proc/loadavg: 11.73 5.60 3.29 17/282 6317
/proc/meminfo: memFree=15253396/32770624 swapFree=5780/228764
[pid=6205] ppid=6202 vsize=11035960 CPUtime=889.06 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 508048 0 2 0 86039 2867 0 0 20 0 21 0 2857211 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2758990 2088059 3216 1 0 2747346 0
[pid=6205/tid=6206] ppid=6202 vsize=11035960 CPUtime=17.07 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) S 6202 6205 2448 0 -1 1077944384 30159 0 2 0 1690 17 0 0 20 0 21 0 2857211 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143471244320 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 1 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6208] ppid=6202 vsize=11035960 CPUtime=105.2 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6208/stat : 6208 (java) S 6202 6205 2448 0 -1 1077944384 49290 0 0 0 10162 358 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143393077776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6209] ppid=6202 vsize=11035960 CPUtime=105.37 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6209/stat : 6209 (java) S 6202 6205 2448 0 -1 1077944384 51472 0 0 0 10185 352 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143392025232 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6210] ppid=6202 vsize=11035960 CPUtime=105.58 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6210/stat : 6210 (java) S 6202 6205 2448 0 -1 1077944384 57873 0 0 0 10209 349 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143390972176 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6211] ppid=6202 vsize=11035960 CPUtime=105.76 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6211/stat : 6211 (java) S 6202 6205 2448 0 -1 1077944384 53297 0 0 0 10227 349 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143389919632 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6212] ppid=6202 vsize=11035960 CPUtime=105.39 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6212/stat : 6212 (java) S 6202 6205 2448 0 -1 1077944384 55128 0 0 0 10186 353 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143388867600 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6213] ppid=6202 vsize=11035960 CPUtime=105.32 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6213/stat : 6213 (java) S 6202 6205 2448 0 -1 1077944384 44250 0 0 0 10169 363 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143387815056 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6214] ppid=6202 vsize=11035960 CPUtime=105.64 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6214/stat : 6214 (java) S 6202 6205 2448 0 -1 1077944384 51070 0 0 0 10222 342 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143386762000 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6215] ppid=6202 vsize=11035960 CPUtime=105.44 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6215/stat : 6215 (java) S 6202 6205 2448 0 -1 1077944384 45047 0 0 0 10177 367 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143385709456 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6216] ppid=6202 vsize=11035960 CPUtime=19.4 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6216/stat : 6216 (java) R 6202 6205 2448 0 -1 4202560 34270 0 0 0 1939 1 0 0 20 0 21 0 2857215 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142807397072 140143452000192 0 0 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6217] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6217/stat : 6217 (java) S 6202 6205 2448 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 2857215 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142806344928 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6218] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6218/stat : 6218 (java) S 6202 6205 2448 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 21 0 2857216 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142805291776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6219] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6219/stat : 6219 (java) S 6202 6205 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142804240336 140143467022235 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6220] ppid=6202 vsize=11035960 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6220/stat : 6220 (java) S 6202 6205 2448 0 -1 1077944384 9275 0 0 0 249 2 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142803188512 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 2 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6221] ppid=6202 vsize=11035960 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6221/stat : 6221 (java) S 6202 6205 2448 0 -1 1077944384 12399 0 0 0 296 2 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142802135968 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6222] ppid=6202 vsize=11035960 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6222/stat : 6222 (java) S 6202 6205 2448 0 -1 1077944384 7730 0 0 0 252 1 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142801082624 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6223] ppid=6202 vsize=11035960 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6223/stat : 6223 (java) S 6202 6205 2448 0 -1 1077944384 5076 0 0 0 65 1 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142800030368 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 3 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6224] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6224/stat : 6224 (java) S 6202 6205 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2857220 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142798977504 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6225] ppid=6202 vsize=11035960 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6225/stat : 6225 (java) S 6202 6205 2448 0 -1 1077944384 217 0 0 0 3 2 0 0 20 0 21 0 2857220 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142797925040 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 4 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6316] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6316/stat : 6316 (java) S 6202 6205 2448 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 2870774 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142794770768 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 889.06
Current children cumulated vsize (KiB) 11035960

[startup+144.401 s]
/proc/loadavg: 12.07 5.77 3.35 10/282 6317
/proc/meminfo: memFree=15253396/32770624 swapFree=5780/228764
[pid=6205] ppid=6202 vsize=11035960 CPUtime=889.46 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) S 6202 6205 2448 0 -1 1077944320 508048 0 2 0 86079 2867 0 0 20 0 21 0 2857211 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140727294686720 140143467003639 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
/proc/6205/statm: 2758990 2088059 3216 1 0 2747346 0
[pid=6205/tid=6206] ppid=6202 vsize=11035960 CPUtime=17.07 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6206/stat : 6206 (java) S 6202 6205 2448 0 -1 1077944384 30159 0 2 0 1690 17 0 0 20 0 21 0 2857211 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143471244320 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 1 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6208] ppid=6202 vsize=11035960 CPUtime=105.2 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6208/stat : 6208 (java) S 6202 6205 2448 0 -1 1077944384 49290 0 0 0 10162 358 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143393077776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6209] ppid=6202 vsize=11035960 CPUtime=105.37 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6209/stat : 6209 (java) S 6202 6205 2448 0 -1 1077944384 51472 0 0 0 10185 352 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143392025232 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6210] ppid=6202 vsize=11035960 CPUtime=105.58 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6210/stat : 6210 (java) S 6202 6205 2448 0 -1 1077944384 57873 0 0 0 10209 349 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143390972176 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6211] ppid=6202 vsize=11035960 CPUtime=105.76 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6211/stat : 6211 (java) S 6202 6205 2448 0 -1 1077944384 53297 0 0 0 10227 349 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143389919632 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6212] ppid=6202 vsize=11035960 CPUtime=105.39 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6212/stat : 6212 (java) S 6202 6205 2448 0 -1 1077944384 55128 0 0 0 10186 353 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143388867600 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6213] ppid=6202 vsize=11035960 CPUtime=105.32 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6213/stat : 6213 (java) S 6202 6205 2448 0 -1 1077944384 44250 0 0 0 10169 363 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143387815056 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6214] ppid=6202 vsize=11035960 CPUtime=105.64 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6214/stat : 6214 (java) S 6202 6205 2448 0 -1 1077944384 51070 0 0 0 10222 342 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143386762000 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6215] ppid=6202 vsize=11035960 CPUtime=105.44 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6215/stat : 6215 (java) S 6202 6205 2448 0 -1 1077944384 45047 0 0 0 10177 367 0 0 20 0 21 0 2857212 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140143385709456 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6216] ppid=6202 vsize=11035960 CPUtime=19.8 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6216/stat : 6216 (java) R 6202 6205 2448 0 -1 4202560 34270 0 0 0 1979 1 0 0 20 0 21 0 2857215 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142807397072 140143451461261 0 0 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6217] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6217/stat : 6217 (java) S 6202 6205 2448 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 21 0 2857215 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142806344928 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6218] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6218/stat : 6218 (java) S 6202 6205 2448 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 21 0 2857216 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142805291776 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6219] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6219/stat : 6219 (java) S 6202 6205 2448 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142804240336 140143467022235 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6220] ppid=6202 vsize=11035960 CPUtime=2.51 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6220/stat : 6220 (java) S 6202 6205 2448 0 -1 1077944384 9275 0 0 0 249 2 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142803188512 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 2 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6221] ppid=6202 vsize=11035960 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6221/stat : 6221 (java) S 6202 6205 2448 0 -1 1077944384 12399 0 0 0 296 2 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142802135968 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6222] ppid=6202 vsize=11035960 CPUtime=2.53 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6222/stat : 6222 (java) S 6202 6205 2448 0 -1 1077944384 7730 0 0 0 252 1 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142801082624 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6223] ppid=6202 vsize=11035960 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6223/stat : 6223 (java) S 6202 6205 2448 0 -1 1077944384 5076 0 0 0 65 1 0 0 20 0 21 0 2857219 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142800030368 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 3 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6224] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6224/stat : 6224 (java) S 6202 6205 2448 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2857220 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142798977504 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6225] ppid=6202 vsize=11035960 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6225/stat : 6225 (java) S 6202 6205 2448 0 -1 1077944384 217 0 0 0 3 2 0 0 20 0 21 0 2857220 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142797925040 140143467014786 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 4 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
[pid=6205/tid=6316] ppid=6202 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6316/stat : 6316 (java) S 6202 6205 2448 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 2870774 11300823040 2088059 33554432000 4194304 4196468 140727294704176 140142794770768 140143467013845 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34955264 140727294706859 140727294707012 140727294707012 140727294709711 0
Current children cumulated CPU time (s) 889.46
Current children cumulated vsize (KiB) 11035960

[startup+144.501 s]
/proc/loadavg: 12.07 5.77 3.35 10/282 6317
/proc/meminfo: memFree=15253396/32770624 swapFree=5780/228764
[pid=6205] ppid=6202 vsize=0 CPUtime=889.55 cores=0,2,4,6,8,10,12,14
/proc/6205/stat : 6205 (java) Z 6202 6205 2448 0 -1 4227084 508117 0 2 0 86086 2869 0 0 20 0 2 0 2857211 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6205/statm: 0 0 0 0 0 0 0
[pid=6205/tid=6212] ppid=6202 vsize=0 CPUtime=105.41 cores=0,2,4,6,8,10,12,14
/proc/6205/task/6212/stat : 6212 (java) R 6202 6205 2448 0 -1 4203588 55128 0 0 0 10186 355 0 0 20 0 2 0 2857212 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 10 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 889.55
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 144.531
CPU time (s): 889.595
CPU user time (s): 860.869
CPU system time (s): 28.7265
CPU usage (%): 615.503
Max. virtual memory (cumulated for all children) (KiB): 11035960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 860.869
system time used= 28.7265
maximum resident set size= 8352352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508117
page faults= 2
swaps= 0
block input operations= 1896
block output operations= 264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 17932
involuntary context switches= 77363

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.25502 second user time and 1.52638 second system time

The end

Begin job on node124 at 2017-07-22 00:24:55
IDJOB=4243783
IDBENCH=126934
IDSOLVER=2623
FILE ID=node124/4243783-1500675895
RUNJOBID= node124-1500673476-5597
PBS_JOBID= 20623296
Free space on /tmp= 62008 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/Haystacks/Haystacks-m1-s1/Haystacks-42.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243783-1500675895/watcher-4243783-1500675895 -o /tmp/evaluation-result-4243783-1500675895/solver-4243783-1500675895 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500673476-5597 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243783-1500675895.xml

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

MD5SUM BENCH= 577152cdcea6c8cfe7178c788ad80cb4
RANDOM SEED=1115349464

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

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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

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

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 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:        31934420 kB
MemAvailable:   31941256 kB
Buffers:           41680 kB
Cached:           277072 kB
SwapCached:            0 kB
Active:           232944 kB
Inactive:         235948 kB
Active(anon):     152824 kB
Inactive(anon):     8720 kB
Active(file):      80120 kB
Inactive(file):   227228 kB
Unevictable:        5780 kB
Mlocked:            5780 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2948 kB
Writeback:             0 kB
AnonPages:        153824 kB
Mapped:            41632 kB
Shmem:              8840 kB
Slab:              62428 kB
SReclaimable:      30648 kB
SUnreclaim:        31780 kB
KernelStack:        4864 kB
PageTables:         6396 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1171088 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 62004 MiB
End job on node124 at 2017-07-22 00:27:19

Name	Haystacks/Haystacks-m1-s1/ Haystacks-42.xml
MD5SUM	577152cdcea6c8cfe7178c788ad80cb4
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	26.2085
Satisfiable
(Un)Satisfiability was proved
Number of variables	1764
Number of constraints	36203
Number of domains	1
Minimum domain size	42
Maximum domain size	42
Distribution of domain sizes	[{"size":42,"count":1764}]
Minimum variable degree	41
Maximum variable degree	42
Distribution of variable degrees	[{"degree":41,"count":1682},{"degree":42,"count":82}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":36203}]
Number of extensional constraints	0
Number of intensional constraints	36203
Distribution of constraint types	[{"type":"intension","count":36203}]
Optimization problem	NO
Type of objective

Trace number 4243783

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data