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

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: sat4j-CSP 2017-07-05	?		2267.33	334.34

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-4243696-1500675259/watcher-4243696-1500675259 -o /tmp/evaluation-result-4243696-1500675259/solver-4243696-1500675259 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500669538-5816 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243696-1500675259.xml 

pid=7181
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: 7.20 4.73 2.78 1/236 7184
/proc/meminfo: memFree=32138440/32770624 swapFree=5776/41288
[pid=7184] ppid=7181 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 1957 0 0 0 0 0 0 0 20 0 2 0 2793301 8550137856 2197 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2087436 2197 1197 1 0 2076347 0
[pid=7184/tid=7185] ppid=7181 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) R 7181 7184 2471 0 -1 4202560 748 0 0 0 0 0 0 0 20 0 2 0 2793301 8550137856 2329 33554432000 4194304 4196468 140731226497376 139844802935200 139844790982560 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0

[startup+0.100143 s]
/proc/loadavg: 7.20 4.73 2.78 1/236 7184
/proc/meminfo: memFree=32138440/32770624 swapFree=5776/41288
[pid=7184] ppid=7181 vsize=10900556 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 5052 0 0 0 9 0 0 0 20 0 20 0 2793301 11162169344 6609 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2725139 6609 2636 1 0 2713552 0
[pid=7184/tid=7185] ppid=7181 vsize=10900556 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) R 7181 7184 2471 0 -1 4202560 3121 0 0 0 8 0 0 0 20 0 20 0 2793301 11162169344 6609 33554432000 4194304 4196468 140731226497376 139844802928048 139844798715037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10900556

[startup+0.200468 s]
/proc/loadavg: 7.20 4.73 2.78 1/236 7184
/proc/meminfo: memFree=32138440/32770624 swapFree=5776/41288
[pid=7184] ppid=7181 vsize=10900556 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 7203 0 0 0 24 2 0 0 20 0 20 0 2793301 11162169344 9116 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2725139 9116 2880 1 0 2713552 0
[pid=7184/tid=7185] ppid=7181 vsize=10900556 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) R 7181 7184 2471 0 -1 4202560 4831 0 0 0 16 1 0 0 20 0 20 0 2793301 11162169344 9116 33554432000 4194304 4196468 140731226497376 139844802904880 139844798715037 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10900556

[startup+0.300356 s]
/proc/loadavg: 7.20 4.73 2.78 1/236 7184
/proc/meminfo: memFree=32138440/32770624 swapFree=5776/41288
[pid=7184] ppid=7181 vsize=10900556 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 10103 0 0 0 55 3 0 0 20 0 20 0 2793301 11162169344 12313 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2725139 12313 3025 1 0 2713552 0
[pid=7184/tid=7185] ppid=7181 vsize=10900556 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) R 7181 7184 2471 0 -1 4202560 5374 0 0 0 26 2 0 0 20 0 20 0 2793301 11162169344 12313 33554432000 4194304 4196468 140731226497376 139844802908512 139844782919408 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10900556

[startup+0.700274 s]
/proc/loadavg: 7.20 4.73 2.78 1/236 7184
/proc/meminfo: memFree=32138440/32770624 swapFree=5776/41288
[pid=7184] ppid=7181 vsize=10900632 CPUtime=2.13 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 13010 0 0 0 208 5 0 0 20 0 20 0 2793301 11162247168 28565 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2725158 28565 3091 1 0 2713552 0
[pid=7184/tid=7185] ppid=7181 vsize=10900632 CPUtime=0.67 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) R 7181 7184 2471 0 -1 4202560 5928 0 0 0 64 3 0 0 20 0 20 0 2793301 11162247168 28565 33554432000 4194304 4196468 140731226497376 139844802921944 139844424073656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 2.13
Current children cumulated vsize (KiB) 10900632

