Trace number 4387347

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.10SAT 12.3661 5.26258

General information on the benchmark

NameKnightTour/KnightTour-ext-s1/
KnightTour-08-ext03.xml
MD5SUM8a5157f08f2f2e597251b23721b8eb7d
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 benchmark2.53772
Satisfiable
(Un)Satisfiability was proved
Number of variables64
Number of constraints34
Number of domains1
Minimum domain size64
Maximum domain size64
Distribution of domain sizes[{"size":64,"count":64}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":62},{"degree":3,"count":2}]
Minimum constraint arity2
Maximum constraint arity64
Distribution of constraint arities[{"arity":2,"count":1},{"arity":3,"count":32},{"arity":64,"count":1}]
Number of extensional constraints32
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":32},{"type":"allDifferent","count":1},{"type":"instantiation","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.71/0.60	c Concrete v3.10.1560635388952 running
12.02/4.79	v <instantiation
12.02/4.79	v         >
12.02/4.79	v       <list>
12.02/4.79	v         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] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63]
12.02/4.79	v       </list>
12.02/4.79	v       <values>
12.02/4.79	v         0 10 4 21 15 30 47 62 45 28 38 55 61 44 27 42 32 49 59 53 63 46 36 19 34 51 57 40 25 35 50 56 41 24 9 3 13 7 22 12 6 23 29 39 54 60 43 26 16 33 48 58 52 37 31 14 20 5 11 1 18 8 2 17
12.02/4.79	v       </values>
12.02/4.79	v     </instantiation>
12.02/4.79	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: 16375 MiB (12575 MiB free)
  memory of node 1: 16384 MiB (11823 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387347-1568300052/watcher-4387347-1568300052 -o /tmp/evaluation-result-4387347-1568300052/solver-4387347-1568300052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323800386-1292 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1250969435 HOME/instance-4387347-1568300052.xml 

running on 4 cores: 0-3

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=6534, runsolver pid=6531

[startup+0.100126 s]*
/proc/loadavg: 1.51 1.47 1.49 3/215 6587
/proc/meminfo: memFree=24981344/32770688 swapFree=66919608/67108860
[pid=6534] ppid=6531 vsize=9972712 memory=14440 CPUtime=0.1 cores=0-3
/proc/6534/stat : 6534 (java) S 6531 6534 463 0 -1 1077944320 3854 13149 0 0 1 0 5 4 20 0 6 0 406011584 10212057088 3610 33554432000 4194304 4196468 140723032342800 140723032325344 140493329161975 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
/proc/6534/statm: 2493178 3610 1552 1 0 2481616 0
[pid=6534/tid=6587] ppid=6531 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=0-3
/proc/6534/task/6587/stat : 6587 (java) R 6531 6534 463 0 -1 4202560 1892 13149 0 0 0 0 5 4 20 0 6 0 406011594 10212057088 3874 33554432000 4194304 4196468 140723032342800 140493300998736 140493252238309 0 4 0 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6588] ppid=6531 vsize=9972712 memory=-9181546050914066336 CPUtime=0.09 cores=0-3
/proc/6534/task/6588/stat : 6588 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 6 0 406011594 10212057088 3874 33554432000 4194304 4196468 140723032342800 140493333404048 140493329172181 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6589] ppid=6531 vsize=9972712 memory=140302094587520 CPUtime=0.09 cores=0-3
/proc/6534/task/6589/stat : 6589 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 6 0 406011594 10212057088 3874 33554432000 4194304 4196468 140723032342800 140493221677328 140493329172181 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6590] ppid=6531 vsize=9972712 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6590/stat : 6590 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 6 0 406011594 10212057088 3874 33554432000 4194304 4196468 140723032342800 140493220625040 140493329172181 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6591] ppid=6531 vsize=9972712 memory=-1 CPUtime=0.09 cores=0-3
/proc/6534/task/6591/stat : 6591 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 6 0 406011594 10212057088 3874 33554432000 4194304 4196468 140723032342800 140493219572240 140493329172181 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 14440 KiB

