Trace number 4249305

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 NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4? (TO) 2407.8701 2285.73

General information on the benchmark

NameChessboardColoration/ChessboardColoration-int-s2/
ChessboardColoration-int-23-25.xml
MD5SUMd34e1ab3749b5ab5f756e156ef97f2b6
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark2519.9399
Satisfiable
(Un)Satisfiability was proved
Number of variables575
Number of constraints75901
Number of domains1
Minimum domain size575
Maximum domain size575
Distribution of domain sizes[{"size":575,"count":575}]
Minimum variable degree530
Maximum variable degree530
Distribution of variable degrees[{"degree":530,"count":575}]
Minimum constraint arity4
Maximum constraint arity575
Distribution of constraint arities[{"arity":4,"count":75900},{"arity":575,"count":1}]
Number of extensional constraints0
Number of intensional constraints75900
Distribution of constraint types[{"type":"intension","count":75900},{"type":"lex","count":1}]
Optimization problemYES
Type of objectivemin MAXIMUM

Solver Data 

3.49/2.20	c Concrete v3.4 running

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4249305-1502105309/watcher-4249305-1502105309 -o /tmp/evaluation-result-4249305-1502105309/solver-4249305-1502105309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12598 --watchdog 2560 bin/concrete HOME/instance-4249305-1502105309.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.42 1.43 1.54 3/197 18689
/proc/meminfo: memFree=28462412/32770624 swapFree=0/439960
[pid=18689] ppid=18686 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/18689/stat : 18689 (runsolver) D 18686 18689 25139 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 58036927 24240128 107 18446744073709551615 4194304 4338465 140730507621600 140730507619240 140556647883479 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 24276992 140730507624656 140730507625033 140730507625033 140730507628490 0
/proc/18689/statm: 5918 107 54 36 0 2156 0

[startup+0.100178 s]
/proc/loadavg: 1.42 1.43 1.54 3/197 18689
/proc/meminfo: memFree=28462412/32770624 swapFree=0/439960
[pid=18689] ppid=18686 vsize=9640 CPUtime=0.01 cores=0,2,4,6
/proc/18689/stat : 18689 (bash) S 18686 18689 25139 0 -1 4202496 852 6153 0 0 0 0 0 1 20 0 1 0 58036927 9871360 373 18446744073709551615 4194304 5098028 140733675043104 140733675036840 140040976378880 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 40144896 140733675045396 140733675045481 140733675045481 140733675048938 0
/proc/18689/statm: 2410 373 292 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200295 s]
/proc/loadavg: 1.42 1.43 1.54 3/197 18689
/proc/meminfo: memFree=28462412/32770624 swapFree=0/439960
[pid=18689] ppid=18686 vsize=9640 CPUtime=0.01 cores=0,2,4,6
/proc/18689/stat : 18689 (bash) S 18686 18689 25139 0 -1 4202496 888 6458 0 0 0 0 0 1 20 0 1 0 58036927 9871360 373 18446744073709551615 4194304 5098028 140733675043104 140733675037112 140040976378880 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 8 0 0 7196144 7232144 40144896 140733675045396 140733675045481 140733675045481 140733675048938 0
/proc/18689/statm: 2410 373 292 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.300276 s]
/proc/loadavg: 1.42 1.43 1.54 3/197 18689
/proc/meminfo: memFree=28462412/32770624 swapFree=0/439960
[pid=18689] ppid=18686 vsize=10551880 CPUtime=0.13 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 5894 12321 0 0 6 0 4 3 20 0 15 0 58036927 10805125120 6065 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2637970 6065 2575 1 0 2627467 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10551880

[startup+0.700332 s]
/proc/loadavg: 1.42 1.43 1.54 3/197 18689
/proc/meminfo: memFree=28462412/32770624 swapFree=0/439960
[pid=18689] ppid=18686 vsize=10552792 CPUtime=0.69 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 13946 12321 0 0 59 3 4 3 20 0 15 0 58036927 10806059008 14822 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2638198 14822 3092 1 0 2627467 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10552792

