Trace number 4246442

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
R1: Concrete 3.4SAT 13.6182 5.05107

General information on the benchmark

NameKakuro/Kakuro-ext-easy/
Kakuro-easy-150-ext.xml
MD5SUMaeef81586704c1d195eb4c8bd225a9e3
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.107833
Satisfiable
(Un)Satisfiability was proved
Number of variables256
Number of constraints88
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":165}]
Minimum variable degree0
Maximum variable degree2
Distribution of variable degrees[{"degree":0,"count":91},{"degree":2,"count":165}]
Minimum constraint arity2
Maximum constraint arity7
Distribution of constraint arities[{"arity":2,"count":20},{"arity":3,"count":23},{"arity":4,"count":20},{"arity":5,"count":12},{"arity":6,"count":10},{"arity":7,"count":3}]
Number of extensional constraints88
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":88}]
Optimization problemNO
Type of objective

Solver Data 

3.68/2.20	c Concrete v3.4 running
13.32/4.95	v <instantiation>
13.32/4.95	v       <list>
13.32/4.95	v         x[1][1] x[1][2] x[1][3] x[1][7] x[1][8] x[1][9] x[1][13] x[1][14] x[1][15] x[2][1] x[2][2] x[2][3] x[2][4] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][12] x[2][13] x[2][14] x[2][15] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][3] x[4][4] x[4][5] x[4][6] x[4][10] x[4][11] x[4][12] x[4][13] x[5][2] x[5][3] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][12] x[5][13] x[5][14] x[6][1] x[6][2] x[6][4] x[6][5] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][13] x[6][14] x[6][15] x[7][1] x[7][2] x[7][3] x[7][4] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][14] x[7][15] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][7] x[8][8] x[8][9] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[9][1] x[9][2] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][12] x[9][13] x[9][14] x[9][15] x[10][1] x[10][2] x[10][3] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][11] x[10][12] x[10][14] x[10][15] x[11][2] x[11][3] x[11][4] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][13] x[11][14] x[12][3] x[12][4] x[12][5] x[12][6] x[12][10] x[12][11] x[12][12] x[12][13] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][1] x[14][2] x[14][3] x[14][4] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][12] x[14][13] x[14][14] x[14][15] x[15][1] x[15][2] x[15][3] x[15][7] x[15][8] x[15][9] x[15][13] x[15][14] x[15][15]
13.32/4.95	v       </list>
13.32/4.95	v       <values>
13.32/4.95	v         9 6 8 8 7 9 8 6 9 7 9 6 8 7 6 9 8 5 2 5 1 8 8 3 7 2 6 9 6 8 9 5 7 3 7 9 5 8 7 8 9 6 3 1 3 9 1 8 7 6 1 3 2 3 1 2 1 2 9 6 3 5 9 6 8 7 6 8 9 7 1 2 3 4 7 9 4 5 2 3 1 1 2 4 6 2 4 3 1 1 2 6 2 1 3 4 3 8 1 7 2 4 1 4 3 2 5 1 2 1 4 2 8 7 9 2 4 6 3 5 1 9 8 4 8 1 7 9 4 1 6 7 2 5 3 4 1 9 7 3 2 4 6 2 9 5 7 5 2 1 7 8 3 8 9 6 1 2 3 3 2 8 7 8 2
13.32/4.95	v       </values>
13.32/4.95	v     </instantiation>
13.32/4.95	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-4246442-1500715319/watcher-4246442-1500715319 -o /tmp/evaluation-result-4246442-1500715319/solver-4246442-1500715319 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22997 --watchdog 2560 bin/concrete HOME/instance-4246442-1500715319.xml 

pid=24615
running on 8 cores: 1,3,5,7,9,11,13,15

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: 2.68 2.07 1.93 3/263 24618
/proc/meminfo: memFree=29904544/32770624 swapFree=5700/360952
[pid=24618] ppid=24615 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (bash) S 24615 24618 22965 0 -1 4202496 684 1534 0 0 0 0 0 0 20 0 1 0 6799388 9736192 350 33554432000 4194304 5098028 140729740230480 140729740228120 139974573251584 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 13193216 140729740231950 140729740232035 140729740232035 140729740234734 0
/proc/24618/statm: 2377 350 278 221 0 86 0

