2018 XCSP3 competition: fast COP track competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
Concrete 3.9.2-SuperNG	OPT	46	30.1353	13.2866
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 (9430 MiB free)
  memory of node 1: 16384 MiB (15801 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302898-1532895737/watcher-4302898-1532895737 -o /tmp/evaluation-result-4302898-1532895737/solver-4302898-1532895737 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node136-1532893975-22777 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1445837539 -superng HOME/instance-4302898-1532895737.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=25383, runsolver pid=25380
Current StackSize limit: 8192 KiB


[startup+0.10012 s]*
/proc/loadavg: 1.78 1.93 1.89 3/206 25440
/proc/meminfo: memFree=25831420/32770624 swapFree=67108860/67108860
[pid=25383] ppid=25380 vsize=10005480 memory=16816 CPUtime=0.09 cores=1,3,5,7
/proc/25383/stat : 25383 (java) S 25380 25383 13514 0 -1 1077944320 4377 13259 0 0 1 0 5 3 20 0 6 0 107136898 10245611520 4204 33554432000 4194304 4196468 140734026283008 140734026265552 140198291754743 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
/proc/25383/statm: 2501370 4204 1935 1 0 2489808 0
[pid=25383/tid=25436] ppid=25380 vsize=10005480 memory=4279135704013571469 CPUtime=0.09 cores=1,3,5,7
/proc/25383/task/25436/stat : 25436 (java) R 25380 25383 13514 0 -1 4202560 2185 13259 0 0 1 0 5 3 20 0 6 0 107136907 10245611520 4204 33554432000 4194304 4196468 140734026283008 140198263591504 140198275835230 0 4 0 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25437] ppid=25380 vsize=10005480 memory=8257237230052613020 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25437/stat : 25437 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 6 0 107136908 10245611520 4204 33554432000 4194304 4196468 140734026283008 140198295996688 140198291764949 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25438] ppid=25380 vsize=10005480 memory=140344479102592 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25438/stat : 25438 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 6 0 107136908 10245611520 4204 33554432000 4194304 4196468 140734026283008 140198150715792 140198291764949 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25439] ppid=25380 vsize=10005480 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25439/stat : 25439 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 6 0 107136908 10245611520 4204 33554432000 4194304 4196468 140734026283008 140198149663248 140198291764949 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25440] ppid=25380 vsize=10005480 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25440/stat : 25440 (java) S 25380 25383 13514 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 6 0 107136908 10245611520 4204 33554432000 4194304 4196468 140734026283008 140198148610704 140198291764949 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10005480 KiB
Current children cumulated memory: 16816 KiB

[startup+0.20994 s]*
/proc/loadavg: 1.78 1.93 1.89 3/215 25449
/proc/meminfo: memFree=25806956/32770624 swapFree=67108860/67108860
[pid=25383] ppid=25380 vsize=10982744 memory=45468 CPUtime=0.26 cores=1,3,5,7
/proc/25383/stat : 25383 (java) S 25380 25383 13514 0 -1 1077944320 8052 13259 0 0 16 2 5 3 20 0 15 0 107136898 11246329856 11367 33554432000 4194304 4196468 140734026283008 140734026265552 140198291754743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
/proc/25383/statm: 2745686 11367 2950 1 0 2708109 0
[pid=25383/tid=25436] ppid=25380 vsize=10982744 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/25383/task/25436/stat : 25436 (java) R 25380 25383 13514 0 -1 4202560 4663 13259 0 0 10 1 5 3 20 0 15 0 107136907 11246329856 11367 33554432000 4194304 4196468 140734026283008 140198263551664 140198272030557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25437] ppid=25380 vsize=10982744 memory=339 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25437/stat : 25437 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246329856 11367 33554432000 4194304 4196468 140734026283008 140198295996688 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25438] ppid=25380 vsize=10982744 memory=3617997809356551840 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25438/stat : 25438 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246329856 11433 33554432000 4194304 4196468 140734026283008 140198150715792 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25439] ppid=25380 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25439/stat : 25439 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246329856 11433 33554432000 4194304 4196468 140734026283008 140198149663248 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25440] ppid=25380 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25440/stat : 25440 (java) S 25380 25383 13514 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246329856 11433 33554432000 4194304 4196468 140734026283008 140198148610704 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25441] ppid=25380 vsize=10982744 memory=140344479102592 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25441/stat : 25441 (java) S 25380 25383 13514 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 107136909 11246329856 11433 33554432000 4194304 4196468 140734026283008 140197717019120 140198291765890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25442] ppid=25380 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25442/stat : 25442 (java) S 25380 25383 13514 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 107136910 11246329856 11433 33554432000 4194304 4196468 140734026283008 140197074298272 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25443] ppid=25380 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25443/stat : 25443 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136910 11246329856 11433 33554432000 4194304 4196468 140734026283008 140196926449136 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25444] ppid=25380 vsize=10982744 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25444/stat : 25444 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246329856 11433 33554432000 4194304 4196468 140734026283008 140196619049680 140198291773339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25445] ppid=25380 vsize=10982744 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25383/task/25445/stat : 25445 (java) S 25380 25383 13514 0 -1 1077944384 357 13259 0 0 1 0 5 3 20 0 15 0 107136913 11246329856 11433 33554432000 4194304 4196468 140734026283008 140197715965936 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25446] ppid=25380 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25446/stat : 25446 (java) S 25380 25383 13514 0 -1 1077944384 254 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246329856 11433 33554432000 4194304 4196468 140734026283008 140197714913392 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25447] ppid=25380 vsize=10982744 memory=140344479102592 CPUtime=0.11 cores=1,3,5,7
/proc/25383/task/25447/stat : 25447 (java) S 25380 25383 13514 0 -1 1077944384 604 13259 0 0 3 0 5 3 20 0 15 0 107136913 11246329856 11433 33554432000 4194304 4196468 140734026283008 140197713860848 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25448] ppid=25380 vsize=10982744 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25448/stat : 25448 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246329856 11433 33554432000 4194304 4196468 140734026283008 140196188252768 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25449] ppid=25380 vsize=10982744 memory=140344479102592 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25449/stat : 25449 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246329856 11433 33554432000 4194304 4196468 140734026283008 140197712808752 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 45468 KiB

