Trace number 4400644

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Concrete 3.12.2SAT 10.6961 4.28314

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-xcsp2-s20a4/
TravellingSalesman-4-20-001-a4_X2.xml
MD5SUMb8ea00653452363d0c81f6ef3102e485
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.830237
Satisfiable
(Un)Satisfiability was proved
Number of variables61
Number of constraints228
Number of domains5
Minimum domain size1
Maximum domain size1001
Distribution of domain sizes[{"size":1,"count":2},{"size":20,"count":20},{"size":161,"count":19},{"size":1001,"count":20}]
Minimum variable degree1
Maximum variable degree208
Distribution of variable degrees[{"degree":1,"count":2},{"degree":2,"count":37},{"degree":19,"count":1},{"degree":20,"count":18},{"degree":37,"count":1},{"degree":190,"count":1},{"degree":208,"count":1}]
Minimum constraint arity2
Maximum constraint arity4
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":20},{"arity":4,"count":207}]
Number of extensional constraints228
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":228}]
Optimization problemNO
Type of objective

Solver Data 

0.74/0.55	c Concrete v3.12.2.1568631193530 running
10.54/4.22	v <instantiation
10.54/4.22	v         >
10.54/4.22	v       <list>
10.54/4.22	v         w3 w4 x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] z[0] z[1] z[2] z[3] z[4] z[5] z[6] z[7] z[8] z[9] z[10] z[11] z[12] z[13] z[14] z[15] z[16] z[17] z[18]
10.54/4.22	v       </list>
10.54/4.22	v       <values>
10.54/4.22	v         160 0 16 3 18 12 19 9 5 4 8 14 13 10 15 7 1 2 6 17 20 11 7 3 16 15 17 0 5 11 2 1 2 3 7 26 0 18 0 3 15 9 10 26 41 58 58 63 74 76 77 79 82 89 115 115 133 133 136 151 160
10.54/4.22	v       </values>
10.54/4.22	v     </instantiation>
10.54/4.22	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

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 (10698 MiB free)
  memory of node 1: 16384 MiB (14660 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400644-1568689975/watcher-4400644-1568689975 -o /tmp/evaluation-result-4400644-1568689975/solver-4400644-1568689975 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13491 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1545093772 HOME/instance-4400644-1568689975.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=17864, runsolver pid=17861

[startup+0.100131 s]*
/proc/loadavg: 1.20 1.41 1.43 3/219 17921
/proc/meminfo: memFree=25960044/32770624 swapFree=66941520/67108860
[pid=17864] ppid=17861 vsize=9972712 memory=18596 CPUtime=0.09 cores=0,2,4,6
/proc/17864/stat : 17864 (java) S 17861 17864 13460 0 -1 1077944320 4374 13281 0 0 1 0 5 3 20 0 6 0 445236167 10212057088 4649 33554432000 4194304 4196468 140726064268320 140726064250864 140015103839991 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
/proc/17864/statm: 2493178 4649 1935 1 0 2481616 0
[pid=17864/tid=17917] ppid=17861 vsize=9972712 memory=4628411388058700198 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17917/stat : 17917 (java) R 17861 17864 13460 0 -1 4202560 2178 13281 0 0 1 0 5 3 20 0 6 0 445236176 10212057088 4649 33554432000 4194304 4196468 140726064268320 140015075676752 140015089151993 0 4 0 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17918] ppid=17861 vsize=9972712 memory=5793855717074262457 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17918/stat : 17918 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 6 0 445236176 10212057088 4649 33554432000 4194304 4196468 140726064268320 140015108082832 140015103850197 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17919] ppid=17861 vsize=9972712 memory=140466064369280 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17919/stat : 17919 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 6 0 445236176 10212057088 4649 33554432000 4194304 4196468 140726064268320 140014996356112 140015103850197 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17920] ppid=17861 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17920/stat : 17920 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 6 0 445236176 10212057088 4649 33554432000 4194304 4196468 140726064268320 140014675553168 140015103850197 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17921] ppid=17861 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17921/stat : 17921 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 6 0 445236176 10212057088 4649 33554432000 4194304 4196468 140726064268320 140014674500368 140015103850197 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB

