2018 XCSP3 competition: sequential solvers tracks competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
OscaR - Conflict Ordering with restarts 2018-08-14	SAT (TO)	44	2520.03	2513.42
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (8876 MiB free)
  memory of node 1: 16384 MiB (9763 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308310-1534283060/watcher-4308310-1534283060 -o /tmp/evaluation-result-4308310-1534283060/solver-4308310-1534283060 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534270591-14140 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 775585564 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308310-1534283060.xml 

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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=15420, runsolver pid=15417

[startup+0.107491 s]*
/proc/loadavg: 2.05 1.46 1.33 4/216 15435
/proc/meminfo: memFree=19068436/32770624 swapFree=67108860/67108860
[pid=15420] ppid=15417 vsize=14082736 memory=34068 CPUtime=0.13 cores=0,2,4,6
/proc/15420/stat : 15420 (java) S 15417 15420 12756 0 -1 1077944320 7388 0 0 0 12 1 0 0 20 0 15 0 245869158 14420721664 8451 33554432000 4194304 4196468 140737111320592 140737111303136 139782205898487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
/proc/15420/statm: 3520684 8451 3158 1 0 3482761 0
[pid=15420/tid=15422] ppid=15417 vsize=14082736 memory=-6966721798027829888 CPUtime=0.1 cores=0,2,4,6
/proc/15420/task/15422/stat : 15422 (java) R 15417 15420 12756 0 -1 4202560 5458 0 0 0 10 0 0 0 20 0 15 0 245869158 14420721664 8517 33554432000 4194304 4196468 140737111320592 139782210119720 139782205910422 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15423] ppid=15417 vsize=14082736 memory=5793855668403345849 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15423/stat : 15423 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 8517 33554432000 4194304 4196468 140737111320592 139782135986832 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15424] ppid=15417 vsize=14082736 memory=140417393452672 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15424/stat : 15424 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 8517 33554432000 4194304 4196468 140737111320592 139782134934032 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15425] ppid=15417 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15425/stat : 15425 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 8517 33554432000 4194304 4196468 140737111320592 139782133881232 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15426] ppid=15417 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15426/stat : 15426 (java) S 15417 15420 12756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 8517 33554432000 4194304 4196468 140737111320592 139782132828432 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15427] ppid=15417 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15427/stat : 15427 (java) S 15417 15420 12756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245869161 14420721664 8517 33554432000 4194304 4196468 140737111320592 139781679307632 139782205909634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15428] ppid=15417 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15428/stat : 15428 (java) S 15417 15420 12756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245869161 14420721664 8517 33554432000 4194304 4196468 140737111320592 139781678253600 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15429] ppid=15417 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15429/stat : 15429 (java) S 15417 15420 12756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245869161 14420721664 8517 33554432000 4194304 4196468 140737111320592 139781677200752 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15430] ppid=15417 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15430/stat : 15430 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 8517 33554432000 4194304 4196468 140737111320592 139781676149072 139782205917083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15431] ppid=15417 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15431/stat : 15431 (java) S 15417 15420 12756 0 -1 1077944384 295 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 8517 33554432000 4194304 4196468 140737111320592 139781675096432 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15432] ppid=15417 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15432/stat : 15432 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 8517 33554432000 4194304 4196468 140737111320592 139781674043632 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15433] ppid=15417 vsize=14082736 memory=140417393452672 CPUtime=0.01 cores=0,2,4,6
/proc/15420/task/15433/stat : 15433 (java) R 15417 15420 12756 0 -1 4202560 292 0 0 0 1 0 0 0 20 0 15 0 245869164 14420721664 8517 33554432000 4194304 4196468 140737111320592 139781672990832 139782184545061 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15434] ppid=15417 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15434/stat : 15434 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 8517 33554432000 4194304 4196468 140737111320592 139781671938272 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15435] ppid=15417 vsize=14082736 memory=140417393452672 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15435/stat : 15435 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 8517 33554432000 4194304 4196468 140737111320592 139781670886576 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 34068 KiB