[startup+0.310335 s]*
/proc/loadavg: 1.71 1.91 1.89 3/215 25449
/proc/meminfo: memFree=25795420/32770624 swapFree=67108860/67108860
[pid=25383] ppid=25380 vsize=10983192 memory=56276 CPUtime=0.39 cores=1,3,5,7
/proc/25383/stat : 25383 (java) S 25380 25383 13514 0 -1 1077944320 10671 13259 0 0 28 3 5 3 20 0 15 0 107136898 11246788608 14069 33554432000 4194304 4196468 140734026283008 140734026265552 140198291754743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
/proc/25383/statm: 2745798 14069 3069 1 0 2708109 0
[pid=25383/tid=25436] ppid=25380 vsize=10983192 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/25383/task/25436/stat : 25436 (java) R 25380 25383 13514 0 -1 4202560 7222 13259 0 0 19 2 5 3 20 0 15 0 107136907 11246788608 14069 33554432000 4194304 4196468 140734026283008 140198263566752 140198291776669 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25437] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25437/stat : 25437 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246788608 14135 33554432000 4194304 4196468 140734026283008 140198295996688 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25438] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25438/stat : 25438 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246788608 14135 33554432000 4194304 4196468 140734026283008 140198150715792 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25439] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25439/stat : 25439 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246788608 14135 33554432000 4194304 4196468 140734026283008 140198149663248 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25440] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25440/stat : 25440 (java) S 25380 25383 13514 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246788608 14135 33554432000 4194304 4196468 140734026283008 140198148610704 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25441] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25441/stat : 25441 (java) S 25380 25383 13514 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 107136909 11246788608 14135 33554432000 4194304 4196468 140734026283008 140197717019120 140198291765890 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25442] ppid=25380 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25442/stat : 25442 (java) S 25380 25383 13514 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 107136910 11246788608 14135 33554432000 4194304 4196468 140734026283008 140197074298272 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25443] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25443/stat : 25443 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136910 11246788608 14135 33554432000 4194304 4196468 140734026283008 140196926449136 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25444] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25444/stat : 25444 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246788608 14135 33554432000 4194304 4196468 140734026283008 140196619049680 140198291773339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25445] ppid=25380 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25383/task/25445/stat : 25445 (java) S 25380 25383 13514 0 -1 1077944384 359 13259 0 0 1 0 5 3 20 0 15 0 107136913 11246788608 14135 33554432000 4194304 4196468 140734026283008 140197715965936 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25446] ppid=25380 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/25383/task/25446/stat : 25446 (java) S 25380 25383 13514 0 -1 1077944384 257 13259 0 0 1 0 5 3 20 0 15 0 107136913 11246788608 14135 33554432000 4194304 4196468 140734026283008 140197714913392 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25447] ppid=25380 vsize=10983192 memory=140344479102592 CPUtime=0.12 cores=1,3,5,7
/proc/25383/task/25447/stat : 25447 (java) S 25380 25383 13514 0 -1 1077944384 610 13259 0 0 4 0 5 3 20 0 15 0 107136913 11246788608 14135 33554432000 4194304 4196468 140734026283008 140197713860848 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25448] ppid=25380 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25448/stat : 25448 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246788608 14135 33554432000 4194304 4196468 140734026283008 140196188252768 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25449] ppid=25380 vsize=10983192 memory=140344479102592 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25449/stat : 25449 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246788608 14135 33554432000 4194304 4196468 140734026283008 140197712808752 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 56276 KiB

