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

Solver Name	Answer	CPU time	Wall clock time
Concrete 3.4	SAT	302.927	277.578
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-4262402-1502432156/watcher-4262402-1502432156 -o /tmp/evaluation-result-4262402-1502432156/solver-4262402-1502432156 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580 bin/concrete HOME/instance-4262402-1502432156.xml 

pid=13335
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.04 1.64 1.50 3/199 13338
/proc/meminfo: memFree=30833424/32770624 swapFree=0/381276
[pid=13338] ppid=13335 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13338/stat : 13338 (runsolver) D 13335 13338 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 31556240 24240128 107 18446744073709551615 4194304 4338465 140721388108928 140721388106568 140389508817623 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 12214272 140721388110033 140721388110409 140721388110409 140721388113866 0
/proc/13338/statm: 5918 107 54 36 0 2156 0

[startup+0.100177 s]
/proc/loadavg: 2.04 1.64 1.50 3/199 13338
/proc/meminfo: memFree=30833424/32770624 swapFree=0/381276
[pid=13338] ppid=13335 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/13338/stat : 13338 (bash) S 13335 13338 7434 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 31556240 9736192 351 18446744073709551615 4194304 5098028 140735427301600 140735427299240 139779303934976 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 17072128 140735427310100 140735427310185 140735427310185 140735427313642 0
/proc/13338/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200285 s]
/proc/loadavg: 2.04 1.64 1.50 3/199 13338
/proc/meminfo: memFree=30833424/32770624 swapFree=0/381276
[pid=13338] ppid=13335 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/13338/stat : 13338 (bash) S 13335 13338 7434 0 -1 4202496 891 6487 0 0 0 0 0 1 20 0 1 0 31556240 9867264 377 18446744073709551615 4194304 5098028 140735427301600 140735427295608 139779303934976 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 17072128 140735427310100 140735427310185 140735427310185 140735427313642 0
/proc/13338/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300714 s]
/proc/loadavg: 2.04 1.64 1.50 3/199 13338
/proc/meminfo: memFree=30833424/32770624 swapFree=0/381276
[pid=13338] ppid=13335 vsize=13840744 CPUtime=0.12 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 5581 12546 0 0 4 1 4 3 20 0 13 0 31556240 14172921856 5220 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3460186 5220 2424 1 0 3449683 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 13840744

[startup+0.700259 s]
/proc/loadavg: 2.04 1.64 1.50 3/199 13338
/proc/meminfo: memFree=30833424/32770624 swapFree=0/381276
[pid=13338] ppid=13335 vsize=13974784 CPUtime=0.62 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 13661 12546 0 0 51 4 4 3 20 0 15 0 31556240 14310178816 14569 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3493696 14569 3065 1 0 3482965 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784

[startup+1.50065 s]
/proc/loadavg: 2.12 1.67 1.51 3/214 13401
/proc/meminfo: memFree=30737988/32770624 swapFree=0/381548
[pid=13338] ppid=13335 vsize=13985408 CPUtime=1.86 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 25418 12546 0 0 172 7 4 3 20 0 15 0 31556240 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3496352 34386 3343 1 0 3485525 0
[pid=13338/tid=13388] ppid=13335 vsize=13985408 CPUtime=1.27 cores=0,2,4,6
/proc/13338/task/13388/stat : 13388 (java) R 13335 13338 7434 0 -1 4202560 19974 12546 0 0 115 5 4 3 20 0 15 0 31556265 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140574012869104 140573990198631 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13389] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13389/stat : 13389 (java) S 13335 13338 7434 0 -1 1077944384 2 12546 0 0 0 0 4 3 20 0 15 0 31556266 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573950581648 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13390] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13390/stat : 13390 (java) S 13335 13338 7434 0 -1 1077944384 1 12546 0 0 0 0 4 3 20 0 15 0 31556266 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573949528848 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13391] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13391/stat : 13391 (java) S 13335 13338 7434 0 -1 1077944384 1 12546 0 0 0 0 4 3 20 0 15 0 31556266 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573948476560 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13392] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13392/stat : 13392 (java) S 13335 13338 7434 0 -1 1077944384 2 12546 0 0 0 0 4 3 20 0 15 0 31556266 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573947423760 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13393] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13393/stat : 13393 (java) S 13335 13338 7434 0 -1 1077944384 5 12546 0 0 0 0 4 3 20 0 15 0 31556267 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573554104432 140574008646274 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13394] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13394/stat : 13394 (java) S 13335 13338 7434 0 -1 1077944384 33 12546 0 0 0 0 4 3 20 0 15 0 31556267 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573553050400 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13395] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13395/stat : 13395 (java) S 13335 13338 7434 0 -1 1077944384 21 12546 0 0 0 0 4 3 20 0 15 0 31556267 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573551998064 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13396] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13396/stat : 13396 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573550946384 140574008653723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13397] ppid=13335 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/13338/task/13397/stat : 13397 (java) S 13335 13338 7434 0 -1 1077944384 1222 12546 0 0 18 0 4 3 20 0 15 0 31556270 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573549894256 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13398] ppid=13335 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/13338/task/13398/stat : 13398 (java) S 13335 13338 7434 0 -1 1077944384 804 12546 0 0 14 0 4 3 20 0 15 0 31556270 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573548841456 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13399] ppid=13335 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/13338/task/13399/stat : 13399 (java) S 13335 13338 7434 0 -1 1077944384 1195 12546 0 0 22 0 4 3 20 0 15 0 31556270 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573547789168 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13400] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13400/stat : 13400 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573546736608 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13401] ppid=13335 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13401/stat : 13401 (java) S 13335 13338 7434 0 -1 1077944384 1 12546 0 0 0 0 4 3 20 0 15 0 31556274 14321057792 34386 18446744073709551615 4194304 4196468 140736442762000 140573545683376 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 13985408