[startup+0.210634 s]*
/proc/loadavg: 2.05 1.46 1.33 5/216 15435
/proc/meminfo: memFree=19054644/32770624 swapFree=67108860/67108860
[pid=15420] ppid=15417 vsize=14082736 memory=47228 CPUtime=0.31 cores=0,2,4,6
/proc/15420/stat : 15420 (java) S 15417 15420 12756 0 -1 1077944320 10410 0 0 0 29 2 0 0 20 0 15 0 245869158 14420721664 11807 33554432000 4194304 4196468 140737111320592 140737111303136 139782205898487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
/proc/15420/statm: 3520684 11807 3374 1 0 3482761 0
[pid=15420/tid=15422] ppid=15417 vsize=14082736 memory=6735269665583770266 CPUtime=0.2 cores=0,2,4,6
/proc/15420/task/15422/stat : 15422 (java) R 15417 15420 12756 0 -1 4202560 8142 0 0 0 19 1 0 0 20 0 15 0 245869158 14420721664 11807 33554432000 4194304 4196468 140737111320592 139782210119040 139781809307181 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15423] ppid=15417 vsize=14082736 memory=4211974143598243210 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15423/stat : 15423 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 11807 33554432000 4194304 4196468 140737111320592 139782135986832 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15424] ppid=15417 vsize=14082736 memory=140417393452672 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15424/stat : 15424 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 11807 33554432000 4194304 4196468 140737111320592 139782134934032 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15425] ppid=15417 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15425/stat : 15425 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 11807 33554432000 4194304 4196468 140737111320592 139782133881232 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15426] ppid=15417 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15426/stat : 15426 (java) S 15417 15420 12756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 11807 33554432000 4194304 4196468 140737111320592 139782132828432 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15427] ppid=15417 vsize=14082736 memory=140417393452672 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15427/stat : 15427 (java) S 15417 15420 12756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245869161 14420721664 11807 33554432000 4194304 4196468 140737111320592 139781679307632 139782205909634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15428] ppid=15417 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15428/stat : 15428 (java) S 15417 15420 12756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245869161 14420721664 11807 33554432000 4194304 4196468 140737111320592 139781678253600 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15429] ppid=15417 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15429/stat : 15429 (java) S 15417 15420 12756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245869161 14420721664 11807 33554432000 4194304 4196468 140737111320592 139781677200752 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15430] ppid=15417 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15430/stat : 15430 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 11807 33554432000 4194304 4196468 140737111320592 139781676149072 139782205917083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15431] ppid=15417 vsize=14082736 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/15420/task/15431/stat : 15431 (java) R 15417 15420 12756 0 -1 4202560 441 0 0 0 2 0 0 0 20 0 15 0 245869164 14420721664 11807 33554432000 4194304 4196468 140737111320592 139781675096432 139782198135614 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15432] ppid=15417 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15432/stat : 15432 (java) R 15417 15420 12756 0 -1 1077944384 132 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 11807 33554432000 4194304 4196468 140737111320592 139781674043632 139782205909634 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15433] ppid=15417 vsize=14082736 memory=140417393452672 CPUtime=0.06 cores=0,2,4,6
/proc/15420/task/15433/stat : 15433 (java) R 15417 15420 12756 0 -1 4202560 314 0 0 0 6 0 0 0 20 0 15 0 245869164 14420721664 11807 33554432000 4194304 4196468 140737111320592 139781672985872 139782185287857 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15434] ppid=15417 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15434/stat : 15434 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 11807 33554432000 4194304 4196468 140737111320592 139781671938272 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15435] ppid=15417 vsize=14082736 memory=140417393452672 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15435/stat : 15435 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 11807 33554432000 4194304 4196468 140737111320592 139781670886576 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 47228 KiB