[startup+1.50074 s]
/proc/loadavg: 7.20 4.73 2.78 9/256 7204
/proc/meminfo: memFree=31874840/32770624 swapFree=5776/41548
[pid=7184] ppid=7181 vsize=10900632 CPUtime=4.79 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 14235 0 0 0 406 73 0 0 20 0 20 0 2793301 11162247168 107431 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2725158 107431 3123 1 0 2713552 0
[pid=7184/tid=7185] ppid=7181 vsize=10900632 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) S 7181 7184 2471 0 -1 1077944384 6084 0 0 0 121 5 0 0 20 0 20 0 2793301 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844802926448 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7187] ppid=7181 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7187/stat : 7187 (java) R 7181 7184 2471 0 -1 4202560 116 0 0 0 11 7 0 0 20 0 20 0 2793302 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844740697232 139844783720967 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7188] ppid=7181 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7188/stat : 7188 (java) R 7181 7184 2471 0 -1 1077944384 102 0 0 0 10 8 0 0 20 0 20 0 2793302 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844404435984 139844798703317 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7189] ppid=7181 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7189/stat : 7189 (java) R 7181 7184 2471 0 -1 4202560 104 0 0 0 10 8 0 0 20 0 20 0 2793302 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844403383184 139844783720967 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7190] ppid=7181 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7190/stat : 7190 (java) R 7181 7184 2471 0 -1 4202560 108 0 0 0 11 7 0 0 20 0 20 0 2793302 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844402330584 139844780319084 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7191] ppid=7181 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7191/stat : 7191 (java) R 7181 7184 2471 0 -1 4202560 94 0 0 0 10 7 0 0 20 0 20 0 2793302 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844401277784 139844783720967 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7192] ppid=7181 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7192/stat : 7192 (java) R 7181 7184 2471 0 -1 4202560 110 0 0 0 12 7 0 0 20 0 20 0 2793302 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844400224984 139844783720967 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7193] ppid=7181 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7193/stat : 7193 (java) R 7181 7184 2471 0 -1 4202560 111 0 0 0 11 8 0 0 20 0 20 0 2793302 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844399171984 139844783720967 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7194] ppid=7181 vsize=10900632 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7194/stat : 7194 (java) R 7181 7184 2471 0 -1 4202560 99 0 0 0 9 8 0 0 20 0 20 0 2793302 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844398119384 139844783720967 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7195] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7195/stat : 7195 (java) S 7181 7184 2471 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 20 0 2793304 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844341585312 139844798703317 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7196] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7196/stat : 7196 (java) S 7181 7184 2471 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2793305 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844340532768 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7197] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7197/stat : 7197 (java) S 7181 7184 2471 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2793305 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844339479920 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7198] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7198/stat : 7198 (java) S 7181 7184 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2793309 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844338428240 139844798711707 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7199] ppid=7181 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7199/stat : 7199 (java) S 7181 7184 2471 0 -1 1077944384 1457 0 0 0 47 0 0 0 20 0 20 0 2793309 11162247168 107431 33554432000 4194304 4196468 140731226497376 139844000934256 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7200] ppid=7181 vsize=10900632 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7200/stat : 7200 (java) S 7181 7184 2471 0 -1 1077944384 1448 0 0 0 59 0 0 0 20 0 20 0 2793309 11162247168 107431 33554432000 4194304 4196468 140731226497376 139843999881456 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7201] ppid=7181 vsize=10900632 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7201/stat : 7201 (java) S 7181 7184 2471 0 -1 1077944384 1161 0 0 0 54 0 0 0 20 0 20 0 2793309 11162247168 107431 33554432000 4194304 4196468 140731226497376 139843998828656 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7202] ppid=7181 vsize=10900632 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7202/stat : 7202 (java) S 7181 7184 2471 0 -1 1077944384 1792 0 0 0 34 0 0 0 20 0 20 0 2793309 11162247168 107431 33554432000 4194304 4196468 140731226497376 139843997775856 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7203] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7203/stat : 7203 (java) S 7181 7184 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2793309 11162247168 107431 33554432000 4194304 4196468 140731226497376 139843996724320 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7204] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7204/stat : 7204 (java) S 7181 7184 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2793309 11162247168 107431 33554432000 4194304 4196468 140731226497376 139843995671600 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 10900632

