Trace number 4262451

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.4SAT 9.46737 4.7401199

General information on the benchmark

NameNonogram/Nonogram-regular-gp/
Nonogram-124-regular.xml
MD5SUM4e36e3a3d58cd04b71e6df30ff36f979
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.062059999
Satisfiable
(Un)Satisfiability was proved
Number of variables576
Number of constraints48
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":576}]
Minimum variable degree2
Maximum variable degree2
Distribution of variable degrees[{"degree":2,"count":576}]
Minimum constraint arity24
Maximum constraint arity24
Distribution of constraint arities[{"arity":24,"count":48}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"regular","count":48}]
Optimization problemNO
Type of objective

Solver Data 

3.37/2.23	c Concrete v3.4 running
9.22/4.47	v <instantiation>
9.22/4.47	v       <list>
9.22/4.47	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23]
9.22/4.47	v       </list>
9.22/4.47	v       <values>
9.22/4.47	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 1 1 1 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 1 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 1 0 0 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 1 1 1 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 0 0 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
9.22/4.47	v       </values>
9.22/4.47	v     </instantiation>
9.22/4.47	s SATISFIABLE

Verifier Data 

OK

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-4262451-1502463136/watcher-4262451-1502463136 -o /tmp/evaluation-result-4262451-1502463136/solver-4262451-1502463136 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580 bin/concrete HOME/instance-4262451-1502463136.xml 

pid=24384
running on 4 cores: 1,3,5,7

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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.85 1.48 1.43 2/194 24387
/proc/meminfo: memFree=30651372/32770624 swapFree=0/396452
[pid=24387] ppid=24384 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/24387/stat : 24387 (runsolver) D 24384 24387 7434 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 34654258 24240128 106 18446744073709551615 4194304 4338465 140726810348112 140726810345752 139635063317207 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 18759680 140726810349777 140726810350153 140726810350153 140726810353610 0
/proc/24387/statm: 5918 106 53 36 0 2156 0

[startup+0.100109 s]
/proc/loadavg: 1.85 1.48 1.43 2/194 24387
/proc/meminfo: memFree=30651372/32770624 swapFree=0/396452
[pid=24387] ppid=24384 vsize=8 CPUtime=0 cores=1,3,5,7
/proc/24387/stat : 24387 (bash) R 24384 24387 7434 0 -1 4194304 257 0 0 0 0 0 0 0 20 0 1 0 34654258 8192 1 18446744073709551615 0 0 140727483601428 140731538140232 140030997633527 0 0 1 0 0 0 0 17 3 0 0 9 0 0 0 0 7258112 140727483601428 0 0 0 0
/proc/24387/statm: 308 1 0 221 0 43 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8

[startup+0.200321 s]
/proc/loadavg: 1.85 1.48 1.43 2/194 24387
/proc/meminfo: memFree=30651372/32770624 swapFree=0/396452
[pid=24387] ppid=24384 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/24387/stat : 24387 (bash) S 24384 24387 7434 0 -1 4202496 897 6477 0 0 0 0 0 1 20 0 1 0 34654258 9867264 377 18446744073709551615 4194304 5098028 140727483594448 140727483588456 139771868699648 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 9 0 0 7196144 7232144 26710016 140727483601428 140727483601513 140727483601513 140727483604970 0
/proc/24387/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300339 s]
/proc/loadavg: 1.85 1.48 1.43 2/194 24387
/proc/meminfo: memFree=30651372/32770624 swapFree=0/396452
[pid=24387] ppid=24384 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/24387/stat : 24387 (java) S 24384 24387 7434 0 -1 1077944320 5825 12703 0 0 5 1 5 3 20 0 14 0 34654258 14241083392 5503 18446744073709551615 4194304 4196468 140723278335264 140723278317808 139981893095159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
/proc/24387/statm: 3476827 5503 2561 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700256 s]
/proc/loadavg: 1.85 1.48 1.43 2/194 24387
/proc/meminfo: memFree=30651372/32770624 swapFree=0/396452
[pid=24387] ppid=24384 vsize=13974784 CPUtime=0.62 cores=1,3,5,7
/proc/24387/stat : 24387 (java) S 24384 24387 7434 0 -1 1077944320 13779 12703 0 0 50 4 5 3 20 0 15 0 34654258 14310178816 14208 18446744073709551615 4194304 4196468 140723278335264 140723278317808 139981893095159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
/proc/24387/statm: 3493696 14208 3074 1 0 3482965 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 13974784