[startup+0.210138 s]*
/proc/loadavg: 1.20 1.41 1.43 4/228 17930
/proc/meminfo: memFree=25945068/32770624 swapFree=66941520/67108860
[pid=17864] ppid=17861 vsize=10820196 memory=39640 CPUtime=0.28 cores=0,2,4,6
/proc/17864/stat : 17864 (java) S 17861 17864 13460 0 -1 1077944320 7283 13281 0 0 18 2 5 3 20 0 15 0 445236167 11079880704 9910 33554432000 4194304 4196468 140726064268320 140726064250864 140015103839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
/proc/17864/statm: 2705049 9910 3305 1 0 2667149 0
[pid=17864/tid=17917] ppid=17861 vsize=10820196 memory=-8540663193526752614 CPUtime=0.2 cores=0,2,4,6
/proc/17864/task/17917/stat : 17917 (java) R 17861 17864 13460 0 -1 4202560 3736 13281 0 0 11 1 5 3 20 0 15 0 445236176 11079880704 9910 33554432000 4194304 4196468 140726064268320 140015075654176 140015103861917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17918] ppid=17861 vsize=10820196 memory=4211974192269159818 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17918/stat : 17918 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236176 11079880704 9910 33554432000 4194304 4196468 140726064268320 140015108082832 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17919] ppid=17861 vsize=10820196 memory=140466064369280 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17919/stat : 17919 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236176 11079880704 9910 33554432000 4194304 4196468 140726064268320 140014996356112 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17920] ppid=17861 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17920/stat : 17920 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236176 11079880704 9910 33554432000 4194304 4196468 140726064268320 140014675553168 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17921] ppid=17861 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17921/stat : 17921 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236176 11079880704 9910 33554432000 4194304 4196468 140726064268320 140014674500368 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17922] ppid=17861 vsize=10820196 memory=140466064369280 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17922/stat : 17922 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236178 11079880704 9910 33554432000 4194304 4196468 140726064268320 140014106978672 140015103851138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17923] ppid=17861 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17923/stat : 17923 (java) S 17861 17864 13460 0 -1 1077944384 33 13281 0 0 0 0 5 3 20 0 15 0 445236178 11079880704 9910 33554432000 4194304 4196468 140726064268320 140014105924640 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17924] ppid=17861 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17924/stat : 17924 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236178 11079880704 9910 33554432000 4194304 4196468 140726064268320 140013987685232 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17925] ppid=17861 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17925/stat : 17925 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11079880704 9910 33554432000 4194304 4196468 140726064268320 140013680285520 140015103858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17926] ppid=17861 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17926/stat : 17926 (java) S 17861 17864 13460 0 -1 1077944384 362 13281 0 0 1 0 5 3 20 0 15 0 445236181 11079880704 9910 33554432000 4194304 4196468 140726064268320 140014072367984 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17927] ppid=17861 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17927/stat : 17927 (java) S 17861 17864 13460 0 -1 1077944384 307 13281 0 0 1 0 5 3 20 0 15 0 445236181 11079880704 9910 33554432000 4194304 4196468 140726064268320 140014071315184 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17928] ppid=17861 vsize=10820196 memory=140466064369280 CPUtime=0.11 cores=0,2,4,6
/proc/17864/task/17928/stat : 17928 (java) S 17861 17864 13460 0 -1 1077944384 622 13281 0 0 3 0 5 3 20 0 15 0 445236181 11079880704 9910 33554432000 4194304 4196468 140726064268320 140014070262384 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17929] ppid=17861 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17929/stat : 17929 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11079880704 9910 33554432000 4194304 4196468 140726064268320 140013646727904 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17930] ppid=17861 vsize=10820196 memory=140466064369280 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17930/stat : 17930 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236182 11079880704 9910 33554432000 4194304 4196468 140726064268320 140014069209776 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
Current children cumulated CPU time: 0.28 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 39640 KiB

[startup+0.310573 s]*
/proc/loadavg: 1.20 1.41 1.43 4/228 17930
/proc/meminfo: memFree=25932436/32770624 swapFree=66941520/67108860
[pid=17864] ppid=17861 vsize=10820196 memory=48120 CPUtime=0.4 cores=0,2,4,6
/proc/17864/stat : 17864 (java) S 17861 17864 13460 0 -1 1077944320 10781 13281 0 0 29 3 5 3 20 0 15 0 445236167 11079880704 12030 33554432000 4194304 4196468 140726064268320 140726064250864 140015103839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
/proc/17864/statm: 2705049 12030 3318 1 0 2667149 0
[pid=17864/tid=17917] ppid=17861 vsize=10820196 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/17864/task/17917/stat : 17917 (java) R 17861 17864 13460 0 -1 4202560 7214 13281 0 0 19 2 5 3 20 0 15 0 445236176 11079880704 12030 33554432000 4194304 4196468 140726064268320 140015075661488 140015103851926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17918] ppid=17861 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17918/stat : 17918 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236176 11079880704 12030 33554432000 4194304 4196468 140726064268320 140015108082832 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17919] ppid=17861 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17919/stat : 17919 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236176 11079880704 12030 33554432000 4194304 4196468 140726064268320 140014996356112 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17920] ppid=17861 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17920/stat : 17920 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236176 11079880704 12030 33554432000 4194304 4196468 140726064268320 140014675553168 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17921] ppid=17861 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17921/stat : 17921 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236176 11079880704 12030 33554432000 4194304 4196468 140726064268320 140014674500368 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17922] ppid=17861 vsize=10820196 memory=140466064369279 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17922/stat : 17922 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236178 11079880704 12030 33554432000 4194304 4196468 140726064268320 140014106978672 140015103851138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17923] ppid=17861 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17923/stat : 17923 (java) S 17861 17864 13460 0 -1 1077944384 33 13281 0 0 0 0 5 3 20 0 15 0 445236178 11079880704 12030 33554432000 4194304 4196468 140726064268320 140014105924640 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17924] ppid=17861 vsize=10820196 memory=140466064369280 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17924/stat : 17924 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236178 11079880704 12030 33554432000 4194304 4196468 140726064268320 140013987685232 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17925] ppid=17861 vsize=10820196 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17925/stat : 17925 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11079880704 12030 33554432000 4194304 4196468 140726064268320 140013680285520 140015103858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17926] ppid=17861 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17926/stat : 17926 (java) S 17861 17864 13460 0 -1 1077944384 363 13281 0 0 1 0 5 3 20 0 15 0 445236181 11079880704 12030 33554432000 4194304 4196468 140726064268320 140014072367984 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17927] ppid=17861 vsize=10820196 memory=-1 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17927/stat : 17927 (java) S 17861 17864 13460 0 -1 1077944384 307 13281 0 0 1 0 5 3 20 0 15 0 445236181 11079880704 12030 33554432000 4194304 4196468 140726064268320 140014071315184 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17928] ppid=17861 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/17864/task/17928/stat : 17928 (java) R 17861 17864 13460 0 -1 4202560 641 13281 0 0 5 0 5 3 20 0 15 0 445236181 11079880704 12030 33554432000 4194304 4196468 140726064268320 140014070262384 140015103851926 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17929] ppid=17861 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17929/stat : 17929 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11079880704 12030 33554432000 4194304 4196468 140726064268320 140013646727904 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17930] ppid=17861 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17930/stat : 17930 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236182 11079880704 12030 33554432000 4194304 4196468 140726064268320 140014069209776 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48120 KiB