[startup+0.211107 s]*
/proc/loadavg: 1.51 1.47 1.49 5/227 6600
/proc/meminfo: memFree=24958064/32770688 swapFree=66919608/67108860
[pid=6534] ppid=6531 vsize=10818900 memory=37472 CPUtime=0.26 cores=0-3
/proc/6534/stat : 6534 (java) S 6531 6534 463 0 -1 1077944320 6728 13149 0 0 16 1 5 4 20 0 15 0 406011584 11078553600 9368 33554432000 4194304 4196468 140723032342800 140723032325344 140493329161975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
/proc/6534/statm: 2704725 9368 2943 1 0 2667149 0
[pid=6534/tid=6587] ppid=6531 vsize=10818900 memory=7022364594140610616 CPUtime=0.19 cores=0-3
/proc/6534/task/6587/stat : 6587 (java) R 6531 6534 463 0 -1 4202560 3227 13149 0 0 10 0 5 4 20 0 15 0 406011594 11078553600 9368 33554432000 4194304 4196468 140723032342800 140493300994400 140493314327630 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6588] ppid=6531 vsize=10818900 memory=364 CPUtime=0.09 cores=0-3
/proc/6534/task/6588/stat : 6588 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011594 11078553600 9368 33554432000 4194304 4196468 140723032342800 140493333404048 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6589] ppid=6531 vsize=10818900 memory=140302094597126 CPUtime=0.09 cores=0-3
/proc/6534/task/6589/stat : 6589 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011594 11078553600 9368 33554432000 4194304 4196468 140723032342800 140493221677328 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6590] ppid=6531 vsize=10818900 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6590/stat : 6590 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011594 11078553600 9368 33554432000 4194304 4196468 140723032342800 140493220625040 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6591] ppid=6531 vsize=10818900 memory=-1 CPUtime=0.09 cores=0-3
/proc/6534/task/6591/stat : 6591 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011594 11078553600 9368 33554432000 4194304 4196468 140723032342800 140493219572240 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6592] ppid=6531 vsize=10818900 memory=140302094587520 CPUtime=0.09 cores=0-3
/proc/6534/task/6592/stat : 6592 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011596 11078553600 9368 33554432000 4194304 4196468 140723032342800 140492533627504 140493329173122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6593] ppid=6531 vsize=10818900 memory=-1 CPUtime=0.09 cores=0-3
/proc/6534/task/6593/stat : 6593 (java) S 6531 6534 463 0 -1 1077944384 33 13149 0 0 0 0 5 4 20 0 15 0 406011596 11078553600 9368 33554432000 4194304 4196468 140723032342800 140492532573472 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6594] ppid=6531 vsize=10818900 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6594/stat : 6594 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011597 11078553600 9368 33554432000 4194304 4196468 140723032342800 140492406777456 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6595] ppid=6531 vsize=10818900 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6595/stat : 6595 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011600 11078553600 9368 33554432000 4194304 4196468 140723032342800 140492272560720 140493329180571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6596] ppid=6531 vsize=10818900 memory=0 CPUtime=0.1 cores=0-3
/proc/6534/task/6596/stat : 6596 (java) S 6531 6534 463 0 -1 1077944384 429 13149 0 0 1 0 5 4 20 0 15 0 406011600 11078553600 9368 33554432000 4194304 4196468 140723032342800 140492499015792 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6597] ppid=6531 vsize=10818900 memory=-1 CPUtime=0.1 cores=0-3
/proc/6534/task/6597/stat : 6597 (java) S 6531 6534 463 0 -1 1077944384 190 13149 0 0 1 0 5 4 20 0 15 0 406011600 11078553600 9368 33554432000 4194304 4196468 140723032342800 140492497962992 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6598] ppid=6531 vsize=10818900 memory=140302094587520 CPUtime=0.11 cores=0-3
/proc/6534/task/6598/stat : 6598 (java) S 6531 6534 463 0 -1 1077944384 628 13149 0 0 2 0 5 4 20 0 15 0 406011600 11078553600 9368 33554432000 4194304 4196468 140723032342800 140492496910704 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6599] ppid=6531 vsize=10818900 memory=-1 CPUtime=0.09 cores=0-3
/proc/6534/task/6599/stat : 6599 (java) S 6531 6534 463 0 -1 1077944384 3 13149 0 0 0 0 5 4 20 0 15 0 406011600 11078553600 9368 33554432000 4194304 4196468 140723032342800 140491534363104 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6600] ppid=6531 vsize=10818900 memory=140302094587520 CPUtime=0.09 cores=0-3
/proc/6534/task/6600/stat : 6600 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011600 11078553600 9368 33554432000 4194304 4196468 140723032342800 140492495858608 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818900 KiB
Current children cumulated memory: 37472 KiB

[startup+0.311414 s]*
/proc/loadavg: 1.51 1.47 1.49 4/227 6600
/proc/meminfo: memFree=24945960/32770688 swapFree=66919608/67108860
[pid=6534] ppid=6531 vsize=10820108 memory=48560 CPUtime=0.41 cores=0-3
/proc/6534/stat : 6534 (java) S 6531 6534 463 0 -1 1077944320 10316 13149 0 0 29 3 5 4 20 0 15 0 406011584 11079790592 12140 33554432000 4194304 4196468 140723032342800 140723032325344 140493329161975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
/proc/6534/statm: 2704771 12140 3009 1 0 2667149 0
[pid=6534/tid=6587] ppid=6531 vsize=10819084 memory=1398722017469774279 CPUtime=0.3 cores=0-3
/proc/6534/task/6587/stat : 6587 (java) R 6531 6534 463 0 -1 4202560 6813 13149 0 0 19 2 5 4 20 0 15 0 406011594 11078742016 12144 33554432000 4194304 4196468 140723032342800 140493300973088 140493313242462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6588] ppid=6531 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6588/stat : 6588 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011594 11078742016 12144 33554432000 4194304 4196468 140723032342800 140493333404048 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6589] ppid=6531 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6589/stat : 6589 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011594 11078742016 12144 33554432000 4194304 4196468 140723032342800 140493221677328 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6590] ppid=6531 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6590/stat : 6590 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011594 11078742016 12144 33554432000 4194304 4196468 140723032342800 140493220625040 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6591] ppid=6531 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6591/stat : 6591 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011594 11078742016 12144 33554432000 4194304 4196468 140723032342800 140493219572240 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6592] ppid=6531 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6592/stat : 6592 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011596 11078742016 12144 33554432000 4194304 4196468 140723032342800 140492533627504 140493329173122 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6593] ppid=6531 vsize=10819084 memory=-1 CPUtime=0.09 cores=0-3
/proc/6534/task/6593/stat : 6593 (java) S 6531 6534 463 0 -1 1077944384 33 13149 0 0 0 0 5 4 20 0 15 0 406011596 11078742016 12144 33554432000 4194304 4196468 140723032342800 140492532573472 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6594] ppid=6531 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6594/stat : 6594 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011597 11078742016 12144 33554432000 4194304 4196468 140723032342800 140492406777456 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6595] ppid=6531 vsize=10819084 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6595/stat : 6595 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011600 11078742016 12144 33554432000 4194304 4196468 140723032342800 140492272560720 140493329180571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6596] ppid=6531 vsize=10819084 memory=0 CPUtime=0.1 cores=0-3
/proc/6534/task/6596/stat : 6596 (java) S 6531 6534 463 0 -1 1077944384 431 13149 0 0 1 0 5 4 20 0 15 0 406011600 11078742016 12144 33554432000 4194304 4196468 140723032342800 140492499015792 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6597] ppid=6531 vsize=10819084 memory=-1 CPUtime=0.1 cores=0-3
/proc/6534/task/6597/stat : 6597 (java) S 6531 6534 463 0 -1 1077944384 190 13149 0 0 1 0 5 4 20 0 15 0 406011600 11078742016 12144 33554432000 4194304 4196468 140723032342800 140492497962992 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6598] ppid=6531 vsize=10819084 memory=140302094587520 CPUtime=0.14 cores=0-3
/proc/6534/task/6598/stat : 6598 (java) S 6531 6534 463 0 -1 1077944384 666 13149 0 0 5 0 5 4 20 0 15 0 406011600 11078742016 12144 33554432000 4194304 4196468 140723032342800 140492496910704 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6599] ppid=6531 vsize=10819084 memory=-1 CPUtime=0.09 cores=0-3
/proc/6534/task/6599/stat : 6599 (java) S 6531 6534 463 0 -1 1077944384 3 13149 0 0 0 0 5 4 20 0 15 0 406011600 11078742016 12144 33554432000 4194304 4196468 140723032342800 140491534363104 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6600] ppid=6531 vsize=10819084 memory=140302094587520 CPUtime=0.09 cores=0-3
/proc/6534/task/6600/stat : 6600 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011600 11078742016 12144 33554432000 4194304 4196468 140723032342800 140492495858608 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
Current children cumulated CPU time: 0.41 s
Current children cumulated vsize: 10820108 KiB
Current children cumulated memory: 48560 KiB