[startup+3.10178 s]
/proc/loadavg: 7.20 4.73 2.78 9/256 7204
/proc/meminfo: memFree=31530536/32770624 swapFree=5776/41548
[pid=7184] ppid=7181 vsize=10900632 CPUtime=13.16 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 18809 0 0 0 1098 218 0 0 20 0 20 0 2793301 11162247168 193012 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2725158 193012 3138 1 0 2713552 0
[pid=7184/tid=7185] ppid=7181 vsize=10900632 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) S 7181 7184 2471 0 -1 1077944384 6124 0 0 0 149 5 0 0 20 0 20 0 2793301 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844802927600 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7187] ppid=7181 vsize=10900632 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7187/stat : 7187 (java) R 7181 7184 2471 0 -1 4202560 365 0 0 0 90 25 0 0 20 0 20 0 2793302 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844740697432 139844783715232 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7188] ppid=7181 vsize=10900632 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7188/stat : 7188 (java) R 7181 7184 2471 0 -1 4202560 493 0 0 0 88 27 0 0 20 0 20 0 2793302 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844404436184 139844783714683 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7189] ppid=7181 vsize=10900632 CPUtime=1.15 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7189/stat : 7189 (java) R 7181 7184 2471 0 -1 4202560 634 0 0 0 89 26 0 0 20 0 20 0 2793302 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844403383384 139844783715232 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7190] ppid=7181 vsize=10900632 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7190/stat : 7190 (java) R 7181 7184 2471 0 -1 4202560 522 0 0 0 90 26 0 0 20 0 20 0 2793302 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844402330584 139844783715201 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7191] ppid=7181 vsize=10900632 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7191/stat : 7191 (java) R 7181 7184 2471 0 -1 4202560 548 0 0 0 88 24 0 0 20 0 20 0 2793302 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844401277784 139844783715201 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7192] ppid=7181 vsize=10900632 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7192/stat : 7192 (java) R 7181 7184 2471 0 -1 4202560 647 0 0 0 91 25 0 0 20 0 20 0 2793302 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844400224984 139844783715232 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7193] ppid=7181 vsize=10900632 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7193/stat : 7193 (java) R 7181 7184 2471 0 -1 4202560 1208 0 0 0 90 26 0 0 20 0 20 0 2793302 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844399172184 139844783737247 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7194] ppid=7181 vsize=10900632 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7194/stat : 7194 (java) R 7181 7184 2471 0 -1 4202560 526 0 0 0 88 26 0 0 20 0 20 0 2793302 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844398119072 139844783715220 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7195] ppid=7181 vsize=10900632 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7195/stat : 7195 (java) S 7181 7184 2471 0 -1 1077944384 515 0 0 0 34 0 0 0 20 0 20 0 2793304 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844341585312 139844798703317 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7196] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7196/stat : 7196 (java) S 7181 7184 2471 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2793305 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844340532832 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7197] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7197/stat : 7197 (java) S 7181 7184 2471 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2793305 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844339479936 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7198] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7198/stat : 7198 (java) S 7181 7184 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2793309 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844338428240 139844798711707 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7199] ppid=7181 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7199/stat : 7199 (java) S 7181 7184 2471 0 -1 1077944384 1457 0 0 0 47 0 0 0 20 0 20 0 2793309 11162247168 193012 33554432000 4194304 4196468 140731226497376 139844000934256 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7200] ppid=7181 vsize=10900632 CPUtime=0.59 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7200/stat : 7200 (java) S 7181 7184 2471 0 -1 1077944384 1448 0 0 0 59 0 0 0 20 0 20 0 2793309 11162247168 193012 33554432000 4194304 4196468 140731226497376 139843999881456 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7201] ppid=7181 vsize=10900632 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7201/stat : 7201 (java) S 7181 7184 2471 0 -1 1077944384 1162 0 0 0 55 0 0 0 20 0 20 0 2793309 11162247168 193012 33554432000 4194304 4196468 140731226497376 139843998828656 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7202] ppid=7181 vsize=10900632 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7202/stat : 7202 (java) S 7181 7184 2471 0 -1 1077944384 1793 0 0 0 34 0 0 0 20 0 20 0 2793309 11162247168 193012 33554432000 4194304 4196468 140731226497376 139843997775856 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7203] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7203/stat : 7203 (java) S 7181 7184 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2793309 11162247168 193012 33554432000 4194304 4196468 140731226497376 139843996724320 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7204] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7204/stat : 7204 (java) S 7181 7184 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2793309 11162247168 193012 33554432000 4194304 4196468 140731226497376 139843995671600 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 13.16
Current children cumulated vsize (KiB) 10900632