[startup+1.50057 s]
/proc/loadavg: 1.42 1.43 1.54 4/212 18752
/proc/meminfo: memFree=28369012/32770624 swapFree=0/439992
[pid=18689] ppid=18686 vsize=10563416 CPUtime=1.9 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 29563 12321 0 0 174 9 4 3 20 0 15 0 58036927 10816937984 43517 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2640854 43517 3369 1 0 2630027 0
[pid=18689/tid=18739] ppid=18686 vsize=10563416 CPUtime=1.28 cores=0,2,4,6
/proc/18689/task/18739/stat : 18739 (java) S 18686 18689 25139 0 -1 1077944384 22649 12321 0 0 116 5 4 3 20 0 15 0 58036948 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140653101506416 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18740] ppid=18686 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18740/stat : 18740 (java) S 18686 18689 25139 0 -1 1077944384 51 12321 0 0 0 0 4 3 20 0 15 0 58036948 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140653067000848 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18741] ppid=18686 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/18689/task/18741/stat : 18741 (java) S 18686 18689 25139 0 -1 1077944384 174 12321 0 0 1 0 4 3 20 0 15 0 58036948 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140652707339408 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18742] ppid=18686 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18742/stat : 18742 (java) S 18686 18689 25139 0 -1 1077944384 28 12321 0 0 0 0 4 3 20 0 15 0 58036948 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140652706286352 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18743] ppid=18686 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/18689/task/18743/stat : 18743 (java) S 18686 18689 25139 0 -1 1077944384 40 12321 0 0 1 0 4 3 20 0 15 0 58036948 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140652705233808 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18744] ppid=18686 vsize=10563416 CPUtime=0.08 cores=0,2,4,6
/proc/18689/task/18744/stat : 18744 (java) R 18686 18689 25139 0 -1 4202560 1674 12321 0 0 1 0 4 3 20 0 15 0 58036950 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140652593529632 140653089576864 0 0 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18745] ppid=18686 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18745/stat : 18745 (java) S 18686 18689 25139 0 -1 1077944384 33 12321 0 0 0 0 4 3 20 0 15 0 58036950 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140652592477344 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18746] ppid=18686 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18746/stat : 18746 (java) S 18686 18689 25139 0 -1 1077944384 21 12321 0 0 0 0 4 3 20 0 15 0 58036950 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140652591424240 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18747] ppid=18686 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18747/stat : 18747 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 15 0 58036953 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140652590372816 140653097306011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18748] ppid=18686 vsize=10563416 CPUtime=0.2 cores=0,2,4,6
/proc/18689/task/18748/stat : 18748 (java) S 18686 18689 25139 0 -1 1077944384 827 12321 0 0 13 0 4 3 20 0 15 0 58036953 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140652589320944 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18749] ppid=18686 vsize=10563416 CPUtime=0.23 cores=0,2,4,6
/proc/18689/task/18749/stat : 18749 (java) S 18686 18689 25139 0 -1 1077944384 803 12321 0 0 16 0 4 3 20 0 15 0 58036953 10816937984 43522 18446744073709551615 4194304 4196468 140730931086592 140652588268400 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18750] ppid=18686 vsize=10563416 CPUtime=0.29 cores=0,2,4,6
/proc/18689/task/18750/stat : 18750 (java) S 18686 18689 25139 0 -1 1077944384 1281 12321 0 0 22 0 4 3 20 0 15 0 58036953 10816937984 43412 18446744073709551615 4194304 4196468 140730931086592 140652587210832 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18751] ppid=18686 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18751/stat : 18751 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 15 0 58036953 10816937984 43412 18446744073709551615 4194304 4196468 140730931086592 140652586163040 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18752] ppid=18686 vsize=10563416 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18752/stat : 18752 (java) S 18686 18689 25139 0 -1 1077944384 10 12321 0 0 0 0 4 3 20 0 15 0 58036957 10816937984 43412 18446744073709551615 4194304 4196468 140730931086592 140652585110064 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
Current children cumulated CPU time (s) 1.9
Current children cumulated vsize (KiB) 10563416