[startup+0.100156 s]
/proc/loadavg: 2.68 2.07 1.93 3/263 24618
/proc/meminfo: memFree=29904544/32770624 swapFree=5700/360952
[pid=24618] ppid=24615 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (bash) S 24615 24618 22965 0 -1 4202496 878 6423 0 0 0 0 0 1 20 0 1 0 6799388 9871360 377 33554432000 4194304 5098028 140729740230480 140729740224488 139974573251584 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 13193216 140729740231950 140729740232035 140729740232035 140729740234734 0
/proc/24618/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200306 s]
/proc/loadavg: 2.68 2.07 1.93 3/263 24618
/proc/meminfo: memFree=29904544/32770624 swapFree=5700/360952
[pid=24618] ppid=24615 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (java) S 24615 24618 22965 0 -1 1077944320 5014 12471 0 0 5 1 8 4 20 0 13 0 6799388 10686320640 4869 33554432000 4194304 4196468 140728849627680 140728849610224 139833294749431 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
/proc/24618/statm: 2608965 4869 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300334 s]
/proc/loadavg: 2.68 2.07 1.93 3/263 24618
/proc/meminfo: memFree=29904544/32770624 swapFree=5700/360952
[pid=24618] ppid=24615 vsize=10902392 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (java) S 24615 24618 22965 0 -1 1077944320 7370 12471 0 0 22 3 8 4 20 0 20 0 6799388 11164049408 8575 33554432000 4194304 4196468 140728849627680 140728849610224 139833294749431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
/proc/24618/statm: 2725598 8575 2996 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392

[startup+0.700264 s]
/proc/loadavg: 2.68 2.07 1.93 3/263 24618
/proc/meminfo: memFree=29904544/32770624 swapFree=5700/360952
[pid=24618] ppid=24615 vsize=10902720 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (java) S 24615 24618 22965 0 -1 1077944320 12806 12471 0 0 77 5 8 4 20 0 20 0 6799388 11164385280 15524 33554432000 4194304 4196468 140728849627680 140728849610224 139833294749431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
/proc/24618/statm: 2725680 15524 3180 1 0 2713890 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 10902720

[startup+1.5008 s]
/proc/loadavg: 2.68 2.07 1.93 3/283 24691
/proc/meminfo: memFree=29791668/32770624 swapFree=5700/360932
[pid=24618] ppid=24615 vsize=10913344 CPUtime=2.32 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (java) S 24615 24618 22965 0 -1 1077944320 27552 12471 0 0 205 15 8 4 20 0 20 0 6799388 11175264256 43973 33554432000 4194304 4196468 140728849627680 140728849610224 139833294749431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
/proc/24618/statm: 2728336 43973 3409 1 0 2716450 0
[pid=24618/tid=24673] ppid=24615 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24673/stat : 24673 (java) R 24615 24618 22965 0 -1 4202560 19587 12471 0 0 125 6 8 4 20 0 20 0 6799401 11175264256 43973 33554432000 4194304 4196468 140728849627680 139833298977960 139833294761366 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24674] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24674/stat : 24674 (java) S 24615 24618 22965 0 -1 1077944384 131 12471 0 0 0 0 8 4 20 0 20 0 6799402 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832901110672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24675] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24675/stat : 24675 (java) S 24615 24618 22965 0 -1 1077944384 56 12471 0 0 0 0 8 4 20 0 20 0 6799402 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832900057872 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24676] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24676/stat : 24676 (java) S 24615 24618 22965 0 -1 1077944384 26 12471 0 0 0 0 8 4 20 0 20 0 6799402 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832899005584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24677] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24677/stat : 24677 (java) S 24615 24618 22965 0 -1 1077944384 73 12471 0 0 0 0 8 4 20 0 20 0 6799402 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832897952784 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24678] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24678/stat : 24678 (java) S 24615 24618 22965 0 -1 1077944384 41 12471 0 0 0 0 8 4 20 0 20 0 6799402 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832896899472 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24679] ppid=24615 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24679/stat : 24679 (java) S 24615 24618 22965 0 -1 1077944384 21 12471 0 0 1 0 8 4 20 0 20 0 6799402 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832895846672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24680] ppid=24615 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24680/stat : 24680 (java) S 24615 24618 22965 0 -1 1077944384 14 12471 0 0 1 0 8 4 20 0 20 0 6799402 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832894794384 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24681] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24681/stat : 24681 (java) S 24615 24618 22965 0 -1 1077944384 17 12471 0 0 0 0 8 4 20 0 20 0 6799402 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832893741584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24682] ppid=24615 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24682/stat : 24682 (java) S 24615 24618 22965 0 -1 1077944384 1574 12471 0 0 1 0 8 4 20 0 20 0 6799404 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832769272432 139833294760578 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24683] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24683/stat : 24683 (java) S 24615 24618 22965 0 -1 1077944384 55 12471 0 0 0 0 8 4 20 0 20 0 6799405 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832768218464 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24684] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24684/stat : 24684 (java) S 24615 24618 22965 0 -1 1077944384 45 12471 0 0 0 0 8 4 20 0 20 0 6799405 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832767166064 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24685] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24685/stat : 24685 (java) S 24615 24618 22965 0 -1 1077944384 1 12471 0 0 0 0 8 4 20 0 20 0 6799409 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832766114384 139833294768027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24686] ppid=24615 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24686/stat : 24686 (java) R 24615 24618 22965 0 -1 4202560 1025 12471 0 0 13 0 8 4 20 0 20 0 6799409 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832765047200 139833276293571 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24687] ppid=24615 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24687/stat : 24687 (java) S 24615 24618 22965 0 -1 1077944384 539 12471 0 0 14 0 8 4 20 0 20 0 6799409 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832764008432 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24688] ppid=24615 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24688/stat : 24688 (java) S 24615 24618 22965 0 -1 1077944384 680 12471 0 0 15 0 8 4 20 0 20 0 6799409 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832762956144 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24689] ppid=24615 vsize=10913344 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24689/stat : 24689 (java) S 24615 24618 22965 0 -1 1077944384 1532 12471 0 0 27 0 8 4 20 0 20 0 6799409 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832761903344 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24690] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24690/stat : 24690 (java) S 24615 24618 22965 0 -1 1077944384 3 12471 0 0 0 0 8 4 20 0 20 0 6799409 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832760851296 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24691] ppid=24615 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24691/stat : 24691 (java) S 24615 24618 22965 0 -1 1077944384 4 12471 0 0 0 0 8 4 20 0 20 0 6799410 11175264256 43973 33554432000 4194304 4196468 140728849627680 139832759798576 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10913344