[startup+3.10346 s]
/proc/loadavg: 2.12 1.67 1.51 5/214 13401
/proc/meminfo: memFree=30660868/32770624 swapFree=0/381548
[pid=13338] ppid=13335 vsize=13995836 CPUtime=4.75 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 33189 12546 0 0 456 12 4 3 20 0 15 0 31556240 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3498959 52399 3448 1 0 3487573 0
[pid=13338/tid=13388] ppid=13335 vsize=13995836 CPUtime=2.34 cores=0,2,4,6
/proc/13338/task/13388/stat : 13388 (java) R 13335 13338 7434 0 -1 4202560 23066 12546 0 0 219 8 4 3 20 0 15 0 31556265 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140574012867296 140574008649009 0 4 1 16800974 0 0 0 -1 0 0 0 52 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13389] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13389/stat : 13389 (java) S 13335 13338 7434 0 -1 1077944384 15 12546 0 0 0 0 4 3 20 0 15 0 31556266 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573950581648 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13390] ppid=13335 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/13338/task/13390/stat : 13390 (java) S 13335 13338 7434 0 -1 1077944384 31 12546 0 0 1 0 4 3 20 0 15 0 31556266 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573949528848 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13391] ppid=13335 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/13338/task/13391/stat : 13391 (java) S 13335 13338 7434 0 -1 1077944384 42 12546 0 0 1 0 4 3 20 0 15 0 31556266 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573948476560 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13392] ppid=13335 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/13338/task/13392/stat : 13392 (java) S 13335 13338 7434 0 -1 1077944384 205 12546 0 0 1 0 4 3 20 0 15 0 31556266 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573947423760 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13393] ppid=13335 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/13338/task/13393/stat : 13393 (java) S 13335 13338 7434 0 -1 1077944384 254 12546 0 0 1 0 4 3 20 0 15 0 31556267 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573554104432 140574008646274 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13394] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13394/stat : 13394 (java) S 13335 13338 7434 0 -1 1077944384 34 12546 0 0 0 0 4 3 20 0 15 0 31556267 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573553050464 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13395] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13395/stat : 13395 (java) S 13335 13338 7434 0 -1 1077944384 22 12546 0 0 0 0 4 3 20 0 15 0 31556267 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573551998080 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13396] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13396/stat : 13396 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573550946384 140574008653723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13397] ppid=13335 vsize=13995836 CPUtime=1.02 cores=0,2,4,6
/proc/13338/task/13397/stat : 13397 (java) R 13335 13338 7434 0 -1 4202560 3016 12546 0 0 95 0 4 3 20 0 15 0 31556270 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573549881040 140573994658948 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13398] ppid=13335 vsize=13995836 CPUtime=0.6 cores=0,2,4,6
/proc/13338/task/13398/stat : 13398 (java) R 13335 13338 7434 0 -1 4202560 1628 12546 0 0 53 0 4 3 20 0 15 0 31556270 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573548832784 140573990222384 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13399] ppid=13335 vsize=13995836 CPUtime=0.89 cores=0,2,4,6
/proc/13338/task/13399/stat : 13399 (java) R 13335 13338 7434 0 -1 1077944384 2718 12546 0 0 81 1 4 3 20 0 15 0 31556270 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573547784432 140574008645333 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13400] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13400/stat : 13400 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573546736608 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13401] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13401/stat : 13401 (java) S 13335 13338 7434 0 -1 1077944384 1 12546 0 0 0 0 4 3 20 0 15 0 31556274 14331736064 52399 18446744073709551615 4194304 4196468 140736442762000 140573545683376 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
Current children cumulated CPU time (s) 4.75
Current children cumulated vsize (KiB) 13995836