[startup+0.701169 s]
/proc/loadavg: 1.71 1.91 1.89 3/215 25449
/proc/meminfo: memFree=25784752/32770624 swapFree=67108860/67108860
[pid=25383] ppid=25380 vsize=10983192 memory=88892 CPUtime=0.99 cores=1,3,5,7
/proc/25383/stat : 25383 (java) S 25380 25383 13514 0 -1 1077944320 16777 13259 0 0 86 5 5 3 20 0 15 0 107136898 11246788608 22223 33554432000 4194304 4196468 140734026283008 140734026265552 140198291754743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
/proc/25383/statm: 2745798 22223 3247 1 0 2708109 0
[pid=25383/tid=25436] ppid=25380 vsize=10983192 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/25383/task/25436/stat : 25436 (java) R 25380 25383 13514 0 -1 4202560 12251 13259 0 0 55 3 5 3 20 0 15 0 107136907 11246788608 22223 33554432000 4194304 4196468 140734026283008 140198263575568 140198275835230 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25437] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25437/stat : 25437 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246788608 22223 33554432000 4194304 4196468 140734026283008 140198295996688 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25438] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25438/stat : 25438 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246788608 22223 33554432000 4194304 4196468 140734026283008 140198150715792 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25439] ppid=25380 vsize=10983192 memory=32804 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25439/stat : 25439 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246788608 22223 33554432000 4194304 4196468 140734026283008 140198149663248 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25440] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25440/stat : 25440 (java) S 25380 25383 13514 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 107136908 11246788608 22223 33554432000 4194304 4196468 140734026283008 140198148610704 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25441] ppid=25380 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25441/stat : 25441 (java) S 25380 25383 13514 0 -1 1077944384 5 13259 0 0 0 0 5 3 20 0 15 0 107136909 11246788608 22223 33554432000 4194304 4196468 140734026283008 140197717019120 140198291765890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25442] ppid=25380 vsize=10983192 memory=140344364774064 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25442/stat : 25442 (java) S 25380 25383 13514 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 107136910 11246788608 22223 33554432000 4194304 4196468 140734026283008 140197074298272 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25443] ppid=25380 vsize=10983192 memory=140346646331984 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25443/stat : 25443 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136910 11246788608 22223 33554432000 4194304 4196468 140734026283008 140196926449136 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25444] ppid=25380 vsize=10983192 memory=1020 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25444/stat : 25444 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246788608 22223 33554432000 4194304 4196468 140734026283008 140196619049680 140198291773339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25445] ppid=25380 vsize=10983192 memory=7089042195949315648 CPUtime=0.17 cores=1,3,5,7
/proc/25383/task/25445/stat : 25445 (java) S 25380 25383 13514 0 -1 1077944384 964 13259 0 0 9 0 5 3 20 0 15 0 107136913 11246788608 22223 33554432000 4194304 4196468 140734026283008 140197715965936 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25446] ppid=25380 vsize=10983192 memory=7881696724453321575 CPUtime=0.15 cores=1,3,5,7
/proc/25383/task/25446/stat : 25446 (java) S 25380 25383 13514 0 -1 1077944384 670 13259 0 0 7 0 5 3 20 0 15 0 107136913 11246788608 22223 33554432000 4194304 4196468 140734026283008 140197714913392 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25447] ppid=25380 vsize=10983192 memory=5789189752906409301 CPUtime=0.21 cores=1,3,5,7
/proc/25383/task/25447/stat : 25447 (java) S 25380 25383 13514 0 -1 1077944384 666 13259 0 0 13 0 5 3 20 0 15 0 107136913 11246788608 22223 33554432000 4194304 4196468 140734026283008 140197713860848 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25448] ppid=25380 vsize=10983192 memory=4140 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25448/stat : 25448 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246788608 22223 33554432000 4194304 4196468 140734026283008 140196188252768 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25449] ppid=25380 vsize=10983192 memory=2241 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25449/stat : 25449 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136913 11246788608 22223 33554432000 4194304 4196468 140734026283008 140197712808752 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88892 KiB