[startup+0.310739 s]*
/proc/loadavg: 2.05 1.46 1.33 3/216 15435
/proc/meminfo: memFree=19051480/32770624 swapFree=67108860/67108860
[pid=15420] ppid=15417 vsize=14082736 memory=50556 CPUtime=0.44 cores=0,2,4,6
/proc/15420/stat : 15420 (java) S 15417 15420 12756 0 -1 1077944320 10788 0 0 0 42 2 0 0 20 0 15 0 245869158 14420721664 12639 33554432000 4194304 4196468 140737111320592 140737111303136 139782205898487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
/proc/15420/statm: 3520684 12639 3377 1 0 3482761 0
[pid=15420/tid=15422] ppid=15417 vsize=14082736 memory=4871374705135476842 CPUtime=0.3 cores=0,2,4,6
/proc/15420/task/15422/stat : 15422 (java) R 15417 15420 12756 0 -1 4202560 8474 0 0 0 29 1 0 0 20 0 15 0 245869158 14420721664 12639 33554432000 4194304 4196468 140737111320592 139782210110000 139782187462047 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15423] ppid=15417 vsize=14082736 memory=4211974143598243210 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15423/stat : 15423 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 12639 33554432000 4194304 4196468 140737111320592 139782135986832 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15424] ppid=15417 vsize=14082736 memory=140417393455032 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15424/stat : 15424 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 12639 33554432000 4194304 4196468 140737111320592 139782134934032 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15425] ppid=15417 vsize=14082736 memory=140417244978148 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15425/stat : 15425 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 12639 33554432000 4194304 4196468 140737111320592 139782133881232 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15426] ppid=15417 vsize=14082736 memory=140417244974543 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15426/stat : 15426 (java) S 15417 15420 12756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245869159 14420721664 12639 33554432000 4194304 4196468 140737111320592 139782132828432 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15427] ppid=15417 vsize=14082736 memory=140417393465455 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15427/stat : 15427 (java) S 15417 15420 12756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245869161 14420721664 12639 33554432000 4194304 4196468 140737111320592 139781679307632 139782205909634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15428] ppid=15417 vsize=14082736 memory=140417244983727 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15428/stat : 15428 (java) S 15417 15420 12756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245869161 14420721664 12639 33554432000 4194304 4196468 140737111320592 139781678253600 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15429] ppid=15417 vsize=14082736 memory=280834489958288 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15429/stat : 15429 (java) S 15417 15420 12756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245869161 14420721664 12639 33554432000 4194304 4196468 140737111320592 139781677200752 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15430] ppid=15417 vsize=14082736 memory=280834489955984 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15430/stat : 15430 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 12639 33554432000 4194304 4196468 140737111320592 139781676149072 139782205917083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15431] ppid=15417 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/15420/task/15431/stat : 15431 (java) S 15417 15420 12756 0 -1 1077944384 461 0 0 0 3 0 0 0 20 0 15 0 245869164 14420721664 12639 33554432000 4194304 4196468 140737111320592 139781675096432 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15432] ppid=15417 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/15420/task/15432/stat : 15432 (java) S 15417 15420 12756 0 -1 1077944384 148 0 0 0 1 0 0 0 20 0 15 0 245869164 14420721664 12639 33554432000 4194304 4196468 140737111320592 139781674043632 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15433] ppid=15417 vsize=14082736 memory=140417393452672 CPUtime=0.08 cores=0,2,4,6
/proc/15420/task/15433/stat : 15433 (java) S 15417 15420 12756 0 -1 1077944384 323 0 0 0 8 0 0 0 20 0 15 0 245869164 14420721664 12639 33554432000 4194304 4196468 140737111320592 139781672990832 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15434] ppid=15417 vsize=14082736 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15434/stat : 15434 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 12639 33554432000 4194304 4196468 140737111320592 139781671938272 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15435] ppid=15417 vsize=14082736 memory=140417393452672 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15435/stat : 15435 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869164 14420721664 12639 33554432000 4194304 4196468 140737111320592 139781670886576 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50556 KiB