[startup+3.10071 s]
/proc/loadavg: 1.71 1.48 1.56 5/212 18752
/proc/meminfo: memFree=28259984/32770624 swapFree=0/439988
[pid=18689] ppid=18686 vsize=10571796 CPUtime=6.31 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 41881 12321 0 0 603 21 4 3 20 0 15 0 58036927 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2642949 84268 3472 1 0 2631563 0
[pid=18689/tid=18739] ppid=18686 vsize=10571796 CPUtime=2.8 cores=0,2,4,6
/proc/18689/task/18739/stat : 18739 (java) R 18686 18689 25139 0 -1 4202560 28213 12321 0 0 265 8 4 3 20 0 15 0 58036948 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140653101520864 140652746263292 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18740] ppid=18686 vsize=10571796 CPUtime=0.12 cores=0,2,4,6
/proc/18689/task/18740/stat : 18740 (java) S 18686 18689 25139 0 -1 1077944384 211 12321 0 0 4 1 4 3 20 0 15 0 58036948 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140653067000848 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18741] ppid=18686 vsize=10571796 CPUtime=0.15 cores=0,2,4,6
/proc/18689/task/18741/stat : 18741 (java) S 18686 18689 25139 0 -1 1077944384 301 12321 0 0 6 2 4 3 20 0 15 0 58036948 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652707339408 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18742] ppid=18686 vsize=10571796 CPUtime=0.12 cores=0,2,4,6
/proc/18689/task/18742/stat : 18742 (java) S 18686 18689 25139 0 -1 1077944384 86 12321 0 0 3 2 4 3 20 0 15 0 58036948 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652706286352 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18743] ppid=18686 vsize=10571796 CPUtime=0.14 cores=0,2,4,6
/proc/18689/task/18743/stat : 18743 (java) S 18686 18689 25139 0 -1 1077944384 214 12321 0 0 5 2 4 3 20 0 15 0 58036948 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652705233808 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18744] ppid=18686 vsize=10571796 CPUtime=0.08 cores=0,2,4,6
/proc/18689/task/18744/stat : 18744 (java) S 18686 18689 25139 0 -1 1077944384 1768 12321 0 0 1 0 4 3 20 0 15 0 58036950 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652593531120 140653097298562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18745] ppid=18686 vsize=10571796 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18745/stat : 18745 (java) S 18686 18689 25139 0 -1 1077944384 56 12321 0 0 0 0 4 3 20 0 15 0 58036950 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652592477408 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18746] ppid=18686 vsize=10571796 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18746/stat : 18746 (java) S 18686 18689 25139 0 -1 1077944384 47 12321 0 0 0 0 4 3 20 0 15 0 58036950 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652591424256 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18747] ppid=18686 vsize=10571796 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18747/stat : 18747 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 15 0 58036953 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652590372816 140653097306011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18748] ppid=18686 vsize=10571796 CPUtime=1.3 cores=0,2,4,6
/proc/18689/task/18748/stat : 18748 (java) R 18686 18689 25139 0 -1 4202560 4207 12321 0 0 122 1 4 3 20 0 15 0 58036953 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652589305936 140653080781995 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18749] ppid=18686 vsize=10571796 CPUtime=1.17 cores=0,2,4,6
/proc/18689/task/18749/stat : 18749 (java) R 18686 18689 25139 0 -1 4202560 1817 12321 0 0 109 1 4 3 20 0 15 0 58036953 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652588251792 140653077131028 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18750] ppid=18686 vsize=10571796 CPUtime=0.89 cores=0,2,4,6
/proc/18689/task/18750/stat : 18750 (java) S 18686 18689 25139 0 -1 1077944384 2808 12321 0 0 81 1 4 3 20 0 15 0 58036953 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652587215344 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18751] ppid=18686 vsize=10571796 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18751/stat : 18751 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 15 0 58036953 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652586163040 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18752] ppid=18686 vsize=10571796 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18752/stat : 18752 (java) S 18686 18689 25139 0 -1 1077944384 11 12321 0 0 0 0 4 3 20 0 15 0 58036957 10825519104 84268 18446744073709551615 4194304 4196468 140730931086592 140652585110064 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 10571796

[startup+6.30457 s]
/proc/loadavg: 1.71 1.48 1.56 3/212 18753
/proc/meminfo: memFree=27696988/32770624 swapFree=0/439988
[pid=18689] ppid=18686 vsize=10573844 CPUtime=12.89 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 46466 12321 0 0 1227 55 4 3 20 0 15 0 58036927 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2643461 265656 3485 1 0 2632075 0
[pid=18689/tid=18739] ppid=18686 vsize=10573844 CPUtime=5.79 cores=0,2,4,6
/proc/18689/task/18739/stat : 18739 (java) S 18686 18689 25139 0 -1 1077944384 30078 12321 0 0 555 17 4 3 20 0 15 0 58036948 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140653101522576 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18740] ppid=18686 vsize=10573844 CPUtime=0.33 cores=0,2,4,6
/proc/18689/task/18740/stat : 18740 (java) R 18686 18689 25139 0 -1 4202560 368 12321 0 0 19 7 4 3 20 0 15 0 58036948 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140653067001048 140653078913194 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18741] ppid=18686 vsize=10573844 CPUtime=0.35 cores=0,2,4,6
/proc/18689/task/18741/stat : 18741 (java) R 18686 18689 25139 0 -1 4202560 444 12321 0 0 20 8 4 3 20 0 15 0 58036948 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652707339408 140653081735648 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18742] ppid=18686 vsize=10573844 CPUtime=0.32 cores=0,2,4,6
/proc/18689/task/18742/stat : 18742 (java) R 18686 18689 25139 0 -1 4202560 237 12321 0 0 18 7 4 3 20 0 15 0 58036948 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652706286352 140653081735479 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18743] ppid=18686 vsize=10573844 CPUtime=0.34 cores=0,2,4,6
/proc/18689/task/18743/stat : 18743 (java) R 18686 18689 25139 0 -1 4202560 434 12321 0 0 19 8 4 3 20 0 15 0 58036948 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652705234008 140653082314232 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18744] ppid=18686 vsize=10573844 CPUtime=0.09 cores=0,2,4,6
/proc/18689/task/18744/stat : 18744 (java) S 18686 18689 25139 0 -1 1077944384 2094 12321 0 0 2 0 4 3 20 0 15 0 58036950 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652593529632 140653097297621 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18745] ppid=18686 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18745/stat : 18745 (java) S 18686 18689 25139 0 -1 1077944384 56 12321 0 0 0 0 4 3 20 0 15 0 58036950 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652592477408 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18746] ppid=18686 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18746/stat : 18746 (java) S 18686 18689 25139 0 -1 1077944384 47 12321 0 0 0 0 4 3 20 0 15 0 58036950 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652591424256 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18747] ppid=18686 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18747/stat : 18747 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 15 0 58036953 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652590372816 140653097306011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18748] ppid=18686 vsize=10573844 CPUtime=2.48 cores=0,2,4,6
/proc/18689/task/18748/stat : 18748 (java) S 18686 18689 25139 0 -1 1077944384 4676 12321 0 0 240 1 4 3 20 0 15 0 58036953 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652589320944 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18749] ppid=18686 vsize=10573844 CPUtime=2.44 cores=0,2,4,6
/proc/18689/task/18749/stat : 18749 (java) S 18686 18689 25139 0 -1 1077944384 2165 12321 0 0 236 1 4 3 20 0 15 0 58036953 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652588268400 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18750] ppid=18686 vsize=10573844 CPUtime=1.21 cores=0,2,4,6
/proc/18689/task/18750/stat : 18750 (java) S 18686 18689 25139 0 -1 1077944384 3518 12321 0 0 112 2 4 3 20 0 15 0 58036953 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652587215344 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18751] ppid=18686 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18751/stat : 18751 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 15 0 58036953 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652586163040 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18752] ppid=18686 vsize=10573844 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18752/stat : 18752 (java) S 18686 18689 25139 0 -1 1077944384 207 12321 0 0 0 0 4 3 20 0 15 0 58036957 10827616256 265656 18446744073709551615 4194304 4196468 140730931086592 140652585110064 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
Current children cumulated CPU time (s) 12.89
Current children cumulated vsize (KiB) 10573844