[startup+1.50061 s]
/proc/loadavg: 1.85 1.48 1.43 3/209 24450
/proc/meminfo: memFree=30559984/32770624 swapFree=0/396728
[pid=24387] ppid=24384 vsize=13985408 CPUtime=1.82 cores=1,3,5,7
/proc/24387/stat : 24387 (java) S 24384 24387 7434 0 -1 1077944320 27342 12703 0 0 166 8 5 3 20 0 15 0 34654258 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 140723278317808 139981893095159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
/proc/24387/statm: 3496352 33936 3340 1 0 3485525 0
[pid=24387/tid=24437] ppid=24384 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/24387/task/24437/stat : 24437 (java) R 24384 24387 7434 0 -1 4202560 22503 12703 0 0 114 6 5 3 20 0 15 0 34654283 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981897324336 139981893107094 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24438] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24438/stat : 24438 (java) S 24384 24387 7434 0 -1 1077944384 1 12703 0 0 0 0 5 3 20 0 15 0 34654283 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981850061584 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24439] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24439/stat : 24439 (java) S 24384 24387 7434 0 -1 1077944384 1 12703 0 0 0 0 5 3 20 0 15 0 34654283 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981849009040 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24440] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24440/stat : 24440 (java) S 24384 24387 7434 0 -1 1077944384 1 12703 0 0 0 0 5 3 20 0 15 0 34654283 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981847956496 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24441] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24441/stat : 24441 (java) S 24384 24387 7434 0 -1 1077944384 2 12703 0 0 0 0 5 3 20 0 15 0 34654283 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981846903952 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24442] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24442/stat : 24442 (java) S 24384 24387 7434 0 -1 1077944384 6 12703 0 0 0 0 5 3 20 0 15 0 34654285 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981371725808 139981893106306 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24443] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24443/stat : 24443 (java) S 24384 24387 7434 0 -1 1077944384 33 12703 0 0 0 0 5 3 20 0 15 0 34654285 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981370672032 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24444] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24444/stat : 24444 (java) S 24384 24387 7434 0 -1 1077944384 21 12703 0 0 0 0 5 3 20 0 15 0 34654285 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981369619440 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24445] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24445/stat : 24445 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981368568016 139981893113755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24446] ppid=24384 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/24387/task/24446/stat : 24446 (java) S 24384 24387 7434 0 -1 1077944384 866 12703 0 0 15 0 5 3 20 0 15 0 34654288 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981367515632 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24447] ppid=24384 vsize=13985408 CPUtime=0.21 cores=1,3,5,7
/proc/24387/task/24447/stat : 24447 (java) S 24384 24387 7434 0 -1 1077944384 788 12703 0 0 13 0 5 3 20 0 15 0 34654288 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981366463088 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24448] ppid=24384 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/24387/task/24448/stat : 24448 (java) R 24384 24387 7434 0 -1 4202560 950 12703 0 0 22 0 5 3 20 0 15 0 34654288 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981365410544 139981874658711 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24449] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24449/stat : 24449 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981364358240 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24450] ppid=24384 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24450/stat : 24450 (java) S 24384 24387 7434 0 -1 1077944384 10 12703 0 0 0 0 5 3 20 0 15 0 34654293 14321057792 33936 18446744073709551615 4194304 4196468 140723278335264 139981363304752 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 13985408