[startup+1.50081 s]
/proc/loadavg: 1.71 1.91 1.89 4/215 25449
/proc/meminfo: memFree=25740624/32770624 swapFree=67108860/67108860
[pid=25383] ppid=25380 vsize=10996044 memory=171960 CPUtime=2.9 cores=1,3,5,7
/proc/25383/stat : 25383 (java) S 25380 25383 13514 0 -1 1077944320 24212 13259 0 0 272 10 5 3 20 0 15 0 107136898 11259949056 42990 33554432000 4194304 4196468 140734026283008 140734026265552 140198291754743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
/proc/25383/statm: 2749011 42990 3450 1 0 2710669 0
[pid=25383/tid=25436] ppid=25380 vsize=10996044 memory=10757 CPUtime=1.46 cores=1,3,5,7
/proc/25383/task/25436/stat : 25436 (java) R 25380 25383 13514 0 -1 4202560 16754 13259 0 0 131 7 5 3 20 0 15 0 107136907 11259949056 42990 33554432000 4194304 4196468 140734026283008 140198263585008 140198277435472 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25437] ppid=25380 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25437/stat : 25437 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11259949056 42990 33554432000 4194304 4196468 140734026283008 140198295996688 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25438] ppid=25380 vsize=10996044 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25438/stat : 25438 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11259949056 42990 33554432000 4194304 4196468 140734026283008 140198150715792 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25439] ppid=25380 vsize=10996044 memory=3004 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25439/stat : 25439 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136908 11259949056 42990 33554432000 4194304 4196468 140734026283008 140198149663248 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25440] ppid=25380 vsize=10996044 memory=88892 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25440/stat : 25440 (java) S 25380 25383 13514 0 -1 1077944384 2 13259 0 0 0 0 5 3 20 0 15 0 107136908 11259949056 42990 33554432000 4194304 4196468 140734026283008 140198148610704 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25441] ppid=25380 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25441/stat : 25441 (java) S 25380 25383 13514 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 107136909 11259949056 42990 33554432000 4194304 4196468 140734026283008 140197717019120 140198291765890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25442] ppid=25380 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25442/stat : 25442 (java) S 25380 25383 13514 0 -1 1077944384 13 13259 0 0 0 0 5 3 20 0 15 0 107136910 11259949056 42990 33554432000 4194304 4196468 140734026283008 140197074298272 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25443] ppid=25380 vsize=10996044 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25443/stat : 25443 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136910 11259949056 42990 33554432000 4194304 4196468 140734026283008 140196926449136 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25444] ppid=25380 vsize=10996044 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25444/stat : 25444 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11259949056 43053 33554432000 4194304 4196468 140734026283008 140196619049680 140198291773339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25445] ppid=25380 vsize=10996044 memory=4638778398332698720 CPUtime=0.54 cores=1,3,5,7
/proc/25383/task/25445/stat : 25445 (java) S 25380 25383 13514 0 -1 1077944384 1848 13259 0 0 46 0 5 3 20 0 15 0 107136913 11259949056 43053 33554432000 4194304 4196468 140734026283008 140197715965936 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25446] ppid=25380 vsize=10996044 memory=280688729824128 CPUtime=0.58 cores=1,3,5,7
/proc/25383/task/25446/stat : 25446 (java) S 25380 25383 13514 0 -1 1077944384 1897 13259 0 0 50 0 5 3 20 0 15 0 107136913 11259949056 43053 33554432000 4194304 4196468 140734026283008 140197714913392 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25447] ppid=25380 vsize=10996044 memory=6944656592452807323 CPUtime=0.52 cores=1,3,5,7
/proc/25383/task/25447/stat : 25447 (java) S 25380 25383 13514 0 -1 1077944384 1479 13259 0 0 43 1 5 3 20 0 15 0 107136913 11259949056 43053 33554432000 4194304 4196468 140734026283008 140197713860848 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25448] ppid=25380 vsize=10996044 memory=6944656591801719708 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25448/stat : 25448 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11259949056 43053 33554432000 4194304 4196468 140734026283008 140196188252768 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25449] ppid=25380 vsize=10996044 memory=1399101730491701635 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25449/stat : 25449 (java) S 25380 25383 13514 0 -1 1077944384 1 13259 0 0 0 0 5 3 20 0 15 0 107136913 11259949056 43053 33554432000 4194304 4196468 140734026283008 140197712808752 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
Current children cumulated CPU time: 2.9 s
Current children cumulated vsize: 10996044 KiB

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

[startup+6.30077 s]
/proc/loadavg: 1.90 1.95 1.90 3/215 25449
/proc/meminfo: memFree=25489232/32770624 swapFree=67108860/67108860
[pid=25383] ppid=25380 vsize=11008352 memory=459612 CPUtime=16.12 cores=1,3,5,7
/proc/25383/stat : 25383 (java) S 25380 25383 13514 0 -1 1077944320 53590 13259 0 0 1572 32 5 3 20 0 15 0 107136898 11272552448 114903 33554432000 4194304 4196468 140734026283008 140734026265552 140198291754743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
/proc/25383/statm: 2752088 114903 3525 1 0 2713741 0
[pid=25383/tid=25436] ppid=25380 vsize=11008352 memory=226780 CPUtime=6.08 cores=1,3,5,7
/proc/25383/task/25436/stat : 25436 (java) R 25380 25383 13514 0 -1 4202560 26739 13259 0 0 588 12 5 3 20 0 15 0 107136907 11272552448 114903 33554432000 4194304 4196468 140734026283008 140198263586496 140197815985962 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25437] ppid=25380 vsize=11008352 memory=10757 CPUtime=0.17 cores=1,3,5,7
/proc/25383/task/25437/stat : 25437 (java) S 25380 25383 13514 0 -1 1077944384 282 13259 0 0 6 3 5 3 20 0 15 0 107136908 11272552448 114903 33554432000 4194304 4196468 140734026283008 140198295996688 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25438] ppid=25380 vsize=11008352 memory=389308 CPUtime=0.19 cores=1,3,5,7
/proc/25383/task/25438/stat : 25438 (java) S 25380 25383 13514 0 -1 1077944384 184 13259 0 0 9 2 5 3 20 0 15 0 107136908 11272552448 114903 33554432000 4194304 4196468 140734026283008 140198150715792 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25439] ppid=25380 vsize=11008352 memory=280688729481392 CPUtime=0.2 cores=1,3,5,7
/proc/25383/task/25439/stat : 25439 (java) S 25380 25383 13514 0 -1 1077944384 917 13259 0 0 9 3 5 3 20 0 15 0 107136908 11272552448 114903 33554432000 4194304 4196468 140734026283008 140198149663248 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25440] ppid=25380 vsize=11008352 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/25383/task/25440/stat : 25440 (java) S 25380 25383 13514 0 -1 1077944384 149 13259 0 0 8 3 5 3 20 0 15 0 107136908 11272552448 114903 33554432000 4194304 4196468 140734026283008 140198148610704 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25441] ppid=25380 vsize=11008352 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/25383/task/25441/stat : 25441 (java) S 25380 25383 13514 0 -1 1077944384 507 13259 0 0 3 0 5 3 20 0 15 0 107136909 11272552448 114903 33554432000 4194304 4196468 140734026283008 140197717019120 140198291765890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25442] ppid=25380 vsize=11008352 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25442/stat : 25442 (java) S 25380 25383 13514 0 -1 1077944384 18 13259 0 0 0 0 5 3 20 0 15 0 107136910 11272552448 114903 33554432000 4194304 4196468 140734026283008 140197074298336 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25443] ppid=25380 vsize=11008352 memory=140344364673504 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25443/stat : 25443 (java) S 25380 25383 13514 0 -1 1077944384 14 13259 0 0 0 0 5 3 20 0 15 0 107136910 11272552448 114903 33554432000 4194304 4196468 140734026283008 140196926449152 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25444] ppid=25380 vsize=11008352 memory=280688729845760 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25444/stat : 25444 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11272552448 114903 33554432000 4194304 4196468 140734026283008 140196619049680 140198291773339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25445] ppid=25380 vsize=11008352 memory=8562125494162282060 CPUtime=3.95 cores=1,3,5,7
/proc/25383/task/25445/stat : 25445 (java) S 25380 25383 13514 0 -1 1077944384 9854 13259 0 0 385 2 5 3 20 0 15 0 107136913 11272552448 114903 33554432000 4194304 4196468 140734026283008 140197715965936 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25446] ppid=25380 vsize=11008352 memory=7649399388559914290 CPUtime=4 cores=1,3,5,7
/proc/25383/task/25446/stat : 25446 (java) S 25380 25383 13514 0 -1 1077944384 7041 13259 0 0 391 1 5 3 20 0 15 0 107136913 11272552448 114903 33554432000 4194304 4196468 140734026283008 140197714913392 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25447] ppid=25380 vsize=11008352 memory=8 CPUtime=1.78 cores=1,3,5,7
/proc/25383/task/25447/stat : 25447 (java) S 25380 25383 13514 0 -1 1077944384 5668 13259 0 0 168 2 5 3 20 0 15 0 107136913 11272552448 114903 33554432000 4194304 4196468 140734026283008 140197713860848 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25448] ppid=25380 vsize=11008352 memory=7445129022556039526 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25448/stat : 25448 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11272552448 114903 33554432000 4194304 4196468 140734026283008 140196188252768 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25449] ppid=25380 vsize=11008352 memory=280688729827616 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25449/stat : 25449 (java) S 25380 25383 13514 0 -1 1077944384 16 13259 0 0 0 0 5 3 20 0 15 0 107136913 11272552448 114903 33554432000 4194304 4196468 140734026283008 140197712808752 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
Current children cumulated CPU time: 16.12 s
Current children cumulated vsize: 11008352 KiB
Current children cumulated memory: 459612 KiB