[startup+0.700831 s]
/proc/loadavg: 2.05 1.46 1.33 3/216 15435
/proc/meminfo: memFree=19028040/32770624 swapFree=67108860/67108860
[pid=15420] ppid=15417 vsize=14084804 memory=88904 CPUtime=0.98 cores=0,2,4,6
/proc/15420/stat : 15420 (java) S 15417 15420 12756 0 -1 1077944320 17615 0 0 0 94 4 0 0 20 0 15 0 245869158 14422839296 22226 33554432000 4194304 4196468 140737111320592 140737111303136 139782205898487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
/proc/15420/statm: 3521201 22226 3487 1 0 3483273 0
[pid=15420/tid=15422] ppid=15417 vsize=14084804 memory=876 CPUtime=0.67 cores=0,2,4,6
/proc/15420/task/15422/stat : 15422 (java) R 15417 15420 12756 0 -1 4202560 14906 0 0 0 64 3 0 0 20 0 15 0 245869158 14422839296 22226 33554432000 4194304 4196468 140737111320592 139782210113392 139782205920413 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15423] ppid=15417 vsize=14084804 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15423/stat : 15423 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14422839296 22226 33554432000 4194304 4196468 140737111320592 139782135986832 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15424] ppid=15417 vsize=14084804 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15424/stat : 15424 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14422839296 22226 33554432000 4194304 4196468 140737111320592 139782134934032 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15425] ppid=15417 vsize=14084804 memory=6296683612554547549 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15425/stat : 15425 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869159 14422839296 22226 33554432000 4194304 4196468 140737111320592 139782133881232 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15426] ppid=15417 vsize=14084804 memory=7597685182856913236 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15426/stat : 15426 (java) S 15417 15420 12756 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 245869159 14422839296 22226 33554432000 4194304 4196468 140737111320592 139782132828432 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15427] ppid=15417 vsize=14084804 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15427/stat : 15427 (java) S 15417 15420 12756 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 245869161 14422839296 22226 33554432000 4194304 4196468 140737111320592 139781679307632 139782205909634 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15428] ppid=15417 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15428/stat : 15428 (java) S 15417 15420 12756 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 245869161 14422839296 22226 33554432000 4194304 4196468 140737111320592 139781678253600 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15429] ppid=15417 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15429/stat : 15429 (java) S 15417 15420 12756 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 245869161 14422839296 22226 33554432000 4194304 4196468 140737111320592 139781677200752 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15430] ppid=15417 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15430/stat : 15430 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14422839296 22226 33554432000 4194304 4196468 140737111320592 139781676149072 139782205917083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15431] ppid=15417 vsize=14084804 memory=263 CPUtime=0.07 cores=0,2,4,6
/proc/15420/task/15431/stat : 15431 (java) S 15417 15420 12756 0 -1 1077944384 598 0 0 0 7 0 0 0 20 0 15 0 245869164 14422839296 22226 33554432000 4194304 4196468 140737111320592 139781675096432 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15432] ppid=15417 vsize=14084804 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/15420/task/15432/stat : 15432 (java) S 15417 15420 12756 0 -1 1077944384 320 0 0 0 7 0 0 0 20 0 15 0 245869164 14422839296 22226 33554432000 4194304 4196468 140737111320592 139781674043632 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15433] ppid=15417 vsize=14084804 memory=20107 CPUtime=0.15 cores=0,2,4,6
/proc/15420/task/15433/stat : 15433 (java) S 15417 15420 12756 0 -1 1077944384 409 0 0 0 15 0 0 0 20 0 15 0 245869164 14422839296 22226 33554432000 4194304 4196468 140737111320592 139781672990832 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15434] ppid=15417 vsize=14084804 memory=280834490142192 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15434/stat : 15434 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14422839296 22226 33554432000 4194304 4196468 140737111320592 139781671938272 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15435] ppid=15417 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15435/stat : 15435 (java) S 15417 15420 12756 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 245869164 14422839296 22226 33554432000 4194304 4196468 140737111320592 139781670886576 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88904 KiB

[startup+1.50154 s]
/proc/loadavg: 2.05 1.46 1.33 6/216 15435
/proc/meminfo: memFree=18979272/32770624 swapFree=67108860/67108860
[pid=15420] ppid=15417 vsize=14086852 memory=223324 CPUtime=3.44 cores=0,2,4,6
/proc/15420/stat : 15420 (java) S 15417 15420 12756 0 -1 1077944320 25237 0 0 0 335 9 0 0 20 0 15 0 245869158 14424936448 55831 33554432000 4194304 4196468 140737111320592 140737111303136 139782205898487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
/proc/15420/statm: 3521713 55831 3553 1 0 3483785 0
[pid=15420/tid=15422] ppid=15417 vsize=14086852 memory=0 CPUtime=1.46 cores=0,2,4,6
/proc/15420/task/15422/stat : 15422 (java) R 15417 15420 12756 0 -1 4202560 17347 0 0 0 141 5 0 0 20 0 15 0 245869158 14424936448 55831 33554432000 4194304 4196468 140737111320592 139782210133456 139781812575008 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15423] ppid=15417 vsize=14086852 memory=-3535359994705172833 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15423/stat : 15423 (java) S 15417 15420 12756 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 245869159 14424936448 55831 33554432000 4194304 4196468 140737111320592 139782135986832 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15424] ppid=15417 vsize=14086852 memory=-3472574513799858003 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15424/stat : 15424 (java) S 15417 15420 12756 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 245869159 14424936448 55831 33554432000 4194304 4196468 140737111320592 139782134934032 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15425] ppid=15417 vsize=14086852 memory=-1088251628401078322 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15425/stat : 15425 (java) S 15417 15420 12756 0 -1 1077944384 95 0 0 0 0 0 0 0 20 0 15 0 245869159 14424936448 55831 33554432000 4194304 4196468 140737111320592 139782133881232 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15426] ppid=15417 vsize=14086852 memory=-6079119013371470944 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15426/stat : 15426 (java) S 15417 15420 12756 0 -1 1077944384 28 0 0 0 0 0 0 0 20 0 15 0 245869159 14424936448 55831 33554432000 4194304 4196468 140737111320592 139782132828432 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15427] ppid=15417 vsize=14086852 memory=-6585528546044026665 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15427/stat : 15427 (java) S 15417 15420 12756 0 -1 1077944384 182 0 0 0 0 0 0 0 20 0 15 0 245869161 14424936448 55831 33554432000 4194304 4196468 140737111320592 139781679307632 139782205909634 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0

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