[startup+3.10505 s]
/proc/loadavg: 1.94 1.51 1.44 3/209 24450
/proc/meminfo: memFree=30482436/32770624 swapFree=0/396756
[pid=24387] ppid=24384 vsize=13999932 CPUtime=5.33 cores=1,3,5,7
/proc/24387/stat : 24387 (java) S 24384 24387 7434 0 -1 1077944320 48768 12703 0 0 510 15 5 3 20 0 15 0 34654258 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 140723278317808 139981893095159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
/proc/24387/statm: 3499983 57813 3451 1 0 3488597 0
[pid=24387/tid=24437] ppid=24384 vsize=13999932 CPUtime=2.84 cores=1,3,5,7
/proc/24387/task/24437/stat : 24437 (java) R 24384 24387 7434 0 -1 4202560 37133 12703 0 0 267 9 5 3 20 0 15 0 34654283 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981897324936 139981878229003 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24438] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24438/stat : 24438 (java) S 24384 24387 7434 0 -1 1077944384 67 12703 0 0 0 0 5 3 20 0 15 0 34654283 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981850061584 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24439] ppid=24384 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/24387/task/24439/stat : 24439 (java) S 24384 24387 7434 0 -1 1077944384 36 12703 0 0 1 0 5 3 20 0 15 0 34654283 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981849009040 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24440] ppid=24384 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/24387/task/24440/stat : 24440 (java) S 24384 24387 7434 0 -1 1077944384 56 12703 0 0 1 0 5 3 20 0 15 0 34654283 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981847956496 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24441] ppid=24384 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/24387/task/24441/stat : 24441 (java) S 24384 24387 7434 0 -1 1077944384 224 12703 0 0 1 0 5 3 20 0 15 0 34654283 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981846903952 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24442] ppid=24384 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/24387/task/24442/stat : 24442 (java) S 24384 24387 7434 0 -1 1077944384 1956 12703 0 0 1 0 5 3 20 0 15 0 34654285 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981371725808 139981893106306 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24443] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24443/stat : 24443 (java) S 24384 24387 7434 0 -1 1077944384 56 12703 0 0 0 0 5 3 20 0 15 0 34654285 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981370672096 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24444] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24444/stat : 24444 (java) S 24384 24387 7434 0 -1 1077944384 44 12703 0 0 0 0 5 3 20 0 15 0 34654285 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981369619440 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24445] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24445/stat : 24445 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981368568016 139981893113755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24446] ppid=24384 vsize=13999932 CPUtime=0.71 cores=1,3,5,7
/proc/24387/task/24446/stat : 24446 (java) R 24384 24387 7434 0 -1 4202560 1527 12703 0 0 62 1 5 3 20 0 15 0 34654288 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981367506960 139981893107094 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24447] ppid=24384 vsize=13999932 CPUtime=0.8 cores=1,3,5,7
/proc/24387/task/24447/stat : 24447 (java) R 24384 24387 7434 0 -1 4202560 1773 12703 0 0 72 0 5 3 20 0 15 0 34654288 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981366434432 139981893116506 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24448] ppid=24384 vsize=13999932 CPUtime=1.09 cores=1,3,5,7
/proc/24387/task/24448/stat : 24448 (java) R 24384 24387 7434 0 -1 1077944384 3723 12703 0 0 100 1 5 3 20 0 15 0 34654288 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981365410544 139981893106306 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24449] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24449/stat : 24449 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981364358240 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24450] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24450/stat : 24450 (java) S 24384 24387 7434 0 -1 1077944384 11 12703 0 0 0 0 5 3 20 0 15 0 34654293 14335930368 57813 18446744073709551615 4194304 4196468 140723278335264 139981363304752 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
Current children cumulated CPU time (s) 5.33
Current children cumulated vsize (KiB) 13999932

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24387 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20081 s]
/proc/loadavg: 1.94 1.51 1.44 3/209 24450
/proc/meminfo: memFree=30482436/32770624 swapFree=0/396756
[pid=24387] ppid=24384 vsize=13999932 CPUtime=5.65 cores=1,3,5,7
/proc/24387/stat : 24387 (java) S 24384 24387 7434 0 -1 1077944320 49073 12703 0 0 542 15 5 3 20 0 15 0 34654258 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 140723278317808 139981893095159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
/proc/24387/statm: 3499983 61181 3453 1 0 3488597 0
[pid=24387/tid=24437] ppid=24384 vsize=13999932 CPUtime=2.94 cores=1,3,5,7
/proc/24387/task/24437/stat : 24437 (java) R 24384 24387 7434 0 -1 4202560 37329 12703 0 0 277 9 5 3 20 0 15 0 34654283 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981897306304 139981893117085 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24438] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24438/stat : 24438 (java) S 24384 24387 7434 0 -1 1077944384 67 12703 0 0 0 0 5 3 20 0 15 0 34654283 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981850061584 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24439] ppid=24384 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/24387/task/24439/stat : 24439 (java) S 24384 24387 7434 0 -1 1077944384 36 12703 0 0 1 0 5 3 20 0 15 0 34654283 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981849009040 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24440] ppid=24384 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/24387/task/24440/stat : 24440 (java) S 24384 24387 7434 0 -1 1077944384 56 12703 0 0 1 0 5 3 20 0 15 0 34654283 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981847956496 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24441] ppid=24384 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/24387/task/24441/stat : 24441 (java) S 24384 24387 7434 0 -1 1077944384 224 12703 0 0 1 0 5 3 20 0 15 0 34654283 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981846903952 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24442] ppid=24384 vsize=13999932 CPUtime=0.09 cores=1,3,5,7
/proc/24387/task/24442/stat : 24442 (java) S 24384 24387 7434 0 -1 1077944384 1956 12703 0 0 1 0 5 3 20 0 15 0 34654285 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981371725808 139981893106306 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24443] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24443/stat : 24443 (java) S 24384 24387 7434 0 -1 1077944384 56 12703 0 0 0 0 5 3 20 0 15 0 34654285 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981370672096 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24444] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24444/stat : 24444 (java) S 24384 24387 7434 0 -1 1077944384 44 12703 0 0 0 0 5 3 20 0 15 0 34654285 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981369619440 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24445] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24445/stat : 24445 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981368568016 139981893113755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24446] ppid=24384 vsize=13999932 CPUtime=0.81 cores=1,3,5,7
/proc/24387/task/24446/stat : 24446 (java) S 24384 24387 7434 0 -1 1077944384 1564 12703 0 0 72 1 5 3 20 0 15 0 34654288 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981367515632 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24447] ppid=24384 vsize=13999932 CPUtime=0.9 cores=1,3,5,7
/proc/24387/task/24447/stat : 24447 (java) S 24384 24387 7434 0 -1 1077944384 1810 12703 0 0 82 0 5 3 20 0 15 0 34654288 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981366463088 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24448] ppid=24384 vsize=13999932 CPUtime=1.12 cores=1,3,5,7
/proc/24387/task/24448/stat : 24448 (java) S 24384 24387 7434 0 -1 1077944384 3758 12703 0 0 103 1 5 3 20 0 15 0 34654288 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981365410544 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24449] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24449/stat : 24449 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981364358240 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24450] ppid=24384 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24450/stat : 24450 (java) S 24384 24387 7434 0 -1 1077944384 11 12703 0 0 0 0 5 3 20 0 15 0 34654293 14335930368 61181 18446744073709551615 4194304 4196468 140723278335264 139981363304752 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 13999932