[startup+0.701087 s]
/proc/loadavg: 1.51 1.47 1.49 5/227 6600
/proc/meminfo: memFree=24934396/32770688 swapFree=66919608/67108860
[pid=6534] ppid=6531 vsize=10822292 memory=78492 CPUtime=1.12 cores=0-3
/proc/6534/stat : 6534 (java) S 6531 6534 463 0 -1 1077944320 14249 13149 0 0 98 5 5 4 20 0 15 0 406011584 11082027008 19623 33554432000 4194304 4196468 140723032342800 140723032325344 140493329161975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
/proc/6534/statm: 2705573 19623 3494 1 0 2667661 0
[pid=6534/tid=6587] ppid=6531 vsize=10822292 memory=0 CPUtime=0.67 cores=0-3
/proc/6534/task/6587/stat : 6587 (java) R 6531 6534 463 0 -1 4202560 9939 13149 0 0 55 3 5 4 20 0 15 0 406011594 11082027008 19623 33554432000 4194304 4196468 140723032342800 140493300980848 140493313471822 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6588] ppid=6531 vsize=10822292 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6588/stat : 6588 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011594 11082027008 19623 33554432000 4194304 4196468 140723032342800 140493333404048 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6589] ppid=6531 vsize=10822292 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6589/stat : 6589 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011594 11082027008 19623 33554432000 4194304 4196468 140723032342800 140493221677328 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6590] ppid=6531 vsize=10822292 memory=140301951971536 CPUtime=0.09 cores=0-3
/proc/6534/task/6590/stat : 6590 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011594 11082027008 19623 33554432000 4194304 4196468 140723032342800 140493220625040 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6591] ppid=6531 vsize=10822292 memory=140303696659016 CPUtime=0.09 cores=0-3
/proc/6534/task/6591/stat : 6591 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011594 11082027008 19623 33554432000 4194304 4196468 140723032342800 140493219572240 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6592] ppid=6531 vsize=10822292 memory=1056 CPUtime=0.09 cores=0-3
/proc/6534/task/6592/stat : 6592 (java) S 6531 6534 463 0 -1 1077944384 5 13149 0 0 0 0 5 4 20 0 15 0 406011596 11082027008 19623 33554432000 4194304 4196468 140723032342800 140492533627504 140493329173122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6593] ppid=6531 vsize=10822292 memory=7524764360453481792 CPUtime=0.09 cores=0-3
/proc/6534/task/6593/stat : 6593 (java) S 6531 6534 463 0 -1 1077944384 33 13149 0 0 0 0 5 4 20 0 15 0 406011596 11082027008 19623 33554432000 4194304 4196468 140723032342800 140492532573472 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6594] ppid=6531 vsize=10822292 memory=7739276948478258535 CPUtime=0.09 cores=0-3
/proc/6534/task/6594/stat : 6594 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011597 11082027008 19623 33554432000 4194304 4196468 140723032342800 140492406777456 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6595] ppid=6531 vsize=10822292 memory=980 CPUtime=0.09 cores=0-3
/proc/6534/task/6595/stat : 6595 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011600 11082027008 19623 33554432000 4194304 4196468 140723032342800 140492272560720 140493329180571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6596] ppid=6531 vsize=10822292 memory=14008 CPUtime=0.2 cores=0-3
/proc/6534/task/6596/stat : 6596 (java) R 6531 6534 463 0 -1 4202560 663 13149 0 0 11 0 5 4 20 0 15 0 406011600 11082027008 19623 33554432000 4194304 4196468 140723032342800 140492498996064 140493314271551 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6597] ppid=6531 vsize=10822292 memory=12028 CPUtime=0.22 cores=0-3
/proc/6534/task/6597/stat : 6597 (java) R 6531 6534 463 0 -1 4202560 544 13149 0 0 13 0 5 4 20 0 15 0 406011600 11082027008 19623 33554432000 4194304 4196468 140723032342800 140492497954944 140493306757006 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6598] ppid=6531 vsize=10822292 memory=23976 CPUtime=0.26 cores=0-3
/proc/6534/task/6598/stat : 6598 (java) S 6531 6534 463 0 -1 1077944384 846 13149 0 0 17 0 5 4 20 0 15 0 406011600 11082027008 19623 33554432000 4194304 4196468 140723032342800 140492496910704 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6599] ppid=6531 vsize=10822292 memory=2120 CPUtime=0.09 cores=0-3
/proc/6534/task/6599/stat : 6599 (java) S 6531 6534 463 0 -1 1077944384 3 13149 0 0 0 0 5 4 20 0 15 0 406011600 11082027008 19623 33554432000 4194304 4196468 140723032342800 140491534363104 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6600] ppid=6531 vsize=10822292 memory=496 CPUtime=0.09 cores=0-3
/proc/6534/task/6600/stat : 6600 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011600 11082027008 19623 33554432000 4194304 4196468 140723032342800 140492495858608 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
Current children cumulated CPU time: 1.12 s
Current children cumulated vsize: 10822292 KiB
Current children cumulated memory: 78492 KiB

