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	?	769.845	255.012

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

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

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


[startup+0 s]
/proc/loadavg: 1.84 1.99 2.03 3/242 6222
/proc/meminfo: memFree=32028020/32770624 swapFree=5764/221608
[pid=6222] ppid=6219 vsize=8349744 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 2175 0 0 0 0 0 0 0 20 0 2 0 2737566 8550137856 1932 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16784584 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2087436 1932 1197 1 0 2076347 0
[pid=6222/tid=6223] ppid=6219 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) R 6219 6222 2452 0 -1 1077944384 922 0 0 0 0 0 0 0 20 0 3 0 2737566 8551190528 1932 33554432000 4194304 4196468 140723809881248 140118588823248 140118584592085 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=8350772 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 0 0 0 0 0 0 0 0 20 0 3 0 2737567 8551190528 1932 33554432000 4194304 4196468 140723809881248 140118191844064 140118584592085 0 4 0 16784584 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0

[startup+0.100073 s]
/proc/loadavg: 1.84 1.99 2.03 3/242 6222
/proc/meminfo: memFree=32028020/32770624 swapFree=5764/221608
[pid=6222] ppid=6219 vsize=10900456 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 4662 0 0 0 7 1 0 0 20 0 20 0 2737566 11162066944 5768 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2725114 5768 2602 1 0 2713552 0
[pid=6222/tid=6223] ppid=6219 vsize=10900456 CPUtime=0.07 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) R 6219 6222 2452 0 -1 4202560 2754 0 0 0 6 1 0 0 20 0 20 0 2737566 11162066944 5768 33554432000 4194304 4196468 140723809881248 140118588824160 140118570264371 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=10900456 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737567 11162066944 5768 33554432000 4194304 4196468 140723809881248 140118191843728 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 10900456

[startup+0.200441 s]
/proc/loadavg: 1.84 1.99 2.03 3/242 6222
/proc/meminfo: memFree=32028020/32770624 swapFree=5764/221608
[pid=6222] ppid=6219 vsize=10900556 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 7015 0 0 0 22 2 0 0 20 0 20 0 2737566 11162169344 7857 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2725139 7857 2884 1 0 2713552 0
[pid=6222/tid=6223] ppid=6219 vsize=10900556 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) R 6219 6222 2452 0 -1 4202560 4608 0 0 0 15 1 0 0 20 0 20 0 2737566 11162169344 7857 33554432000 4194304 4196468 140723809881248 140118588815936 140118568662366 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737567 11162169344 7857 33554432000 4194304 4196468 140723809881248 140118191843728 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 10900556

[startup+0.300311 s]
/proc/loadavg: 1.84 1.99 2.03 3/242 6222
/proc/meminfo: memFree=32028020/32770624 swapFree=5764/221608
[pid=6222] ppid=6219 vsize=10900556 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 8887 0 0 0 44 3 0 0 20 0 20 0 2737566 11162169344 11289 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2725139 11289 3007 1 0 2713552 0
[pid=6222/tid=6223] ppid=6219 vsize=10900556 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) R 6219 6222 2452 0 -1 4202560 5052 0 0 0 25 2 0 0 20 0 20 0 2737566 11162169344 11289 33554432000 4194304 4196468 140723809881248 140118588818032 140118222463821 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=10900556 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737567 11162169344 11289 33554432000 4194304 4196468 140723809881248 140118191843728 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10900556

[startup+0.700238 s]
/proc/loadavg: 1.84 1.99 2.03 3/242 6222
/proc/meminfo: memFree=32028020/32770624 swapFree=5764/221608
[pid=6222] ppid=6219 vsize=10900632 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 13101 0 0 0 203 6 0 0 20 0 20 0 2737566 11162247168 27079 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2725158 27079 3090 1 0 2713552 0
[pid=6222/tid=6223] ppid=6219 vsize=10900632 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) R 6219 6222 2452 0 -1 4202560 5870 0 0 0 62 4 0 0 20 0 20 0 2737566 11162247168 27079 33554432000 4194304 4196468 140723809881248 140118588803456 140118222466809 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737567 11162247168 27079 33554432000 4194304 4196468 140723809881248 140118191843728 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 10900632