/proc/15420/task/15422/stat : 15422 (java) R 15417 15420 12756 0 -1 4202560 34064 0 0 0 238168 7 0 0 20 0 15 0 245869158 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782210136448 139781818222746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15423] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.22 cores=0,2,4,6
/proc/15420/task/15423/stat : 15423 (java) S 15417 15420 12756 0 -1 1077944384 699 0 0 0 18 4 0 0 20 0 15 0 245869159 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782135986832 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15424] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.21 cores=0,2,4,6
/proc/15420/task/15424/stat : 15424 (java) S 15417 15420 12756 0 -1 1077944384 819 0 0 0 18 3 0 0 20 0 15 0 245869159 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782134934032 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15425] ppid=15417 vsize=14090948 memory=1580 CPUtime=0.22 cores=0,2,4,6
/proc/15420/task/15425/stat : 15425 (java) S 15417 15420 12756 0 -1 1077944384 591 0 0 0 19 3 0 0 20 0 15 0 245869159 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782133881232 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15426] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.22 cores=0,2,4,6
/proc/15420/task/15426/stat : 15426 (java) S 15417 15420 12756 0 -1 1077944384 847 0 0 0 18 4 0 0 20 0 15 0 245869159 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782132828432 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15427] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.16 cores=0,2,4,6
/proc/15420/task/15427/stat : 15427 (java) S 15417 15420 12756 0 -1 1077944384 2864 0 0 0 13 3 0 0 20 0 15 0 245869161 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781679307632 139782205909634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15428] ppid=15417 vsize=14090948 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15428/stat : 15428 (java) S 15417 15420 12756 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 245869161 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781678253664 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15429] ppid=15417 vsize=14090948 memory=213440 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15429/stat : 15429 (java) S 15417 15420 12756 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245869161 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781677200768 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15430] ppid=15417 vsize=14090948 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15430/stat : 15430 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781676149072 139782205917083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15431] ppid=15417 vsize=14090948 memory=932 CPUtime=2.15 cores=0,2,4,6
/proc/15420/task/15431/stat : 15431 (java) S 15417 15420 12756 0 -1 1077944384 16558 0 0 0 214 1 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781675096432 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15432] ppid=15417 vsize=14090948 memory=1580 CPUtime=2.14 cores=0,2,4,6
/proc/15420/task/15432/stat : 15432 (java) S 15417 15420 12756 0 -1 1077944384 18990 0 0 0 212 2 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781674043632 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15433] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.94 cores=0,2,4,6
/proc/15420/task/15433/stat : 15433 (java) S 15417 15420 12756 0 -1 1077944384 15601 0 0 0 91 3 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781672990832 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15434] ppid=15417 vsize=14090948 memory=213440 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15434/stat : 15434 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781671938272 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15435] ppid=15417 vsize=14090948 memory=2100 CPUtime=0.7 cores=0,2,4,6
/proc/15420/task/15435/stat : 15435 (java) S 15417 15420 12756 0 -1 1077944384 1013 0 0 0 31 39 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781670886576 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
Current children cumulated CPU time: 2388.79 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 213440 KiB