[startup+1.50079 s]
/proc/loadavg: 1.51 1.47 1.49 4/227 6600
/proc/meminfo: memFree=24899488/32770688 swapFree=66919608/67108860
[pid=6534] ppid=6531 vsize=10832608 memory=171652 CPUtime=2.67 cores=0-3
/proc/6534/stat : 6534 (java) S 6531 6534 463 0 -1 1077944320 21687 13149 0 0 249 9 5 4 20 0 15 0 406011584 11092590592 42913 33554432000 4194304 4196468 140723032342800 140723032325344 140493329161975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
/proc/6534/statm: 2708152 42913 3579 1 0 2670221 0
[pid=6534/tid=6587] ppid=6531 vsize=10832608 memory=154368 CPUtime=1.44 cores=0-3
/proc/6534/task/6587/stat : 6587 (java) R 6531 6534 463 0 -1 4202560 15376 13149 0 0 130 5 5 4 20 0 15 0 406011594 11092590592 42913 33554432000 4194304 4196468 140723032342800 140493300984960 140493313242462 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6588] ppid=6531 vsize=10832608 memory=6944656592387989600 CPUtime=0.1 cores=0-3
/proc/6534/task/6588/stat : 6588 (java) S 6531 6534 463 0 -1 1077944384 26 13149 0 0 1 0 5 4 20 0 15 0 406011594 11092590592 42913 33554432000 4194304 4196468 140723032342800 140493333404048 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6589] ppid=6531 vsize=10832608 memory=8546925612582150220 CPUtime=0.1 cores=0-3
/proc/6534/task/6589/stat : 6589 (java) S 6531 6534 463 0 -1 1077944384 81 13149 0 0 1 0 5 4 20 0 15 0 406011594 11092590592 42913 33554432000 4194304 4196468 140723032342800 140493221677328 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6590] ppid=6531 vsize=10832608 memory=0 CPUtime=0.1 cores=0-3
/proc/6534/task/6590/stat : 6590 (java) S 6531 6534 463 0 -1 1077944384 301 13149 0 0 1 0 5 4 20 0 15 0 406011594 11092590592 42913 33554432000 4194304 4196468 140723032342800 140493220625040 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6591] ppid=6531 vsize=10832608 memory=0 CPUtime=0.1 cores=0-3
/proc/6534/task/6591/stat : 6591 (java) S 6531 6534 463 0 -1 1077944384 49 13149 0 0 1 0 5 4 20 0 15 0 406011594 11092590592 42913 33554432000 4194304 4196468 140723032342800 140493219572240 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6592] ppid=6531 vsize=10832608 memory=0 CPUtime=0.1 cores=0-3
/proc/6534/task/6592/stat : 6592 (java) S 6531 6534 463 0 -1 1077944384 393 13149 0 0 1 0 5 4 20 0 15 0 406011596 11092590592 42913 33554432000 4194304 4196468 140723032342800 140492533627504 140493329173122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6593] ppid=6531 vsize=10832608 memory=6656426216303648864 CPUtime=0.09 cores=0-3
/proc/6534/task/6593/stat : 6593 (java) S 6531 6534 463 0 -1 1077944384 34 13149 0 0 0 0 5 4 20 0 15 0 406011596 11092590592 42913 33554432000 4194304 4196468 140723032342800 140492532573536 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6594] ppid=6531 vsize=10832608 memory=6944652177228980320 CPUtime=0.09 cores=0-3
/proc/6534/task/6594/stat : 6594 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011597 11092590592 42913 33554432000 4194304 4196468 140723032342800 140492406777472 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6595] ppid=6531 vsize=10832608 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6595/stat : 6595 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011600 11092590592 42913 33554432000 4194304 4196468 140723032342800 140492272560720 140493329180571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6596] ppid=6531 vsize=10832608 memory=0 CPUtime=0.42 cores=0-3
/proc/6534/task/6596/stat : 6596 (java) S 6531 6534 463 0 -1 1077944384 941 13149 0 0 33 0 5 4 20 0 15 0 406011600 11092590592 42913 33554432000 4194304 4196468 140723032342800 140492499015792 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6597] ppid=6531 vsize=10832608 memory=4580 CPUtime=0.5 cores=0-3
/proc/6534/task/6597/stat : 6597 (java) S 6531 6534 463 0 -1 1077944384 992 13149 0 0 41 0 5 4 20 0 15 0 406011600 11092590592 42913 33554432000 4194304 4196468 140723032342800 140492497962992 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6598] ppid=6531 vsize=10832608 memory=7883922118674049896 CPUtime=0.45 cores=0-3
/proc/6534/task/6598/stat : 6598 (java) S 6531 6534 463 0 -1 1077944384 1282 13149 0 0 36 0 5 4 20 0 15 0 406011600 11092590592 42913 33554432000 4194304 4196468 140723032342800 140492496910704 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6599] ppid=6531 vsize=10832608 memory=8025788822752027748 CPUtime=0.09 cores=0-3
/proc/6534/task/6599/stat : 6599 (java) S 6531 6534 463 0 -1 1077944384 3 13149 0 0 0 0 5 4 20 0 15 0 406011600 11092590592 42913 33554432000 4194304 4196468 140723032342800 140491534363104 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6600] ppid=6531 vsize=10832608 memory=7380670063165533296 CPUtime=0.09 cores=0-3
/proc/6534/task/6600/stat : 6600 (java) S 6531 6534 463 0 -1 1077944384 1 13149 0 0 0 0 5 4 20 0 15 0 406011600 11092590592 42913 33554432000 4194304 4196468 140723032342800 140492495858608 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
Current children cumulated CPU time: 2.67 s
Current children cumulated vsize: 10832608 KiB

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