[startup+3.10705 s]
/proc/loadavg: 2.68 2.07 1.93 3/262 24692
/proc/meminfo: memFree=31412808/32770624 swapFree=5700/360944
[pid=24618] ppid=24615 vsize=10925820 CPUtime=6.54 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (java) S 24615 24618 22965 0 -1 1077944320 49060 12471 0 0 615 27 8 4 20 0 20 0 6799388 11188039680 74053 33554432000 4194304 4196468 140728849627680 140728849610224 139833294749431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
/proc/24618/statm: 2731455 74053 3479 1 0 2719010 0
[pid=24618/tid=24673] ppid=24615 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24673/stat : 24673 (java) S 24615 24618 22965 0 -1 1077944384 31838 12471 0 0 279 10 8 4 20 0 20 0 6799401 11188039680 74053 33554432000 4194304 4196468 140728849627680 139833298978304 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24674] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24674/stat : 24674 (java) S 24615 24618 22965 0 -1 1077944384 138 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832901110672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24675] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24675/stat : 24675 (java) S 24615 24618 22965 0 -1 1077944384 64 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832900057872 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24676] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24676/stat : 24676 (java) S 24615 24618 22965 0 -1 1077944384 32 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832899005584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24677] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24677/stat : 24677 (java) S 24615 24618 22965 0 -1 1077944384 135 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832897952784 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24678] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24678/stat : 24678 (java) S 24615 24618 22965 0 -1 1077944384 46 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832896899472 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24679] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24679/stat : 24679 (java) S 24615 24618 22965 0 -1 1077944384 44 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832895846672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24680] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24680/stat : 24680 (java) S 24615 24618 22965 0 -1 1077944384 24 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832894794384 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24681] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24681/stat : 24681 (java) S 24615 24618 22965 0 -1 1077944384 99 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832893741584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24682] ppid=24615 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24682/stat : 24682 (java) R 24615 24618 22965 0 -1 4202560 1654 12471 0 0 1 0 8 4 20 0 20 0 6799404 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832769270944 139833279108841 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24683] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24683/stat : 24683 (java) S 24615 24618 22965 0 -1 1077944384 55 12471 0 0 0 0 8 4 20 0 20 0 6799405 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832768218464 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24684] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24684/stat : 24684 (java) S 24615 24618 22965 0 -1 1077944384 45 12471 0 0 0 0 8 4 20 0 20 0 6799405 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832767166064 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24685] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24685/stat : 24685 (java) S 24615 24618 22965 0 -1 1077944384 1 12471 0 0 0 0 8 4 20 0 20 0 6799409 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832766114384 139833294768027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24686] ppid=24615 vsize=10925820 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24686/stat : 24686 (java) R 24615 24618 22965 0 -1 4202560 5018 12471 0 0 83 1 8 4 20 0 20 0 6799409 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832765047776 139833274437261 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24687] ppid=24615 vsize=10925820 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24687/stat : 24687 (java) R 24615 24618 22965 0 -1 4202560 1804 12471 0 0 69 1 8 4 20 0 20 0 6799409 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832763987552 139833279859007 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24688] ppid=24615 vsize=10925820 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24688/stat : 24688 (java) S 24615 24618 22965 0 -1 1077944384 1640 12471 0 0 67 0 8 4 20 0 20 0 6799409 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832762947424 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24689] ppid=24615 vsize=10925820 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24689/stat : 24689 (java) S 24615 24618 22965 0 -1 1077944384 4286 12471 0 0 100 1 8 4 20 0 20 0 6799409 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832761903344 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24690] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24690/stat : 24690 (java) S 24615 24618 22965 0 -1 1077944384 3 12471 0 0 0 0 8 4 20 0 20 0 6799409 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832760851296 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24691] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24691/stat : 24691 (java) S 24615 24618 22965 0 -1 1077944384 6 12471 0 0 0 0 8 4 20 0 20 0 6799410 11188039680 74053 33554432000 4194304 4196468 140728849627680 139832759798576 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
Current children cumulated CPU time (s) 6.54
Current children cumulated vsize (KiB) 10925820

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