[startup+6.3008 s]
/proc/loadavg: 6.70 4.67 2.77 2/256 7204
/proc/meminfo: memFree=31028204/32770624 swapFree=5776/41556
[pid=7184] ppid=7181 vsize=10900632 CPUtime=26.75 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 26376 0 0 0 2313 362 0 0 20 0 20 0 2793301 11162247168 335710 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2725158 335710 3143 1 0 2713552 0
[pid=7184/tid=7185] ppid=7181 vsize=10900632 CPUtime=2.58 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) S 7181 7184 2471 0 -1 1077944384 7163 0 0 0 249 9 0 0 20 0 20 0 2793301 11162247168 335710 33554432000 4194304 4196468 140731226497376 139844802929568 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7187] ppid=7181 vsize=10900632 CPUtime=2.59 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7187/stat : 7187 (java) R 7181 7184 2471 0 -1 4202560 616 0 0 0 215 44 0 0 20 0 20 0 2793302 11162247168 335710 33554432000 4194304 4196468 140731226497376 139844740697432 139844780319059 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7188] ppid=7181 vsize=10900632 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7188/stat : 7188 (java) R 7181 7184 2471 0 -1 4202560 755 0 0 0 216 46 0 0 20 0 20 0 2793302 11162247168 335710 33554432000 4194304 4196468 140731226497376 139844404436184 139844783720985 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7189] ppid=7181 vsize=10900632 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7189/stat : 7189 (java) R 7181 7184 2471 0 -1 4202560 1052 0 0 0 218 45 0 0 20 0 20 0 2793302 11162247168 336222 33554432000 4194304 4196468 140731226497376 139844403383384 139844783720985 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7190] ppid=7181 vsize=10900632 CPUtime=2.64 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7190/stat : 7190 (java) R 7181 7184 2471 0 -1 4202560 802 0 0 0 221 43 0 0 20 0 20 0 2793302 11162247168 336222 33554432000 4194304 4196468 140731226497376 139844402330584 139844783720985 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7191] ppid=7181 vsize=10900632 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7191/stat : 7191 (java) R 7181 7184 2471 0 -1 4202560 816 0 0 0 219 41 0 0 20 0 20 0 2793302 11162247168 336222 33554432000 4194304 4196468 140731226497376 139844401277784 139844783720985 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7192] ppid=7181 vsize=10900632 CPUtime=2.62 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7192/stat : 7192 (java) R 7181 7184 2471 0 -1 4202560 1523 0 0 0 224 38 0 0 20 0 20 0 2793302 11162247168 336222 33554432000 4194304 4196468 140731226497376 139844400224984 139844783720985 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7193] ppid=7181 vsize=10900632 CPUtime=2.63 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7193/stat : 7193 (java) R 7181 7184 2471 0 -1 4202560 1488 0 0 0 218 45 0 0 20 0 20 0 2793302 11162247168 336222 33554432000 4194304 4196468 140731226497376 139844399172184 139844783720985 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7194] ppid=7181 vsize=10900632 CPUtime=2.6 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7194/stat : 7194 (java) R 7181 7184 2471 0 -1 4202560 1326 0 0 0 216 44 0 0 20 0 20 0 2793302 11162247168 336222 33554432000 4194304 4196468 140731226497376 139844398119072 139844783720985 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7195] ppid=7181 vsize=10900632 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7195/stat : 7195 (java) S 7181 7184 2471 0 -1 1077944384 2232 0 0 0 102 0 0 0 20 0 20 0 2793304 11162247168 336222 33554432000 4194304 4196468 140731226497376 139844341585312 139844798703317 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7196] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7196/stat : 7196 (java) S 7181 7184 2471 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 2793305 11162247168 336222 33554432000 4194304 4196468 140731226497376 139844340532832 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7197] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7197/stat : 7197 (java) S 7181 7184 2471 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 2793305 11162247168 336222 33554432000 4194304 4196468 140731226497376 139844339479936 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7198] ppid=7181 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14

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