[startup+12.7007 s]
/proc/loadavg: 1.68 1.49 1.56 3/212 18753
/proc/meminfo: memFree=26322832/32770624 swapFree=0/440000
[pid=18689] ppid=18686 vsize=10575892 CPUtime=26.65 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 59182 12321 0 0 2560 98 4 3 20 0 15 0 58036927 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2643973 538261 3487 1 0 2632587 0
[pid=18689/tid=18739] ppid=18686 vsize=10575892 CPUtime=10.48 cores=0,2,4,6
/proc/18689/task/18739/stat : 18739 (java) R 18686 18689 25139 0 -1 4202560 32030 12321 0 0 1016 25 4 3 20 0 15 0 58036948 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140653101522240 140652738160154 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18740] ppid=18686 vsize=10575892 CPUtime=1.86 cores=0,2,4,6
/proc/18689/task/18740/stat : 18740 (java) S 18686 18689 25139 0 -1 1077944384 899 12321 0 0 164 15 4 3 20 0 15 0 58036948 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140653067000848 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18741] ppid=18686 vsize=10575892 CPUtime=1.89 cores=0,2,4,6
/proc/18689/task/18741/stat : 18741 (java) S 18686 18689 25139 0 -1 1077944384 920 12321 0 0 167 15 4 3 20 0 15 0 58036948 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140652707339408 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18742] ppid=18686 vsize=10575892 CPUtime=1.86 cores=0,2,4,6
/proc/18689/task/18742/stat : 18742 (java) S 18686 18689 25139 0 -1 1077944384 883 12321 0 0 163 16 4 3 20 0 15 0 58036948 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140652706286352 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18743] ppid=18686 vsize=10575892 CPUtime=1.86 cores=0,2,4,6
/proc/18689/task/18743/stat : 18743 (java) S 18686 18689 25139 0 -1 1077944384 790 12321 0 0 163 16 4 3 20 0 15 0 58036948 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140652705233808 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18744] ppid=18686 vsize=10575892 CPUtime=0.25 cores=0,2,4,6
/proc/18689/task/18744/stat : 18744 (java) S 18686 18689 25139 0 -1 1077944384 3709 12321 0 0 18 0 4 3 20 0 15 0 58036950 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140652593531120 140653097298562 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18745] ppid=18686 vsize=10575892 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18745/stat : 18745 (java) S 18686 18689 25139 0 -1 1077944384 56 12321 0 0 0 0 4 3 20 0 15 0 58036950 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140652592477408 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18746] ppid=18686 vsize=10575892 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18746/stat : 18746 (java) S 18686 18689 25139 0 -1 1077944384 47 12321 0 0 0 0 4 3 20 0 15 0 58036950 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140652591424256 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18747] ppid=18686 vsize=10575892 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18747/stat : 18747 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 15 0 58036953 10829713408 538261 18446744073709551615 4194304 4196468 140730931086592 140652590372816 140653097306011 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0

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


Solver just ended.
Dumping a history of the last processes samples