[startup+3.20099 s]
/proc/loadavg: 2.68 2.07 1.93 3/262 24692
/proc/meminfo: memFree=31412808/32770624 swapFree=5700/360944
[pid=24618] ppid=24615 vsize=10925820 CPUtime=6.94 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (java) S 24615 24618 22965 0 -1 1077944320 49185 12471 0 0 655 27 8 4 20 0 20 0 6799388 11188039680 75715 33554432000 4194304 4196468 140728849627680 140728849610224 139833294749431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
/proc/24618/statm: 2731455 75715 3479 1 0 2719010 0
[pid=24618/tid=24673] ppid=24615 vsize=10925820 CPUtime=3.1 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24673/stat : 24673 (java) R 24615 24618 22965 0 -1 4202560 31841 12471 0 0 288 10 8 4 20 0 20 0 6799401 11188039680 75715 33554432000 4194304 4196468 140728849627680 139833298982488 139832940561315 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24674] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24674/stat : 24674 (java) S 24615 24618 22965 0 -1 1077944384 138 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832901110672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24675] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24675/stat : 24675 (java) S 24615 24618 22965 0 -1 1077944384 64 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832900057872 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24676] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24676/stat : 24676 (java) S 24615 24618 22965 0 -1 1077944384 32 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832899005584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24677] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24677/stat : 24677 (java) S 24615 24618 22965 0 -1 1077944384 135 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832897952784 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24678] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24678/stat : 24678 (java) S 24615 24618 22965 0 -1 1077944384 46 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832896899472 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24679] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24679/stat : 24679 (java) S 24615 24618 22965 0 -1 1077944384 44 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832895846672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24680] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24680/stat : 24680 (java) S 24615 24618 22965 0 -1 1077944384 24 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832894794384 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24681] ppid=24615 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24681/stat : 24681 (java) S 24615 24618 22965 0 -1 1077944384 99 12471 0 0 1 1 8 4 20 0 20 0 6799402 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832893741584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24682] ppid=24615 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24682/stat : 24682 (java) S 24615 24618 22965 0 -1 1077944384 1684 12471 0 0 1 0 8 4 20 0 20 0 6799404 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832769272432 139833294760578 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24683] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24683/stat : 24683 (java) S 24615 24618 22965 0 -1 1077944384 56 12471 0 0 0 0 8 4 20 0 20 0 6799405 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832768218464 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24684] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24684/stat : 24684 (java) S 24615 24618 22965 0 -1 1077944384 46 12471 0 0 0 0 8 4 20 0 20 0 6799405 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832767166080 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24685] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24685/stat : 24685 (java) S 24615 24618 22965 0 -1 1077944384 1 12471 0 0 0 0 8 4 20 0 20 0 6799409 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832766114384 139833294768027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24686] ppid=24615 vsize=10925820 CPUtime=1.06 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24686/stat : 24686 (java) R 24615 24618 22965 0 -1 4202560 5042 12471 0 0 93 1 8 4 20 0 20 0 6799409 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832765045856 139833279872944 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24687] ppid=24615 vsize=10925820 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24687/stat : 24687 (java) R 24615 24618 22965 0 -1 4202560 1824 12471 0 0 78 1 8 4 20 0 20 0 6799409 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832763988880 139833279915031 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24688] ppid=24615 vsize=10925820 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24688/stat : 24688 (java) R 24615 24618 22965 0 -1 4202560 1651 12471 0 0 76 0 8 4 20 0 20 0 6799409 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832762937632 139833278136336 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24689] ppid=24615 vsize=10925820 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24689/stat : 24689 (java) S 24615 24618 22965 0 -1 1077944384 4321 12471 0 0 102 1 8 4 20 0 20 0 6799409 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832761903344 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24690] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24690/stat : 24690 (java) S 24615 24618 22965 0 -1 1077944384 3 12471 0 0 0 0 8 4 20 0 20 0 6799409 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832760851296 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24691] ppid=24615 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24691/stat : 24691 (java) S 24615 24618 22965 0 -1 1077944384 6 12471 0 0 0 0 8 4 20 0 20 0 6799410 11188039680 75715 33554432000 4194304 4196468 140728849627680 139832759798576 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 10925820