[pid=7184/tid=7197] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7197/stat : 7197 (java) S 7181 7184 2471 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 2793305 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844339479936 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7198] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7198/stat : 7198 (java) S 7181 7184 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844338428240 139844798711707 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7199] ppid=7181 vsize=11035960 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7199/stat : 7199 (java) S 7181 7184 2471 0 -1 1077944384 2629 0 0 0 55 1 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844000934304 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7200] ppid=7181 vsize=11035960 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7200/stat : 7200 (java) S 7181 7184 2471 0 -1 1077944384 3013 0 0 0 70 1 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843999881216 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7201] ppid=7181 vsize=11035960 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7201/stat : 7201 (java) S 7181 7184 2471 0 -1 1077944384 1731 0 0 0 60 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843998828704 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7202] ppid=7181 vsize=11035960 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7202/stat : 7202 (java) S 7181 7184 2471 0 -1 1077944384 4568 0 0 0 42 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843997775904 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7203] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7203/stat : 7203 (java) S 7181 7184 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843996724320 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7204] ppid=7181 vsize=11035960 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7204/stat : 7204 (java) S 7181 7184 2471 0 -1 1077944384 742 0 0 0 7 5 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843995671600 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7209] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7209/stat : 7209 (java) S 7181 7184 2471 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 2822670 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843992518640 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 2266.58
Current children cumulated vsize (KiB) 11035960

[startup+334.001 s]
/proc/loadavg: 7.45 6.17 3.95 9/256 7211
/proc/meminfo: memFree=24033844/32770624 swapFree=5776/41592
[pid=7184] ppid=7181 vsize=11035960 CPUtime=2266.98 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 173722 0 0 0 224119 2579 0 0 20 0 21 0 2793301 11300823040 2025617 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2758990 2025617 3190 1 0 2747346 0
[pid=7184/tid=7185] ppid=7181 vsize=11035960 CPUtime=14.7 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) S 7181 7184 2471 0 -1 1077944384 15858 0 0 0 1460 10 0 0 20 0 21 0 2793301 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844802933792 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7187] ppid=7181 vsize=11035960 CPUtime=277.82 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7187/stat : 7187 (java) S 7181 7184 2471 0 -1 1077944384 12966 0 0 0 27483 299 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844740697232 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7188] ppid=7181 vsize=11035960 CPUtime=275.76 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7188/stat : 7188 (java) S 7181 7184 2471 0 -1 1077944384 9649 0 0 0 27257 319 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844404435984 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7189] ppid=7181 vsize=11035960 CPUtime=276.09 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7189/stat : 7189 (java) S 7181 7184 2471 0 -1 1077944384 9307 0 0 0 27287 322 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844403383184 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7190] ppid=7181 vsize=11035960 CPUtime=276.92 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7190/stat : 7190 (java) S 7181 7184 2471 0 -1 1077944384 9389 0 0 0 27392 300 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844402330384 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7191] ppid=7181 vsize=11035960 CPUtime=276.38 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7191/stat : 7191 (java) S 7181 7184 2471 0 -1 1077944384 9187 0 0 0 27311 327 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844401277584 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7192] ppid=7181 vsize=11035960 CPUtime=276.65 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7192/stat : 7192 (java) S 7181 7184 2471 0 -1 1077944384 15760 0 0 0 27378 287 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844400224784 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7193] ppid=7181 vsize=11035960 CPUtime=276.04 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7193/stat : 7193 (java) S 7181 7184 2471 0 -1 1077944384 11882 0 0 0 27256 348 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844399171984 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7194] ppid=7181 vsize=11035960 CPUtime=276.45 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7194/stat : 7194 (java) S 7181 7184 2471 0 -1 1077944384 10414 0 0 0 27295 350 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844398119184 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7195] ppid=7181 vsize=11035960 CPUtime=37.59 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7195/stat : 7195 (java) R 7181 7184 2471 0 -1 4202560 55180 0 0 0 3756 3 0 0 20 0 21 0 2793304 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844341585232 139844783689492 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7196] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7196/stat : 7196 (java) S 7181 7184 2471 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 2793305 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844340532832 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7197] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7197/stat : 7197 (java) S 7181 7184 2471 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 2793305 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844339479936 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7198] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7198/stat : 7198 (java) S 7181 7184 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844338428240 139844798711707 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7199] ppid=7181 vsize=11035960 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7199/stat : 7199 (java) S 7181 7184 2471 0 -1 1077944384 2629 0 0 0 55 1 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844000934304 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7200] ppid=7181 vsize=11035960 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7200/stat : 7200 (java) S 7181 7184 2471 0 -1 1077944384 3013 0 0 0 70 1 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843999881216 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7201] ppid=7181 vsize=11035960 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7201/stat : 7201 (java) S 7181 7184 2471 0 -1 1077944384 1731 0 0 0 60 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843998828704 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7202] ppid=7181 vsize=11035960 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7202/stat : 7202 (java) S 7181 7184 2471 0 -1 1077944384 4568 0 0 0 42 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843997775904 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7203] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7203/stat : 7203 (java) S 7181 7184 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843996724320 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7204] ppid=7181 vsize=11035960 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7204/stat : 7204 (java) S 7181 7184 2471 0 -1 1077944384 742 0 0 0 7 5 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843995671600 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7209] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7209/stat : 7209 (java) S 7181 7184 2471 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 2822670 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843992518640 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 2266.98
Current children cumulated vsize (KiB) 11035960