[startup+1.501 s]
/proc/loadavg: 1.84 1.99 2.03 3/284 6267
/proc/meminfo: memFree=31227072/32770624 swapFree=5764/221876
[pid=6222] ppid=6219 vsize=10900632 CPUtime=4.81 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 16564 0 0 0 376 105 0 0 20 0 20 0 2737566 11162247168 266638 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2725158 266638 3120 1 0 2713552 0
[pid=6222/tid=6223] ppid=6219 vsize=10900632 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) R 6219 6222 2452 0 -1 4202560 6774 0 0 0 106 17 0 0 20 0 20 0 2737566 11162247168 266638 33554432000 4194304 4196468 140723809881248 140118588819704 140118570649998 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=10900632 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 171 0 0 0 8 8 0 0 20 0 20 0 2737567 11162247168 266638 33554432000 4194304 4196468 140723809881248 140118191843728 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6230] ppid=6219 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6230/stat : 6230 (java) S 6219 6222 2452 0 -1 1077944384 154 0 0 0 8 10 0 0 20 0 20 0 2737567 11162247168 266638 33554432000 4194304 4196468 140723809881248 140118190790928 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6231] ppid=6219 vsize=10900632 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6231/stat : 6231 (java) S 6219 6222 2452 0 -1 1077944384 173 0 0 0 8 10 0 0 20 0 20 0 2737567 11162247168 267150 33554432000 4194304 4196468 140723809881248 140118189738640 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6233] ppid=6219 vsize=10900632 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6233/stat : 6233 (java) S 6219 6222 2452 0 -1 1077944384 173 0 0 0 11 10 0 0 20 0 20 0 2737567 11162247168 267150 33554432000 4194304 4196468 140723809881248 140118188685840 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6234] ppid=6219 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6234/stat : 6234 (java) S 6219 6222 2452 0 -1 1077944384 158 0 0 0 9 10 0 0 20 0 20 0 2737567 11162247168 267150 33554432000 4194304 4196468 140723809881248 140118187633552 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6235] ppid=6219 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6235/stat : 6235 (java) S 6219 6222 2452 0 -1 1077944384 162 0 0 0 9 11 0 0 20 0 20 0 2737567 11162247168 267150 33554432000 4194304 4196468 140723809881248 140118186580752 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6236] ppid=6219 vsize=10900632 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6236/stat : 6236 (java) S 6219 6222 2452 0 -1 1077944384 165 0 0 0 9 11 0 0 20 0 20 0 2737567 11162247168 267150 33554432000 4194304 4196468 140723809881248 140118185528464 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6237] ppid=6219 vsize=10900632 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6237/stat : 6237 (java) S 6219 6222 2452 0 -1 1077944384 169 0 0 0 9 10 0 0 20 0 20 0 2737567 11162247168 267150 33554432000 4194304 4196468 140723809881248 140118184475664 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6248] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6248/stat : 6248 (java) S 6219 6222 2452 0 -1 1077944384 480 0 0 0 0 0 0 0 20 0 20 0 2737569 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117334284400 140118584593026 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6249] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6249/stat : 6249 (java) S 6219 6222 2452 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 2737570 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117333230368 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6250] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6250/stat : 6250 (java) S 6219 6222 2452 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2737571 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117332178032 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6254] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6254/stat : 6254 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737574 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117331126352 140118584600475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6255] ppid=6219 vsize=10900632 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6255/stat : 6255 (java) S 6219 6222 2452 0 -1 1077944384 1907 0 0 0 48 0 0 0 20 0 20 0 2737574 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117330074224 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6256] ppid=6219 vsize=10900632 CPUtime=0.57 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6256/stat : 6256 (java) S 6219 6222 2452 0 -1 1077944384 1605 0 0 0 57 0 0 0 20 0 20 0 2737574 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117329021424 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6257] ppid=6219 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6257/stat : 6257 (java) S 6219 6222 2452 0 -1 1077944384 1126 0 0 0 47 0 0 0 20 0 20 0 2737574 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117327969136 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6258] ppid=6219 vsize=10900632 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6258/stat : 6258 (java) S 6219 6222 2452 0 -1 1077944384 1979 0 0 0 38 0 0 0 20 0 20 0 2737574 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117326916336 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6259] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6259/stat : 6259 (java) S 6219 6222 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737575 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117325863264 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6260] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6260/stat : 6260 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737576 11162247168 267150 33554432000 4194304 4196468 140723809881248 140117324810544 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 10900632