[startup+4.00593 s]
/proc/loadavg: 1.94 1.51 1.44 5/209 24450
/proc/meminfo: memFree=30416436/32770624 swapFree=0/396756
[pid=24387] ppid=24384 vsize=14067516 CPUtime=8.1 cores=1,3,5,7
/proc/24387/stat : 24387 (java) S 24384 24387 7434 0 -1 1077944320 60600 12703 0 0 783 19 5 3 20 0 15 0 34654258 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 140723278317808 139981893095159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
/proc/24387/statm: 3516879 77388 3458 1 0 3505493 0
[pid=24387/tid=24437] ppid=24384 vsize=14067516 CPUtime=3.7 cores=1,3,5,7
/proc/24387/task/24437/stat : 24437 (java) R 24384 24387 7434 0 -1 4202560 44963 12703 0 0 351 11 5 3 20 0 15 0 34654283 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981897323632 139981537191002 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24438] ppid=24384 vsize=14067516 CPUtime=0.1 cores=1,3,5,7
/proc/24387/task/24438/stat : 24438 (java) S 24384 24387 7434 0 -1 1077944384 91 12703 0 0 2 0 5 3 20 0 15 0 34654283 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981850061584 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24439] ppid=24384 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/24387/task/24439/stat : 24439 (java) S 24384 24387 7434 0 -1 1077944384 57 12703 0 0 3 0 5 3 20 0 15 0 34654283 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981849009040 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24440] ppid=24384 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/24387/task/24440/stat : 24440 (java) S 24384 24387 7434 0 -1 1077944384 121 12703 0 0 3 0 5 3 20 0 15 0 34654283 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981847956496 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24441] ppid=24384 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/24387/task/24441/stat : 24441 (java) S 24384 24387 7434 0 -1 1077944384 249 12703 0 0 3 0 5 3 20 0 15 0 34654283 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981846903952 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24442] ppid=24384 vsize=14067516 CPUtime=0.11 cores=1,3,5,7
/proc/24387/task/24442/stat : 24442 (java) S 24384 24387 7434 0 -1 1077944384 2689 12703 0 0 3 0 5 3 20 0 15 0 34654285 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981371725808 139981893106306 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24443] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24443/stat : 24443 (java) S 24384 24387 7434 0 -1 1077944384 56 12703 0 0 0 0 5 3 20 0 15 0 34654285 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981370672096 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24444] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24444/stat : 24444 (java) S 24384 24387 7434 0 -1 1077944384 44 12703 0 0 0 0 5 3 20 0 15 0 34654285 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981369619456 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24445] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24445/stat : 24445 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981368568016 139981893113755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24446] ppid=24384 vsize=14067516 CPUtime=1.4 cores=1,3,5,7
/proc/24387/task/24446/stat : 24446 (java) R 24384 24387 7434 0 -1 4202560 2328 12703 0 0 131 1 5 3 20 0 15 0 34654288 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981367502144 139981872451179 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24447] ppid=24384 vsize=14067516 CPUtime=1.57 cores=1,3,5,7
/proc/24387/task/24447/stat : 24447 (java) R 24384 24387 7434 0 -1 4202560 3459 12703 0 0 149 0 5 3 20 0 15 0 34654288 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981366449632 139981874639648 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24448] ppid=24384 vsize=14067516 CPUtime=1.43 cores=1,3,5,7
/proc/24387/task/24448/stat : 24448 (java) R 24384 24387 7434 0 -1 4202560 4370 12703 0 0 133 2 5 3 20 0 15 0 34654288 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981365407280 139981872033429 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24449] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24449/stat : 24449 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981364358240 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24450] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24450/stat : 24450 (java) S 24384 24387 7434 0 -1 1077944384 11 12703 0 0 0 0 5 3 20 0 15 0 34654293 14405136384 77388 18446744073709551615 4194304 4196468 140723278335264 139981363304752 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 14067516