[startup+2284.4 s]
/proc/loadavg: 1.92 1.91 1.88 6/216 19024
/proc/meminfo: memFree=20245612/32770624 swapFree=0/440860
[pid=18689] ppid=18686 vsize=10715164 CPUtime=2402.81 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 453640 12321 0 0 239918 356 4 3 20 0 17 0 58036927 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2678791 1171078 3504 1 0 2667405 0
[pid=18689/tid=18739] ppid=18686 vsize=10715164 CPUtime=2249.95 cores=0,2,4,6
/proc/18689/task/18739/stat : 18739 (java) S 18686 18689 25139 0 -1 1077944384 174074 12321 0 0 224929 59 4 3 20 0 17 0 58036948 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140653101524960 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18740] ppid=18686 vsize=10715164 CPUtime=31.95 cores=0,2,4,6
/proc/18689/task/18740/stat : 18740 (java) R 18686 18689 25139 0 -1 4202560 36832 12321 0 0 3129 59 4 3 20 0 17 0 58036948 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140653067001048 140653081742172 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18741] ppid=18686 vsize=10715164 CPUtime=31.96 cores=0,2,4,6
/proc/18689/task/18741/stat : 18741 (java) R 18686 18689 25139 0 -1 4202560 36778 12321 0 0 3132 57 4 3 20 0 17 0 58036948 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652707339296 140653078884426 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18742] ppid=18686 vsize=10715164 CPUtime=31.92 cores=0,2,4,6
/proc/18689/task/18742/stat : 18742 (java) R 18686 18689 25139 0 -1 4202560 28083 12321 0 0 3127 58 4 3 20 0 17 0 58036948 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652706286352 140653081741513 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18743] ppid=18686 vsize=10715164 CPUtime=31.92 cores=0,2,4,6
/proc/18689/task/18743/stat : 18743 (java) R 18686 18689 25139 0 -1 4202560 31346 12321 0 0 3127 58 4 3 20 0 17 0 58036948 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652705233808 140653081985190 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18744] ppid=18686 vsize=10715164 CPUtime=2.15 cores=0,2,4,6
/proc/18689/task/18744/stat : 18744 (java) S 18686 18689 25139 0 -1 1077944384 38720 12321 0 0 200 8 4 3 20 0 17 0 58036950 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652593529520 140653097297621 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18745] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18745/stat : 18745 (java) S 18686 18689 25139 0 -1 1077944384 93 12321 0 0 0 0 4 3 20 0 17 0 58036950 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652592477472 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18746] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18746/stat : 18746 (java) S 18686 18689 25139 0 -1 1077944384 77 12321 0 0 0 0 4 3 20 0 17 0 58036950 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652591424256 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18747] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18747/stat : 18747 (java) S 18686 18689 25139 0 -1 1077944384 264 12321 0 0 0 0 4 3 20 0 17 0 58036953 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652590372816 140653097306011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18748] ppid=18686 vsize=10715164 CPUtime=9.91 cores=0,2,4,6
/proc/18689/task/18748/stat : 18748 (java) S 18686 18689 25139 0 -1 1077944384 37626 12321 0 0 978 6 4 3 20 0 17 0 58036953 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652589320944 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18749] ppid=18686 vsize=10715164 CPUtime=9.52 cores=0,2,4,6
/proc/18689/task/18749/stat : 18749 (java) S 18686 18689 25139 0 -1 1077944384 32699 12321 0 0 939 6 4 3 20 0 17 0 58036953 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652588268400 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18750] ppid=18686 vsize=10715164 CPUtime=2.9 cores=0,2,4,6
/proc/18689/task/18750/stat : 18750 (java) S 18686 18689 25139 0 -1 1077944384 31741 12321 0 0 277 6 4 3 20 0 17 0 58036953 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652587215344 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18751] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18751/stat : 18751 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 17 0 58036953 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652586163040 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18752] ppid=18686 vsize=10715164 CPUtime=1.14 cores=0,2,4,6
/proc/18689/task/18752/stat : 18752 (java) R 18686 18689 25139 0 -1 1077944384 2791 12321 0 0 51 56 4 3 20 0 17 0 58036957 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652585110064 140653097298562 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=19023] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/19023/stat : 19023 (java) S 18686 18689 25139 0 -1 1077944384 345 12321 0 0 0 0 4 3 20 0 17 0 58265298 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652553560432 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=19024] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/19024/stat : 19024 (java) S 18686 18689 25139 0 -1 1077944384 30 12321 0 0 0 0 4 3 20 0 17 0 58265298 10972327936 1171078 18446744073709551615 4194304 4196468 140730931086592 140652552508096 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
Current children cumulated CPU time (s) 2402.81
Current children cumulated vsize (KiB) 10715164