[startup+3.102 s]
/proc/loadavg: 1.84 1.99 2.03 3/284 6267
/proc/meminfo: memFree=27890680/32770624 swapFree=5764/221904
[pid=6222] ppid=6219 vsize=10900632 CPUtime=6.96 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 19939 0 0 0 550 146 0 0 20 0 20 0 2737566 11162247168 676659 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2725158 676659 3120 1 0 2713552 0
[pid=6222/tid=6223] ppid=6219 vsize=10900632 CPUtime=2.75 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) R 6219 6222 2452 0 -1 4202560 8964 0 0 0 235 40 0 0 20 0 20 0 2737566 11162247168 676659 33554432000 4194304 4196468 140723809881248 140118588816712 140118570650004 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=10900632 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 187 0 0 0 13 11 0 0 20 0 20 0 2737567 11162247168 676659 33554432000 4194304 4196468 140723809881248 140118191843728 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6230] ppid=6219 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6230/stat : 6230 (java) S 6219 6222 2452 0 -1 1077944384 177 0 0 0 13 12 0 0 20 0 20 0 2737567 11162247168 676659 33554432000 4194304 4196468 140723809881248 140118190790928 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6231] ppid=6219 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6231/stat : 6231 (java) S 6219 6222 2452 0 -1 1077944384 212 0 0 0 13 13 0 0 20 0 20 0 2737567 11162247168 676659 33554432000 4194304 4196468 140723809881248 140118189738640 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6233] ppid=6219 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6233/stat : 6233 (java) S 6219 6222 2452 0 -1 1077944384 198 0 0 0 16 12 0 0 20 0 20 0 2737567 11162247168 676659 33554432000 4194304 4196468 140723809881248 140118188685840 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6234] ppid=6219 vsize=10900632 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6234/stat : 6234 (java) S 6219 6222 2452 0 -1 1077944384 183 0 0 0 14 13 0 0 20 0 20 0 2737567 11162247168 676659 33554432000 4194304 4196468 140723809881248 140118187633552 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6235] ppid=6219 vsize=10900632 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6235/stat : 6235 (java) S 6219 6222 2452 0 -1 1077944384 336 0 0 0 14 13 0 0 20 0 20 0 2737567 11162247168 676659 33554432000 4194304 4196468 140723809881248 140118186580752 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6236] ppid=6219 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6236/stat : 6236 (java) S 6219 6222 2452 0 -1 1077944384 260 0 0 0 15 13 0 0 20 0 20 0 2737567 11162247168 676659 33554432000 4194304 4196468 140723809881248 140118185528464 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6237] ppid=6219 vsize=10900632 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6237/stat : 6237 (java) S 6219 6222 2452 0 -1 1077944384 186 0 0 0 14 13 0 0 20 0 20 0 2737567 11162247168 676659 33554432000 4194304 4196468 140723809881248 140118184475664 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6248] ppid=6219 vsize=10900632 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6248/stat : 6248 (java) S 6219 6222 2452 0 -1 1077944384 1234 0 0 0 1 0 0 0 20 0 20 0 2737569 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117334284400 140118584593026 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6249] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6249/stat : 6249 (java) S 6219 6222 2452 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 2737570 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117333230368 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6250] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6250/stat : 6250 (java) S 6219 6222 2452 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 2737571 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117332178032 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6254] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6254/stat : 6254 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737574 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117331126352 140118584600475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6255] ppid=6219 vsize=10900632 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6255/stat : 6255 (java) S 6219 6222 2452 0 -1 1077944384 1908 0 0 0 50 0 0 0 20 0 20 0 2737574 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117330074224 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6256] ppid=6219 vsize=10900632 CPUtime=0.6 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6256/stat : 6256 (java) S 6219 6222 2452 0 -1 1077944384 1608 0 0 0 60 0 0 0 20 0 20 0 2737574 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117329021424 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6257] ppid=6219 vsize=10900632 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6257/stat : 6257 (java) S 6219 6222 2452 0 -1 1077944384 1128 0 0 0 47 0 0 0 20 0 20 0 2737574 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117327969136 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6258] ppid=6219 vsize=10900632 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6258/stat : 6258 (java) S 6219 6222 2452 0 -1 1077944384 1988 0 0 0 39 0 0 0 20 0 20 0 2737574 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117326916336 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6259] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6259/stat : 6259 (java) S 6219 6222 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737575 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117325863264 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6260] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6260/stat : 6260 (java) S 6219 6222 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737576 11162247168 676659 33554432000 4194304 4196468 140723809881248 140117324810544 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 6.96
Current children cumulated vsize (KiB) 10900632