[startup+4.00108 s]
/proc/loadavg: 2.68 2.07 1.93 8/282 24726
/proc/meminfo: memFree=30904824/32770624 swapFree=5700/360936
[pid=24618] ppid=24615 vsize=10927868 CPUtime=9.72 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (java) S 24615 24618 22965 0 -1 1077944320 50972 12471 0 0 928 32 8 4 20 0 20 0 6799388 11190136832 80282 33554432000 4194304 4196468 140728849627680 140728849610224 139833294749431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
/proc/24618/statm: 2731967 80282 3485 1 0 2719522 0
[pid=24618/tid=24673] ppid=24615 vsize=10927868 CPUtime=3.88 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24673/stat : 24673 (java) R 24615 24618 22965 0 -1 4202560 32413 12471 0 0 365 11 8 4 20 0 20 0 6799401 11190136832 80282 33554432000 4194304 4196468 140728849627680 139833298981704 139832941165543 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24674] ppid=24615 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24674/stat : 24674 (java) S 24615 24618 22965 0 -1 1077944384 142 12471 0 0 2 1 8 4 20 0 20 0 6799402 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832901110672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24675] ppid=24615 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24675/stat : 24675 (java) S 24615 24618 22965 0 -1 1077944384 70 12471 0 0 2 1 8 4 20 0 20 0 6799402 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832900057872 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24676] ppid=24615 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24676/stat : 24676 (java) S 24615 24618 22965 0 -1 1077944384 39 12471 0 0 1 1 8 4 20 0 20 0 6799402 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832899005584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24677] ppid=24615 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24677/stat : 24677 (java) S 24615 24618 22965 0 -1 1077944384 146 12471 0 0 2 1 8 4 20 0 20 0 6799402 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832897952784 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24678] ppid=24615 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24678/stat : 24678 (java) S 24615 24618 22965 0 -1 1077944384 54 12471 0 0 2 1 8 4 20 0 20 0 6799402 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832896899472 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24679] ppid=24615 vsize=10927868 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24679/stat : 24679 (java) S 24615 24618 22965 0 -1 1077944384 53 12471 0 0 2 2 8 4 20 0 20 0 6799402 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832895846672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24680] ppid=24615 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24680/stat : 24680 (java) S 24615 24618 22965 0 -1 1077944384 29 12471 0 0 2 1 8 4 20 0 20 0 6799402 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832894794384 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24681] ppid=24615 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24681/stat : 24681 (java) S 24615 24618 22965 0 -1 1077944384 105 12471 0 0 2 1 8 4 20 0 20 0 6799402 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832893741584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24682] ppid=24615 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24682/stat : 24682 (java) S 24615 24618 22965 0 -1 1077944384 1696 12471 0 0 2 0 8 4 20 0 20 0 6799404 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832769272432 139833294760578 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24683] ppid=24615 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24683/stat : 24683 (java) S 24615 24618 22965 0 -1 1077944384 56 12471 0 0 0 0 8 4 20 0 20 0 6799405 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832768218464 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24684] ppid=24615 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24684/stat : 24684 (java) S 24615 24618 22965 0 -1 1077944384 46 12471 0 0 0 0 8 4 20 0 20 0 6799405 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832767166080 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24685] ppid=24615 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24685/stat : 24685 (java) S 24615 24618 22965 0 -1 1077944384 1 12471 0 0 0 0 8 4 20 0 20 0 6799409 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832766114384 139833294768027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24686] ppid=24615 vsize=10927868 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24686/stat : 24686 (java) R 24615 24618 22965 0 -1 4202560 5202 12471 0 0 148 1 8 4 20 0 20 0 6799409 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832765047456 139833278241511 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24687] ppid=24615 vsize=10927868 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24687/stat : 24687 (java) R 24615 24618 22965 0 -1 4202560 2021 12471 0 0 132 1 8 4 20 0 20 0 6799409 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832763988440 139833278246265 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24688] ppid=24615 vsize=10927868 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24688/stat : 24688 (java) R 24615 24618 22965 0 -1 4202560 1941 12471 0 0 133 0 8 4 20 0 20 0 6799409 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832762943792 139833278296356 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24689] ppid=24615 vsize=10927868 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24689/stat : 24689 (java) R 24615 24618 22965 0 -1 4202560 4822 12471 0 0 125 2 8 4 20 0 20 0 6799409 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832761903344 139833287846267 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24690] ppid=24615 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24690/stat : 24690 (java) S 24615 24618 22965 0 -1 1077944384 3 12471 0 0 0 0 8 4 20 0 20 0 6799409 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832760851296 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24691] ppid=24615 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24691/stat : 24691 (java) S 24615 24618 22965 0 -1 1077944384 6 12471 0 0 0 0 8 4 20 0 20 0 6799410 11190136832 80282 33554432000 4194304 4196468 140728849627680 139832759798576 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
Current children cumulated CPU time (s) 9.72
Current children cumulated vsize (KiB) 10927868