[startup+6.30072 s]
/proc/loadavg: 2.12 1.67 1.51 3/214 13402
/proc/meminfo: memFree=30541600/32770624 swapFree=0/381536
[pid=13338] ppid=13335 vsize=13995836 CPUtime=9.3 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 40326 12546 0 0 899 24 4 3 20 0 15 0 31556240 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3498959 83692 3466 1 0 3487573 0
[pid=13338/tid=13388] ppid=13335 vsize=13995836 CPUtime=5.47 cores=0,2,4,6
/proc/13338/task/13388/stat : 13388 (java) R 13335 13338 7434 0 -1 4202560 24483 12546 0 0 530 10 4 3 20 0 15 0 31556265 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140574012865864 140573634755632 0 4 1 16800974 0 0 0 -1 4 0 0 52 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13389] ppid=13335 vsize=13995836 CPUtime=0.14 cores=0,2,4,6
/proc/13338/task/13389/stat : 13389 (java) S 13335 13338 7434 0 -1 1077944384 489 12546 0 0 5 2 4 3 20 0 15 0 31556266 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573950581648 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13390] ppid=13335 vsize=13995836 CPUtime=0.14 cores=0,2,4,6
/proc/13338/task/13390/stat : 13390 (java) S 13335 13338 7434 0 -1 1077944384 131 12546 0 0 5 2 4 3 20 0 15 0 31556266 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573949528848 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13391] ppid=13335 vsize=13995836 CPUtime=0.14 cores=0,2,4,6
/proc/13338/task/13391/stat : 13391 (java) S 13335 13338 7434 0 -1 1077944384 206 12546 0 0 5 2 4 3 20 0 15 0 31556266 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573948476560 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13392] ppid=13335 vsize=13995836 CPUtime=0.14 cores=0,2,4,6
/proc/13338/task/13392/stat : 13392 (java) S 13335 13338 7434 0 -1 1077944384 451 12546 0 0 5 2 4 3 20 0 15 0 31556266 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573947423760 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13393] ppid=13335 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/13338/task/13393/stat : 13393 (java) S 13335 13338 7434 0 -1 1077944384 450 12546 0 0 1 0 4 3 20 0 15 0 31556267 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573554104432 140574008646274 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13394] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13394/stat : 13394 (java) S 13335 13338 7434 0 -1 1077944384 39 12546 0 0 0 0 4 3 20 0 15 0 31556267 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573553050464 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13395] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13395/stat : 13395 (java) S 13335 13338 7434 0 -1 1077944384 31 12546 0 0 0 0 4 3 20 0 15 0 31556267 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573551998080 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13396] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13396/stat : 13396 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573550946384 140574008653723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13397] ppid=13335 vsize=13995836 CPUtime=1.5 cores=0,2,4,6
/proc/13338/task/13397/stat : 13397 (java) S 13335 13338 7434 0 -1 1077944384 3470 12546 0 0 142 1 4 3 20 0 15 0 31556270 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573549894256 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13398] ppid=13335 vsize=13995836 CPUtime=1.06 cores=0,2,4,6
/proc/13338/task/13398/stat : 13398 (java) S 13335 13338 7434 0 -1 1077944384 2504 12546 0 0 99 0 4 3 20 0 15 0 31556270 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573548841456 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13399] ppid=13335 vsize=13995836 CPUtime=1.09 cores=0,2,4,6
/proc/13338/task/13399/stat : 13399 (java) S 13335 13338 7434 0 -1 1077944384 5238 12546 0 0 100 2 4 3 20 0 15 0 31556270 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573547789168 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13400] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13400/stat : 13400 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573546736608 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13401] ppid=13335 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13401/stat : 13401 (java) S 13335 13338 7434 0 -1 1077944384 677 12546 0 0 0 0 4 3 20 0 15 0 31556274 14331736064 83692 18446744073709551615 4194304 4196468 140736442762000 140573545683376 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
Current children cumulated CPU time (s) 9.3
Current children cumulated vsize (KiB) 13995836