[startup+2442.3 s]
/proc/loadavg: 1.77 1.70 1.73 3/215 15549
/proc/meminfo: memFree=18913280/32770624 swapFree=67108860/67108860
[pid=15420] ppid=15417 vsize=14090948 memory=213440 CPUtime=2448.87 cores=0,2,4,6
/proc/15420/stat : 15420 (java) S 15417 15420 12756 0 -1 1077944320 94168 0 0 0 244834 53 0 0 20 0 15 0 245869158 14429130752 53360 33554432000 4194304 4196468 140737111320592 140737111303136 139782205898487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
/proc/15420/statm: 3522737 53360 3584 1 0 3484809 0
[pid=15420/tid=15422] ppid=15417 vsize=14090948 memory=213440 CPUtime=2441.7 cores=0,2,4,6
/proc/15420/task/15422/stat : 15422 (java) R 15417 15420 12756 0 -1 4202560 34389 0 0 0 244163 7 0 0 20 0 15 0 245869158 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782210136448 139781817563160 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15423] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.24 cores=0,2,4,6
/proc/15420/task/15423/stat : 15423 (java) S 15417 15420 12756 0 -1 1077944384 829 0 0 0 20 4 0 0 20 0 15 0 245869159 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782135986832 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15424] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.24 cores=0,2,4,6
/proc/15420/task/15424/stat : 15424 (java) S 15417 15420 12756 0 -1 1077944384 821 0 0 0 20 4 0 0 20 0 15 0 245869159 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782134934032 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15425] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.23 cores=0,2,4,6
/proc/15420/task/15425/stat : 15425 (java) S 15417 15420 12756 0 -1 1077944384 594 0 0 0 20 3 0 0 20 0 15 0 245869159 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782133881232 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15426] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.24 cores=0,2,4,6
/proc/15420/task/15426/stat : 15426 (java) S 15417 15420 12756 0 -1 1077944384 877 0 0 0 20 4 0 0 20 0 15 0 245869159 14429130752 53360 33554432000 4194304 4196468 140737111320592 139782132828432 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15427] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.18 cores=0,2,4,6
/proc/15420/task/15427/stat : 15427 (java) S 15417 15420 12756 0 -1 1077944384 3037 0 0 0 15 3 0 0 20 0 15 0 245869161 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781679307632 139782205909634 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15428] ppid=15417 vsize=14090948 memory=213440 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15428/stat : 15428 (java) S 15417 15420 12756 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 245869161 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781678253664 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15429] ppid=15417 vsize=14090948 memory=213440 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15429/stat : 15429 (java) S 15417 15420 12756 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245869161 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781677200768 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15430] ppid=15417 vsize=14090948 memory=213440 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15430/stat : 15430 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781676149072 139782205917083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15431] ppid=15417 vsize=14090948 memory=213440 CPUtime=2.15 cores=0,2,4,6
/proc/15420/task/15431/stat : 15431 (java) S 15417 15420 12756 0 -1 1077944384 16560 0 0 0 214 1 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781675096432 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15432] ppid=15417 vsize=14090948 memory=213440 CPUtime=2.14 cores=0,2,4,6
/proc/15420/task/15432/stat : 15432 (java) S 15417 15420 12756 0 -1 1077944384 18992 0 0 0 212 2 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781674043632 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15433] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.94 cores=0,2,4,6
/proc/15420/task/15433/stat : 15433 (java) S 15417 15420 12756 0 -1 1077944384 15603 0 0 0 91 3 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781672990832 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15434] ppid=15417 vsize=14090948 memory=213440 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15434/stat : 15434 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781671938272 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15435] ppid=15417 vsize=14090948 memory=213440 CPUtime=0.71 cores=0,2,4,6
/proc/15420/task/15435/stat : 15435 (java) S 15417 15420 12756 0 -1 1077944384 1030 0 0 0 31 40 0 0 20 0 15 0 245869164 14429130752 53360 33554432000 4194304 4196468 140737111320592 139781670886576 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 28 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
Current children cumulated CPU time: 2448.87 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 213440 KiB