/proc/loadavg: 1.55 1.48 1.49 6/227 6601
/proc/meminfo: memFree=24722624/32770688 swapFree=66919608/67108860
[pid=6534] ppid=6531 vsize=10842868 memory=290152 CPUtime=7.08 cores=0-3
/proc/6534/stat : 6534 (java) S 6531 6534 463 0 -1 1077944320 33236 13149 0 0 684 15 5 4 20 0 15 0 406011584 11103096832 72538 33554432000 4194304 4196468 140723032342800 140723032325344 140493329161975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
/proc/6534/statm: 2710717 72538 3593 1 0 2672781 0
[pid=6534/tid=6587] ppid=6531 vsize=10842868 memory=202624 CPUtime=3.01 cores=0-3
/proc/6534/task/6587/stat : 6587 (java) R 6531 6534 463 0 -1 4202560 20084 13149 0 0 285 7 5 4 20 0 15 0 406011594 11103096832 72538 33554432000 4194304 4196468 140723032342800 140493300995424 140493313242462 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6588] ppid=6531 vsize=10842868 memory=6009041488126830435 CPUtime=0.1 cores=0-3
/proc/6534/task/6588/stat : 6588 (java) S 6531 6534 463 0 -1 1077944384 33 13149 0 0 1 0 5 4 20 0 15 0 406011594 11103096832 72538 33554432000 4194304 4196468 140723032342800 140493333404048 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6589] ppid=6531 vsize=10842868 memory=175976 CPUtime=0.1 cores=0-3
/proc/6534/task/6589/stat : 6589 (java) S 6531 6534 463 0 -1 1077944384 87 13149 0 0 1 0 5 4 20 0 15 0 406011594 11103096832 72538 33554432000 4194304 4196468 140723032342800 140493221677328 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6590] ppid=6531 vsize=10842868 memory=6944656592452938395 CPUtime=0.1 cores=0-3
/proc/6534/task/6590/stat : 6590 (java) S 6531 6534 463 0 -1 1077944384 324 13149 0 0 1 0 5 4 20 0 15 0 406011594 11103096832 72538 33554432000 4194304 4196468 140723032342800 140493220625040 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6591] ppid=6531 vsize=10842868 memory=-7233780906022716832 CPUtime=0.1 cores=0-3
/proc/6534/task/6591/stat : 6591 (java) S 6531 6534 463 0 -1 1077944384 56 13149 0 0 1 0 5 4 20 0 15 0 406011594 11103096832 72538 33554432000 4194304 4196468 140723032342800 140493219572240 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6592] ppid=6531 vsize=10842868 memory=4137290303932963203 CPUtime=0.11 cores=0-3
/proc/6534/task/6592/stat : 6592 (java) S 6531 6534 463 0 -1 1077944384 419 13149 0 0 2 0 5 4 20 0 15 0 406011596 11103096832 72538 33554432000 4194304 4196468 140723032342800 140492533627504 140493329173122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6593] ppid=6531 vsize=10842868 memory=7157171329633379687 CPUtime=0.09 cores=0-3
/proc/6534/task/6593/stat : 6593 (java) S 6531 6534 463 0 -1 1077944384 40 13149 0 0 0 0 5 4 20 0 15 0 406011596 11103096832 72538 33554432000 4194304 4196468 140723032342800 140492532573536 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6594] ppid=6531 vsize=10842868 memory=6935652554312077392 CPUtime=0.09 cores=0-3
/proc/6534/task/6594/stat : 6594 (java) S 6531 6534 463 0 -1 1077944384 6 13149 0 0 0 0 5 4 20 0 15 0 406011597 11103096832 72538 33554432000 4194304 4196468 140723032342800 140492406777472 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6595] ppid=6531 vsize=10842868 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6595/stat : 6595 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011600 11103096832 72538 33554432000 4194304 4196468 140723032342800 140492272560720 140493329180571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6596] ppid=6531 vsize=10842868 memory=112 CPUtime=1.41 cores=0-3
/proc/6534/task/6596/stat : 6596 (java) S 6531 6534 463 0 -1 1077944384 2392 13149 0 0 132 0 5 4 20 0 15 0 406011600 11103096832 72538 33554432000 4194304 4196468 140723032342800 140492499015792 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6597] ppid=6531 vsize=10842868 memory=129 CPUtime=1.58 cores=0-3
/proc/6534/task/6597/stat : 6597 (java) S 6531 6534 463 0 -1 1077944384 3610 13149 0 0 148 1 5 4 20 0 15 0 406011600 11103096832 72538 33554432000 4194304 4196468 140723032342800 140492497962992 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6598] ppid=6531 vsize=10842868 memory=106 CPUtime=1.19 cores=0-3
/proc/6534/task/6598/stat : 6598 (java) S 6531 6534 463 0 -1 1077944384 3973 13149 0 0 108 2 5 4 20 0 15 0 406011600 11103096832 72538 33554432000 4194304 4196468 140723032342800 140492496910704 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6599] ppid=6531 vsize=10842868 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6599/stat : 6599 (java) S 6531 6534 463 0 -1 1077944384 3 13149 0 0 0 0 5 4 20 0 15 0 406011600 11103096832 72538 33554432000 4194304 4196468 140723032342800 140491534363104 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6600] ppid=6531 vsize=10842868 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6600/stat : 6600 (java) S 6531 6534 463 0 -1 1077944384 3 13149 0 0 0 0 5 4 20 0 15 0 406011600 11103096832 72538 33554432000 4194304 4196468 140723032342800 140492495858608 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
Current children cumulated CPU time: 7.08 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 290152 KiB

[startup+5.26252 s]
# the end of solver process 6534 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.1043 s, system=0.261794 s

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