[startup+12.7006 s]
/proc/loadavg: 2.18 1.69 1.52 3/214 13402
/proc/meminfo: memFree=30308332/32770624 swapFree=0/381528
[pid=13338] ppid=13335 vsize=13997884 CPUtime=16.97 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 49807 12546 0 0 1651 39 4 3 20 0 15 0 31556240 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3499471 135654 3466 1 0 3488085 0
[pid=13338/tid=13388] ppid=13335 vsize=13997884 CPUtime=11.71 cores=0,2,4,6
/proc/13338/task/13388/stat : 13388 (java) R 13335 13338 7434 0 -1 4202560 27806 12546 0 0 1153 11 4 3 20 0 15 0 31556265 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140574012866184 140573634755520 0 4 1 16800974 0 0 0 -1 0 0 0 52 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13389] ppid=13335 vsize=13997884 CPUtime=0.28 cores=0,2,4,6
/proc/13338/task/13389/stat : 13389 (java) S 13335 13338 7434 0 -1 1077944384 1000 12546 0 0 16 5 4 3 20 0 15 0 31556266 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140573950581648 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13390] ppid=13335 vsize=13997884 CPUtime=0.28 cores=0,2,4,6
/proc/13338/task/13390/stat : 13390 (java) S 13335 13338 7434 0 -1 1077944384 303 12546 0 0 16 5 4 3 20 0 15 0 31556266 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140573949528848 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13391] ppid=13335 vsize=13997884 CPUtime=0.29 cores=0,2,4,6
/proc/13338/task/13391/stat : 13391 (java) S 13335 13338 7434 0 -1 1077944384 476 12546 0 0 17 5 4 3 20 0 15 0 31556266 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140573948476560 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13392] ppid=13335 vsize=13997884 CPUtime=0.29 cores=0,2,4,6
/proc/13338/task/13392/stat : 13392 (java) S 13335 13338 7434 0 -1 1077944384 548 12546 0 0 17 5 4 3 20 0 15 0 31556266 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140573947423760 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13393] ppid=13335 vsize=13997884 CPUtime=0.09 cores=0,2,4,6
/proc/13338/task/13393/stat : 13393 (java) S 13335 13338 7434 0 -1 1077944384 640 12546 0 0 2 0 4 3 20 0 15 0 31556267 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140573554104432 140574008646274 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13394] ppid=13335 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13394/stat : 13394 (java) S 13335 13338 7434 0 -1 1077944384 40 12546 0 0 0 0 4 3 20 0 15 0 31556267 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140573553050464 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13395] ppid=13335 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13395/stat : 13395 (java) S 13335 13338 7434 0 -1 1077944384 35 12546 0 0 0 0 4 3 20 0 15 0 31556267 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140573551998080 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13396] ppid=13335 vsize=13997884 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13396/stat : 13396 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14333833216 135654 18446744073709551615 4194304 4196468 140736442762000 140573550946384 140574008653723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0

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

/proc/13338/task/13393/stat : 13393 (java) S 13335 13338 7434 0 -1 1077944384 12522 12546 0 0 12 2 4 3 20 0 15 0 31556267 14405136384 1051522 18446744073709551615 4194304 4196468 140736442762000 140573554103056 140574008645333 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13394] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13394/stat : 13394 (java) S 13335 13338 7434 0 -1 1077944384 51 12546 0 0 0 0 4 3 20 0 15 0 31556267 14405136384 1051522 18446744073709551615 4194304 4196468 140736442762000 140573553050528 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13395] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13395/stat : 13395 (java) S 13335 13338 7434 0 -1 1077944384 53 12546 0 0 0 0 4 3 20 0 15 0 31556267 14405136384 1051522 18446744073709551615 4194304 4196468 140736442762000 140573551998080 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13396] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13396/stat : 13396 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14405136384 1051522 18446744073709551615 4194304 4196468 140736442762000 140573550946384 140574008653723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13397] ppid=13335 vsize=14067516 CPUtime=4.97 cores=0,2,4,6
/proc/13338/task/13397/stat : 13397 (java) S 13335 13338 7434 0 -1 1077944384 19571 12546 0 0 488 2 4 3 20 0 15 0 31556270 14405136384 1051522 18446744073709551615 4194304 4196468 140736442762000 140573549894256 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13398] ppid=13335 vsize=14067516 CPUtime=4.13 cores=0,2,4,6
/proc/13338/task/13398/stat : 13398 (java) S 13335 13338 7434 0 -1 1077944384 10875 12546 0 0 404 2 4 3 20 0 15 0 31556270 14405136384 1051522 18446744073709551615 4194304 4196468 140736442762000 140573548841456 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13399] ppid=13335 vsize=14067516 CPUtime=2.16 cores=0,2,4,6
/proc/13338/task/13399/stat : 13399 (java) S 13335 13338 7434 0 -1 1077944384 28185 12546 0 0 204 5 4 3 20 0 15 0 31556270 14405136384 1051522 18446744073709551615 4194304 4196468 140736442762000 140573547789168 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13400] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13400/stat : 13400 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14405136384 1051522 18446744073709551615 4194304 4196468 140736442762000 140573546736608 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13401] ppid=13335 vsize=14067516 CPUtime=0.22 cores=0,2,4,6
/proc/13338/task/13401/stat : 13401 (java) S 13335 13338 7434 0 -1 1077944384 957 12546 0 0 7 8 4 3 20 0 15 0 31556274 14405136384 1051522 18446744073709551615 4194304 4196468 140736442762000 140573545683376 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
Current children cumulated CPU time (s) 293.9
Current children cumulated vsize (KiB) 14067516