[startup+2502.3 s]
/proc/loadavg: 1.91 1.74 1.75 3/215 15703
/proc/meminfo: memFree=18895232/32770624 swapFree=67108860/67108860
[pid=15420] ppid=15417 vsize=14090948 memory=215488 CPUtime=2508.89 cores=0,2,4,6
/proc/15420/stat : 15420 (java) S 15417 15420 12756 0 -1 1077944320 94298 0 0 0 250836 53 0 0 20 0 15 0 245869158 14429130752 53872 33554432000 4194304 4196468 140737111320592 140737111303136 139782205898487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
/proc/15420/statm: 3522737 53872 3584 1 0 3484809 0
[pid=15420/tid=15422] ppid=15417 vsize=14090948 memory=213440 CPUtime=2501.67 cores=0,2,4,6
/proc/15420/task/15422/stat : 15422 (java) R 15417 15420 12756 0 -1 4202560 34504 0 0 0 250160 7 0 0 20 0 15 0 245869158 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782210136448 139781817562510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15423] ppid=15417 vsize=14090948 memory=215488 CPUtime=0.25 cores=0,2,4,6
/proc/15420/task/15423/stat : 15423 (java) S 15417 15420 12756 0 -1 1077944384 831 0 0 0 21 4 0 0 20 0 15 0 245869159 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782135986832 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15424] ppid=15417 vsize=14090948 memory=56 CPUtime=0.25 cores=0,2,4,6
/proc/15420/task/15424/stat : 15424 (java) S 15417 15420 12756 0 -1 1077944384 824 0 0 0 21 4 0 0 20 0 15 0 245869159 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782134934032 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15425] ppid=15417 vsize=14090948 memory=215488 CPUtime=0.25 cores=0,2,4,6
/proc/15420/task/15425/stat : 15425 (java) S 15417 15420 12756 0 -1 1077944384 596 0 0 0 21 4 0 0 20 0 15 0 245869159 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782133881232 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15426] ppid=15417 vsize=14090948 memory=215488 CPUtime=0.25 cores=0,2,4,6
/proc/15420/task/15426/stat : 15426 (java) S 15417 15420 12756 0 -1 1077944384 878 0 0 0 21 4 0 0 20 0 15 0 245869159 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782132828432 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15427] ppid=15417 vsize=14090948 memory=215488 CPUtime=0.19 cores=0,2,4,6
/proc/15420/task/15427/stat : 15427 (java) S 15417 15420 12756 0 -1 1077944384 3040 0 0 0 16 3 0 0 20 0 15 0 245869161 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781679307632 139782205909634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15428] ppid=15417 vsize=14090948 memory=215488 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15428/stat : 15428 (java) S 15417 15420 12756 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 245869161 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781678253664 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15429] ppid=15417 vsize=14090948 memory=215488 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15429/stat : 15429 (java) S 15417 15420 12756 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245869161 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781677200768 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15430] ppid=15417 vsize=14090948 memory=215488 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15430/stat : 15430 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781676149072 139782205917083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15431] ppid=15417 vsize=14090948 memory=4128 CPUtime=2.15 cores=0,2,4,6
/proc/15420/task/15431/stat : 15431 (java) S 15417 15420 12756 0 -1 1077944384 16560 0 0 0 214 1 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781675096432 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15432] ppid=15417 vsize=14090948 memory=66696 CPUtime=2.14 cores=0,2,4,6
/proc/15420/task/15432/stat : 15432 (java) S 15417 15420 12756 0 -1 1077944384 18992 0 0 0 212 2 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781674043632 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15433] ppid=15417 vsize=14090948 memory=215488 CPUtime=0.94 cores=0,2,4,6
/proc/15420/task/15433/stat : 15433 (java) S 15417 15420 12756 0 -1 1077944384 15603 0 0 0 91 3 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781672990832 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15434] ppid=15417 vsize=14090948 memory=66696 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15434/stat : 15434 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781671938272 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15435] ppid=15417 vsize=14090948 memory=1240 CPUtime=0.72 cores=0,2,4,6
/proc/15420/task/15435/stat : 15435 (java) S 15417 15420 12756 0 -1 1077944384 1034 0 0 0 32 40 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781670886576 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
Current children cumulated CPU time: 2508.89 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 215488 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2513.4 s]
/proc/loadavg: 1.92 1.75 1.75 3/215 15703
/proc/meminfo: memFree=18906664/32770624 swapFree=67108860/67108860
[pid=15420] ppid=15417 vsize=14090948 memory=215488 CPUtime=2520 cores=0,2,4,6
/proc/15420/stat : 15420 (java) S 15417 15420 12756 0 -1 1077944320 94299 0 0 0 251946 54 0 0 20 0 15 0 245869158 14429130752 53872 33554432000 4194304 4196468 140737111320592 140737111303136 139782205898487 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
/proc/15420/statm: 3522737 53872 3584 1 0 3484809 0
[pid=15420/tid=15422] ppid=15417 vsize=14090948 memory=4104 CPUtime=2512.77 cores=0,2,4,6
/proc/15420/task/15422/stat : 15422 (java) R 15417 15420 12756 0 -1 4202560 34505 0 0 0 251270 7 0 0 20 0 15 0 245869158 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782210136448 139781817562639 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15423] ppid=15417 vsize=14090948 memory=1404 CPUtime=0.25 cores=0,2,4,6
/proc/15420/task/15423/stat : 15423 (java) S 15417 15420 12756 0 -1 1077944384 831 0 0 0 21 4 0 0 20 0 15 0 245869159 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782135986832 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15424] ppid=15417 vsize=14090948 memory=215488 CPUtime=0.25 cores=0,2,4,6
/proc/15420/task/15424/stat : 15424 (java) S 15417 15420 12756 0 -1 1077944384 824 0 0 0 21 4 0 0 20 0 15 0 245869159 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782134934032 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15425] ppid=15417 vsize=14090948 memory=6791534058613427641 CPUtime=0.25 cores=0,2,4,6
/proc/15420/task/15425/stat : 15425 (java) S 15417 15420 12756 0 -1 1077944384 596 0 0 0 21 4 0 0 20 0 15 0 245869159 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782133881232 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15426] ppid=15417 vsize=14090948 memory=-7003737579269690708 CPUtime=0.25 cores=0,2,4,6
/proc/15420/task/15426/stat : 15426 (java) S 15417 15420 12756 0 -1 1077944384 878 0 0 0 21 4 0 0 20 0 15 0 245869159 14429130752 53872 33554432000 4194304 4196468 140737111320592 139782132828432 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15427] ppid=15417 vsize=14090948 memory=288288874478975179 CPUtime=0.19 cores=0,2,4,6
/proc/15420/task/15427/stat : 15427 (java) S 15417 15420 12756 0 -1 1077944384 3040 0 0 0 16 3 0 0 20 0 15 0 245869161 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781679307632 139782205909634 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15428] ppid=15417 vsize=14090948 memory=4206753913526038560 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15428/stat : 15428 (java) S 15417 15420 12756 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 245869161 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781678253664 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15429] ppid=15417 vsize=14090948 memory=288230574492221466 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15429/stat : 15429 (java) S 15417 15420 12756 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 245869161 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781677200768 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15430] ppid=15417 vsize=14090948 memory=288230621803970871 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15430/stat : 15430 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781676149072 139782205917083 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15431] ppid=15417 vsize=14090948 memory=13567093857585738 CPUtime=2.15 cores=0,2,4,6
/proc/15420/task/15431/stat : 15431 (java) S 15417 15420 12756 0 -1 1077944384 16560 0 0 0 214 1 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781675096432 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15432] ppid=15417 vsize=14090948 memory=215488 CPUtime=2.14 cores=0,2,4,6
/proc/15420/task/15432/stat : 15432 (java) S 15417 15420 12756 0 -1 1077944384 18992 0 0 0 212 2 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781674043632 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15433] ppid=15417 vsize=14090948 memory=1408 CPUtime=0.94 cores=0,2,4,6
/proc/15420/task/15433/stat : 15433 (java) S 15417 15420 12756 0 -1 1077944384 15603 0 0 0 91 3 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781672990832 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15434] ppid=15417 vsize=14090948 memory=2688 CPUtime=0 cores=0,2,4,6
/proc/15420/task/15434/stat : 15434 (java) S 15417 15420 12756 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781671938272 139782205908693 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
[pid=15420/tid=15435] ppid=15417 vsize=14090948 memory=216384 CPUtime=0.72 cores=0,2,4,6
/proc/15420/task/15435/stat : 15435 (java) S 15417 15420 12756 0 -1 1077944384 1034 0 0 0 32 40 0 0 20 0 15 0 245869164 14429130752 53872 33554432000 4194304 4196468 140737111320592 139781670886576 139782205909634 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 28 0 0 6293624 6294260 26947584 140737111323721 140737111323913 140737111323913 140737111326671 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 215488 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2513.42 s]
# the end of solver process 15420 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.48 s, system=0.542113 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 2513.42
CPU time (s): 2520.03
CPU user time (s): 2519.48
CPU system time (s): 0.542113
CPU usage (%): 100.263
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 334412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.48
system time used= 0.542113
maximum resident set size= 334460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94661
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61520
involuntary context switches= 1534