[startup+3.20092 s]
/proc/loadavg: 1.55 1.48 1.49 6/227 6601
/proc/meminfo: memFree=24722624/32770688 swapFree=66919608/67108860
[pid=6534] ppid=6531 vsize=10842868 memory=291724 CPUtime=7.32 cores=0-3
/proc/6534/stat : 6534 (java) S 6531 6534 463 0 -1 1077944320 35132 13149 0 0 708 15 5 4 20 0 15 0 406011584 11103096832 72931 33554432000 4194304 4196468 140723032342800 140723032325344 140493329161975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
/proc/6534/statm: 2710717 72931 3593 1 0 2672781 0
[pid=6534/tid=6587] ppid=6531 vsize=10842868 memory=9 CPUtime=3.11 cores=0-3
/proc/6534/task/6587/stat : 6587 (java) R 6531 6534 463 0 -1 4202560 21188 13149 0 0 294 8 5 4 20 0 15 0 406011594 11103096832 72931 33554432000 4194304 4196468 140723032342800 140493300987472 140492893415760 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6588] ppid=6531 vsize=10842868 memory=7019467088057611574 CPUtime=0.1 cores=0-3
/proc/6534/task/6588/stat : 6588 (java) S 6531 6534 463 0 -1 1077944384 33 13149 0 0 1 0 5 4 20 0 15 0 406011594 11103096832 72931 33554432000 4194304 4196468 140723032342800 140493333404048 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6589] ppid=6531 vsize=10842868 memory=7019467088074388790 CPUtime=0.1 cores=0-3
/proc/6534/task/6589/stat : 6589 (java) S 6531 6534 463 0 -1 1077944384 87 13149 0 0 1 0 5 4 20 0 15 0 406011594 11103096832 72931 33554432000 4194304 4196468 140723032342800 140493221677328 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6590] ppid=6531 vsize=10842868 memory=7019467087923459382 CPUtime=0.1 cores=0-3
/proc/6534/task/6590/stat : 6590 (java) S 6531 6534 463 0 -1 1077944384 324 13149 0 0 1 0 5 4 20 0 15 0 406011594 11103096832 72931 33554432000 4194304 4196468 140723032342800 140493220625040 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6591] ppid=6531 vsize=10842868 memory=7019467087940236598 CPUtime=0.1 cores=0-3
/proc/6534/task/6591/stat : 6591 (java) S 6531 6534 463 0 -1 1077944384 56 13149 0 0 1 0 5 4 20 0 15 0 406011594 11103096832 72931 33554432000 4194304 4196468 140723032342800 140493219572240 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6592] ppid=6531 vsize=10842868 memory=7019467087957013814 CPUtime=0.11 cores=0-3
/proc/6534/task/6592/stat : 6592 (java) S 6531 6534 463 0 -1 1077944384 419 13149 0 0 2 0 5 4 20 0 15 0 406011596 11103096832 72931 33554432000 4194304 4196468 140723032342800 140492533627504 140493329173122 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6593] ppid=6531 vsize=10842868 memory=7019467087973791030 CPUtime=0.09 cores=0-3
/proc/6534/task/6593/stat : 6593 (java) S 6531 6534 463 0 -1 1077944384 40 13149 0 0 0 0 5 4 20 0 15 0 406011596 11103096832 72931 33554432000 4194304 4196468 140723032342800 140492532573536 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6594] ppid=6531 vsize=10842868 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6594/stat : 6594 (java) S 6531 6534 463 0 -1 1077944384 6 13149 0 0 0 0 5 4 20 0 15 0 406011597 11103096832 72931 33554432000 4194304 4196468 140723032342800 140492406777472 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6595] ppid=6531 vsize=10842868 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6595/stat : 6595 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011600 11103096832 72931 33554432000 4194304 4196468 140723032342800 140492272560720 140493329180571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6596] ppid=6531 vsize=10842868 memory=2241 CPUtime=1.48 cores=0-3
/proc/6534/task/6596/stat : 6596 (java) R 6531 6534 463 0 -1 4202560 2625 13149 0 0 139 0 5 4 20 0 15 0 406011600 11103096832 72931 33554432000 4194304 4196468 140723032342800 140492499015792 140493329175824 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6597] ppid=6531 vsize=10842868 memory=2244 CPUtime=1.63 cores=0-3
/proc/6534/task/6597/stat : 6597 (java) R 6531 6534 463 0 -1 4202560 3761 13149 0 0 153 1 5 4 20 0 15 0 406011600 11103096832 72931 33554432000 4194304 4196468 140723032342800 140492497962992 140493308879111 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6598] ppid=6531 vsize=10842868 memory=0 CPUtime=1.22 cores=0-3
/proc/6534/task/6598/stat : 6598 (java) S 6531 6534 463 0 -1 1077944384 4375 13149 0 0 111 2 5 4 20 0 15 0 406011600 11103096832 72931 33554432000 4194304 4196468 140723032342800 140492496910704 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6599] ppid=6531 vsize=10842868 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6599/stat : 6599 (java) S 6531 6534 463 0 -1 1077944384 3 13149 0 0 0 0 5 4 20 0 15 0 406011600 11103096832 72931 33554432000 4194304 4196468 140723032342800 140491534363104 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6600] ppid=6531 vsize=10842868 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6600/stat : 6600 (java) S 6531 6534 463 0 -1 1077944384 9 13149 0 0 0 0 5 4 20 0 15 0 406011600 11103096832 72931 33554432000 4194304 4196468 140723032342800 140492495858608 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 10842868 KiB
Current children cumulated memory: 291724 KiB