[startup+2285.21 s]
/proc/loadavg: 1.92 1.91 1.88 6/216 19024
/proc/meminfo: memFree=20245612/32770624 swapFree=0/440860
[pid=18689] ppid=18686 vsize=10715164 CPUtime=2405.88 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 465040 12321 0 0 240225 356 4 3 20 0 17 0 58036927 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2678791 1171089 3504 1 0 2667405 0
[pid=18689/tid=18739] ppid=18686 vsize=10715164 CPUtime=2249.95 cores=0,2,4,6
/proc/18689/task/18739/stat : 18739 (java) S 18686 18689 25139 0 -1 1077944384 174074 12321 0 0 224929 59 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140653101524960 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18740] ppid=18686 vsize=10715164 CPUtime=32.7 cores=0,2,4,6
/proc/18689/task/18740/stat : 18740 (java) R 18686 18689 25139 0 -1 4202560 36832 12321 0 0 3204 59 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140653067000968 140653089915623 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18741] ppid=18686 vsize=10715164 CPUtime=32.73 cores=0,2,4,6
/proc/18689/task/18741/stat : 18741 (java) R 18686 18689 25139 0 -1 4202560 36799 12321 0 0 3209 57 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652707339608 140653090392118 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18742] ppid=18686 vsize=10715164 CPUtime=32.69 cores=0,2,4,6
/proc/18689/task/18742/stat : 18742 (java) R 18686 18689 25139 0 -1 4202560 28085 12321 0 0 3203 59 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652706286160 140653089915623 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18743] ppid=18686 vsize=10715164 CPUtime=32.68 cores=0,2,4,6
/proc/18689/task/18743/stat : 18743 (java) R 18686 18689 25139 0 -1 4202560 31347 12321 0 0 3203 58 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652705233616 140653089915623 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18744] ppid=18686 vsize=10715164 CPUtime=2.18 cores=0,2,4,6
/proc/18689/task/18744/stat : 18744 (java) S 18686 18689 25139 0 -1 1077944384 50096 12321 0 0 203 8 4 3 20 0 17 0 58036950 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652593529744 140653097297621 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18745] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18745/stat : 18745 (java) S 18686 18689 25139 0 -1 1077944384 93 12321 0 0 0 0 4 3 20 0 17 0 58036950 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652592477472 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18746] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18746/stat : 18746 (java) S 18686 18689 25139 0 -1 1077944384 77 12321 0 0 0 0 4 3 20 0 17 0 58036950 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652591424256 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18747] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18747/stat : 18747 (java) S 18686 18689 25139 0 -1 1077944384 264 12321 0 0 0 0 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652590372816 140653097306011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18748] ppid=18686 vsize=10715164 CPUtime=9.91 cores=0,2,4,6
/proc/18689/task/18748/stat : 18748 (java) S 18686 18689 25139 0 -1 1077944384 37626 12321 0 0 978 6 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652589320992 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18749] ppid=18686 vsize=10715164 CPUtime=9.52 cores=0,2,4,6
/proc/18689/task/18749/stat : 18749 (java) S 18686 18689 25139 0 -1 1077944384 32699 12321 0 0 939 6 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652588268448 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18750] ppid=18686 vsize=10715164 CPUtime=2.9 cores=0,2,4,6
/proc/18689/task/18750/stat : 18750 (java) S 18686 18689 25139 0 -1 1077944384 31741 12321 0 0 277 6 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652587215104 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18751] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18751/stat : 18751 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652586163040 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18752] ppid=18686 vsize=10715164 CPUtime=1.14 cores=0,2,4,6
/proc/18689/task/18752/stat : 18752 (java) S 18686 18689 25139 0 -1 1077944384 2791 12321 0 0 51 56 4 3 20 0 17 0 58036957 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652585110064 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=19023] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/19023/stat : 19023 (java) S 18686 18689 25139 0 -1 1077944384 345 12321 0 0 0 0 4 3 20 0 17 0 58265298 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652553560432 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=19024] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/19024/stat : 19024 (java) S 18686 18689 25139 0 -1 1077944384 30 12321 0 0 0 0 4 3 20 0 17 0 58265298 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652552508096 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
Current children cumulated CPU time (s) 2405.88
Current children cumulated vsize (KiB) 10715164