[startup+276.811 s]
/proc/loadavg: 1.69 1.70 1.56 6/210 13411
/proc/meminfo: memFree=26801288/32770624 swapFree=0/381596
[pid=13338] ppid=13335 vsize=14067516 CPUtime=300.17 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 176341 12546 0 0 29810 200 4 3 20 0 15 0 31556240 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3516879 1049210 3474 1 0 3505493 0
[pid=13338/tid=13388] ppid=13335 vsize=14067516 CPUtime=271.49 cores=0,2,4,6
/proc/13338/task/13388/stat : 13388 (java) S 13335 13338 7434 0 -1 1077944384 87486 12546 0 0 27086 56 4 3 20 0 15 0 31556265 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140574012872800 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 52 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13389] ppid=13335 vsize=14067516 CPUtime=4.37 cores=0,2,4,6
/proc/13338/task/13389/stat : 13389 (java) R 13335 13338 7434 0 -1 4202560 4951 12546 0 0 399 31 4 3 20 0 15 0 31556266 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573950581648 140573993089078 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13390] ppid=13335 vsize=14067516 CPUtime=4.34 cores=0,2,4,6
/proc/13338/task/13390/stat : 13390 (java) R 13335 13338 7434 0 -1 4202560 3870 12546 0 0 396 31 4 3 20 0 15 0 31556266 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573949529048 140573993332902 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13391] ppid=13335 vsize=14067516 CPUtime=4.39 cores=0,2,4,6
/proc/13338/task/13391/stat : 13391 (java) R 13335 13338 7434 0 -1 4202560 3301 12546 0 0 402 30 4 3 20 0 15 0 31556266 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573948476560 140573990188752 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13392] ppid=13335 vsize=14067516 CPUtime=4.35 cores=0,2,4,6
/proc/13338/task/13392/stat : 13392 (java) R 13335 13338 7434 0 -1 4202560 2255 12546 0 0 398 30 4 3 20 0 15 0 31556266 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573947423760 140573993332902 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13393] ppid=13335 vsize=14067516 CPUtime=0.26 cores=0,2,4,6
/proc/13338/task/13393/stat : 13393 (java) S 13335 13338 7434 0 -1 1077944384 12625 12546 0 0 17 2 4 3 20 0 15 0 31556267 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573554102832 140574008645333 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13394] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13394/stat : 13394 (java) S 13335 13338 7434 0 -1 1077944384 53 12546 0 0 0 0 4 3 20 0 15 0 31556267 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573553050032 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13395] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13395/stat : 13395 (java) S 13335 13338 7434 0 -1 1077944384 53 12546 0 0 0 0 4 3 20 0 15 0 31556267 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573551998080 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13396] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13396/stat : 13396 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573550946384 140574008653723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13397] ppid=13335 vsize=14067516 CPUtime=4.97 cores=0,2,4,6
/proc/13338/task/13397/stat : 13397 (java) S 13335 13338 7434 0 -1 1077944384 19571 12546 0 0 488 2 4 3 20 0 15 0 31556270 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573549894256 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13398] ppid=13335 vsize=14067516 CPUtime=4.13 cores=0,2,4,6
/proc/13338/task/13398/stat : 13398 (java) S 13335 13338 7434 0 -1 1077944384 10875 12546 0 0 404 2 4 3 20 0 15 0 31556270 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573548841456 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13399] ppid=13335 vsize=14067516 CPUtime=2.16 cores=0,2,4,6
/proc/13338/task/13399/stat : 13399 (java) S 13335 13338 7434 0 -1 1077944384 28185 12546 0 0 204 5 4 3 20 0 15 0 31556270 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573547789168 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13400] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13400/stat : 13400 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573546736608 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13401] ppid=13335 vsize=14067516 CPUtime=0.22 cores=0,2,4,6
/proc/13338/task/13401/stat : 13401 (java) S 13335 13338 7434 0 -1 1077944384 959 12546 0 0 7 8 4 3 20 0 15 0 31556274 14405136384 1049210 18446744073709551615 4194304 4196468 140736442762000 140573545683376 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
Current children cumulated CPU time (s) 300.17
Current children cumulated vsize (KiB) 14067516