[startup+4.40061 s]
/proc/loadavg: 1.94 1.51 1.44 6/209 24450
/proc/meminfo: memFree=30342872/32770624 swapFree=0/396752
[pid=24387] ppid=24384 vsize=14067516 CPUtime=9.22 cores=1,3,5,7
/proc/24387/stat : 24387 (java) S 24384 24387 7434 0 -1 1077944320 61018 12703 0 0 895 19 5 3 20 0 15 0 34654258 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 140723278317808 139981893095159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
/proc/24387/statm: 3516879 80282 3461 1 0 3505493 0
[pid=24387/tid=24437] ppid=24384 vsize=14067516 CPUtime=3.91 cores=1,3,5,7
/proc/24387/task/24437/stat : 24437 (java) S 24384 24387 7434 0 -1 1077944384 45020 12703 0 0 372 11 5 3 20 0 15 0 34654283 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981897332704 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24438] ppid=24384 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/24387/task/24438/stat : 24438 (java) S 24384 24387 7434 0 -1 1077944384 93 12703 0 0 12 0 5 3 20 0 15 0 34654283 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981850061584 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24439] ppid=24384 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/24387/task/24439/stat : 24439 (java) R 24384 24387 7434 0 -1 4202560 63 12703 0 0 12 0 5 3 20 0 15 0 34654283 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981849009160 139981885723367 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24440] ppid=24384 vsize=14067516 CPUtime=0.21 cores=1,3,5,7
/proc/24387/task/24440/stat : 24440 (java) S 24384 24387 7434 0 -1 1077944384 133 12703 0 0 13 0 5 3 20 0 15 0 34654283 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981847956496 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24441] ppid=24384 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/24387/task/24441/stat : 24441 (java) S 24384 24387 7434 0 -1 1077944384 262 12703 0 0 12 0 5 3 20 0 15 0 34654283 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981846903968 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24442] ppid=24384 vsize=14067516 CPUtime=0.2 cores=1,3,5,7
/proc/24387/task/24442/stat : 24442 (java) S 24384 24387 7434 0 -1 1077944384 2705 12703 0 0 12 0 5 3 20 0 15 0 34654285 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981371724432 139981893105365 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24443] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24443/stat : 24443 (java) S 24384 24387 7434 0 -1 1077944384 56 12703 0 0 0 0 5 3 20 0 15 0 34654285 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981370671728 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24444] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24444/stat : 24444 (java) S 24384 24387 7434 0 -1 1077944384 44 12703 0 0 0 0 5 3 20 0 15 0 34654285 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981369619456 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24445] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24445/stat : 24445 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981368568016 139981893113755 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24446] ppid=24384 vsize=14067516 CPUtime=1.57 cores=1,3,5,7
/proc/24387/task/24446/stat : 24446 (java) S 24384 24387 7434 0 -1 1077944384 2379 12703 0 0 148 1 5 3 20 0 15 0 34654288 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981367499824 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24447] ppid=24384 vsize=14067516 CPUtime=1.75 cores=1,3,5,7
/proc/24387/task/24447/stat : 24447 (java) S 24384 24387 7434 0 -1 1077944384 3497 12703 0 0 167 0 5 3 20 0 15 0 34654288 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981366443024 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24448] ppid=24384 vsize=14067516 CPUtime=1.51 cores=1,3,5,7
/proc/24387/task/24448/stat : 24448 (java) S 24384 24387 7434 0 -1 1077944384 4592 12703 0 0 141 2 5 3 20 0 15 0 34654288 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981365410544 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24449] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24449/stat : 24449 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 15 0 34654288 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981364358240 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24450] ppid=24384 vsize=14067516 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24450/stat : 24450 (java) S 24384 24387 7434 0 -1 1077944384 12 12703 0 0 0 0 5 3 20 0 15 0 34654293 14405136384 80282 18446744073709551615 4194304 4196468 140723278335264 139981363304752 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
Current children cumulated CPU time (s) 9.22
Current children cumulated vsize (KiB) 14067516