[startup+334.201 s]
/proc/loadavg: 7.45 6.17 3.95 9/256 7211
/proc/meminfo: memFree=24033844/32770624 swapFree=5776/41592
[pid=7184] ppid=7181 vsize=11035960 CPUtime=2267.18 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 174285 0 0 0 224139 2579 0 0 20 0 21 0 2793301 11300823040 2025617 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2758990 2025617 3190 1 0 2747346 0
[pid=7184/tid=7185] ppid=7181 vsize=11035960 CPUtime=14.7 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) S 7181 7184 2471 0 -1 1077944384 15858 0 0 0 1460 10 0 0 20 0 21 0 2793301 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844802933792 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7187] ppid=7181 vsize=11035960 CPUtime=277.82 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7187/stat : 7187 (java) S 7181 7184 2471 0 -1 1077944384 12966 0 0 0 27483 299 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844740697232 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7188] ppid=7181 vsize=11035960 CPUtime=275.76 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7188/stat : 7188 (java) S 7181 7184 2471 0 -1 1077944384 9649 0 0 0 27257 319 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844404435984 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7189] ppid=7181 vsize=11035960 CPUtime=276.09 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7189/stat : 7189 (java) S 7181 7184 2471 0 -1 1077944384 9307 0 0 0 27287 322 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844403383184 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7190] ppid=7181 vsize=11035960 CPUtime=276.92 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7190/stat : 7190 (java) S 7181 7184 2471 0 -1 1077944384 9389 0 0 0 27392 300 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844402330384 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7191] ppid=7181 vsize=11035960 CPUtime=276.38 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7191/stat : 7191 (java) S 7181 7184 2471 0 -1 1077944384 9187 0 0 0 27311 327 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844401277584 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7192] ppid=7181 vsize=11035960 CPUtime=276.65 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7192/stat : 7192 (java) S 7181 7184 2471 0 -1 1077944384 15760 0 0 0 27378 287 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844400224784 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7193] ppid=7181 vsize=11035960 CPUtime=276.04 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7193/stat : 7193 (java) S 7181 7184 2471 0 -1 1077944384 11882 0 0 0 27256 348 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844399171984 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7194] ppid=7181 vsize=11035960 CPUtime=276.45 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7194/stat : 7194 (java) S 7181 7184 2471 0 -1 1077944384 10414 0 0 0 27295 350 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844398119184 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7195] ppid=7181 vsize=11035960 CPUtime=37.79 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7195/stat : 7195 (java) R 7181 7184 2471 0 -1 4202560 55743 0 0 0 3776 3 0 0 20 0 21 0 2793304 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844341585232 139844783150742 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7196] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7196/stat : 7196 (java) S 7181 7184 2471 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 2793305 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844340532832 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7197] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7197/stat : 7197 (java) S 7181 7184 2471 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 2793305 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844339479936 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7198] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7198/stat : 7198 (java) S 7181 7184 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844338428240 139844798711707 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7199] ppid=7181 vsize=11035960 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7199/stat : 7199 (java) S 7181 7184 2471 0 -1 1077944384 2629 0 0 0 55 1 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844000934304 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7200] ppid=7181 vsize=11035960 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7200/stat : 7200 (java) S 7181 7184 2471 0 -1 1077944384 3013 0 0 0 70 1 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843999881216 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7201] ppid=7181 vsize=11035960 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7201/stat : 7201 (java) S 7181 7184 2471 0 -1 1077944384 1731 0 0 0 60 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843998828704 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7202] ppid=7181 vsize=11035960 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7202/stat : 7202 (java) S 7181 7184 2471 0 -1 1077944384 4568 0 0 0 42 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843997775904 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7203] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7203/stat : 7203 (java) S 7181 7184 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843996724320 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7204] ppid=7181 vsize=11035960 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7204/stat : 7204 (java) S 7181 7184 2471 0 -1 1077944384 742 0 0 0 7 5 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843995671600 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7209] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7209/stat : 7209 (java) S 7181 7184 2471 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 21 0 2822670 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843992518640 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 2267.18
Current children cumulated vsize (KiB) 11035960