[startup+277.201 s]
/proc/loadavg: 1.69 1.70 1.56 6/210 13411
/proc/meminfo: memFree=26820572/32770624 swapFree=0/381596
[pid=13338] ppid=13335 vsize=14067516 CPUtime=301.68 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 183366 12546 0 0 29961 200 4 3 20 0 15 0 31556240 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3516879 1047226 3474 1 0 3505493 0
[pid=13338/tid=13388] ppid=13335 vsize=14067516 CPUtime=271.49 cores=0,2,4,6
/proc/13338/task/13388/stat : 13388 (java) S 13335 13338 7434 0 -1 1077944384 87486 12546 0 0 27086 56 4 3 20 0 15 0 31556265 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140574012872800 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13389] ppid=13335 vsize=14067516 CPUtime=4.74 cores=0,2,4,6
/proc/13338/task/13389/stat : 13389 (java) R 13335 13338 7434 0 -1 4202560 5110 12546 0 0 436 31 4 3 20 0 15 0 31556266 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573950581848 140573993620147 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13390] ppid=13335 vsize=14067516 CPUtime=4.71 cores=0,2,4,6
/proc/13338/task/13390/stat : 13390 (java) R 13335 13338 7434 0 -1 4202560 4565 12546 0 0 433 31 4 3 20 0 15 0 31556266 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573949528848 140573990231550 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13391] ppid=13335 vsize=14067516 CPUtime=4.76 cores=0,2,4,6
/proc/13338/task/13391/stat : 13391 (java) R 13335 13338 7434 0 -1 4202560 3837 12546 0 0 439 30 4 3 20 0 15 0 31556266 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573948476560 140573993089884 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13392] ppid=13335 vsize=14067516 CPUtime=4.72 cores=0,2,4,6
/proc/13338/task/13392/stat : 13392 (java) R 13335 13338 7434 0 -1 4202560 2445 12546 0 0 435 30 4 3 20 0 15 0 31556266 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573947423960 140573993620423 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13393] ppid=13335 vsize=14067516 CPUtime=0.29 cores=0,2,4,6
/proc/13338/task/13393/stat : 13393 (java) S 13335 13338 7434 0 -1 1077944384 18033 12546 0 0 19 3 4 3 20 0 15 0 31556267 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573554102832 140574008645333 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13394] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13394/stat : 13394 (java) S 13335 13338 7434 0 -1 1077944384 62 12546 0 0 0 0 4 3 20 0 15 0 31556267 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573553050512 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13395] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13395/stat : 13395 (java) S 13335 13338 7434 0 -1 1077944384 55 12546 0 0 0 0 4 3 20 0 15 0 31556267 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573551997680 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13396] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13396/stat : 13396 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573550946384 140574008653723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13397] ppid=13335 vsize=14067516 CPUtime=4.97 cores=0,2,4,6
/proc/13338/task/13397/stat : 13397 (java) S 13335 13338 7434 0 -1 1077944384 19571 12546 0 0 488 2 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573549894256 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13398] ppid=13335 vsize=14067516 CPUtime=4.13 cores=0,2,4,6
/proc/13338/task/13398/stat : 13398 (java) S 13335 13338 7434 0 -1 1077944384 10875 12546 0 0 404 2 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573548841456 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13399] ppid=13335 vsize=14067516 CPUtime=2.16 cores=0,2,4,6
/proc/13338/task/13399/stat : 13399 (java) S 13335 13338 7434 0 -1 1077944384 28185 12546 0 0 204 5 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573547789168 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13400] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13400/stat : 13400 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573546736608 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13401] ppid=13335 vsize=14067516 CPUtime=0.22 cores=0,2,4,6
/proc/13338/task/13401/stat : 13401 (java) S 13335 13338 7434 0 -1 1077944384 985 12546 0 0 7 8 4 3 20 0 15 0 31556274 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573545683376 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
Current children cumulated CPU time (s) 301.68
Current children cumulated vsize (KiB) 14067516