[startup+4.00068 s]*
/proc/loadavg: 1.55 1.48 1.49 5/227 6601
/proc/meminfo: memFree=24677660/32770688 swapFree=66919608/67108860
[pid=6534] ppid=6531 vsize=10851448 memory=321236 CPUtime=9.76 cores=0-3
/proc/6534/stat : 6534 (java) S 6531 6534 463 0 -1 1077944320 48150 13149 0 0 950 17 5 4 20 0 15 0 406011584 11111882752 80309 33554432000 4194304 4196468 140723032342800 140723032325344 140493329161975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
/proc/6534/statm: 2712862 80309 3613 1 0 2674923 0
[pid=6534/tid=6587] ppid=6531 vsize=10851448 memory=1398722017469774279 CPUtime=3.86 cores=0-3
/proc/6534/task/6587/stat : 6587 (java) R 6531 6534 463 0 -1 4202560 23974 13149 0 0 368 9 5 4 20 0 15 0 406011594 11111882752 80309 33554432000 4194304 4196468 140723032342800 140493300996856 140492905546150 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6588] ppid=6531 vsize=10851448 memory=4872558044660077418 CPUtime=0.12 cores=0-3
/proc/6534/task/6588/stat : 6588 (java) S 6531 6534 463 0 -1 1077944384 340 13149 0 0 3 0 5 4 20 0 15 0 406011594 11111882752 80309 33554432000 4194304 4196468 140723032342800 140493333404048 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6589] ppid=6531 vsize=10851448 memory=9378463745793 CPUtime=0.13 cores=0-3
/proc/6534/task/6589/stat : 6589 (java) S 6531 6534 463 0 -1 1077944384 146 13149 0 0 4 0 5 4 20 0 15 0 406011594 11111882752 80309 33554432000 4194304 4196468 140723032342800 140493221677328 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6590] ppid=6531 vsize=10851448 memory=9391348647681 CPUtime=0.12 cores=0-3
/proc/6534/task/6590/stat : 6590 (java) S 6531 6534 463 0 -1 1077944384 334 13149 0 0 3 0 5 4 20 0 15 0 406011594 11111882752 80309 33554432000 4194304 4196468 140723032342800 140493220625040 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6591] ppid=6531 vsize=10851448 memory=9447183222529 CPUtime=0.13 cores=0-3
/proc/6534/task/6591/stat : 6591 (java) S 6531 6534 463 0 -1 1077944384 224 13149 0 0 4 0 5 4 20 0 15 0 406011594 11111882752 80309 33554432000 4194304 4196468 140723032342800 140493219572240 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6592] ppid=6531 vsize=10851448 memory=9451478189825 CPUtime=0.13 cores=0-3
/proc/6534/task/6592/stat : 6592 (java) S 6531 6534 463 0 -1 1077944384 4479 13149 0 0 4 0 5 4 20 0 15 0 406011596 11111882752 80309 33554432000 4194304 4196468 140723032342800 140492533627504 140493329173122 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6593] ppid=6531 vsize=10851448 memory=280603903705488 CPUtime=0.09 cores=0-3
/proc/6534/task/6593/stat : 6593 (java) S 6531 6534 463 0 -1 1077944384 41 13149 0 0 0 0 5 4 20 0 15 0 406011596 11111882752 80309 33554432000 4194304 4196468 140723032342800 140492532573536 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6594] ppid=6531 vsize=10851448 memory=0 CPUtime=0.09 cores=0-3
/proc/6534/task/6594/stat : 6594 (java) S 6531 6534 463 0 -1 1077944384 6 13149 0 0 0 0 5 4 20 0 15 0 406011597 11111882752 80309 33554432000 4194304 4196468 140723032342800 140492406777472 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6595] ppid=6531 vsize=10851448 memory=280603903683640 CPUtime=0.09 cores=0-3
/proc/6534/task/6595/stat : 6595 (java) S 6531 6534 463 0 -1 1077944384 2 13149 0 0 0 0 5 4 20 0 15 0 406011600 11111882752 80309 33554432000 4194304 4196468 140723032342800 140492272560720 140493329180571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6596] ppid=6531 vsize=10851448 memory=0 CPUtime=2.19 cores=0-3
/proc/6534/task/6596/stat : 6596 (java) R 6531 6534 463 0 -1 4202560 6234 13149 0 0 210 0 5 4 20 0 15 0 406011600 11111882752 80309 33554432000 4194304 4196468 140723032342800 140492499000264 140493308848643 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6597] ppid=6531 vsize=10851448 memory=0 CPUtime=2.27 cores=0-3
/proc/6534/task/6597/stat : 6597 (java) R 6531 6534 463 0 -1 4202560 4509 13149 0 0 217 1 5 4 20 0 15 0 406011600 11111882752 80309 33554432000 4194304 4196468 140723032342800 140492497951136 140493312647989 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6598] ppid=6531 vsize=10851448 memory=164 CPUtime=1.44 cores=0-3
/proc/6534/task/6598/stat : 6598 (java) R 6531 6534 463 0 -1 1077944384 5644 13149 0 0 133 2 5 4 20 0 15 0 406011600 11111882752 80309 33554432000 4194304 4196468 140723032342800 140492496910704 140493329173122 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6599] ppid=6531 vsize=10851448 memory=-7088785026379990432 CPUtime=0.09 cores=0-3
/proc/6534/task/6599/stat : 6599 (java) S 6531 6534 463 0 -1 1077944384 3 13149 0 0 0 0 5 4 20 0 15 0 406011600 11111882752 80309 33554432000 4194304 4196468 140723032342800 140491534363104 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6600] ppid=6531 vsize=10851448 memory=-7812193691855986592 CPUtime=0.09 cores=0-3
/proc/6534/task/6600/stat : 6600 (java) S 6531 6534 463 0 -1 1077944384 9 13149 0 0 0 0 5 4 20 0 15 0 406011600 11111882752 80309 33554432000 4194304 4196468 140723032342800 140492495858608 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
Current children cumulated CPU time: 9.76 s
Current children cumulated vsize: 10851448 KiB
Current children cumulated memory: 321236 KiB