[startup+0.706885 s]
/proc/loadavg: 1.20 1.41 1.43 3/228 17930
/proc/meminfo: memFree=25917288/32770624 swapFree=66941520/67108860
[pid=17864] ppid=17861 vsize=10824364 memory=81852 CPUtime=1.12 cores=0,2,4,6
/proc/17864/stat : 17864 (java) S 17861 17864 13460 0 -1 1077944320 15177 13281 0 0 98 6 5 3 20 0 15 0 445236167 11084148736 20463 33554432000 4194304 4196468 140726064268320 140726064250864 140015103839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
/proc/17864/statm: 2706091 20463 3512 1 0 2668173 0
[pid=17864/tid=17917] ppid=17861 vsize=10824364 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/17864/task/17917/stat : 17917 (java) R 17861 17864 13460 0 -1 4202560 10522 13281 0 0 55 4 5 3 20 0 15 0 445236176 11084148736 20463 33554432000 4194304 4196468 140726064268320 140015075666944 140015103862013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17918] ppid=17861 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17918/stat : 17918 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236176 11084148736 20463 33554432000 4194304 4196468 140726064268320 140015108082832 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17919] ppid=17861 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17919/stat : 17919 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236176 11084148736 20463 33554432000 4194304 4196468 140726064268320 140014996356112 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17920] ppid=17861 vsize=10824364 memory=3620 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17920/stat : 17920 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236176 11084148736 20463 33554432000 4194304 4196468 140726064268320 140014675553168 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17921] ppid=17861 vsize=10824364 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17921/stat : 17921 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236176 11084148736 20463 33554432000 4194304 4196468 140726064268320 140014674500368 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17922] ppid=17861 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17922/stat : 17922 (java) S 17861 17864 13460 0 -1 1077944384 5 13281 0 0 0 0 5 3 20 0 15 0 445236178 11084148736 20463 33554432000 4194304 4196468 140726064268320 140014106978672 140015103851138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17923] ppid=17861 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17923/stat : 17923 (java) S 17861 17864 13460 0 -1 1077944384 33 13281 0 0 0 0 5 3 20 0 15 0 445236178 11084148736 20463 33554432000 4194304 4196468 140726064268320 140014105924640 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17924] ppid=17861 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17924/stat : 17924 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236178 11084148736 20463 33554432000 4194304 4196468 140726064268320 140013987685232 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17925] ppid=17861 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17925/stat : 17925 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11084148736 20463 33554432000 4194304 4196468 140726064268320 140013680285520 140015103858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17926] ppid=17861 vsize=10824364 memory=19265 CPUtime=0.2 cores=0,2,4,6
/proc/17864/task/17926/stat : 17926 (java) R 17861 17864 13460 0 -1 4202560 840 13281 0 0 12 0 5 3 20 0 15 0 445236181 11084148736 20463 33554432000 4194304 4196468 140726064268320 140014072367984 140015088956142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17927] ppid=17861 vsize=10824364 memory=280931931783408 CPUtime=0.2 cores=0,2,4,6
/proc/17864/task/17927/stat : 17927 (java) R 17861 17864 13460 0 -1 4202560 687 13281 0 0 12 0 5 3 20 0 15 0 445236181 11084148736 20463 33554432000 4194304 4196468 140726064268320 140014071301280 140015087226842 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17928] ppid=17861 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/17864/task/17928/stat : 17928 (java) R 17861 17864 13460 0 -1 4202560 870 13281 0 0 17 0 5 3 20 0 15 0 445236181 11084148736 20463 33554432000 4194304 4196468 140726064268320 140014070262384 140015088099329 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17929] ppid=17861 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17929/stat : 17929 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11084148736 20463 33554432000 4194304 4196468 140726064268320 140013646727904 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17930] ppid=17861 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17930/stat : 17930 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236182 11084148736 20463 33554432000 4194304 4196468 140726064268320 140014069209776 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81852 KiB