[startup+2285.6 s]
/proc/loadavg: 1.92 1.91 1.88 6/216 19024
/proc/meminfo: memFree=20245612/32770624 swapFree=0/440860
[pid=18689] ppid=18686 vsize=10715164 CPUtime=2407.41 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 465040 12321 0 0 240377 357 4 3 20 0 17 0 58036927 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2678791 1171089 3504 1 0 2667405 0
[pid=18689/tid=18739] ppid=18686 vsize=10715164 CPUtime=2249.95 cores=0,2,4,6
/proc/18689/task/18739/stat : 18739 (java) S 18686 18689 25139 0 -1 1077944384 174074 12321 0 0 224929 59 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140653101524960 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18740] ppid=18686 vsize=10715164 CPUtime=33.08 cores=0,2,4,6
/proc/18689/task/18740/stat : 18740 (java) R 18686 18689 25139 0 -1 4202560 36832 12321 0 0 3242 59 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140653067000968 140653089915623 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18741] ppid=18686 vsize=10715164 CPUtime=33.12 cores=0,2,4,6
/proc/18689/task/18741/stat : 18741 (java) R 18686 18689 25139 0 -1 4202560 36799 12321 0 0 3248 57 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652707339608 140653082276904 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18742] ppid=18686 vsize=10715164 CPUtime=33.07 cores=0,2,4,6
/proc/18689/task/18742/stat : 18742 (java) R 18686 18689 25139 0 -1 4202560 28085 12321 0 0 3241 59 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652706286160 140653089915623 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18743] ppid=18686 vsize=10715164 CPUtime=33.06 cores=0,2,4,6
/proc/18689/task/18743/stat : 18743 (java) R 18686 18689 25139 0 -1 4202560 31347 12321 0 0 3241 58 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652705233616 140653089915623 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18744] ppid=18686 vsize=10715164 CPUtime=2.18 cores=0,2,4,6
/proc/18689/task/18744/stat : 18744 (java) S 18686 18689 25139 0 -1 1077944384 50096 12321 0 0 203 8 4 3 20 0 17 0 58036950 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652593529744 140653097297621 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18745] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18745/stat : 18745 (java) S 18686 18689 25139 0 -1 1077944384 93 12321 0 0 0 0 4 3 20 0 17 0 58036950 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652592477472 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18746] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18746/stat : 18746 (java) S 18686 18689 25139 0 -1 1077944384 77 12321 0 0 0 0 4 3 20 0 17 0 58036950 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652591424256 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18747] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18747/stat : 18747 (java) S 18686 18689 25139 0 -1 1077944384 264 12321 0 0 0 0 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652590372816 140653097306011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18748] ppid=18686 vsize=10715164 CPUtime=9.91 cores=0,2,4,6
/proc/18689/task/18748/stat : 18748 (java) S 18686 18689 25139 0 -1 1077944384 37626 12321 0 0 978 6 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652589320992 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18749] ppid=18686 vsize=10715164 CPUtime=9.52 cores=0,2,4,6
/proc/18689/task/18749/stat : 18749 (java) S 18686 18689 25139 0 -1 1077944384 32699 12321 0 0 939 6 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652588268448 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18750] ppid=18686 vsize=10715164 CPUtime=2.9 cores=0,2,4,6
/proc/18689/task/18750/stat : 18750 (java) S 18686 18689 25139 0 -1 1077944384 31741 12321 0 0 277 6 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652587215104 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18751] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18751/stat : 18751 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652586163040 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18752] ppid=18686 vsize=10715164 CPUtime=1.14 cores=0,2,4,6
/proc/18689/task/18752/stat : 18752 (java) S 18686 18689 25139 0 -1 1077944384 2791 12321 0 0 51 56 4 3 20 0 17 0 58036957 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652585110064 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=19023] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/19023/stat : 19023 (java) S 18686 18689 25139 0 -1 1077944384 345 12321 0 0 0 0 4 3 20 0 17 0 58265298 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652553560432 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=19024] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/19024/stat : 19024 (java) S 18686 18689 25139 0 -1 1077944384 30 12321 0 0 0 0 4 3 20 0 17 0 58265298 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652552508096 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
Current children cumulated CPU time (s) 2407.41
Current children cumulated vsize (KiB) 10715164