[startup+4.80073 s]
/proc/loadavg: 1.55 1.48 1.49 5/227 6601
/proc/meminfo: memFree=24677660/32770688 swapFree=66919608/67108860
[pid=6534] ppid=6531 vsize=10947332 memory=346436 CPUtime=12.34 cores=0-3
/proc/6534/stat : 6534 (java) S 6531 6534 463 0 -1 1077944320 54608 13149 0 0 1205 20 5 4 20 0 14 0 406011584 11210067968 87113 33554432000 4194304 4196468 140723032342800 140723032325344 140493329161975 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
/proc/6534/statm: 2736833 86609 3618 1 0 2698894 0
[pid=6534/tid=6587] ppid=6531 vsize=10947332 memory=205884 CPUtime=4.64 cores=0-3
/proc/6534/task/6587/stat : 6587 (java) S 6531 6534 463 0 -1 1077944384 24087 13149 0 0 445 10 5 4 20 0 14 0 406011594 11210067968 86609 33554432000 4194304 4196468 140723032342800 140493301005456 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6588] ppid=6531 vsize=10914560 memory=0 CPUtime=0.12 cores=0-3
/proc/6534/task/6588/stat : 6588 (java) S 6531 6534 463 0 -1 1077944384 348 13149 0 0 3 0 5 4 20 0 14 0 406011594 11176509440 86603 33554432000 4194304 4196468 140723032342800 140493333404048 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6589] ppid=6531 vsize=10914560 memory=0 CPUtime=0.14 cores=0-3
/proc/6534/task/6589/stat : 6589 (java) S 6531 6534 463 0 -1 1077944384 151 13149 0 0 5 0 5 4 20 0 13 0 406011594 11176509440 86603 33554432000 4194304 4196468 140723032342800 140493221677328 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6590] ppid=6531 vsize=10914560 memory=0 CPUtime=0.12 cores=0-3
/proc/6534/task/6590/stat : 6590 (java) S 6531 6534 463 0 -1 1077944384 345 13149 0 0 3 0 5 4 20 0 13 0 406011594 11176509440 86603 33554432000 4194304 4196468 140723032342800 140493220625040 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6591] ppid=6531 vsize=10914560 memory=302384 CPUtime=0.13 cores=0-3
/proc/6534/task/6591/stat : 6591 (java) S 6531 6534 463 0 -1 1077944384 233 13149 0 0 4 0 5 4 20 0 13 0 406011594 11176509440 86603 33554432000 4194304 4196468 140723032342800 140493219572240 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6593] ppid=6531 vsize=10914560 memory=984 CPUtime=0.09 cores=0-3
/proc/6534/task/6593/stat : 6593 (java) S 6531 6534 463 0 -1 1077944384 41 13149 0 0 0 0 5 4 20 0 12 0 406011596 11176509440 86603 33554432000 4194304 4196468 140723032342800 140492532573536 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6594] ppid=6531 vsize=10914560 memory=2020 CPUtime=0.09 cores=0-3
/proc/6534/task/6594/stat : 6594 (java) S 6531 6534 463 0 -1 1077944384 6 13149 0 0 0 0 5 4 20 0 12 0 406011597 11176509440 86603 33554432000 4194304 4196468 140723032342800 140492406777472 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6596] ppid=6531 vsize=10914560 memory=924 CPUtime=2.96 cores=0-3
/proc/6534/task/6596/stat : 6596 (java) S 6531 6534 463 0 -1 1077944384 10095 13149 0 0 286 1 5 4 20 0 12 0 406011600 11176509440 86603 33554432000 4194304 4196468 140723032342800 140492498995632 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6597] ppid=6531 vsize=10914560 memory=3848 CPUtime=3.04 cores=0-3
/proc/6534/task/6597/stat : 6597 (java) S 6531 6534 463 0 -1 1077944384 5789 13149 0 0 294 1 5 4 20 0 12 0 406011600 11176509440 86603 33554432000 4194304 4196468 140723032342800 140492497962992 140493329173122 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6598] ppid=6531 vsize=10914560 memory=1432 CPUtime=1.67 cores=0-3
/proc/6534/task/6598/stat : 6598 (java) S 6531 6534 463 0 -1 1077944384 6795 13149 0 0 155 3 5 4 20 0 12 0 406011600 11176509440 86603 33554432000 4194304 4196468 140723032342800 140492496906576 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
[pid=6534/tid=6599] ppid=6531 vsize=10914560 memory=776 CPUtime=0.09 cores=0-3
/proc/6534/task/6599/stat : 6599 (java) S 6531 6534 463 0 -1 1077944384 3 13149 0 0 0 0 5 4 20 0 12 0 406011600 11176509440 86603 33554432000 4194304 4196468 140723032342800 140491534363104 140493329172181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21712896 140723032349429 140723032351941 140723032351941 140723032354767 0
Current children cumulated CPU time: 12.34 s
Current children cumulated vsize: 10947332 KiB
Current children cumulated memory: 346436 KiB

[startup+5.20014 s]
/proc/loadavg: 1.55 1.48 1.49 2/214 6602
/proc/meminfo: memFree=24970664/32770688 swapFree=66919608/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 5.26258
CPU time (s): 12.3661
CPU user time (s): 12.1043
CPU system time (s): 0.261794
CPU usage (%): 234.981
Max. virtual memory (cumulated for all children) (KiB): 10947332
Max. memory (cumulated for all children) (KiB): 346436

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.1043
system time used= 0.261794
maximum resident set size= 350456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67784
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= 5668
involuntary context switches= 69


# summary of solver processes directly reported to runsolver:
#   pid: 6534
#   total CPU time (s): 12.3661
#   total CPU user time (s): 12.1043
#   total CPU system time (s): 0.261794

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.046108 second user time and 0.104792 second system time

The end

Launcher Data 

Begin job on node120 at 2011-12-13 23:14:35
IDJOB=4387347
IDBENCH=134620
IDSOLVER=2823
FILE ID=node120/4387347-1568300052
RUNJOBID= node120-1323800386-1292
PBS_JOBID= 21701083
Free space on /tmp= 54688 MiB

SOLVER NAME= Concrete 3.10
BENCH NAME= XCSP17/KnightTour/KnightTour-ext-s1/KnightTour-08-ext03.xml
COMMAND LINE= bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4387347-1568300052/watcher-4387347-1568300052 -o /tmp/evaluation-result-4387347-1568300052/solver-4387347-1568300052 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node120-1323800386-1292 --watchdog 2580  bin/xcsp-3-concrete -J-Xss32M -randomseed=1250969435 HOME/instance-4387347-1568300052.xml

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

MD5SUM BENCH= 8a5157f08f2f2e597251b23721b8eb7d
RANDOM SEED=1250969435

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


/proc/meminfo:
MemTotal:       32770688 kB
MemFree:        24984988 kB
MemAvailable:   31165944 kB
Buffers:          131072 kB
Cached:          6314012 kB
SwapCached:        77012 kB
Active:          2124724 kB
Inactive:        5042328 kB
Active(anon):     645452 kB
Inactive(anon):   118276 kB
Active(file):    1479272 kB
Inactive(file):  4924052 kB
Unevictable:      107416 kB
Mlocked:          107416 kB
SwapTotal:      67108860 kB
SwapFree:       66919608 kB
Dirty:             35516 kB
Writeback:             0 kB
AnonPages:        754020 kB
Mapped:            59560 kB
Shmem:             32812 kB
Slab:             215508 kB
SReclaimable:     186936 kB
SUnreclaim:        28572 kB
KernelStack:        3712 kB
PageTables:         6996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494204 kB
Committed_AS:    1905488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350212 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    669696 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      146880 kB
DirectMap2M:    33398784 kB

Free space on /tmp at the end= 54652 MiB
End job on node120 at 2011-12-13 23:14:41