[startup+1.50074 s]
/proc/loadavg: 1.20 1.41 1.43 5/228 17930
/proc/meminfo: memFree=25844368/32770624 swapFree=66941520/67108860
[pid=17864] ppid=17861 vsize=10832632 memory=218136 CPUtime=2.93 cores=0,2,4,6
/proc/17864/stat : 17864 (java) S 17861 17864 13460 0 -1 1077944320 22036 13281 0 0 270 15 5 3 20 0 15 0 445236167 11092615168 54534 33554432000 4194304 4196468 140726064268320 140726064250864 140015103839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
/proc/17864/statm: 2708158 54534 3584 1 0 2670221 0
[pid=17864/tid=17917] ppid=17861 vsize=10832632 memory=254 CPUtime=1.43 cores=0,2,4,6
/proc/17864/task/17917/stat : 17917 (java) R 17861 17864 13460 0 -1 4202560 14607 13281 0 0 125 10 5 3 20 0 15 0 445236176 11092615168 54534 33554432000 4194304 4196468 140726064268320 140015075672192 140015089534832 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17918] ppid=17861 vsize=10832632 memory=118 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17918/stat : 17918 (java) S 17861 17864 13460 0 -1 1077944384 48 13281 0 0 1 0 5 3 20 0 15 0 445236176 11092615168 54534 33554432000 4194304 4196468 140726064268320 140015108082832 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17919] ppid=17861 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17919/stat : 17919 (java) S 17861 17864 13460 0 -1 1077944384 56 13281 0 0 1 0 5 3 20 0 15 0 445236176 11092615168 54534 33554432000 4194304 4196468 140726064268320 140014996356112 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17920] ppid=17861 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17920/stat : 17920 (java) S 17861 17864 13460 0 -1 1077944384 252 13281 0 0 1 0 5 3 20 0 15 0 445236176 11092615168 54534 33554432000 4194304 4196468 140726064268320 140014675553168 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17921] ppid=17861 vsize=10832632 memory=280931931819488 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17921/stat : 17921 (java) S 17861 17864 13460 0 -1 1077944384 44 13281 0 0 1 0 5 3 20 0 15 0 445236176 11092615168 54534 33554432000 4194304 4196468 140726064268320 140014674500368 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17922] ppid=17861 vsize=10832632 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17922/stat : 17922 (java) S 17861 17864 13460 0 -1 1077944384 82 13281 0 0 1 0 5 3 20 0 15 0 445236178 11092615168 54534 33554432000 4194304 4196468 140726064268320 140014106978672 140015103851138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17923] ppid=17861 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17923/stat : 17923 (java) S 17861 17864 13460 0 -1 1077944384 33 13281 0 0 0 0 5 3 20 0 15 0 445236178 11092615168 54534 33554432000 4194304 4196468 140726064268320 140014105924704 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17924] ppid=17861 vsize=10832632 memory=280931931832992 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17924/stat : 17924 (java) S 17861 17864 13460 0 -1 1077944384 2 13281 0 0 0 0 5 3 20 0 15 0 445236178 11092615168 54534 33554432000 4194304 4196468 140726064268320 140013987685248 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17925] ppid=17861 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17925/stat : 17925 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11092615168 54534 33554432000 4194304 4196468 140726064268320 140013680285520 140015103858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17926] ppid=17861 vsize=10832632 memory=-7880843606118635149 CPUtime=0.57 cores=0,2,4,6
/proc/17864/task/17926/stat : 17926 (java) S 17861 17864 13460 0 -1 1077944384 1538 13281 0 0 49 0 5 3 20 0 15 0 445236181 11092615168 54534 33554432000 4194304 4196468 140726064268320 140014072367984 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17927] ppid=17861 vsize=10832632 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/17864/task/17927/stat : 17927 (java) S 17861 17864 13460 0 -1 1077944384 1389 13281 0 0 48 0 5 3 20 0 15 0 445236181 11092615168 54534 33554432000 4194304 4196468 140726064268320 140014071315184 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17928] ppid=17861 vsize=10832632 memory=0 CPUtime=0.47 cores=0,2,4,6
/proc/17864/task/17928/stat : 17928 (java) S 17861 17864 13460 0 -1 1077944384 1772 13281 0 0 39 0 5 3 20 0 15 0 445236181 11092615168 54534 33554432000 4194304 4196468 140726064268320 140014070262384 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17929] ppid=17861 vsize=10832632 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17929/stat : 17929 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11092615168 54534 33554432000 4194304 4196468 140726064268320 140013646727904 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17930] ppid=17861 vsize=10832632 memory=288230583166042426 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17930/stat : 17930 (java) S 17861 17864 13460 0 -1 1077944384 1 13281 0 0 0 0 5 3 20 0 15 0 445236182 11092615168 54534 33554432000 4194304 4196468 140726064268320 140014069209776 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
Current children cumulated CPU time: 2.93 s
Current children cumulated vsize: 10832632 KiB

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