[startup+12.7008 s]
/proc/loadavg: 2.07 1.98 1.91 4/215 25449
/proc/meminfo: memFree=24919120/32770624 swapFree=67108860/67108860
[pid=25383] ppid=25380 vsize=11080032 memory=1022236 CPUtime=28.64 cores=1,3,5,7
/proc/25383/stat : 25383 (java) S 25380 25383 13514 0 -1 1077944320 78445 13259 0 0 2806 50 5 3 20 0 15 0 107136898 11345952768 255559 33554432000 4194304 4196468 140734026283008 140734026265552 140198291754743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
/proc/25383/statm: 2770008 255559 3531 1 0 2731661 0
[pid=25383/tid=25436] ppid=25380 vsize=11080032 memory=4140 CPUtime=12.32 cores=1,3,5,7
/proc/25383/task/25436/stat : 25436 (java) R 25380 25383 13514 0 -1 4202560 39437 13259 0 0 1203 21 5 3 20 0 15 0 107136907 11345952768 255559 33554432000 4194304 4196468 140734026283008 140198263585856 140197827389502 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25437] ppid=25380 vsize=11080032 memory=1020388 CPUtime=0.28 cores=1,3,5,7
/proc/25383/task/25437/stat : 25437 (java) S 25380 25383 13514 0 -1 1077944384 329 13259 0 0 16 4 5 3 20 0 15 0 107136908 11345952768 255559 33554432000 4194304 4196468 140734026283008 140198295996688 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25438] ppid=25380 vsize=11080032 memory=1020136 CPUtime=0.29 cores=1,3,5,7
/proc/25383/task/25438/stat : 25438 (java) S 25380 25383 13514 0 -1 1077944384 254 13259 0 0 18 3 5 3 20 0 15 0 107136908 11345952768 255559 33554432000 4194304 4196468 140734026283008 140198150715792 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25439] ppid=25380 vsize=11080032 memory=3834146427030825169 CPUtime=0.3 cores=1,3,5,7
/proc/25383/task/25439/stat : 25439 (java) S 25380 25383 13514 0 -1 1077944384 984 13259 0 0 18 4 5 3 20 0 15 0 107136908 11345952768 255559 33554432000 4194304 4196468 140734026283008 140198149663248 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25440] ppid=25380 vsize=11080032 memory=970076 CPUtime=0.29 cores=1,3,5,7
/proc/25383/task/25440/stat : 25440 (java) S 25380 25383 13514 0 -1 1077944384 239 13259 0 0 17 4 5 3 20 0 15 0 107136908 11345952768 255559 33554432000 4194304 4196468 140734026283008 140198148610704 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25441] ppid=25380 vsize=11080032 memory=56 CPUtime=0.14 cores=1,3,5,7
/proc/25383/task/25441/stat : 25441 (java) S 25380 25383 13514 0 -1 1077944384 3291 13259 0 0 6 0 5 3 20 0 15 0 107136909 11345952768 255559 33554432000 4194304 4196468 140734026283008 140197717019120 140198291765890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25442] ppid=25380 vsize=11080032 memory=10750 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25442/stat : 25442 (java) S 25380 25383 13514 0 -1 1077944384 18 13259 0 0 0 0 5 3 20 0 15 0 107136910 11345952768 255559 33554432000 4194304 4196468 140734026283008 140197074298336 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25443] ppid=25380 vsize=11080032 memory=25036 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25443/stat : 25443 (java) S 25380 25383 13514 0 -1 1077944384 14 13259 0 0 0 0 5 3 20 0 15 0 107136910 11345952768 255559 33554432000 4194304 4196468 140734026283008 140196926449152 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25444] ppid=25380 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25444/stat : 25444 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11345952768 255559 33554432000 4194304 4196468 140734026283008 140196619049680 140198291773339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25445] ppid=25380 vsize=11080032 memory=218579475678922 CPUtime=6.52 cores=1,3,5,7
/proc/25383/task/25445/stat : 25445 (java) R 25380 25383 13514 0 -1 4202560 15859 13259 0 0 641 3 5 3 20 0 15 0 107136913 11345952768 255559 33554432000 4194304 4196468 140734026283008 140197715944576 140198276148616 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25446] ppid=25380 vsize=11080032 memory=2321667387561424679 CPUtime=6.38 cores=1,3,5,7
/proc/25383/task/25446/stat : 25446 (java) R 25380 25383 13514 0 -1 4202560 9264 13259 0 0 628 2 5 3 20 0 15 0 107136913 11345952768 255559 33554432000 4194304 4196468 140734026283008 140197714904224 140198291776090 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25447] ppid=25380 vsize=11080032 memory=2321667387561425204 CPUtime=2.65 cores=1,3,5,7
/proc/25383/task/25447/stat : 25447 (java) S 25380 25383 13514 0 -1 1077944384 6539 13259 0 0 253 4 5 3 20 0 15 0 107136913 11345952768 255559 33554432000 4194304 4196468 140734026283008 140197713860848 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25448] ppid=25380 vsize=11080032 memory=-8817876939102705007 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25448/stat : 25448 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11345952768 255559 33554432000 4194304 4196468 140734026283008 140196188252768 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25449] ppid=25380 vsize=11080032 memory=-6587499949576377438 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25449/stat : 25449 (java) S 25380 25383 13514 0 -1 1077944384 16 13259 0 0 0 0 5 3 20 0 15 0 107136913 11345952768 255559 33554432000 4194304 4196468 140734026283008 140197712808752 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
Current children cumulated CPU time: 28.64 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1022236 KiB