[startup+6.30089 s]
/proc/loadavg: 1.78 1.97 2.03 3/284 6267
/proc/meminfo: memFree=26533904/32770624 swapFree=5764/221920
[pid=6222] ppid=6219 vsize=10900632 CPUtime=10.58 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 21612 0 0 0 908 150 0 0 20 0 20 0 2737566 11162247168 680536 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2725158 680536 3125 1 0 2713552 0
[pid=6222/tid=6223] ppid=6219 vsize=10900632 CPUtime=5.92 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) R 6219 6222 2452 0 -1 4202560 9722 0 0 0 552 40 0 0 20 0 20 0 2737566 11162247168 680536 33554432000 4194304 4196468 140723809881248 140118588817776 140118226972440 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=10900632 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 242 0 0 0 14 11 0 0 20 0 20 0 2737567 11162247168 680536 33554432000 4194304 4196468 140723809881248 140118191843728 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6230] ppid=6219 vsize=10900632 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6230/stat : 6230 (java) S 6219 6222 2452 0 -1 1077944384 184 0 0 0 14 12 0 0 20 0 20 0 2737567 11162247168 680536 33554432000 4194304 4196468 140723809881248 140118190790928 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6231] ppid=6219 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6231/stat : 6231 (java) S 6219 6222 2452 0 -1 1077944384 249 0 0 0 15 13 0 0 20 0 20 0 2737567 11162247168 680536 33554432000 4194304 4196468 140723809881248 140118189738640 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6233] ppid=6219 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6233/stat : 6233 (java) S 6219 6222 2452 0 -1 1077944384 234 0 0 0 18 12 0 0 20 0 20 0 2737567 11162247168 680536 33554432000 4194304 4196468 140723809881248 140118188685840 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6234] ppid=6219 vsize=10900632 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6234/stat : 6234 (java) S 6219 6222 2452 0 -1 1077944384 189 0 0 0 15 14 0 0 20 0 20 0 2737567 11162247168 680536 33554432000 4194304 4196468 140723809881248 140118187633552 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6235] ppid=6219 vsize=10900632 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6235/stat : 6235 (java) S 6219 6222 2452 0 -1 1077944384 338 0 0 0 15 13 0 0 20 0 20 0 2737567 11162247168 680536 33554432000 4194304 4196468 140723809881248 140118186580752 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6236] ppid=6219 vsize=10900632 CPUtime=0.3 cores=0,2,4,6,8,10,12,14

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

/proc/6222/task/6254/stat : 6254 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737574 11162247168 2080267 33554432000 4194304 4196468 140723809881248 140117331126352 140118584600475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6255] ppid=6219 vsize=10900632 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6255/stat : 6255 (java) S 6219 6222 2452 0 -1 1077944384 3390 0 0 0 84 0 0 0 20 0 20 0 2737574 11162247168 2080267 33554432000 4194304 4196468 140723809881248 140117330074272 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6256] ppid=6219 vsize=10900632 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6256/stat : 6256 (java) S 6219 6222 2452 0 -1 1077944384 5541 0 0 0 108 1 0 0 20 0 20 0 2737574 11162247168 2080267 33554432000 4194304 4196468 140723809881248 140117329021184 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6257] ppid=6219 vsize=10900632 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6257/stat : 6257 (java) S 6219 6222 2452 0 -1 1077944384 2271 0 0 0 75 0 0 0 20 0 20 0 2737574 11162247168 2080267 33554432000 4194304 4196468 140723809881248 140117327969184 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6258] ppid=6219 vsize=10900632 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6258/stat : 6258 (java) S 6219 6222 2452 0 -1 1077944384 3310 0 0 0 48 1 0 0 20 0 20 0 2737574 11162247168 2080267 33554432000 4194304 4196468 140723809881248 140117326916384 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6259] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6259/stat : 6259 (java) S 6219 6222 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737575 11162247168 2080267 33554432000 4194304 4196468 140723809881248 140117325863264 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6260] ppid=6219 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6260/stat : 6260 (java) S 6219 6222 2452 0 -1 1077944384 932 0 0 0 7 5 0 0 20 0 20 0 2737576 11162247168 2080267 33554432000 4194304 4196468 140723809881248 140117324810544 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 735.02
Current children cumulated vsize (KiB) 10900632