[startup+334.301 s]
/proc/loadavg: 7.45 6.17 3.95 9/256 7211
/proc/meminfo: memFree=24033844/32770624 swapFree=5776/41592
[pid=7184] ppid=7181 vsize=11035960 CPUtime=2267.28 cores=0,2,4,6,8,10,12,14
/proc/7184/stat : 7184 (java) S 7181 7184 2471 0 -1 1077944320 174733 0 0 0 224149 2579 0 0 20 0 21 0 2793301 11300823040 2025617 33554432000 4194304 4196468 140731226497376 140731226479920 139844798693111 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
/proc/7184/statm: 2758990 2025617 3190 1 0 2747346 0
[pid=7184/tid=7185] ppid=7181 vsize=11035960 CPUtime=14.7 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7185/stat : 7185 (java) S 7181 7184 2471 0 -1 1077944384 15858 0 0 0 1460 10 0 0 20 0 21 0 2793301 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844802933792 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7187] ppid=7181 vsize=11035960 CPUtime=277.82 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7187/stat : 7187 (java) S 7181 7184 2471 0 -1 1077944384 12966 0 0 0 27483 299 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844740697232 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7188] ppid=7181 vsize=11035960 CPUtime=275.76 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7188/stat : 7188 (java) S 7181 7184 2471 0 -1 1077944384 9649 0 0 0 27257 319 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844404435984 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7189] ppid=7181 vsize=11035960 CPUtime=276.09 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7189/stat : 7189 (java) S 7181 7184 2471 0 -1 1077944384 9307 0 0 0 27287 322 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844403383184 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7190] ppid=7181 vsize=11035960 CPUtime=276.92 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7190/stat : 7190 (java) S 7181 7184 2471 0 -1 1077944384 9389 0 0 0 27392 300 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844402330384 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7191] ppid=7181 vsize=11035960 CPUtime=276.38 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7191/stat : 7191 (java) S 7181 7184 2471 0 -1 1077944384 9187 0 0 0 27311 327 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844401277584 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7192] ppid=7181 vsize=11035960 CPUtime=276.65 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7192/stat : 7192 (java) R 7181 7184 2471 0 -1 4202560 15760 0 0 0 27378 287 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844400224784 139844798703317 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7193] ppid=7181 vsize=11035960 CPUtime=276.04 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7193/stat : 7193 (java) S 7181 7184 2471 0 -1 1077944384 11882 0 0 0 27256 348 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844399171984 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7194] ppid=7181 vsize=11035960 CPUtime=276.45 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7194/stat : 7194 (java) S 7181 7184 2471 0 -1 1077944384 10414 0 0 0 27295 350 0 0 20 0 21 0 2793302 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844398119184 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7195] ppid=7181 vsize=11035960 CPUtime=37.89 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7195/stat : 7195 (java) S 7181 7184 2471 0 -1 1077944384 56201 0 0 0 3786 3 0 0 20 0 21 0 2793304 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844341586800 139844798704258 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7196] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7196/stat : 7196 (java) S 7181 7184 2471 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 21 0 2793305 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844340532832 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7197] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7197/stat : 7197 (java) S 7181 7184 2471 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 21 0 2793305 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844339479936 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7198] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7198/stat : 7198 (java) S 7181 7184 2471 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844338428240 139844798711707 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7199] ppid=7181 vsize=11035960 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7199/stat : 7199 (java) S 7181 7184 2471 0 -1 1077944384 2629 0 0 0 55 1 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139844000934256 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7200] ppid=7181 vsize=11035960 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7200/stat : 7200 (java) S 7181 7184 2471 0 -1 1077944384 3013 0 0 0 70 1 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843999881456 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7201] ppid=7181 vsize=11035960 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7201/stat : 7201 (java) S 7181 7184 2471 0 -1 1077944384 1731 0 0 0 60 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843998828656 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7202] ppid=7181 vsize=11035960 CPUtime=0.42 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7202/stat : 7202 (java) S 7181 7184 2471 0 -1 1077944384 4568 0 0 0 42 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843997775856 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7203] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7203/stat : 7203 (java) S 7181 7184 2471 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843996724320 139844798703317 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7204] ppid=7181 vsize=11035960 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7204/stat : 7204 (java) S 7181 7184 2471 0 -1 1077944384 742 0 0 0 7 5 0 0 20 0 21 0 2793309 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843995671600 139844798704258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
[pid=7184/tid=7209] ppid=7181 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/7184/task/7209/stat : 7209 (java) R 7181 7184 2471 0 -1 4202560 44 0 0 0 0 0 0 0 20 0 21 0 2822670 11300823040 2025617 33554432000 4194304 4196468 140731226497376 139843992518640 139844798714941 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 20307968 140731226502315 140731226502468 140731226502468 140731226505167 0
Current children cumulated CPU time (s) 2267.28
Current children cumulated vsize (KiB) 11035960