[startup+13.2865 s]
# the end of solver process 25383 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=29.5797 s, system=0.555521 s

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

[startup+12.8009 s]
/proc/loadavg: 2.07 1.98 1.91 4/215 25449
/proc/meminfo: memFree=24919120/32770624 swapFree=67108860/67108860
[pid=25383] ppid=25380 vsize=11080032 memory=1022356 CPUtime=28.94 cores=1,3,5,7
/proc/25383/stat : 25383 (java) S 25380 25383 13514 0 -1 1077944320 78485 13259 0 0 2836 50 5 3 20 0 15 0 107136898 11345952768 255589 33554432000 4194304 4196468 140734026283008 140734026265552 140198291754743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
/proc/25383/statm: 2770008 255589 3531 1 0 2731661 0
[pid=25383/tid=25436] ppid=25380 vsize=11080032 memory=6791534058613427641 CPUtime=12.42 cores=1,3,5,7
/proc/25383/task/25436/stat : 25436 (java) R 25380 25383 13514 0 -1 4202560 39439 13259 0 0 1213 21 5 3 20 0 15 0 107136907 11345952768 255589 33554432000 4194304 4196468 140734026283008 140198263585744 140197836282972 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25437] ppid=25380 vsize=11080032 memory=30444 CPUtime=0.28 cores=1,3,5,7
/proc/25383/task/25437/stat : 25437 (java) S 25380 25383 13514 0 -1 1077944384 329 13259 0 0 16 4 5 3 20 0 15 0 107136908 11345952768 255589 33554432000 4194304 4196468 140734026283008 140198295996688 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25438] ppid=25380 vsize=11080032 memory=2204 CPUtime=0.29 cores=1,3,5,7
/proc/25383/task/25438/stat : 25438 (java) S 25380 25383 13514 0 -1 1077944384 254 13259 0 0 18 3 5 3 20 0 15 0 107136908 11345952768 255589 33554432000 4194304 4196468 140734026283008 140198150715792 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25439] ppid=25380 vsize=11080032 memory=129 CPUtime=0.3 cores=1,3,5,7
/proc/25383/task/25439/stat : 25439 (java) S 25380 25383 13514 0 -1 1077944384 984 13259 0 0 18 4 5 3 20 0 15 0 107136908 11345952768 255589 33554432000 4194304 4196468 140734026283008 140198149663248 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25440] ppid=25380 vsize=11080032 memory=10763 CPUtime=0.29 cores=1,3,5,7
/proc/25383/task/25440/stat : 25440 (java) S 25380 25383 13514 0 -1 1077944384 239 13259 0 0 17 4 5 3 20 0 15 0 107136908 11345952768 255589 33554432000 4194304 4196468 140734026283008 140198148610704 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25441] ppid=25380 vsize=11080032 memory=25147 CPUtime=0.14 cores=1,3,5,7
/proc/25383/task/25441/stat : 25441 (java) S 25380 25383 13514 0 -1 1077944384 3291 13259 0 0 6 0 5 3 20 0 15 0 107136909 11345952768 255589 33554432000 4194304 4196468 140734026283008 140197717019120 140198291765890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25442] ppid=25380 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25442/stat : 25442 (java) S 25380 25383 13514 0 -1 1077944384 18 13259 0 0 0 0 5 3 20 0 15 0 107136910 11345952768 255589 33554432000 4194304 4196468 140734026283008 140197074298336 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25443] ppid=25380 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25443/stat : 25443 (java) S 25380 25383 13514 0 -1 1077944384 14 13259 0 0 0 0 5 3 20 0 15 0 107136910 11345952768 255589 33554432000 4194304 4196468 140734026283008 140196926449152 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25444] ppid=25380 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25444/stat : 25444 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11345952768 255589 33554432000 4194304 4196468 140734026283008 140196619049680 140198291773339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25445] ppid=25380 vsize=11080032 memory=0 CPUtime=6.62 cores=1,3,5,7
/proc/25383/task/25445/stat : 25445 (java) S 25380 25383 13514 0 -1 1077944384 15879 13259 0 0 651 3 5 3 20 0 15 0 107136913 11345952768 255589 33554432000 4194304 4196468 140734026283008 140197715965936 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25446] ppid=25380 vsize=11080032 memory=139 CPUtime=6.48 cores=1,3,5,7
/proc/25383/task/25446/stat : 25446 (java) R 25380 25383 13514 0 -1 4202560 9280 13259 0 0 638 2 5 3 20 0 15 0 107136913 11345952768 255589 33554432000 4194304 4196468 140734026283008 140197714899824 140198275226161 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25447] ppid=25380 vsize=11080032 memory=133 CPUtime=2.66 cores=1,3,5,7
/proc/25383/task/25447/stat : 25447 (java) S 25380 25383 13514 0 -1 1077944384 6541 13259 0 0 254 4 5 3 20 0 15 0 107136913 11345952768 255589 33554432000 4194304 4196468 140734026283008 140197713860848 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25448] ppid=25380 vsize=11080032 memory=113 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25448/stat : 25448 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11345952768 255589 33554432000 4194304 4196468 140734026283008 140196188252768 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25449] ppid=25380 vsize=11080032 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25449/stat : 25449 (java) S 25380 25383 13514 0 -1 1077944384 16 13259 0 0 0 0 5 3 20 0 15 0 107136913 11345952768 255589 33554432000 4194304 4196468 140734026283008 140197712808752 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
Current children cumulated CPU time: 28.94 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1022356 KiB