[startup+277.401 s]
/proc/loadavg: 1.69 1.70 1.56 6/210 13411
/proc/meminfo: memFree=26820572/32770624 swapFree=0/381596
[pid=13338] ppid=13335 vsize=14067516 CPUtime=302.39 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 191808 12546 0 0 30032 200 4 3 20 0 15 0 31556240 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3516879 1047226 3474 1 0 3505493 0
[pid=13338/tid=13388] ppid=13335 vsize=14067516 CPUtime=271.49 cores=0,2,4,6
/proc/13338/task/13388/stat : 13388 (java) S 13335 13338 7434 0 -1 1077944384 87486 12546 0 0 27086 56 4 3 20 0 15 0 31556265 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140574012872800 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 52 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13389] ppid=13335 vsize=14067516 CPUtime=4.91 cores=0,2,4,6
/proc/13338/task/13389/stat : 13389 (java) R 13335 13338 7434 0 -1 4202560 5135 12546 0 0 453 31 4 3 20 0 15 0 31556266 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573950581848 140573993631531 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13390] ppid=13335 vsize=14067516 CPUtime=4.89 cores=0,2,4,6
/proc/13338/task/13390/stat : 13390 (java) R 13335 13338 7434 0 -1 4202560 4591 12546 0 0 451 31 4 3 20 0 15 0 31556266 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573949528848 140573993333824 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13391] ppid=13335 vsize=14067516 CPUtime=4.94 cores=0,2,4,6
/proc/13338/task/13391/stat : 13391 (java) R 13335 13338 7434 0 -1 4202560 3869 12546 0 0 457 30 4 3 20 0 15 0 31556266 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573948476560 140573993631620 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13392] ppid=13335 vsize=14067516 CPUtime=4.9 cores=0,2,4,6
/proc/13338/task/13392/stat : 13392 (java) R 13335 13338 7434 0 -1 4202560 2476 12546 0 0 453 30 4 3 20 0 15 0 31556266 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573947423760 140573993631542 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13393] ppid=13335 vsize=14067516 CPUtime=0.3 cores=0,2,4,6
/proc/13338/task/13393/stat : 13393 (java) S 13335 13338 7434 0 -1 1077944384 26361 12546 0 0 20 3 4 3 20 0 15 0 31556267 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573554103056 140574008645333 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13394] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13394/stat : 13394 (java) S 13335 13338 7434 0 -1 1077944384 62 12546 0 0 0 0 4 3 20 0 15 0 31556267 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573553050512 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13395] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13395/stat : 13395 (java) S 13335 13338 7434 0 -1 1077944384 55 12546 0 0 0 0 4 3 20 0 15 0 31556267 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573551997680 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13396] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13396/stat : 13396 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573550946384 140574008653723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13397] ppid=13335 vsize=14067516 CPUtime=4.97 cores=0,2,4,6
/proc/13338/task/13397/stat : 13397 (java) S 13335 13338 7434 0 -1 1077944384 19571 12546 0 0 488 2 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573549894256 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13398] ppid=13335 vsize=14067516 CPUtime=4.13 cores=0,2,4,6
/proc/13338/task/13398/stat : 13398 (java) S 13335 13338 7434 0 -1 1077944384 10875 12546 0 0 404 2 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573548841456 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13399] ppid=13335 vsize=14067516 CPUtime=2.16 cores=0,2,4,6
/proc/13338/task/13399/stat : 13399 (java) S 13335 13338 7434 0 -1 1077944384 28185 12546 0 0 204 5 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573547789168 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13400] ppid=13335 vsize=14067516 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13400/stat : 13400 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573546736608 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13401] ppid=13335 vsize=14067516 CPUtime=0.22 cores=0,2,4,6
/proc/13338/task/13401/stat : 13401 (java) S 13335 13338 7434 0 -1 1077944384 985 12546 0 0 7 8 4 3 20 0 15 0 31556274 14405136384 1047226 18446744073709551615 4194304 4196468 140736442762000 140573545683376 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
Current children cumulated CPU time (s) 302.39
Current children cumulated vsize (KiB) 14067516