# summary of solver processes directly reported to runsolver:
#   pid: 15420
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2519.48
#   total CPU system time (s): 0.542113

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1462 second user time and 22.6904 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-graph-14-opt_c18.xml
MD5SUM	06e1d56807384f8426568c6f8eb09a57
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	2520.09
Satisfiable
(Un)Satisfiability was proved
Number of variables	916
Number of constraints	4638
Number of domains	6
Minimum domain size	22
Maximum domain size	44
Distribution of domain sizes	[{"size":22,"count":4},{"size":24,"count":2},{"size":36,"count":426},{"size":42,"count":26},{"size":44,"count":458}]
Minimum variable degree	6
Maximum variable degree	27
Distribution of variable degrees	[{"degree":6,"count":2},{"degree":8,"count":62},{"degree":9,"count":41},{"degree":10,"count":352},{"degree":11,"count":180},{"degree":12,"count":118},{"degree":13,"count":63},{"degree":14,"count":34},{"degree":15,"count":20},{"degree":16,"count":22},{"degree":17,"count":6},{"degree":19,"count":4},{"degree":21,"count":6},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":27,"count":2}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":4638}]
Number of extensional constraints	0
Number of intensional constraints	4638
Distribution of constraint types	[{"type":"intension","count":4638}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4308310

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