[startup+13.2008 s]
/proc/loadavg: 2.07 1.98 1.91 5/215 25449
/proc/meminfo: memFree=24894336/32770624 swapFree=67108860/67108860
[pid=25383] ppid=25380 vsize=11080032 memory=1024112 CPUtime=29.98 cores=1,3,5,7
/proc/25383/stat : 25383 (java) S 25380 25383 13514 0 -1 1077944320 78977 13259 0 0 2940 50 5 3 20 0 15 0 107136898 11345952768 256028 33554432000 4194304 4196468 140734026283008 140734026265552 140198291754743 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
/proc/25383/statm: 2770008 256028 3534 1 0 2731661 0
[pid=25383/tid=25436] ppid=25380 vsize=11080032 memory=8 CPUtime=12.82 cores=1,3,5,7
/proc/25383/task/25436/stat : 25436 (java) R 25380 25383 13514 0 -1 4202560 39710 13259 0 0 1253 21 5 3 20 0 15 0 107136907 11345952768 256028 33554432000 4194304 4196468 140734026283008 140198263588320 140197820163632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25437] ppid=25380 vsize=11080032 memory=6791534058613427641 CPUtime=0.28 cores=1,3,5,7
/proc/25383/task/25437/stat : 25437 (java) S 25380 25383 13514 0 -1 1077944384 329 13259 0 0 16 4 5 3 20 0 15 0 107136908 11345952768 256028 33554432000 4194304 4196468 140734026283008 140198295996688 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25438] ppid=25380 vsize=11080032 memory=321163189784150326 CPUtime=0.29 cores=1,3,5,7
/proc/25383/task/25438/stat : 25438 (java) S 25380 25383 13514 0 -1 1077944384 254 13259 0 0 18 3 5 3 20 0 15 0 107136908 11345952768 256028 33554432000 4194304 4196468 140734026283008 140198150715792 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25439] ppid=25380 vsize=11080032 memory=13847486485760432 CPUtime=0.3 cores=1,3,5,7
/proc/25383/task/25439/stat : 25439 (java) S 25380 25383 13514 0 -1 1077944384 984 13259 0 0 18 4 5 3 20 0 15 0 107136908 11345952768 256028 33554432000 4194304 4196468 140734026283008 140198149663248 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25440] ppid=25380 vsize=11080032 memory=0 CPUtime=0.29 cores=1,3,5,7
/proc/25383/task/25440/stat : 25440 (java) S 25380 25383 13514 0 -1 1077944384 239 13259 0 0 17 4 5 3 20 0 15 0 107136908 11345952768 256028 33554432000 4194304 4196468 140734026283008 140198148610704 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25441] ppid=25380 vsize=11080032 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/25383/task/25441/stat : 25441 (java) S 25380 25383 13514 0 -1 1077944384 3291 13259 0 0 6 0 5 3 20 0 15 0 107136909 11345952768 256028 33554432000 4194304 4196468 140734026283008 140197717019120 140198291765890 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25442] ppid=25380 vsize=11080032 memory=6655300316396806240 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25442/stat : 25442 (java) S 25380 25383 13514 0 -1 1077944384 18 13259 0 0 0 0 5 3 20 0 15 0 107136910 11345952768 256028 33554432000 4194304 4196468 140734026283008 140197074298336 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25443] ppid=25380 vsize=11080032 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25443/stat : 25443 (java) S 25380 25383 13514 0 -1 1077944384 14 13259 0 0 0 0 5 3 20 0 15 0 107136910 11345952768 256028 33554432000 4194304 4196468 140734026283008 140196926449152 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25444] ppid=25380 vsize=11080032 memory=6943526294502006880 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25444/stat : 25444 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11345952768 256028 33554432000 4194304 4196468 140734026283008 140196619049680 140198291773339 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25445] ppid=25380 vsize=11080032 memory=6944656592455097440 CPUtime=6.91 cores=1,3,5,7
/proc/25383/task/25445/stat : 25445 (java) S 25380 25383 13514 0 -1 1077944384 15952 13259 0 0 680 3 5 3 20 0 15 0 107136913 11345952768 256028 33554432000 4194304 4196468 140734026283008 140197715965936 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25446] ppid=25380 vsize=11080032 memory=6944656592455097440 CPUtime=6.75 cores=1,3,5,7
/proc/25383/task/25446/stat : 25446 (java) S 25380 25383 13514 0 -1 1077944384 9344 13259 0 0 665 2 5 3 20 0 15 0 107136913 11345952768 256028 33554432000 4194304 4196468 140734026283008 140197714913392 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25447] ppid=25380 vsize=11080032 memory=6655300316396806240 CPUtime=2.73 cores=1,3,5,7
/proc/25383/task/25447/stat : 25447 (java) S 25380 25383 13514 0 -1 1077944384 6625 13259 0 0 261 4 5 3 20 0 15 0 107136913 11345952768 256028 33554432000 4194304 4196468 140734026283008 140197713860848 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25448] ppid=25380 vsize=11080032 memory=-2895008908443489639 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25448/stat : 25448 (java) S 25380 25383 13514 0 -1 1077944384 3 13259 0 0 0 0 5 3 20 0 15 0 107136913 11345952768 256028 33554432000 4194304 4196468 140734026283008 140196188252768 140198291764949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
[pid=25383/tid=25449] ppid=25380 vsize=11080032 memory=-7812736537705041862 CPUtime=0.08 cores=1,3,5,7
/proc/25383/task/25449/stat : 25449 (java) S 25380 25383 13514 0 -1 1077944384 16 13259 0 0 0 0 5 3 20 0 15 0 107136913 11345952768 256028 33554432000 4194304 4196468 140734026283008 140197712808752 140198291765890 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37441536 140734026287720 140734026290529 140734026290529 140734026293199 0
Current children cumulated CPU time: 29.98 s
Current children cumulated vsize: 11080032 KiB
Current children cumulated memory: 1024112 KiB