[startup+2285.7 s]
/proc/loadavg: 1.92 1.91 1.88 6/216 19024
/proc/meminfo: memFree=20245612/32770624 swapFree=0/440860
[pid=18689] ppid=18686 vsize=10715164 CPUtime=2407.8 cores=0,2,4,6
/proc/18689/stat : 18689 (java) S 18686 18689 25139 0 -1 1077944320 465040 12321 0 0 240416 357 4 3 20 0 17 0 58036927 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140730931069136 140653097287415 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
/proc/18689/statm: 2678791 1171089 3504 1 0 2667405 0
[pid=18689/tid=18739] ppid=18686 vsize=10715164 CPUtime=2249.95 cores=0,2,4,6
/proc/18689/task/18739/stat : 18739 (java) S 18686 18689 25139 0 -1 1077944384 174074 12321 0 0 224929 59 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140653101524960 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 3 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18740] ppid=18686 vsize=10715164 CPUtime=33.18 cores=0,2,4,6
/proc/18689/task/18740/stat : 18740 (java) R 18686 18689 25139 0 -1 4202560 36832 12321 0 0 3252 59 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140653067000968 140653089915623 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18741] ppid=18686 vsize=10715164 CPUtime=33.22 cores=0,2,4,6
/proc/18689/task/18741/stat : 18741 (java) R 18686 18689 25139 0 -1 4202560 36799 12321 0 0 3258 57 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652707339608 140653081988111 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18742] ppid=18686 vsize=10715164 CPUtime=33.16 cores=0,2,4,6
/proc/18689/task/18742/stat : 18742 (java) R 18686 18689 25139 0 -1 4202560 28085 12321 0 0 3250 59 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652706286160 140653089915623 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18743] ppid=18686 vsize=10715164 CPUtime=33.15 cores=0,2,4,6
/proc/18689/task/18743/stat : 18743 (java) R 18686 18689 25139 0 -1 4202560 31347 12321 0 0 3250 58 4 3 20 0 17 0 58036948 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652705233616 140653089915623 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18744] ppid=18686 vsize=10715164 CPUtime=2.18 cores=0,2,4,6
/proc/18689/task/18744/stat : 18744 (java) S 18686 18689 25139 0 -1 1077944384 50096 12321 0 0 203 8 4 3 20 0 17 0 58036950 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652593529744 140653097297621 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18745] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18745/stat : 18745 (java) S 18686 18689 25139 0 -1 1077944384 93 12321 0 0 0 0 4 3 20 0 17 0 58036950 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652592477472 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18746] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18746/stat : 18746 (java) S 18686 18689 25139 0 -1 1077944384 77 12321 0 0 0 0 4 3 20 0 17 0 58036950 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652591424256 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18747] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18747/stat : 18747 (java) S 18686 18689 25139 0 -1 1077944384 264 12321 0 0 0 0 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652590372816 140653097306011 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18748] ppid=18686 vsize=10715164 CPUtime=9.91 cores=0,2,4,6
/proc/18689/task/18748/stat : 18748 (java) S 18686 18689 25139 0 -1 1077944384 37626 12321 0 0 978 6 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652589320992 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18749] ppid=18686 vsize=10715164 CPUtime=9.52 cores=0,2,4,6
/proc/18689/task/18749/stat : 18749 (java) S 18686 18689 25139 0 -1 1077944384 32699 12321 0 0 939 6 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652588268448 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18750] ppid=18686 vsize=10715164 CPUtime=2.9 cores=0,2,4,6
/proc/18689/task/18750/stat : 18750 (java) S 18686 18689 25139 0 -1 1077944384 31741 12321 0 0 277 6 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652587215104 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18751] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/18751/stat : 18751 (java) S 18686 18689 25139 0 -1 1077944384 3 12321 0 0 0 0 4 3 20 0 17 0 58036953 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652586163040 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=18752] ppid=18686 vsize=10715164 CPUtime=1.14 cores=0,2,4,6
/proc/18689/task/18752/stat : 18752 (java) S 18686 18689 25139 0 -1 1077944384 2791 12321 0 0 51 56 4 3 20 0 17 0 58036957 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652585110064 140653097298562 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=19023] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/19023/stat : 19023 (java) S 18686 18689 25139 0 -1 1077944384 345 12321 0 0 0 0 4 3 20 0 17 0 58265298 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652553560432 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
[pid=18689/tid=19024] ppid=18686 vsize=10715164 CPUtime=0.07 cores=0,2,4,6
/proc/18689/task/19024/stat : 19024 (java) S 18686 18689 25139 0 -1 1077944384 30 12321 0 0 0 0 4 3 20 0 17 0 58265298 10972327936 1171089 18446744073709551615 4194304 4196468 140730931086592 140652552508096 140653097297621 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 35037184 140730931095515 140730931098289 140730931098289 140730931101647 0
Current children cumulated CPU time (s) 2407.8
Current children cumulated vsize (KiB) 10715164

Child ended because it received signal 9 (SIGKILL)
Real time (s): 2285.73
CPU time (s): 2407.87
CPU user time (s): 2404.23
CPU system time (s): 3.63538
CPU usage (%): 105.343
Max. virtual memory (cumulated for all children) (KiB): 10715164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2404.23
system time used= 3.63538
maximum resident set size= 4684536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 477365
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 68167
involuntary context switches= 2708

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.52444 second user time and 13.7376 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-07 13:14:30
IDJOB=4249305
IDBENCH=139756
IDSOLVER=2630
FILE ID=node134/4249305-1502105309
RUNJOBID= node134-1502077974-12598
PBS_JOBID= 
Free space on /tmp= 62000 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/ChessboardColoration/ChessboardColoration-int-s2/ChessboardColoration-int-23-25.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4249305-1502105309/watcher-4249305-1502105309 -o /tmp/evaluation-result-4249305-1502105309/solver-4249305-1502105309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502077974-12598 --watchdog 2560  bin/concrete HOME/instance-4249305-1502105309.xml

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

MD5SUM BENCH= d34e1ab3749b5ab5f756e156ef97f2b6
RANDOM SEED=1986038006

node134.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.43
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.43
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.43
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.43
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:        28462216 kB
MemAvailable:   29132608 kB
Buffers:          214912 kB
Cached:           745480 kB
SwapCached:            0 kB
Active:          3412060 kB
Inactive:         462992 kB
Active(anon):    2917436 kB
Inactive(anon):    23032 kB
Active(file):     494624 kB
Inactive(file):   439960 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             28604 kB
Writeback:             8 kB
AnonPages:       2914808 kB
Mapped:            54300 kB
Shmem:             25276 kB
Slab:             129240 kB
SReclaimable:     103284 kB
SUnreclaim:        25956 kB
KernelStack:        3520 kB
PageTables:        11412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3451160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2689024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61968 MiB
End job on node134 at 2017-08-07 13:52:36