[startup+3.11136 s]
/proc/loadavg: 1.20 1.41 1.43 5/228 17930
/proc/meminfo: memFree=25692916/32770624 swapFree=66941520/67108860
[pid=17864] ppid=17861 vsize=10842892 memory=290816 CPUtime=7.3 cores=0,2,4,6
/proc/17864/stat : 17864 (java) S 17861 17864 13460 0 -1 1077944320 33268 13281 0 0 703 19 5 3 20 0 15 0 445236167 11103121408 72704 33554432000 4194304 4196468 140726064268320 140726064250864 140015103839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
/proc/17864/statm: 2710723 72704 3599 1 0 2672781 0
[pid=17864/tid=17917] ppid=17861 vsize=10842892 memory=249004 CPUtime=3.02 cores=0,2,4,6
/proc/17864/task/17917/stat : 17917 (java) R 17861 17864 13460 0 -1 4202560 18719 13281 0 0 283 11 5 3 20 0 15 0 445236176 11103121408 72704 33554432000 4194304 4196468 140726064268320 140015075659344 140015103861917 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17918] ppid=17861 vsize=10842892 memory=56 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17918/stat : 17918 (java) S 17861 17864 13460 0 -1 1077944384 54 13281 0 0 1 0 5 3 20 0 15 0 445236176 11103121408 72704 33554432000 4194304 4196468 140726064268320 140015108082832 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17919] ppid=17861 vsize=10842892 memory=1943562 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17919/stat : 17919 (java) S 17861 17864 13460 0 -1 1077944384 63 13281 0 0 1 0 5 3 20 0 15 0 445236176 11103121408 72704 33554432000 4194304 4196468 140726064268320 140014996356112 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17920] ppid=17861 vsize=10842892 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17920/stat : 17920 (java) S 17861 17864 13460 0 -1 1077944384 265 13281 0 0 1 0 5 3 20 0 15 0 445236176 11103121408 72704 33554432000 4194304 4196468 140726064268320 140014675553168 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17921] ppid=17861 vsize=10842892 memory=134 CPUtime=0.1 cores=0,2,4,6
/proc/17864/task/17921/stat : 17921 (java) S 17861 17864 13460 0 -1 1077944384 51 13281 0 0 2 0 5 3 20 0 15 0 445236176 11103121408 72704 33554432000 4194304 4196468 140726064268320 140014674500368 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17922] ppid=17861 vsize=10842892 memory=134 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17922/stat : 17922 (java) S 17861 17864 13460 0 -1 1077944384 111 13281 0 0 1 0 5 3 20 0 15 0 445236178 11103121408 72704 33554432000 4194304 4196468 140726064268320 140014106978672 140015103851138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17923] ppid=17861 vsize=10842892 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17923/stat : 17923 (java) S 17861 17864 13460 0 -1 1077944384 37 13281 0 0 0 0 5 3 20 0 15 0 445236178 11103121408 72704 33554432000 4194304 4196468 140726064268320 140014105924704 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17924] ppid=17861 vsize=10842892 memory=7595696054634833216 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17924/stat : 17924 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236178 11103121408 72704 33554432000 4194304 4196468 140726064268320 140013987685248 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17925] ppid=17861 vsize=10842892 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17925/stat : 17925 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11103121408 72704 33554432000 4194304 4196468 140726064268320 140013680285520 140015103858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17926] ppid=17861 vsize=10842892 memory=280931931849856 CPUtime=1.61 cores=0,2,4,6
/proc/17864/task/17926/stat : 17926 (java) S 17861 17864 13460 0 -1 1077944384 3193 13281 0 0 152 1 5 3 20 0 15 0 445236181 11103121408 72704 33554432000 4194304 4196468 140726064268320 140014072367984 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17927] ppid=17861 vsize=10842892 memory=6219843182146523524 CPUtime=1.61 cores=0,2,4,6
/proc/17864/task/17927/stat : 17927 (java) S 17861 17864 13460 0 -1 1077944384 4172 13281 0 0 152 1 5 3 20 0 15 0 445236181 11103121408 72704 33554432000 4194304 4196468 140726064268320 140014071315184 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17928] ppid=17861 vsize=10842892 memory=0 CPUtime=1.12 cores=0,2,4,6
/proc/17864/task/17928/stat : 17928 (java) R 17861 17864 13460 0 -1 4202560 4385 13281 0 0 103 1 5 3 20 0 15 0 445236181 11103121408 72704 33554432000 4194304 4196468 140726064268320 140014070259320 140015082350156 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17929] ppid=17861 vsize=10842892 memory=301741373374332954 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17929/stat : 17929 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11103121408 72704 33554432000 4194304 4196468 140726064268320 140013646727904 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17930] ppid=17861 vsize=10842892 memory=301741382048153914 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17930/stat : 17930 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236182 11103121408 72704 33554432000 4194304 4196468 140726064268320 140014069209776 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
Current children cumulated CPU time: 7.3 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 290816 KiB

[startup+4.28307 s]
# the end of solver process 17864 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=10.4123 s, system=0.283855 s

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