[startup+252.801 s]
/proc/loadavg: 4.75 3.00 2.40 10/282 6272
/proc/meminfo: memFree=17758572/32770624 swapFree=5764/222148
[pid=6222] ppid=6219 vsize=10900632 CPUtime=759.95 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 830912 0 0 0 74089 1906 0 0 20 0 20 0 2737566 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2725158 2080271 3153 1 0 2713552 0
[pid=6222/tid=6223] ppid=6219 vsize=10900632 CPUtime=159.9 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) S 6219 6222 2452 0 -1 1077944384 58545 0 0 0 15947 43 0 0 20 0 20 0 2737566 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118588818784 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=10900632 CPUtime=71.88 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 73310 0 0 0 6959 229 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118191843536 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6230] ppid=6219 vsize=10900632 CPUtime=71.92 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6230/stat : 6230 (java) R 6219 6222 2452 0 -1 4202560 78851 0 0 0 6959 233 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118190790736 140118577210087 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6231] ppid=6219 vsize=10900632 CPUtime=72.26 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6231/stat : 6231 (java) R 6219 6222 2452 0 -1 4202560 136393 0 0 0 6995 231 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118189738760 140118577210087 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6233] ppid=6219 vsize=10900632 CPUtime=72.19 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6233/stat : 6233 (java) R 6219 6222 2452 0 -1 4202560 99141 0 0 0 6980 239 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118188685648 140118577210087 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6234] ppid=6219 vsize=10900632 CPUtime=72.5 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6234/stat : 6234 (java) R 6219 6222 2452 0 -1 4202560 90328 0 0 0 7024 226 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118187633360 140118577210087 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6235] ppid=6219 vsize=10900632 CPUtime=72.04 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6235/stat : 6235 (java) R 6219 6222 2452 0 -1 4202560 74235 0 0 0 6976 228 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118186580872 140118567964914 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6236] ppid=6219 vsize=10900632 CPUtime=72.57 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6236/stat : 6236 (java) R 6219 6222 2452 0 -1 4202560 76676 0 0 0 7033 224 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118185528664 140118569281699 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6237] ppid=6219 vsize=10900632 CPUtime=71.72 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6237/stat : 6237 (java) R 6219 6222 2452 0 -1 4202560 87502 0 0 0 6934 238 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118184475784 140118577210087 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6248] ppid=6219 vsize=10900632 CPUtime=19.53 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6248/stat : 6248 (java) S 6219 6222 2452 0 -1 1077944384 39029 0 0 0 1951 2 0 0 20 0 20 0 2737569 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117334282960 140118584592085 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6249] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6249/stat : 6249 (java) S 6219 6222 2452 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 2737570 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117333230432 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6250] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6250/stat : 6250 (java) S 6219 6222 2452 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 2737571 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117332178032 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6254] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6254/stat : 6254 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117331126352 140118584600475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6255] ppid=6219 vsize=10900632 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6255/stat : 6255 (java) S 6219 6222 2452 0 -1 1077944384 3390 0 0 0 84 0 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117330074272 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6256] ppid=6219 vsize=10900632 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6256/stat : 6256 (java) S 6219 6222 2452 0 -1 1077944384 5541 0 0 0 108 1 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117329021184 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6257] ppid=6219 vsize=10900632 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6257/stat : 6257 (java) S 6219 6222 2452 0 -1 1077944384 2271 0 0 0 75 0 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117327969184 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6258] ppid=6219 vsize=10900632 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6258/stat : 6258 (java) S 6219 6222 2452 0 -1 1077944384 3310 0 0 0 48 1 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117326916384 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6259] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6259/stat : 6259 (java) S 6219 6222 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737575 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117325863264 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6260] ppid=6219 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6260/stat : 6260 (java) S 6219 6222 2452 0 -1 1077944384 932 0 0 0 7 5 0 0 20 0 20 0 2737576 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117324810544 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 759.95
Current children cumulated vsize (KiB) 10900632