Child status: 0
Real time (s): 334.34
CPU time (s): 2267.33
CPU user time (s): 2241.49
CPU system time (s): 25.8342
CPU usage (%): 678.149
Max. virtual memory (cumulated for all children) (KiB): 11035960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2241.49
system time used= 25.8342
maximum resident set size= 8102828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 174925
page faults= 0
swaps= 0
block input operations= 0
block output operations= 512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40279
involuntary context switches= 185626

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.01181 second user time and 3.21275 second system time

The end

Begin job on node129 at 2017-07-22 00:14:19
IDJOB=4243696
IDBENCH=126245
IDSOLVER=2623
FILE ID=node129/4243696-1500675259
RUNJOBID= node129-1500669538-5816
PBS_JOBID= 20623291
Free space on /tmp= 61984 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-15-a4.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243696-1500675259/watcher-4243696-1500675259 -o /tmp/evaluation-result-4243696-1500675259/solver-4243696-1500675259 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node129-1500669538-5816 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243696-1500675259.xml

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

MD5SUM BENCH= a2ce00dc78b702eb5fb62c242f19e981
RANDOM SEED=490245506

node129.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.96
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		: 2267.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.96
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.96
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.96
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.96
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		: 2267.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.96
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		: 1733.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.96
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.96
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:        32138836 kB
MemAvailable:   32047560 kB
Buffers:           57840 kB
Cached:           116308 kB
SwapCached:            0 kB
Active:           125064 kB
Inactive:         107512 kB
Active(anon):       3216 kB
Inactive(anon):    66224 kB
Active(file):     121848 kB
Inactive(file):    41288 kB
Unevictable:        5776 kB
Mlocked:            5776 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1212 kB
Writeback:             0 kB
AnonPages:         66592 kB
Mapped:            28836 kB
Shmem:              8844 kB
Slab:              92968 kB
SReclaimable:      60732 kB
SUnreclaim:        32236 kB
KernelStack:        4448 kB
PageTables:         5100 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     308428 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 61984 MiB
End job on node129 at 2017-07-22 00:19:54

Name	GolombRuler/GolombRuler-a4-s1/ GolombRuler-15-a4.xml
MD5SUM	a2ce00dc78b702eb5fb62c242f19e981
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	163
Best CPU time to get the best result obtained on this benchmark	2400.05
Satisfiable
(Un)Satisfiability was proved
Number of variables	15
Number of constraints	5007
Number of domains	1
Minimum domain size	501
Maximum domain size	501
Distribution of domain sizes	[{"size":501,"count":15}]
Minimum variable degree	1275
Maximum variable degree	1276
Distribution of variable degrees	[{"degree":1275,"count":13},{"degree":1276,"count":2}]
Minimum constraint arity	1
Maximum constraint arity	15
Distribution of constraint arities	[{"arity":1,"count":1},{"arity":3,"count":910},{"arity":4,"count":4095},{"arity":15,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	5006
Distribution of constraint types	[{"type":"intension","count":5006},{"type":"ordered","count":1}]
Optimization problem	YES
Type of objective	min VAR

Trace number 4243696

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data