[startup+3.20081 s]
/proc/loadavg: 1.20 1.41 1.43 5/228 17930
/proc/meminfo: memFree=25692916/32770624 swapFree=66941520/67108860
[pid=17864] ppid=17861 vsize=10842892 memory=292724 CPUtime=7.46 cores=0,2,4,6
/proc/17864/stat : 17864 (java) S 17861 17864 13460 0 -1 1077944320 37221 13281 0 0 718 20 5 3 20 0 15 0 445236167 11103121408 73181 33554432000 4194304 4196468 140726064268320 140726064250864 140015103839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
/proc/17864/statm: 2710723 73181 3599 1 0 2672781 0
[pid=17864/tid=17917] ppid=17861 vsize=10842892 memory=6944656592452807316 CPUtime=3.12 cores=0,2,4,6
/proc/17864/task/17917/stat : 17917 (java) R 17861 17864 13460 0 -1 4202560 22366 13281 0 0 292 12 5 3 20 0 15 0 445236176 11103121408 73181 33554432000 4194304 4196468 140726064268320 140015075672208 140015087920478 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17918] ppid=17861 vsize=10842892 memory=4426042776274957866 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17918/stat : 17918 (java) S 17861 17864 13460 0 -1 1077944384 54 13281 0 0 1 0 5 3 20 0 15 0 445236176 11103121408 73181 33554432000 4194304 4196468 140726064268320 140015108082832 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17919] ppid=17861 vsize=10842892 memory=8992725908130199082 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17919/stat : 17919 (java) S 17861 17864 13460 0 -1 1077944384 63 13281 0 0 1 0 5 3 20 0 15 0 445236176 11103121408 73181 33554432000 4194304 4196468 140726064268320 140014996356112 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17920] ppid=17861 vsize=10842892 memory=-7812800578125854346 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17920/stat : 17920 (java) S 17861 17864 13460 0 -1 1077944384 265 13281 0 0 1 0 5 3 20 0 15 0 445236176 11103121408 73181 33554432000 4194304 4196468 140726064268320 140014675553168 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17921] ppid=17861 vsize=10842892 memory=-8758782786626935437 CPUtime=0.1 cores=0,2,4,6
/proc/17864/task/17921/stat : 17921 (java) S 17861 17864 13460 0 -1 1077944384 51 13281 0 0 2 0 5 3 20 0 15 0 445236176 11103121408 73181 33554432000 4194304 4196468 140726064268320 140014674500368 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17922] ppid=17861 vsize=10842892 memory=4628981914148316534 CPUtime=0.09 cores=0,2,4,6
/proc/17864/task/17922/stat : 17922 (java) S 17861 17864 13460 0 -1 1077944384 111 13281 0 0 1 0 5 3 20 0 15 0 445236178 11103121408 73181 33554432000 4194304 4196468 140726064268320 140014106978672 140015103851138 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17923] ppid=17861 vsize=10842892 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17923/stat : 17923 (java) S 17861 17864 13460 0 -1 1077944384 37 13281 0 0 0 0 5 3 20 0 15 0 445236178 11103121408 73181 33554432000 4194304 4196468 140726064268320 140014105924704 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17924] ppid=17861 vsize=10842892 memory=-7738167615158003044 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17924/stat : 17924 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236178 11103121408 73181 33554432000 4194304 4196468 140726064268320 140013987685248 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17925] ppid=17861 vsize=10842892 memory=7649399388509910833 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17925/stat : 17925 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11103121408 73181 33554432000 4194304 4196468 140726064268320 140013680285520 140015103858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17926] ppid=17861 vsize=10842892 memory=8 CPUtime=1.64 cores=0,2,4,6
/proc/17864/task/17926/stat : 17926 (java) R 17861 17864 13460 0 -1 4202560 3293 13281 0 0 155 1 5 3 20 0 15 0 445236181 11103121408 73198 33554432000 4194304 4196468 140726064268320 140014072353936 140015083502208 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17927] ppid=17861 vsize=10842892 memory=4294969504 CPUtime=1.62 cores=0,2,4,6
/proc/17864/task/17927/stat : 17927 (java) R 17861 17864 13460 0 -1 4202560 4196 13281 0 0 153 1 5 3 20 0 15 0 445236181 11103121408 73198 33554432000 4194304 4196468 140726064268320 140014071315184 140015103861338 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17928] ppid=17861 vsize=10842892 memory=280931932232208 CPUtime=1.14 cores=0,2,4,6
/proc/17864/task/17928/stat : 17928 (java) R 17861 17864 13460 0 -1 1077944384 4557 13281 0 0 105 1 5 3 20 0 15 0 445236181 11103121408 73198 33554432000 4194304 4196468 140726064268320 140014070262384 140015103851138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17929] ppid=17861 vsize=10842892 memory=6944656592452807316 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17929/stat : 17929 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11103121408 73198 33554432000 4194304 4196468 140726064268320 140013646727904 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17930] ppid=17861 vsize=10842892 memory=10 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17930/stat : 17930 (java) S 17861 17864 13460 0 -1 1077944384 13 13281 0 0 0 0 5 3 20 0 15 0 445236182 11103121408 73198 33554432000 4194304 4196468 140726064268320 140014069209776 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
Current children cumulated CPU time: 7.46 s
Current children cumulated vsize: 10842892 KiB
Current children cumulated memory: 292724 KiB