[startup+254.401 s]
/proc/loadavg: 4.75 3.00 2.40 3/282 6272
/proc/meminfo: memFree=17758572/32770624 swapFree=5764/222148
[pid=6222] ppid=6219 vsize=10900632 CPUtime=769.43 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 831135 0 0 0 75033 1910 0 0 20 0 20 0 2737566 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2725158 2080271 3153 1 0 2713552 0
[pid=6222/tid=6223] ppid=6219 vsize=10900632 CPUtime=159.9 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) S 6219 6222 2452 0 -1 1077944384 58545 0 0 0 15947 43 0 0 20 0 20 0 2737566 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118588818784 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=10900632 CPUtime=73.01 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 73310 0 0 0 7071 230 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118191843728 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6230] ppid=6219 vsize=10900632 CPUtime=73.05 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6230/stat : 6230 (java) S 6219 6222 2452 0 -1 1077944384 78851 0 0 0 7072 233 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118190790928 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6231] ppid=6219 vsize=10900632 CPUtime=73.39 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6231/stat : 6231 (java) S 6219 6222 2452 0 -1 1077944384 136393 0 0 0 7108 231 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118189738640 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6233] ppid=6219 vsize=10900632 CPUtime=73.32 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6233/stat : 6233 (java) S 6219 6222 2452 0 -1 1077944384 99141 0 0 0 7092 240 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118188685840 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6234] ppid=6219 vsize=10900632 CPUtime=73.62 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6234/stat : 6234 (java) S 6219 6222 2452 0 -1 1077944384 90328 0 0 0 7136 226 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118187633552 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6235] ppid=6219 vsize=10900632 CPUtime=73.16 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6235/stat : 6235 (java) S 6219 6222 2452 0 -1 1077944384 74235 0 0 0 7087 229 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118186580752 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6236] ppid=6219 vsize=10900632 CPUtime=73.74 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6236/stat : 6236 (java) S 6219 6222 2452 0 -1 1077944384 76899 0 0 0 7150 224 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118185528464 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6237] ppid=6219 vsize=10900632 CPUtime=72.85 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6237/stat : 6237 (java) S 6219 6222 2452 0 -1 1077944384 87502 0 0 0 7046 239 0 0 20 0 20 0 2737567 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140118184475664 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6248] ppid=6219 vsize=10900632 CPUtime=19.97 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6248/stat : 6248 (java) R 6219 6222 2452 0 -1 4202560 39029 0 0 0 1995 2 0 0 20 0 20 0 2737569 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117334282848 140118569578388 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6249] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6249/stat : 6249 (java) S 6219 6222 2452 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 20 0 2737570 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117333230432 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6250] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6250/stat : 6250 (java) S 6219 6222 2452 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 20 0 2737571 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117332178032 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6254] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6254/stat : 6254 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117331126352 140118584600475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6255] ppid=6219 vsize=10900632 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6255/stat : 6255 (java) S 6219 6222 2452 0 -1 1077944384 3390 0 0 0 84 0 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117330074272 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6256] ppid=6219 vsize=10900632 CPUtime=1.09 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6256/stat : 6256 (java) S 6219 6222 2452 0 -1 1077944384 5541 0 0 0 108 1 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117329021184 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6257] ppid=6219 vsize=10900632 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6257/stat : 6257 (java) S 6219 6222 2452 0 -1 1077944384 2271 0 0 0 75 0 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117327969184 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6258] ppid=6219 vsize=10900632 CPUtime=0.49 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6258/stat : 6258 (java) S 6219 6222 2452 0 -1 1077944384 3310 0 0 0 48 1 0 0 20 0 20 0 2737574 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117326916384 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6259] ppid=6219 vsize=10900632 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6259/stat : 6259 (java) S 6219 6222 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 2737575 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117325863264 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6260] ppid=6219 vsize=10900632 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6260/stat : 6260 (java) S 6219 6222 2452 0 -1 1077944384 932 0 0 0 7 5 0 0 20 0 20 0 2737576 11162247168 2080271 33554432000 4194304 4196468 140723809881248 140117324810544 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 769.43
Current children cumulated vsize (KiB) 10900632