Child status: 0
Real time (s): 13.2866
CPU time (s): 30.1353
CPU user time (s): 29.5797
CPU system time (s): 0.555521
CPU usage (%): 226.81
Max. virtual memory (cumulated for all children) (KiB): 11082824
Max. memory (cumulated for all children) (KiB): 1024112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.5797
system time used= 0.555521
maximum resident set size= 1026360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92344
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9447
involuntary context switches= 92


# summary of solver processes directly reported to runsolver:
#   pid: 25383
#   total CPU time (s): 30.1353
#   total CPU user time (s): 29.5797
#   total CPU system time (s): 0.555521

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.09185 second user time and 0.183701 second system time

The end
Name	Rlfap/Rlfap-opt/ Rlfap-scen-04-opt_c18.xml
MD5SUM	78811932529a67bdc61c23a432ac663c
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	46
Best CPU time to get the best result obtained on this benchmark	2.14553
Satisfiable
(Un)Satisfiability was proved
Number of variables	680
Number of constraints	3968
Number of domains	5
Minimum domain size	6
Maximum domain size	44
Distribution of domain sizes	[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree	3
Maximum variable degree	64
Distribution of variable degrees	[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	280
Distribution of constraint arities	[{"arity":2,"count":3967},{"arity":280,"count":1}]
Number of extensional constraints	0
Number of intensional constraints	3967
Distribution of constraint types	[{"type":"intension","count":3967},{"type":"instantiation","count":1}]
Optimization problem	YES
Type of objective	min NVALUES
Trace number 4302898

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