[startup+4.60061 s]
/proc/loadavg: 1.94 1.51 1.44 6/209 24450
/proc/meminfo: memFree=30342872/32770624 swapFree=0/396752
[pid=24387] ppid=24384 vsize=14136128 CPUtime=9.44 cores=1,3,5,7
/proc/24387/stat : 24387 (java) S 24384 24387 7434 0 -1 1077944320 61251 12703 0 0 917 19 5 3 20 0 13 0 34654258 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 140723278317808 139981893095159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
/proc/24387/statm: 3534032 80509 3463 1 0 3522646 0
[pid=24387/tid=24437] ppid=24384 vsize=14136128 CPUtime=3.98 cores=1,3,5,7
/proc/24387/task/24437/stat : 24437 (java) D 24384 24387 7434 0 -1 4202560 45153 12703 0 0 379 11 5 3 20 0 13 0 34654283 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981897338168 139981885780791 0 0 1 16800974 18446744072099896453 0 0 -1 1 0 0 4 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24438] ppid=24384 vsize=14136128 CPUtime=0.2 cores=1,3,5,7
/proc/24387/task/24438/stat : 24438 (java) S 24384 24387 7434 0 -1 1077944384 93 12703 0 0 12 0 5 3 20 0 13 0 34654283 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981850061584 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24439] ppid=24384 vsize=14136128 CPUtime=0.2 cores=1,3,5,7
/proc/24387/task/24439/stat : 24439 (java) S 24384 24387 7434 0 -1 1077944384 63 12703 0 0 12 0 5 3 20 0 13 0 34654283 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981849009040 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24440] ppid=24384 vsize=14136128 CPUtime=0.21 cores=1,3,5,7
/proc/24387/task/24440/stat : 24440 (java) S 24384 24387 7434 0 -1 1077944384 133 12703 0 0 13 0 5 3 20 0 13 0 34654283 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981847956496 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24441] ppid=24384 vsize=14136128 CPUtime=0.2 cores=1,3,5,7
/proc/24387/task/24441/stat : 24441 (java) S 24384 24387 7434 0 -1 1077944384 262 12703 0 0 12 0 5 3 20 0 13 0 34654283 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981846903952 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24443] ppid=24384 vsize=14136128 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24443/stat : 24443 (java) S 24384 24387 7434 0 -1 1077944384 56 12703 0 0 0 0 5 3 20 0 13 0 34654285 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981370672096 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24444] ppid=24384 vsize=14136128 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24444/stat : 24444 (java) S 24384 24387 7434 0 -1 1077944384 44 12703 0 0 0 0 5 3 20 0 13 0 34654285 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981369619456 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24445] ppid=24384 vsize=14136128 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24445/stat : 24445 (java) S 24384 24387 7434 0 -1 1077944384 26 12703 0 0 0 0 5 3 20 0 13 0 34654288 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981368566784 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24446] ppid=24384 vsize=14136128 CPUtime=1.64 cores=1,3,5,7
/proc/24387/task/24446/stat : 24446 (java) S 24384 24387 7434 0 -1 1077944384 2398 12703 0 0 155 1 5 3 20 0 13 0 34654288 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981367496032 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24447] ppid=24384 vsize=14136128 CPUtime=1.82 cores=1,3,5,7
/proc/24387/task/24447/stat : 24447 (java) S 24384 24387 7434 0 -1 1077944384 3497 12703 0 0 174 0 5 3 20 0 13 0 34654288 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981366444624 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24448] ppid=24384 vsize=14136128 CPUtime=1.53 cores=1,3,5,7
/proc/24387/task/24448/stat : 24448 (java) S 24384 24387 7434 0 -1 1077944384 4618 12703 0 0 143 2 5 3 20 0 13 0 34654288 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981365410544 139981893106306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
[pid=24387/tid=24449] ppid=24384 vsize=14136128 CPUtime=0.08 cores=1,3,5,7
/proc/24387/task/24449/stat : 24449 (java) S 24384 24387 7434 0 -1 1077944384 3 12703 0 0 0 0 5 3 20 0 13 0 34654288 14475395072 80509 18446744073709551615 4194304 4196468 140723278335264 139981364358240 139981893105365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 17543168 140723278342096 140723278344881 140723278344881 140723278348239 0
Current children cumulated CPU time (s) 9.44
Current children cumulated vsize (KiB) 14136128