[startup+4.80084 s]
/proc/loadavg: 2.68 2.07 1.93 7/259 24749
/proc/meminfo: memFree=31266088/32770624 swapFree=5700/360936
[pid=24618] ppid=24615 vsize=10995452 CPUtime=12.95 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (java) S 24615 24618 22965 0 -1 1077944320 62883 12471 0 0 1244 39 8 4 20 0 20 0 6799388 11259342848 96260 33554432000 4194304 4196468 140728849627680 140728849610224 139833294749431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
/proc/24618/statm: 2748863 96260 3495 1 0 2736418 0
[pid=24618/tid=24673] ppid=24615 vsize=10995452 CPUtime=4.52 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24673/stat : 24673 (java) S 24615 24618 22965 0 -1 1077944384 40860 12471 0 0 427 13 8 4 20 0 20 0 6799401 11259342848 96260 33554432000 4194304 4196468 140728849627680 139833298987152 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24674] ppid=24615 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24674/stat : 24674 (java) S 24615 24618 22965 0 -1 1077944384 150 12471 0 0 11 2 8 4 20 0 20 0 6799402 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832901110672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24675] ppid=24615 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24675/stat : 24675 (java) S 24615 24618 22965 0 -1 1077944384 81 12471 0 0 12 2 8 4 20 0 20 0 6799402 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832900057872 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24676] ppid=24615 vsize=10995452 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24676/stat : 24676 (java) S 24615 24618 22965 0 -1 1077944384 47 12471 0 0 11 1 8 4 20 0 20 0 6799402 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832899005584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24677] ppid=24615 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24677/stat : 24677 (java) S 24615 24618 22965 0 -1 1077944384 168 12471 0 0 12 2 8 4 20 0 20 0 6799402 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832897952784 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24678] ppid=24615 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24678/stat : 24678 (java) S 24615 24618 22965 0 -1 1077944384 71 12471 0 0 11 2 8 4 20 0 20 0 6799402 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832896899472 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24679] ppid=24615 vsize=10995452 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24679/stat : 24679 (java) S 24615 24618 22965 0 -1 1077944384 72 12471 0 0 11 2 8 4 20 0 20 0 6799402 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832895846672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24680] ppid=24615 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24680/stat : 24680 (java) S 24615 24618 22965 0 -1 1077944384 61 12471 0 0 12 2 8 4 20 0 20 0 6799402 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832894794384 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24681] ppid=24615 vsize=10995452 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24681/stat : 24681 (java) S 24615 24618 22965 0 -1 1077944384 114 12471 0 0 12 2 8 4 20 0 20 0 6799402 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832893741584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24682] ppid=24615 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24682/stat : 24682 (java) R 24615 24618 22965 0 -1 4202560 2275 12471 0 0 6 0 8 4 20 0 20 0 6799404 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832769270832 139833280441131 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24683] ppid=24615 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24683/stat : 24683 (java) S 24615 24618 22965 0 -1 1077944384 56 12471 0 0 0 0 8 4 20 0 20 0 6799405 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832768218512 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24684] ppid=24615 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24684/stat : 24684 (java) S 24615 24618 22965 0 -1 1077944384 46 12471 0 0 0 0 8 4 20 0 20 0 6799405 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832767166080 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24685] ppid=24615 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24685/stat : 24685 (java) S 24615 24618 22965 0 -1 1077944384 1 12471 0 0 0 0 8 4 20 0 20 0 6799409 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832766114384 139833294768027 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24686] ppid=24615 vsize=10995452 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24686/stat : 24686 (java) S 24615 24618 22965 0 -1 1077944384 5312 12471 0 0 184 1 8 4 20 0 20 0 6799409 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832765041136 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24687] ppid=24615 vsize=10995452 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24687/stat : 24687 (java) S 24615 24618 22965 0 -1 1077944384 2340 12471 0 0 174 1 8 4 20 0 20 0 6799409 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832763988400 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24688] ppid=24615 vsize=10995452 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24688/stat : 24688 (java) S 24615 24618 22965 0 -1 1077944384 3814 12471 0 0 195 0 8 4 20 0 20 0 6799409 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832762940208 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24689] ppid=24615 vsize=10995452 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24689/stat : 24689 (java) S 24615 24618 22965 0 -1 1077944384 5277 12471 0 0 157 2 8 4 20 0 20 0 6799409 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832761903344 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24690] ppid=24615 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24690/stat : 24690 (java) S 24615 24618 22965 0 -1 1077944384 3 12471 0 0 0 0 8 4 20 0 20 0 6799409 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832760851296 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24691] ppid=24615 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24691/stat : 24691 (java) S 24615 24618 22965 0 -1 1077944384 7 12471 0 0 0 0 8 4 20 0 20 0 6799410 11259342848 96260 33554432000 4194304 4196468 140728849627680 139832759798576 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
Current children cumulated CPU time (s) 12.95
Current children cumulated vsize (KiB) 10995452