[startup+254.801 s]
/proc/loadavg: 4.75 3.00 2.40 3/282 6272
/proc/meminfo: memFree=17758572/32770624 swapFree=5764/222148
[pid=6222] ppid=6219 vsize=11035960 CPUtime=769.79 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) S 6219 6222 2452 0 -1 1077944320 831951 0 2 0 75068 1911 0 0 20 0 21 0 2737566 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140723809863792 140118584581879 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
/proc/6222/statm: 2758990 2080502 3197 1 0 2747346 0
[pid=6222/tid=6223] ppid=6219 vsize=11035960 CPUtime=159.93 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6223/stat : 6223 (java) S 6219 6222 2452 0 -1 1077944384 58936 0 2 0 15950 43 0 0 20 0 21 0 2737566 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140118588822560 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6229] ppid=6219 vsize=11035960 CPUtime=73.01 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6229/stat : 6229 (java) S 6219 6222 2452 0 -1 1077944384 73310 0 0 0 7071 230 0 0 20 0 21 0 2737567 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140118191843728 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6230] ppid=6219 vsize=11035960 CPUtime=73.05 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6230/stat : 6230 (java) S 6219 6222 2452 0 -1 1077944384 78851 0 0 0 7072 233 0 0 20 0 21 0 2737567 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140118190790928 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6231] ppid=6219 vsize=11035960 CPUtime=73.39 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6231/stat : 6231 (java) S 6219 6222 2452 0 -1 1077944384 136393 0 0 0 7108 231 0 0 20 0 21 0 2737567 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140118189738640 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6233] ppid=6219 vsize=11035960 CPUtime=73.32 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6233/stat : 6233 (java) S 6219 6222 2452 0 -1 1077944384 99141 0 0 0 7092 240 0 0 20 0 21 0 2737567 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140118188685840 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6234] ppid=6219 vsize=11035960 CPUtime=73.62 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6234/stat : 6234 (java) S 6219 6222 2452 0 -1 1077944384 90328 0 0 0 7136 226 0 0 20 0 21 0 2737567 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140118187633552 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6235] ppid=6219 vsize=11035960 CPUtime=73.16 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6235/stat : 6235 (java) S 6219 6222 2452 0 -1 1077944384 74235 0 0 0 7087 229 0 0 20 0 21 0 2737567 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140118186580752 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6236] ppid=6219 vsize=11035960 CPUtime=73.74 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6236/stat : 6236 (java) S 6219 6222 2452 0 -1 1077944384 76899 0 0 0 7150 224 0 0 20 0 21 0 2737567 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140118185528464 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6237] ppid=6219 vsize=11035960 CPUtime=72.85 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6237/stat : 6237 (java) S 6219 6222 2452 0 -1 1077944384 87502 0 0 0 7046 239 0 0 20 0 21 0 2737567 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140118184475664 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6248] ppid=6219 vsize=11035960 CPUtime=20.27 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6248/stat : 6248 (java) S 6219 6222 2452 0 -1 1077944384 39313 0 0 0 2025 2 0 0 20 0 21 0 2737569 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117334284400 140118584593026 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6249] ppid=6219 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6249/stat : 6249 (java) S 6219 6222 2452 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 21 0 2737570 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117333230432 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6250] ppid=6219 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6250/stat : 6250 (java) S 6219 6222 2452 0 -1 1077944384 76 0 0 0 0 0 0 0 20 0 21 0 2737571 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117332178032 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6254] ppid=6219 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6254/stat : 6254 (java) S 6219 6222 2452 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 21 0 2737574 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117331126352 140118584600475 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6255] ppid=6219 vsize=11035960 CPUtime=0.84 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6255/stat : 6255 (java) S 6219 6222 2452 0 -1 1077944384 3390 0 0 0 84 0 0 0 20 0 21 0 2737574 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117330074224 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6256] ppid=6219 vsize=11035960 CPUtime=1.1 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6256/stat : 6256 (java) S 6219 6222 2452 0 -1 1077944384 5545 0 0 0 109 1 0 0 20 0 21 0 2737574 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117329021424 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6257] ppid=6219 vsize=11035960 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6257/stat : 6257 (java) S 6219 6222 2452 0 -1 1077944384 2273 0 0 0 76 0 0 0 20 0 21 0 2737574 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117327969136 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6258] ppid=6219 vsize=11035960 CPUtime=0.5 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6258/stat : 6258 (java) S 6219 6222 2452 0 -1 1077944384 3395 0 0 0 49 1 0 0 20 0 21 0 2737574 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117326916336 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6259] ppid=6219 vsize=11035960 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6259/stat : 6259 (java) S 6219 6222 2452 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 2737575 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117325863264 140118584592085 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
[pid=6222/tid=6260] ppid=6219 vsize=11035960 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6260/stat : 6260 (java) S 6219 6222 2452 0 -1 1077944384 932 0 0 0 7 5 0 0 20 0 21 0 2737576 11300823040 2080502 33554432000 4194304 4196468 140723809881248 140117324810544 140118584593026 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15536128 140723809883307 140723809883460 140723809883460 140723809886159 0
Current children cumulated CPU time (s) 769.79
Current children cumulated vsize (KiB) 11035960