[startup+4.00071 s]*
/proc/loadavg: 1.42 1.45 1.44 5/228 17930
/proc/meminfo: memFree=25659736/32770624 swapFree=66941520/67108860
[pid=17864] ppid=17861 vsize=10849632 memory=324848 CPUtime=9.95 cores=0,2,4,6
/proc/17864/stat : 17864 (java) S 17861 17864 13460 0 -1 1077944320 49041 13281 0 0 964 23 5 3 20 0 15 0 445236167 11110023168 81212 33554432000 4194304 4196468 140726064268320 140726064250864 140015103839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
/proc/17864/statm: 2712408 81212 3620 1 0 2674466 0
[pid=17864/tid=17917] ppid=17861 vsize=10849632 memory=576567874760998942 CPUtime=3.87 cores=0,2,4,6
/proc/17864/task/17917/stat : 17917 (java) R 17861 17864 13460 0 -1 4202560 24005 13281 0 0 367 12 5 3 20 0 15 0 445236176 11110023168 81212 33554432000 4194304 4196468 140726064268320 140015075670416 140014688432998 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17918] ppid=17861 vsize=10849632 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17864/task/17918/stat : 17918 (java) S 17861 17864 13460 0 -1 1077944384 227 13281 0 0 4 0 5 3 20 0 15 0 445236176 11110023168 81212 33554432000 4194304 4196468 140726064268320 140015108082832 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17919] ppid=17861 vsize=10849632 memory=15683395302631064 CPUtime=0.13 cores=0,2,4,6
/proc/17864/task/17919/stat : 17919 (java) S 17861 17864 13460 0 -1 1077944384 96 13281 0 0 4 1 5 3 20 0 15 0 445236176 11110023168 81212 33554432000 4194304 4196468 140726064268320 140014996356112 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17920] ppid=17861 vsize=10849632 memory=6153395278363316816 CPUtime=0.12 cores=0,2,4,6
/proc/17864/task/17920/stat : 17920 (java) S 17861 17864 13460 0 -1 1077944384 648 13281 0 0 4 0 5 3 20 0 15 0 445236176 11110023168 81212 33554432000 4194304 4196468 140726064268320 140014675553168 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17921] ppid=17861 vsize=10849632 memory=4638778398332698720 CPUtime=0.12 cores=0,2,4,6
/proc/17864/task/17921/stat : 17921 (java) S 17861 17864 13460 0 -1 1077944384 73 13281 0 0 4 0 5 3 20 0 15 0 445236176 11110023168 81212 33554432000 4194304 4196468 140726064268320 140014674500368 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17922] ppid=17861 vsize=10849632 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/17864/task/17922/stat : 17922 (java) S 17861 17864 13460 0 -1 1077944384 3821 13281 0 0 4 0 5 3 20 0 15 0 445236178 11110023168 81278 33554432000 4194304 4196468 140726064268320 140014106978672 140015103851138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17923] ppid=17861 vsize=10849632 memory=3472328296225127018 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17923/stat : 17923 (java) S 17861 17864 13460 0 -1 1077944384 40 13281 0 0 0 0 5 3 20 0 15 0 445236178 11110023168 81278 33554432000 4194304 4196468 140726064268320 140014105924768 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17924] ppid=17861 vsize=10849632 memory=6944656592455350634 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17924/stat : 17924 (java) S 17861 17864 13460 0 -1 1077944384 8 13281 0 0 0 0 5 3 20 0 15 0 445236178 11110023168 81278 33554432000 4194304 4196468 140726064268320 140013987685248 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17925] ppid=17861 vsize=10849632 memory=-8990767739041718176 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17925/stat : 17925 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11110023168 81278 33554432000 4194304 4196468 140726064268320 140013680285520 140015103858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17926] ppid=17861 vsize=10849632 memory=0 CPUtime=2.31 cores=0,2,4,6
/proc/17864/task/17926/stat : 17926 (java) R 17861 17864 13460 0 -1 4202560 4978 13281 0 0 222 1 5 3 20 0 15 0 445236181 11110023168 81278 33554432000 4194304 4196468 140726064268320 140014072353912 140015081622888 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17927] ppid=17861 vsize=10849632 memory=3472328296227680303 CPUtime=2.31 cores=0,2,4,6
/proc/17864/task/17927/stat : 17927 (java) R 17861 17864 13460 0 -1 4202560 7112 13281 0 0 221 2 5 3 20 0 15 0 445236181 11110023168 81344 33554432000 4194304 4196468 140726064268320 140014071300664 140015085386728 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17928] ppid=17861 vsize=10849632 memory=3472468745112180400 CPUtime=1.38 cores=0,2,4,6
/proc/17864/task/17928/stat : 17928 (java) R 17861 17864 13460 0 -1 1077944384 5883 13281 0 0 128 2 5 3 20 0 15 0 445236181 11110023168 81344 33554432000 4194304 4196468 140726064268320 140014070262384 140015103851138 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17929] ppid=17861 vsize=10849632 memory=8386651906308666477 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17929/stat : 17929 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11110023168 81344 33554432000 4194304 4196468 140726064268320 140013646727904 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17930] ppid=17861 vsize=10849632 memory=3472468762292049584 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17930/stat : 17930 (java) S 17861 17864 13460 0 -1 1077944384 13 13281 0 0 0 0 5 3 20 0 15 0 445236182 11110023168 81344 33554432000 4194304 4196468 140726064268320 140014069209776 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
Current children cumulated CPU time: 9.95 s
Current children cumulated vsize: 10849632 KiB
Current children cumulated memory: 324848 KiB