[startup+5.00108 s]
/proc/loadavg: 2.68 2.07 1.93 7/259 24749
/proc/meminfo: memFree=31266088/32770624 swapFree=5700/360936
[pid=24618] ppid=24615 vsize=11062016 CPUtime=13.55 cores=1,3,5,7,9,11,13,15
/proc/24618/stat : 24618 (java) S 24615 24618 22965 0 -1 1077944320 63650 12471 0 0 1303 40 8 4 20 0 19 0 6799388 11327504384 96997 33554432000 4194304 4196468 140728849627680 140728849610224 139833294749431 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
/proc/24618/statm: 2765504 96997 3497 1 0 2753059 0
[pid=24618/tid=24673] ppid=24615 vsize=11062016 CPUtime=4.59 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24673/stat : 24673 (java) S 24615 24618 22965 0 -1 1077944384 41001 12471 0 0 434 13 8 4 20 0 19 0 6799401 11327504384 96997 33554432000 4194304 4196468 140728849627680 139833298992272 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24674] ppid=24615 vsize=11062016 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24674/stat : 24674 (java) S 24615 24618 22965 0 -1 1077944384 158 12471 0 0 14 2 8 4 20 0 19 0 6799402 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832901110672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24675] ppid=24615 vsize=11062016 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24675/stat : 24675 (java) S 24615 24618 22965 0 -1 1077944384 90 12471 0 0 14 2 8 4 20 0 19 0 6799402 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832900057872 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24676] ppid=24615 vsize=11062016 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24676/stat : 24676 (java) S 24615 24618 22965 0 -1 1077944384 47 12471 0 0 13 1 8 4 20 0 19 0 6799402 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832899005584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24677] ppid=24615 vsize=11062016 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24677/stat : 24677 (java) S 24615 24618 22965 0 -1 1077944384 175 12471 0 0 15 2 8 4 20 0 19 0 6799402 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832897952784 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24678] ppid=24615 vsize=11062016 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24678/stat : 24678 (java) S 24615 24618 22965 0 -1 1077944384 72 12471 0 0 13 2 8 4 20 0 19 0 6799402 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832896899472 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24679] ppid=24615 vsize=11062016 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24679/stat : 24679 (java) S 24615 24618 22965 0 -1 1077944384 72 12471 0 0 13 2 8 4 20 0 19 0 6799402 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832895846672 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24680] ppid=24615 vsize=11062016 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24680/stat : 24680 (java) S 24615 24618 22965 0 -1 1077944384 61 12471 0 0 15 2 8 4 20 0 19 0 6799402 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832894794384 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24681] ppid=24615 vsize=11062016 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24681/stat : 24681 (java) S 24615 24618 22965 0 -1 1077944384 123 12471 0 0 14 2 8 4 20 0 19 0 6799402 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832893741584 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24682] ppid=24615 vsize=11062016 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24682/stat : 24682 (java) S 24615 24618 22965 0 -1 1077944384 2276 12471 0 0 11 0 8 4 20 0 19 0 6799404 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832769272640 139833294760578 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24683] ppid=24615 vsize=11062016 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24683/stat : 24683 (java) S 24615 24618 22965 0 -1 1077944384 57 12471 0 0 0 0 8 4 20 0 19 0 6799405 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832768218528 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24684] ppid=24615 vsize=11062016 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24684/stat : 24684 (java) S 24615 24618 22965 0 -1 1077944384 46 12471 0 0 0 0 8 4 20 0 19 0 6799405 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832767166080 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24685] ppid=24615 vsize=11062016 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24685/stat : 24685 (java) S 24615 24618 22965 0 -1 1077944384 3 12471 0 0 0 0 8 4 20 0 19 0 6799409 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832766113440 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24686] ppid=24615 vsize=11062016 CPUtime=2.01 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24686/stat : 24686 (java) S 24615 24618 22965 0 -1 1077944384 5324 12471 0 0 188 1 8 4 20 0 19 0 6799409 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832765050432 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24687] ppid=24615 vsize=11062016 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24687/stat : 24687 (java) S 24615 24618 22965 0 -1 1077944384 2360 12471 0 0 178 1 8 4 20 0 19 0 6799409 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832764008432 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24688] ppid=24615 vsize=11062016 CPUtime=2.23 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24688/stat : 24688 (java) R 24615 24618 22965 0 -1 4202560 4282 12471 0 0 211 0 8 4 20 0 19 0 6799409 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832762942304 139833279864677 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24689] ppid=24615 vsize=11062016 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24689/stat : 24689 (java) S 24615 24618 22965 0 -1 1077944384 5334 12471 0 0 160 2 8 4 20 0 19 0 6799409 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832761903344 139833294760578 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
[pid=24618/tid=24690] ppid=24615 vsize=11062016 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/24618/task/24690/stat : 24690 (java) S 24615 24618 22965 0 -1 1077944384 3 12471 0 0 0 0 8 4 20 0 19 0 6799409 11327504384 96997 33554432000 4194304 4196468 140728849627680 139832760851296 139833294759637 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 33280000 140728849631937 140728849634711 140728849634711 140728849637327 0
Current children cumulated CPU time (s) 13.55
Current children cumulated vsize (KiB) 11062016