[startup+255.001 s]
/proc/loadavg: 4.75 3.00 2.40 3/282 6272
/proc/meminfo: memFree=17758572/32770624 swapFree=5764/222148
[pid=6222] ppid=6219 vsize=0 CPUtime=769.83 cores=0,2,4,6,8,10,12,14
/proc/6222/stat : 6222 (java) Z 6219 6222 2452 0 -1 4227084 832011 0 2 0 75068 1915 0 0 20 0 2 0 2737566 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 8 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/6222/statm: 0 0 0 0 0 0 0
[pid=6222/tid=6258] ppid=6219 vsize=0 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/6222/task/6258/stat : 6258 (java) R 6219 6222 2452 0 -1 4203588 3397 0 0 0 49 5 0 0 20 0 2 0 2737574 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 769.83
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 255.012
CPU time (s): 769.845
CPU user time (s): 750.685
CPU system time (s): 19.1599
CPU usage (%): 301.886
Max. virtual memory (cumulated for all children) (KiB): 11035960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 750.685
system time used= 19.1599
maximum resident set size= 8322312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 832011
page faults= 2
swaps= 0
block input operations= 2752
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18506
involuntary context switches= 48376

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.76606 second user time and 2.28475 second system time

The end

Begin job on node120 at 2017-07-22 00:04:53
IDJOB=4243635
IDBENCH=125570
IDSOLVER=2623
FILE ID=node120/4243635-1500674693
RUNJOBID= node120-1500674693-6197
PBS_JOBID= 20623299
Free space on /tmp= 61996 MiB

SOLVER NAME= sat4j-CSP 2017-07-05
BENCH NAME= XCSP17/DeBruijnSequence/DeBruijnSequence-m1-s1/DeBruijnSequence-02-09.xml
COMMAND LINE= java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4243635-1500674693/watcher-4243635-1500674693 -o /tmp/evaluation-result-4243635-1500674693/solver-4243635-1500674693 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500674693-6197 --watchdog 2560  java -DCompetitionOutput -jar HOME/sat4j-csp-170705.jar HOME/instance-4243635-1500674693.xml

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

MD5SUM BENCH= 51af40833062bacbe569ad61b7e4d8a4
RANDOM SEED=1287892625

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

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

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

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

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.45
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.45
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		: 1733.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.45
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:        32029896 kB
MemAvailable:   32033128 kB
Buffers:           35836 kB
Cached:           280032 kB
SwapCached:            0 kB
Active:           134768 kB
Inactive:         231640 kB
Active(anon):      53984 kB
Inactive(anon):     8736 kB
Active(file):      80784 kB
Inactive(file):   222904 kB
Unevictable:        5764 kB
Mlocked:            5764 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              1492 kB
Writeback:             0 kB
AnonPages:         55748 kB
Mapped:            29024 kB
Shmem:              8840 kB
Slab:              62188 kB
SReclaimable:      30760 kB
SUnreclaim:        31428 kB
KernelStack:        4176 kB
PageTables:         5300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61992 MiB
End job on node120 at 2017-07-22 00:09:08

Name	DeBruijnSequence/DeBruijnSequence-m1-s1/ DeBruijnSequence-02-09.xml
MD5SUM	51af40833062bacbe569ad61b7e4d8a4
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	3.17786
Satisfiable
(Un)Satisfiability was proved
Number of variables	5122
Number of constraints	4611
Number of domains	3
Minimum domain size	2
Maximum domain size	513
Distribution of domain sizes	[{"size":2,"count":4608},{"size":512,"count":512},{"size":513,"count":2}]
Minimum variable degree	1
Maximum variable degree	3
Distribution of variable degrees	[{"degree":1,"count":2},{"degree":2,"count":512},{"degree":3,"count":4608}]
Minimum constraint arity	2
Maximum constraint arity	514
Distribution of constraint arities	[{"arity":2,"count":4096},{"arity":10,"count":512},{"arity":512,"count":2},{"arity":514,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	4096
Distribution of constraint types	[{"type":"intension","count":4096},{"type":"allDifferent","count":1},{"type":"sum","count":512},{"type":"cardinality","count":1},{"type":"minimum","count":1}]
Optimization problem	NO
Type of objective

Trace number 4243635

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data