[startup+277.501 s]
/proc/loadavg: 1.69 1.70 1.56 6/210 13411
/proc/meminfo: memFree=26820572/32770624 swapFree=0/381596
[pid=13338] ppid=13335 vsize=14069564 CPUtime=302.74 cores=0,2,4,6
/proc/13338/stat : 13338 (java) S 13335 13338 7434 0 -1 1077944320 192802 12546 0 0 30067 200 4 3 20 0 15 0 31556240 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140736442744544 140574008635127 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
/proc/13338/statm: 3517391 1047251 3474 1 0 3506005 0
[pid=13338/tid=13388] ppid=13335 vsize=14069564 CPUtime=271.5 cores=0,2,4,6
/proc/13338/task/13388/stat : 13388 (java) R 13335 13338 7434 0 -1 4202560 88014 12546 0 0 27087 56 4 3 20 0 15 0 31556265 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140574012872800 140573991830912 0 4 1 16800974 0 0 0 -1 2 0 0 52 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13389] ppid=13335 vsize=14069564 CPUtime=5 cores=0,2,4,6
/proc/13338/task/13389/stat : 13389 (java) S 13335 13338 7434 0 -1 1077944384 5150 12546 0 0 462 31 4 3 20 0 15 0 31556266 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573950581648 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13390] ppid=13335 vsize=14069564 CPUtime=4.97 cores=0,2,4,6
/proc/13338/task/13390/stat : 13390 (java) S 13335 13338 7434 0 -1 1077944384 4607 12546 0 0 459 31 4 3 20 0 15 0 31556266 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573949528848 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13391] ppid=13335 vsize=14069564 CPUtime=5.02 cores=0,2,4,6
/proc/13338/task/13391/stat : 13391 (java) S 13335 13338 7434 0 -1 1077944384 3892 12546 0 0 465 30 4 3 20 0 15 0 31556266 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573948476560 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13392] ppid=13335 vsize=14069564 CPUtime=4.98 cores=0,2,4,6
/proc/13338/task/13392/stat : 13392 (java) S 13335 13338 7434 0 -1 1077944384 2485 12546 0 0 461 30 4 3 20 0 15 0 31556266 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573947423760 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13393] ppid=13335 vsize=14069564 CPUtime=0.31 cores=0,2,4,6
/proc/13338/task/13393/stat : 13393 (java) S 13335 13338 7434 0 -1 1077944384 26762 12546 0 0 21 3 4 3 20 0 15 0 31556267 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573554104432 140574008646274 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13394] ppid=13335 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13394/stat : 13394 (java) S 13335 13338 7434 0 -1 1077944384 63 12546 0 0 0 0 4 3 20 0 15 0 31556267 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573553050528 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13395] ppid=13335 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13395/stat : 13395 (java) S 13335 13338 7434 0 -1 1077944384 57 12546 0 0 0 0 4 3 20 0 15 0 31556267 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573551998080 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13396] ppid=13335 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13396/stat : 13396 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573550946384 140574008653723 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13397] ppid=13335 vsize=14069564 CPUtime=4.97 cores=0,2,4,6
/proc/13338/task/13397/stat : 13397 (java) S 13335 13338 7434 0 -1 1077944384 19571 12546 0 0 488 2 4 3 20 0 15 0 31556270 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573549894256 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13398] ppid=13335 vsize=14069564 CPUtime=4.13 cores=0,2,4,6
/proc/13338/task/13398/stat : 13398 (java) S 13335 13338 7434 0 -1 1077944384 10875 12546 0 0 404 2 4 3 20 0 15 0 31556270 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573548841456 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13399] ppid=13335 vsize=14069564 CPUtime=2.16 cores=0,2,4,6
/proc/13338/task/13399/stat : 13399 (java) S 13335 13338 7434 0 -1 1077944384 28185 12546 0 0 204 5 4 3 20 0 15 0 31556270 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573547789168 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13400] ppid=13335 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/13338/task/13400/stat : 13400 (java) S 13335 13338 7434 0 -1 1077944384 3 12546 0 0 0 0 4 3 20 0 15 0 31556270 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573546736608 140574008645333 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
[pid=13338/tid=13401] ppid=13335 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/13338/task/13401/stat : 13401 (java) S 13335 13338 7434 0 -1 1077944384 985 12546 0 0 7 8 4 3 20 0 15 0 31556274 14407233536 1047251 18446744073709551615 4194304 4196468 140736442762000 140573545683376 140574008646274 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18210816 140736442763216 140736442766001 140736442766001 140736442769359 0
Current children cumulated CPU time (s) 302.74
Current children cumulated vsize (KiB) 14069564

Child status: 0
Real time (s): 277.578
CPU time (s): 302.927
CPU user time (s): 300.849
CPU system time (s): 2.0785
CPU usage (%): 109.132
Max. virtual memory (cumulated for all children) (KiB): 14070036

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 300.849
system time used= 2.0785
maximum resident set size= 4286468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207165
page faults= 0
swaps= 0
block input operations= 0
block output operations= 536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16302
involuntary context switches= 601

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.3541 second user time and 1.57395 second system time

The end
Name	MagicSequence/MagicSequence-count-s1/ MagicSequence-1000-co.xml
MD5SUM	747b40881cd41efe91eebad5da45ed52
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	14.8096
Satisfiable
(Un)Satisfiability was proved
Number of variables	1000
Number of constraints	1002
Number of domains	1
Minimum domain size	1000
Maximum domain size	1000
Distribution of domain sizes	[{"size":1000,"count":1000}]
Minimum variable degree	1002
Maximum variable degree	1002
Distribution of variable degrees	[{"degree":1002,"count":1000}]
Minimum constraint arity	1000
Maximum constraint arity	1000
Distribution of constraint arities	[{"arity":1000,"count":1002}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":2},{"type":"count","count":1000}]
Optimization problem	NO
Type of objective
Trace number 4262402

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