[startup+4.20068 s]
/proc/loadavg: 1.42 1.45 1.44 5/228 17930
/proc/meminfo: memFree=25659736/32770624 swapFree=66941520/67108860
[pid=17864] ppid=17861 vsize=10846988 memory=334576 CPUtime=10.54 cores=0,2,4,6
/proc/17864/stat : 17864 (java) S 17861 17864 13460 0 -1 1077944320 52810 13281 0 0 1023 23 5 3 20 0 15 0 445236167 11107315712 83644 33554432000 4194304 4196468 140726064268320 140726064250864 140015103839991 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
/proc/17864/statm: 2711747 83644 3620 1 0 2673805 0
[pid=17864/tid=17917] ppid=17861 vsize=10846988 memory=0 CPUtime=4.06 cores=0,2,4,6
/proc/17864/task/17917/stat : 17917 (java) R 17861 17864 13460 0 -1 4202560 24016 13281 0 0 386 12 5 3 20 0 15 0 445236176 11107315712 83644 33554432000 4194304 4196468 140726064268320 140015075671920 140014688012925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17918] ppid=17861 vsize=10846988 memory=920 CPUtime=0.12 cores=0,2,4,6
/proc/17864/task/17918/stat : 17918 (java) S 17861 17864 13460 0 -1 1077944384 227 13281 0 0 4 0 5 3 20 0 15 0 445236176 11107315712 83644 33554432000 4194304 4196468 140726064268320 140015108082832 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17919] ppid=17861 vsize=10846988 memory=6081089027444204649 CPUtime=0.13 cores=0,2,4,6
/proc/17864/task/17919/stat : 17919 (java) S 17861 17864 13460 0 -1 1077944384 96 13281 0 0 4 1 5 3 20 0 15 0 445236176 11107315712 83644 33554432000 4194304 4196468 140726064268320 140014996356112 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17920] ppid=17861 vsize=10846988 memory=6081919330338165860 CPUtime=0.12 cores=0,2,4,6
/proc/17864/task/17920/stat : 17920 (java) S 17861 17864 13460 0 -1 1077944384 648 13281 0 0 4 0 5 3 20 0 15 0 445236176 11107315712 83644 33554432000 4194304 4196468 140726064268320 140014675553168 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17921] ppid=17861 vsize=10846988 memory=7235148719892949608 CPUtime=0.12 cores=0,2,4,6
/proc/17864/task/17921/stat : 17921 (java) S 17861 17864 13460 0 -1 1077944384 73 13281 0 0 4 0 5 3 20 0 15 0 445236176 11107315712 83644 33554432000 4194304 4196468 140726064268320 140014674500368 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17922] ppid=17861 vsize=10846988 memory=-9123011406873178988 CPUtime=0.12 cores=0,2,4,6
/proc/17864/task/17922/stat : 17922 (java) S 17861 17864 13460 0 -1 1077944384 3821 13281 0 0 4 0 5 3 20 0 15 0 445236178 11107315712 83644 33554432000 4194304 4196468 140726064268320 140014106978672 140015103851138 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17923] ppid=17861 vsize=10846988 memory=7589808272998884713 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17923/stat : 17923 (java) S 17861 17864 13460 0 -1 1077944384 40 13281 0 0 0 0 5 3 20 0 15 0 445236178 11107315712 83644 33554432000 4194304 4196468 140726064268320 140014105924768 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17924] ppid=17861 vsize=10846988 memory=-7313218805096079717 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17924/stat : 17924 (java) S 17861 17864 13460 0 -1 1077944384 8 13281 0 0 0 0 5 3 20 0 15 0 445236178 11107315712 83644 33554432000 4194304 4196468 140726064268320 140013987685248 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17925] ppid=17861 vsize=10846988 memory=5787213827146797410 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17925/stat : 17925 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11107315712 83644 33554432000 4194304 4196468 140726064268320 140013680285520 140015103858587 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17926] ppid=17861 vsize=10846988 memory=7956005031678667109 CPUtime=2.5 cores=0,2,4,6
/proc/17864/task/17926/stat : 17926 (java) R 17861 17864 13460 0 -1 4202560 6449 13281 0 0 241 1 5 3 20 0 15 0 445236181 11107315712 83644 33554432000 4194304 4196468 140726064268320 140014072349520 140015087336825 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17927] ppid=17861 vsize=10846988 memory=7302129847322502758 CPUtime=2.5 cores=0,2,4,6
/proc/17864/task/17927/stat : 17927 (java) R 17861 17864 13460 0 -1 4202560 9119 13281 0 0 240 2 5 3 20 0 15 0 445236181 11107315712 83644 33554432000 4194304 4196468 140726064268320 140014071301208 140015085384209 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17928] ppid=17861 vsize=10846988 memory=7590680009377296024 CPUtime=1.41 cores=0,2,4,6
/proc/17864/task/17928/stat : 17928 (java) S 17861 17864 13460 0 -1 1077944384 6087 13281 0 0 131 2 5 3 20 0 15 0 445236181 11107315712 83644 33554432000 4194304 4196468 140726064268320 140014070262384 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17929] ppid=17861 vsize=10846988 memory=6296408760383792212 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17929/stat : 17929 (java) S 17861 17864 13460 0 -1 1077944384 3 13281 0 0 0 0 5 3 20 0 15 0 445236181 11107315712 83644 33554432000 4194304 4196468 140726064268320 140013646727904 140015103850197 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
[pid=17864/tid=17930] ppid=17861 vsize=10846988 memory=6224089469895992933 CPUtime=0.08 cores=0,2,4,6
/proc/17864/task/17930/stat : 17930 (java) S 17861 17864 13460 0 -1 1077944384 14 13281 0 0 0 0 5 3 20 0 15 0 445236182 11107315712 83644 33554432000 4194304 4196468 140726064268320 140014069209776 140015103851138 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34717696 140726064274159 140726064276677 140726064276677 140726064279503 0
Current children cumulated CPU time: 10.54 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 334576 KiB

Child status: 0
Real time (s): 4.28314
CPU time (s): 10.6961
CPU user time (s): 10.4123
CPU system time (s): 0.283855
CPU usage (%): 249.727
Max. virtual memory (cumulated for all children) (KiB): 10849652
Max. memory (cumulated for all children) (KiB): 334576

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.4123
system time used= 0.283855
maximum resident set size= 339380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67236
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= 5728
involuntary context switches= 52


# summary of solver processes directly reported to runsolver:
#   pid: 17864
#   total CPU time (s): 10.6961
#   total CPU user time (s): 10.4123
#   total CPU system time (s): 0.283855

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.037879 second user time and 0.098209 second system time

The end

Launcher Data 

Begin job on node149 at 2019-09-17 05:12:17
IDJOB=4400644
IDBENCH=135918
IDSOLVER=2857
FILE ID=node149/4400644-1568689975
RUNJOBID= node149-1568673293-13491
PBS_JOBID= 21703773
Free space on /tmp= 61388 MiB

SOLVER NAME= Concrete 3.12.2
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-xcsp2-s20a4/TravellingSalesman-4-20-001-a4_X2.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4400644-1568689975/watcher-4400644-1568689975 -o /tmp/evaluation-result-4400644-1568689975/solver-4400644-1568689975 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568673293-13491 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1545093772 HOME/instance-4400644-1568689975.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= b8ea00653452363d0c81f6ef3102e485
RANDOM SEED=1545093772

node149.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        25968164 kB
MemAvailable:   31030912 kB
Buffers:          100908 kB
Cached:          5264292 kB
SwapCached:        61080 kB
Active:          3248460 kB
Inactive:        2990532 kB
Active(anon):     816388 kB
Inactive(anon):   106192 kB
Active(file):    2432072 kB
Inactive(file):  2884340 kB
Unevictable:      111228 kB
Mlocked:          111228 kB
SwapTotal:      67108860 kB
SwapFree:       66941520 kB
Dirty:             35948 kB
Writeback:             0 kB
AnonPages:        904816 kB
Mapped:            62276 kB
Shmem:             39976 kB
Slab:             154136 kB
SReclaimable:     124340 kB
SUnreclaim:        29796 kB
KernelStack:        4016 kB
PageTables:         7088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2078392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    718848 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61352 MiB
End job on node149 at 2019-09-17 05:12:21