[startup+4.70059 s]
/proc/loadavg: 1.94 1.51 1.44 6/209 24450
/proc/meminfo: memFree=30342872/32770624 swapFree=0/396752
[pid=24387] ppid=24384 vsize=0 CPUtime=9.45 cores=1,3,5,7
/proc/24387/stat : 24387 (java) Z 24384 24387 7434 0 -1 4227084 61269 12703 0 0 917 20 5 3 20 0 2 0 34654258 0 0 18446744073709551615 0 0 0 0 0 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 9 0 0 0 0 0 0 0 0 0 0
/proc/24387/statm: 0 0 0 0 0 0 0
[pid=24387/tid=24449] ppid=24384 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/24387/task/24449/stat : 24449 (java) D 24384 24387 7434 0 -1 4203588 3 12703 0 0 0 1 5 3 20 0 2 0 34654288 0 0 18446744073709551615 0 0 0 0 0 0 4 1 16800974 18446744073709551615 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.45
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.74012
CPU time (s): 9.46737
CPU user time (s): 9.22906
CPU system time (s): 0.238305
CPU usage (%): 199.728
Max. virtual memory (cumulated for all children) (KiB): 14136128

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.22906
system time used= 0.238305
maximum resident set size= 322728
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73972
page faults= 0
swaps= 0
block input operations= 0
block output operations= 168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6753
involuntary context switches= 54

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.02411 second user time and 0.029352 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-11 16:38:00
IDJOB=4262451
IDBENCH=134135
IDSOLVER=2650
FILE ID=node124/4262451-1502463136
RUNJOBID= node124-1502411387-7498
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Nonogram/Nonogram-regular-gp/Nonogram-124-regular.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262451-1502463136/watcher-4262451-1502463136 -o /tmp/evaluation-result-4262451-1502463136/solver-4262451-1502463136 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7498 --watchdog 2580  bin/concrete HOME/instance-4262451-1502463136.xml

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

MD5SUM BENCH= 4e36e3a3d58cd04b71e6df30ff36f979
RANDOM SEED=1935722295

node124.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.51
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.51
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.51
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.51
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:        30652556 kB
MemAvailable:   31089400 kB
Buffers:          212808 kB
Cached:           510896 kB
SwapCached:            0 kB
Active:          1288772 kB
Inactive:         413220 kB
Active(anon):     978648 kB
Inactive(anon):    16768 kB
Active(file):     310124 kB
Inactive(file):   396452 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24596 kB
Writeback:             0 kB
AnonPages:       1029928 kB
Mapped:            51136 kB
Shmem:             17128 kB
Slab:             117992 kB
SReclaimable:      92204 kB
SUnreclaim:        25788 kB
KernelStack:        3744 kB
PageTables:         7068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1788100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    944128 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61984 MiB
End job on node124 at 2017-08-11 16:38:05