Child status: 0
Real time (s): 5.05107
CPU time (s): 13.6182
CPU user time (s): 13.1593
CPU system time (s): 0.458876
CPU usage (%): 269.611
Max. virtual memory (cumulated for all children) (KiB): 11062016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.1593
system time used= 0.458876
maximum resident set size= 390668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76583
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9811
involuntary context switches= 1318

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036513 second user time and 0.066119 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 11:21:59
IDJOB=4246442
IDBENCH=125326
IDSOLVER=2630
FILE ID=node130/4246442-1500715319
RUNJOBID= node130-1500712981-22997
PBS_JOBID= 20623351
Free space on /tmp= 61844 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Kakuro/Kakuro-ext-easy/Kakuro-easy-150-ext.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4246442-1500715319/watcher-4246442-1500715319 -o /tmp/evaluation-result-4246442-1500715319/solver-4246442-1500715319 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22997 --watchdog 2560  bin/concrete HOME/instance-4246442-1500715319.xml

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

MD5SUM BENCH= aeef81586704c1d195eb4c8bd225a9e3
RANDOM SEED=587442613

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

/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		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2000.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
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.34
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
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:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2667.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
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	: 10
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	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2533.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
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	: 12
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	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
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	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
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.34
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
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:        29904588 kB
MemAvailable:   30316368 kB
Buffers:          138416 kB
Cached:           552724 kB
SwapCached:            0 kB
Active:          2058888 kB
Inactive:         369772 kB
Active(anon):    1740140 kB
Inactive(anon):     8844 kB
Active(file):     318748 kB
Inactive(file):   360928 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24876 kB
Writeback:             0 kB
AnonPages:       1708248 kB
Mapped:            43644 kB
Shmem:              8844 kB
Slab:             130424 kB
SReclaimable:      95876 kB
SUnreclaim:        34548 kB
KernelStack:        4624 kB
PageTables:         8720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3057076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1499136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61832 MiB
End job on node130 at 2017-07-22 11:22:04