Trace number 4248847

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 15.1205 4.95965

General information on the benchmark

NameRadarSurveillance/RadarSurveillance-m1-s8-30/
RadarSurveillance-8-30-3-0-28.xml
MD5SUMfca7dc5663c287dc06adb4769da1d320
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.127432
Satisfiable
(Un)Satisfiability was proved
Number of variables180
Number of constraints64
Number of domains1
Minimum domain size4
Maximum domain size4
Distribution of domain sizes[{"size":4,"count":151}]
Minimum variable degree0
Maximum variable degree6
Distribution of variable degrees[{"degree":0,"count":29},{"degree":1,"count":13},{"degree":2,"count":10},{"degree":3,"count":17},{"degree":4,"count":10},{"degree":5,"count":18},{"degree":6,"count":83}]
Minimum constraint arity3
Maximum constraint arity19
Distribution of constraint arities[{"arity":3,"count":1},{"arity":5,"count":1},{"arity":6,"count":4},{"arity":7,"count":5},{"arity":8,"count":8},{"arity":9,"count":4},{"arity":10,"count":6},{"arity":11,"count":6},{"arity":12,"count":6},{"arity":13,"count":6},{"arity":14,"count":4},{"arity":15,"count":6},{"arity":16,"count":2},{"arity":17,"count":2},{"arity":19,"count":3}]
Number of extensional constraints0
Number of intensional constraints64
Distribution of constraint types[{"type":"intension","count":64}]
Optimization problemNO
Type of objective

Solver Data 

3.79/2.12	c Concrete v3.4 running
14.91/4.93	v <instantiation>
14.91/4.93	v       <list>
14.91/4.93	v         x[0][1] x[0][2] x[0][3] x[1][1] x[1][2] x[1][3] x[1][4] x[2][1] x[2][2] x[2][3] x[2][4] x[3][1] x[3][2] x[3][3] x[3][4] x[4][1] x[4][2] x[4][3] x[4][4] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[11][0] x[11][3] x[11][4] x[11][5] x[12][0] x[12][1] x[12][2] x[12][3] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[15][0] x[15][2] x[15][3] x[15][4] x[15][5] x[16][0] x[16][1] x[16][2] x[16][3] x[16][5] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[24][0] x[24][2] x[24][3] x[24][4] x[24][5] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[27][0] x[27][3] x[27][4] x[27][5] x[28][0] x[28][1] x[29][0] x[29][4] x[29][5]
14.91/4.93	v       </list>
14.91/4.93	v       <values>
14.91/4.93	v         2 3 1 3 0 0 1 3 0 0 0 0 1 0 0 1 2 3 0 3 1 1 1 3 0 0 0 2 3 3 1 0 0 3 0 0 3 0 0 3 0 0 0 0 0 3 3 3 0 3 3 0 0 3 1 0 0 0 0 0 2 1 0 3 0 3 0 1 3 3 0 0 2 3 3 0 0 0 0 0 1 3 0 0 0 0 3 0 1 0 0 0 0 3 1 0 3 1 3 0 0 0 0 0 1 3 0 0 3 2 0 0 3 0 0 0 1 0 0 3 1 1 3 0 0 0 3 3 1 1 0 1 3 3 3 0 0 3 3 0 1 0 1 0 0 0 0 3 0 0 0
14.91/4.93	v       </values>
14.91/4.93	v     </instantiation>
14.91/4.93	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-4248847-1500752283/watcher-4248847-1500752283 -o /tmp/evaluation-result-4248847-1500752283/solver-4248847-1500752283 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560 bin/concrete HOME/instance-4248847-1500752283.xml 

pid=22056
running on 8 cores: 4-7,12-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: 1.56 1.14 1.23 4/243 22060
/proc/meminfo: memFree=31777876/32770624 swapFree=5832/237848
[pid=22060] ppid=22056 vsize=9508 CPUtime=0 cores=4-7,12-15
/proc/22060/stat : 22060 (bash) S 22056 22060 21492 0 -1 4202496 684 1534 0 0 0 0 0 0 20 0 1 0 10493660 9736192 350 33554432000 4194304 5098028 140725160451680 140725160449320 140270232046592 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 31825920 140725160453390 140725160453475 140725160453475 140725160456174 0
/proc/22060/statm: 2377 350 278 221 0 86 0

[startup+0.100159 s]
/proc/loadavg: 1.56 1.14 1.23 4/243 22060
/proc/meminfo: memFree=31777876/32770624 swapFree=5832/237848
[pid=22060] ppid=22056 vsize=9640 CPUtime=0.01 cores=4-7,12-15
/proc/22060/stat : 22060 (bash) S 22056 22060 21492 0 -1 4202496 878 6422 0 0 0 0 0 1 20 0 1 0 10493660 9871360 377 33554432000 4194304 5098028 140725160451680 140725160445688 140270232046592 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 31825920 140725160453390 140725160453475 140725160453475 140725160456174 0
/proc/22060/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200332 s]
/proc/loadavg: 1.56 1.14 1.23 4/243 22060
/proc/meminfo: memFree=31777876/32770624 swapFree=5832/237848
[pid=22060] ppid=22056 vsize=10435860 CPUtime=0.18 cores=4-7,12-15
/proc/22060/stat : 22060 (java) S 22056 22060 21492 0 -1 1077944320 5032 12299 0 0 6 1 8 3 20 0 13 0 10493660 10686320640 5370 33554432000 4194304 4196468 140721339846320 140721339828864 139900217822967 0 0 0 16800971 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
/proc/22060/statm: 2608965 5370 2138 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300269 s]
/proc/loadavg: 1.56 1.14 1.23 4/243 22060
/proc/meminfo: memFree=31777876/32770624 swapFree=5832/237848
[pid=22060] ppid=22056 vsize=10902292 CPUtime=0.35 cores=4-7,12-15
/proc/22060/stat : 22060 (java) S 22056 22060 21492 0 -1 1077944320 8281 12299 0 0 22 2 8 3 20 0 20 0 10493660 11163947008 9464 33554432000 4194304 4196468 140721339846320 140721339828864 139900217822967 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
/proc/22060/statm: 2725573 9464 2983 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292

[startup+0.700201 s]
/proc/loadavg: 1.56 1.14 1.23 4/243 22060
/proc/meminfo: memFree=31777876/32770624 swapFree=5832/237848
[pid=22060] ppid=22056 vsize=10902720 CPUtime=0.92 cores=4-7,12-15
/proc/22060/stat : 22060 (java) S 22056 22060 21492 0 -1 1077944320 12664 12299 0 0 78 3 8 3 20 0 20 0 10493660 11164385280 15895 33554432000 4194304 4196468 140721339846320 140721339828864 139900217822967 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
/proc/22060/statm: 2725680 15895 3216 1 0 2713890 0
Current children cumulated CPU time (s) 0.92
Current children cumulated vsize (KiB) 10902720

[startup+1.50105 s]
/proc/loadavg: 1.56 1.14 1.23 4/283 22256
/proc/meminfo: memFree=31649100/32770624 swapFree=5832/237068
[pid=22060] ppid=22056 vsize=10913344 CPUtime=2.26 cores=4-7,12-15
/proc/22060/stat : 22060 (java) S 22056 22060 21492 0 -1 1077944320 28170 12299 0 0 204 11 8 3 20 0 20 0 10493660 11175264256 44694 33554432000 4194304 4196468 140721339846320 140721339828864 139900217822967 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
/proc/22060/statm: 2728336 44694 3400 1 0 2716450 0
[pid=22060/tid=22134] ppid=22056 vsize=10913344 CPUtime=1.42 cores=4-7,12-15
/proc/22060/task/22134/stat : 22134 (java) R 22056 22060 21492 0 -1 4202560 19812 12299 0 0 126 5 8 3 20 0 20 0 10493673 11175264256 44694 33554432000 4194304 4196468 140721339846320 139900222053448 139899852442272 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22135] ppid=22056 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22135/stat : 22135 (java) S 22056 22060 21492 0 -1 1077944384 132 12299 0 0 1 0 8 3 20 0 20 0 10493674 11175264256 44694 33554432000 4194304 4196468 140721339846320 139900174375568 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22136] ppid=22056 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22136/stat : 22136 (java) S 22056 22060 21492 0 -1 1077944384 15 12299 0 0 0 0 8 3 20 0 20 0 10493674 11175264256 44694 33554432000 4194304 4196468 140721339846320 139900173322768 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22137] ppid=22056 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22137/stat : 22137 (java) S 22056 22060 21492 0 -1 1077944384 4 12299 0 0 0 0 8 3 20 0 20 0 10493674 11175264256 44694 33554432000 4194304 4196468 140721339846320 139900172269968 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22138] ppid=22056 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22138/stat : 22138 (java) S 22056 22060 21492 0 -1 1077944384 14 12299 0 0 0 0 8 3 20 0 20 0 10493674 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899821807888 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22139] ppid=22056 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22139/stat : 22139 (java) S 22056 22060 21492 0 -1 1077944384 40 12299 0 0 0 0 8 3 20 0 20 0 10493674 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899820756112 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22140] ppid=22056 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22140/stat : 22140 (java) S 22056 22060 21492 0 -1 1077944384 58 12299 0 0 1 0 8 3 20 0 20 0 10493674 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899819703312 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22141] ppid=22056 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22141/stat : 22141 (java) S 22056 22060 21492 0 -1 1077944384 31 12299 0 0 1 0 8 3 20 0 20 0 10493674 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899818650512 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22142] ppid=22056 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22142/stat : 22142 (java) S 22056 22060 21492 0 -1 1077944384 15 12299 0 0 1 0 8 3 20 0 20 0 10493674 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899817597712 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22143] ppid=22056 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22143/stat : 22143 (java) S 22056 22060 21492 0 -1 1077944384 1607 12299 0 0 1 0 8 3 20 0 20 0 10493676 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899691817328 139900217834114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22144] ppid=22056 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22144/stat : 22144 (java) S 22056 22060 21492 0 -1 1077944384 55 12299 0 0 0 0 8 3 20 0 20 0 10493677 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899690763360 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22145] ppid=22056 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22145/stat : 22145 (java) S 22056 22060 21492 0 -1 1077944384 44 12299 0 0 0 0 8 3 20 0 20 0 10493677 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899689710464 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22146] ppid=22056 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22146/stat : 22146 (java) S 22056 22060 21492 0 -1 1077944384 1 12299 0 0 0 0 8 3 20 0 20 0 10493681 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899688658768 139900217841563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22147] ppid=22056 vsize=10913344 CPUtime=0.22 cores=4-7,12-15
/proc/22060/task/22147/stat : 22147 (java) S 22056 22060 21492 0 -1 1077944384 883 12299 0 0 11 0 8 3 20 0 20 0 10493681 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899687607152 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22148] ppid=22056 vsize=10913344 CPUtime=0.21 cores=4-7,12-15
/proc/22060/task/22148/stat : 22148 (java) S 22056 22060 21492 0 -1 1077944384 498 12299 0 0 10 0 8 3 20 0 20 0 10493681 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899686554352 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22149] ppid=22056 vsize=10913344 CPUtime=0.28 cores=4-7,12-15
/proc/22060/task/22149/stat : 22149 (java) S 22056 22060 21492 0 -1 1077944384 1425 12299 0 0 17 0 8 3 20 0 20 0 10493681 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899685501552 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22150] ppid=22056 vsize=10913344 CPUtime=0.38 cores=4-7,12-15
/proc/22060/task/22150/stat : 22150 (java) R 22056 22060 21492 0 -1 4202560 1402 12299 0 0 27 0 8 3 20 0 20 0 10493681 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899684448752 139900217844314 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22151] ppid=22056 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22151/stat : 22151 (java) S 22056 22060 21492 0 -1 1077944384 3 12299 0 0 0 0 8 3 20 0 20 0 10493682 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899683396192 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22152] ppid=22056 vsize=10913344 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22152/stat : 22152 (java) S 22056 22060 21492 0 -1 1077944384 3 12299 0 0 0 0 8 3 20 0 20 0 10493682 11175264256 44694 33554432000 4194304 4196468 140721339846320 139899682343472 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
Current children cumulated CPU time (s) 2.26
Current children cumulated vsize (KiB) 10913344

[startup+3.10116 s]
/proc/loadavg: 1.56 1.14 1.23 6/283 22256
/proc/meminfo: memFree=31459424/32770624 swapFree=5832/237972
[pid=22060] ppid=22056 vsize=10925820 CPUtime=7.44 cores=4-7,12-15
/proc/22060/stat : 22060 (java) S 22056 22060 21492 0 -1 1077944320 45510 12299 0 0 716 17 8 3 20 0 20 0 10493660 11188039680 60060 33554432000 4194304 4196468 140721339846320 140721339828864 139900217822967 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
/proc/22060/statm: 2731455 60060 3479 1 0 2719010 0
[pid=22060/tid=22134] ppid=22056 vsize=10925820 CPUtime=3.01 cores=4-7,12-15
/proc/22060/task/22134/stat : 22134 (java) R 22056 22060 21492 0 -1 4202560 25876 12299 0 0 284 6 8 3 20 0 20 0 10493673 11188039680 60060 33554432000 4194304 4196468 140721339846320 139900222055408 139899852428548 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22135] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22135/stat : 22135 (java) S 22056 22060 21492 0 -1 1077944384 132 12299 0 0 1 0 8 3 20 0 20 0 10493674 11188039680 60060 33554432000 4194304 4196468 140721339846320 139900174375568 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22136] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22136/stat : 22136 (java) S 22056 22060 21492 0 -1 1077944384 15 12299 0 0 0 0 8 3 20 0 20 0 10493674 11188039680 60060 33554432000 4194304 4196468 140721339846320 139900173322768 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22137] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22137/stat : 22137 (java) S 22056 22060 21492 0 -1 1077944384 4 12299 0 0 0 0 8 3 20 0 20 0 10493674 11188039680 60060 33554432000 4194304 4196468 140721339846320 139900172269968 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22138] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22138/stat : 22138 (java) S 22056 22060 21492 0 -1 1077944384 14 12299 0 0 0 0 8 3 20 0 20 0 10493674 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899821807888 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22139] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22139/stat : 22139 (java) S 22056 22060 21492 0 -1 1077944384 40 12299 0 0 0 0 8 3 20 0 20 0 10493674 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899820756112 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22140] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22140/stat : 22140 (java) S 22056 22060 21492 0 -1 1077944384 58 12299 0 0 1 0 8 3 20 0 20 0 10493674 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899819703312 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22141] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22141/stat : 22141 (java) S 22056 22060 21492 0 -1 1077944384 31 12299 0 0 1 0 8 3 20 0 20 0 10493674 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899818650512 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22142] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22142/stat : 22142 (java) S 22056 22060 21492 0 -1 1077944384 15 12299 0 0 1 0 8 3 20 0 20 0 10493674 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899817597712 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22143] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22143/stat : 22143 (java) S 22056 22060 21492 0 -1 1077944384 2052 12299 0 0 1 0 8 3 20 0 20 0 10493676 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899691817328 139900217834114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22144] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22144/stat : 22144 (java) S 22056 22060 21492 0 -1 1077944384 55 12299 0 0 0 0 8 3 20 0 20 0 10493677 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899690763360 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22145] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22145/stat : 22145 (java) S 22056 22060 21492 0 -1 1077944384 44 12299 0 0 0 0 8 3 20 0 20 0 10493677 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899689710464 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22146] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22146/stat : 22146 (java) S 22056 22060 21492 0 -1 1077944384 1 12299 0 0 0 0 8 3 20 0 20 0 10493681 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899688658768 139900217841563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22147] ppid=22056 vsize=10925820 CPUtime=1.19 cores=4-7,12-15
/proc/22060/task/22147/stat : 22147 (java) R 22056 22060 21492 0 -1 4202560 4887 12299 0 0 107 1 8 3 20 0 20 0 10493681 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899687593968 139900202930320 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22148] ppid=22056 vsize=10925820 CPUtime=1.02 cores=4-7,12-15
/proc/22060/task/22148/stat : 22148 (java) R 22056 22060 21492 0 -1 4202560 2079 12299 0 0 90 1 8 3 20 0 20 0 10493681 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899686541168 139900195570466 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22149] ppid=22056 vsize=10925820 CPUtime=1.12 cores=4-7,12-15
/proc/22060/task/22149/stat : 22149 (java) R 22056 22060 21492 0 -1 4202560 3287 12299 0 0 100 1 8 3 20 0 20 0 10493681 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899685482640 139900196994336 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22150] ppid=22056 vsize=10925820 CPUtime=1.34 cores=4-7,12-15
/proc/22060/task/22150/stat : 22150 (java) S 22056 22060 21492 0 -1 1077944384 4784 12299 0 0 122 1 8 3 20 0 20 0 10493681 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899684448752 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22151] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22151/stat : 22151 (java) S 22056 22060 21492 0 -1 1077944384 3 12299 0 0 0 0 8 3 20 0 20 0 10493682 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899683396192 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22152] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22152/stat : 22152 (java) S 22056 22060 21492 0 -1 1077944384 5 12299 0 0 0 0 8 3 20 0 20 0 10493682 11188039680 60060 33554432000 4194304 4196468 140721339846320 139899682343472 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 10925820

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

[startup+3.2014 s]
/proc/loadavg: 1.56 1.14 1.23 6/283 22256
/proc/meminfo: memFree=31459424/32770624 swapFree=5832/237972
[pid=22060] ppid=22056 vsize=10925820 CPUtime=7.88 cores=4-7,12-15
/proc/22060/stat : 22060 (java) S 22056 22060 21492 0 -1 1077944320 46435 12299 0 0 760 17 8 3 20 0 20 0 10493660 11188039680 64499 33554432000 4194304 4196468 140721339846320 140721339828864 139900217822967 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
/proc/22060/statm: 2731455 64499 3479 1 0 2719010 0
[pid=22060/tid=22134] ppid=22056 vsize=10925820 CPUtime=3.11 cores=4-7,12-15
/proc/22060/task/22134/stat : 22134 (java) R 22056 22060 21492 0 -1 4202560 25905 12299 0 0 294 6 8 3 20 0 20 0 10493673 11188039680 64499 33554432000 4194304 4196468 140721339846320 139900222054504 139900197759579 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22135] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22135/stat : 22135 (java) S 22056 22060 21492 0 -1 1077944384 132 12299 0 0 1 0 8 3 20 0 20 0 10493674 11188039680 64499 33554432000 4194304 4196468 140721339846320 139900174375568 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22136] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22136/stat : 22136 (java) S 22056 22060 21492 0 -1 1077944384 15 12299 0 0 0 0 8 3 20 0 20 0 10493674 11188039680 64499 33554432000 4194304 4196468 140721339846320 139900173322768 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22137] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22137/stat : 22137 (java) S 22056 22060 21492 0 -1 1077944384 4 12299 0 0 0 0 8 3 20 0 20 0 10493674 11188039680 64499 33554432000 4194304 4196468 140721339846320 139900172269968 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22138] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22138/stat : 22138 (java) S 22056 22060 21492 0 -1 1077944384 14 12299 0 0 0 0 8 3 20 0 20 0 10493674 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899821807888 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22139] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22139/stat : 22139 (java) S 22056 22060 21492 0 -1 1077944384 40 12299 0 0 0 0 8 3 20 0 20 0 10493674 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899820756112 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22140] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22140/stat : 22140 (java) S 22056 22060 21492 0 -1 1077944384 58 12299 0 0 1 0 8 3 20 0 20 0 10493674 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899819703312 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22141] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22141/stat : 22141 (java) S 22056 22060 21492 0 -1 1077944384 31 12299 0 0 1 0 8 3 20 0 20 0 10493674 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899818650512 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22142] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22142/stat : 22142 (java) S 22056 22060 21492 0 -1 1077944384 15 12299 0 0 1 0 8 3 20 0 20 0 10493674 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899817597712 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22143] ppid=22056 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22143/stat : 22143 (java) S 22056 22060 21492 0 -1 1077944384 2052 12299 0 0 1 0 8 3 20 0 20 0 10493676 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899691817328 139900217834114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22144] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22144/stat : 22144 (java) S 22056 22060 21492 0 -1 1077944384 55 12299 0 0 0 0 8 3 20 0 20 0 10493677 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899690763360 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22145] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22145/stat : 22145 (java) S 22056 22060 21492 0 -1 1077944384 44 12299 0 0 0 0 8 3 20 0 20 0 10493677 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899689710464 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22146] ppid=22056 vsize=10925820 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22146/stat : 22146 (java) S 22056 22060 21492 0 -1 1077944384 1 12299 0 0 0 0 8 3 20 0 20 0 10493681 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899688658768 139900217841563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22147] ppid=22056 vsize=10925820 CPUtime=1.29 cores=4-7,12-15
/proc/22060/task/22147/stat : 22147 (java) R 22056 22060 21492 0 -1 4202560 4918 12299 0 0 117 1 8 3 20 0 20 0 10493681 11188039680 64499 33554432000 4194304 4196468 140721339846320 139899687587200 139900217844314 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0

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

[pid=22060/tid=22141] ppid=22056 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22141/stat : 22141 (java) S 22056 22060 21492 0 -1 1077944384 46 12299 0 0 1 0 8 3 20 0 20 0 10493674 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899818650512 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22142] ppid=22056 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/22060/task/22142/stat : 22142 (java) S 22056 22060 21492 0 -1 1077944384 16 12299 0 0 1 0 8 3 20 0 20 0 10493674 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899817597712 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22143] ppid=22056 vsize=10927868 CPUtime=0.13 cores=4-7,12-15
/proc/22060/task/22143/stat : 22143 (java) S 22056 22060 21492 0 -1 1077944384 2094 12299 0 0 2 0 8 3 20 0 20 0 10493676 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899691817328 139900217834114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22144] ppid=22056 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22144/stat : 22144 (java) S 22056 22060 21492 0 -1 1077944384 56 12299 0 0 0 0 8 3 20 0 20 0 10493677 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899690763360 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22145] ppid=22056 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22145/stat : 22145 (java) S 22056 22060 21492 0 -1 1077944384 44 12299 0 0 0 0 8 3 20 0 20 0 10493677 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899689710464 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22146] ppid=22056 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22146/stat : 22146 (java) S 22056 22060 21492 0 -1 1077944384 1 12299 0 0 0 0 8 3 20 0 20 0 10493681 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899688658768 139900217841563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22147] ppid=22056 vsize=10927868 CPUtime=2.08 cores=4-7,12-15
/proc/22060/task/22147/stat : 22147 (java) S 22056 22060 21492 0 -1 1077944384 9025 12299 0 0 195 2 8 3 20 0 20 0 10493681 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899687607152 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22148] ppid=22056 vsize=10927868 CPUtime=1.87 cores=4-7,12-15
/proc/22060/task/22148/stat : 22148 (java) S 22056 22060 21492 0 -1 1077944384 5455 12299 0 0 174 2 8 3 20 0 20 0 10493681 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899686554352 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22149] ppid=22056 vsize=10927868 CPUtime=1.96 cores=4-7,12-15
/proc/22060/task/22149/stat : 22149 (java) S 22056 22060 21492 0 -1 1077944384 5767 12299 0 0 184 1 8 3 20 0 20 0 10493681 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899685501552 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22150] ppid=22056 vsize=10927868 CPUtime=1.83 cores=4-7,12-15
/proc/22060/task/22150/stat : 22150 (java) S 22056 22060 21492 0 -1 1077944384 6633 12299 0 0 170 2 8 3 20 0 20 0 10493681 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899684448752 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22151] ppid=22056 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22151/stat : 22151 (java) S 22056 22060 21492 0 -1 1077944384 3 12299 0 0 0 0 8 3 20 0 20 0 10493682 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899683396192 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22152] ppid=22056 vsize=10927868 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22152/stat : 22152 (java) S 22056 22060 21492 0 -1 1077944384 5 12299 0 0 0 0 8 3 20 0 20 0 10493682 11190136832 82924 33554432000 4194304 4196468 140721339846320 139899682343472 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
Current children cumulated CPU time (s) 11.47
Current children cumulated vsize (KiB) 10927868

[startup+4.40079 s]
/proc/loadavg: 1.91 1.22 1.26 8/283 22256
/proc/meminfo: memFree=31140776/32770624 swapFree=5832/237976
[pid=22060] ppid=22056 vsize=10929916 CPUtime=12.76 cores=4-7,12-15
/proc/22060/stat : 22060 (java) S 22056 22060 21492 0 -1 1077944320 61456 12299 0 0 1242 23 8 3 20 0 20 0 10493660 11192233984 85510 33554432000 4194304 4196468 140721339846320 140721339828864 139900217822967 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
/proc/22060/statm: 2732479 85510 3493 1 0 2720034 0
[pid=22060/tid=22134] ppid=22056 vsize=10929916 CPUtime=4.25 cores=4-7,12-15
/proc/22060/task/22134/stat : 22134 (java) R 22056 22060 21492 0 -1 4202560 28090 12299 0 0 407 7 8 3 20 0 20 0 10493673 11192233984 85510 33554432000 4194304 4196468 140721339846320 139900222029760 139900198098102 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22135] ppid=22056 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/22060/task/22135/stat : 22135 (java) S 22056 22060 21492 0 -1 1077944384 150 12299 0 0 3 1 8 3 20 0 20 0 10493674 11192233984 85510 33554432000 4194304 4196468 140721339846320 139900174375568 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22136] ppid=22056 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/22060/task/22136/stat : 22136 (java) S 22056 22060 21492 0 -1 1077944384 92 12299 0 0 3 1 8 3 20 0 20 0 10493674 11192233984 85510 33554432000 4194304 4196468 140721339846320 139900173322768 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22137] ppid=22056 vsize=10929916 CPUtime=0.14 cores=4-7,12-15
/proc/22060/task/22137/stat : 22137 (java) S 22056 22060 21492 0 -1 1077944384 20 12299 0 0 3 0 8 3 20 0 20 0 10493674 11192233984 85510 33554432000 4194304 4196468 140721339846320 139900172269968 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22138] ppid=22056 vsize=10929916 CPUtime=0.13 cores=4-7,12-15
/proc/22060/task/22138/stat : 22138 (java) S 22056 22060 21492 0 -1 1077944384 22 12299 0 0 2 0 8 3 20 0 20 0 10493674 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899821807888 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22139] ppid=22056 vsize=10929916 CPUtime=0.14 cores=4-7,12-15
/proc/22060/task/22139/stat : 22139 (java) S 22056 22060 21492 0 -1 1077944384 58 12299 0 0 3 0 8 3 20 0 20 0 10493674 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899820756112 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22140] ppid=22056 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/22060/task/22140/stat : 22140 (java) S 22056 22060 21492 0 -1 1077944384 76 12299 0 0 4 0 8 3 20 0 20 0 10493674 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899819703312 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22141] ppid=22056 vsize=10929916 CPUtime=0.14 cores=4-7,12-15
/proc/22060/task/22141/stat : 22141 (java) S 22056 22060 21492 0 -1 1077944384 51 12299 0 0 3 0 8 3 20 0 20 0 10493674 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899818650512 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22142] ppid=22056 vsize=10929916 CPUtime=0.14 cores=4-7,12-15
/proc/22060/task/22142/stat : 22142 (java) S 22056 22060 21492 0 -1 1077944384 29 12299 0 0 3 0 8 3 20 0 20 0 10493674 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899817597712 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22143] ppid=22056 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/22060/task/22143/stat : 22143 (java) S 22056 22060 21492 0 -1 1077944384 2658 12299 0 0 4 0 8 3 20 0 20 0 10493676 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899691817328 139900217834114 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22144] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22144/stat : 22144 (java) S 22056 22060 21492 0 -1 1077944384 56 12299 0 0 0 0 8 3 20 0 20 0 10493677 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899690763360 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22145] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22145/stat : 22145 (java) S 22056 22060 21492 0 -1 1077944384 44 12299 0 0 0 0 8 3 20 0 20 0 10493677 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899689710464 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22146] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22146/stat : 22146 (java) S 22056 22060 21492 0 -1 1077944384 1 12299 0 0 0 0 8 3 20 0 20 0 10493681 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899688658768 139900217841563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22147] ppid=22056 vsize=10929916 CPUtime=2.2 cores=4-7,12-15
/proc/22060/task/22147/stat : 22147 (java) S 22056 22060 21492 0 -1 1077944384 9084 12299 0 0 207 2 8 3 20 0 20 0 10493681 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899687607152 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22148] ppid=22056 vsize=10929916 CPUtime=2.12 cores=4-7,12-15
/proc/22060/task/22148/stat : 22148 (java) R 22056 22060 21492 0 -1 4202560 5828 12299 0 0 199 2 8 3 20 0 20 0 10493681 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899686534544 139900201319755 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22149] ppid=22056 vsize=10929916 CPUtime=2.13 cores=4-7,12-15
/proc/22060/task/22149/stat : 22149 (java) S 22056 22060 21492 0 -1 1077944384 5820 12299 0 0 201 1 8 3 20 0 20 0 10493681 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899685501552 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22150] ppid=22056 vsize=10929916 CPUtime=2.05 cores=4-7,12-15
/proc/22060/task/22150/stat : 22150 (java) S 22056 22060 21492 0 -1 1077944384 7240 12299 0 0 192 2 8 3 20 0 20 0 10493681 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899684448752 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22151] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22151/stat : 22151 (java) S 22056 22060 21492 0 -1 1077944384 3 12299 0 0 0 0 8 3 20 0 20 0 10493682 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899683396192 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22152] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22152/stat : 22152 (java) S 22056 22060 21492 0 -1 1077944384 6 12299 0 0 0 0 8 3 20 0 20 0 10493682 11192233984 85510 33554432000 4194304 4196468 140721339846320 139899682343472 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
Current children cumulated CPU time (s) 12.76
Current children cumulated vsize (KiB) 10929916

[startup+4.80107 s]
/proc/loadavg: 1.91 1.22 1.26 8/283 22256
/proc/meminfo: memFree=31140776/32770624 swapFree=5832/237976
[pid=22060] ppid=22056 vsize=10929916 CPUtime=14.5 cores=4-7,12-15
/proc/22060/stat : 22060 (java) S 22056 22060 21492 0 -1 1077944320 68415 12299 0 0 1413 26 8 3 20 0 20 0 10493660 11192233984 93976 33554432000 4194304 4196468 140721339846320 140721339828864 139900217822967 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
/proc/22060/statm: 2732479 93976 3495 1 0 2720034 0
[pid=22060/tid=22134] ppid=22056 vsize=10929916 CPUtime=4.48 cores=4-7,12-15
/proc/22060/task/22134/stat : 22134 (java) S 22056 22060 21492 0 -1 1077944384 33584 12299 0 0 429 8 8 3 20 0 20 0 10493673 11192233984 93976 33554432000 4194304 4196468 140721339846320 139900222060512 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22135] ppid=22056 vsize=10929916 CPUtime=0.21 cores=4-7,12-15
/proc/22060/task/22135/stat : 22135 (java) S 22056 22060 21492 0 -1 1077944384 161 12299 0 0 9 1 8 3 20 0 20 0 10493674 11192233984 93976 33554432000 4194304 4196468 140721339846320 139900174375568 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22136] ppid=22056 vsize=10929916 CPUtime=0.26 cores=4-7,12-15
/proc/22060/task/22136/stat : 22136 (java) S 22056 22060 21492 0 -1 1077944384 98 12299 0 0 14 1 8 3 20 0 20 0 10493674 11192233984 93976 33554432000 4194304 4196468 140721339846320 139900173322768 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22137] ppid=22056 vsize=10929916 CPUtime=0.23 cores=4-7,12-15
/proc/22060/task/22137/stat : 22137 (java) S 22056 22060 21492 0 -1 1077944384 36 12299 0 0 12 0 8 3 20 0 20 0 10493674 11192233984 93976 33554432000 4194304 4196468 140721339846320 139900172269968 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22138] ppid=22056 vsize=10929916 CPUtime=0.22 cores=4-7,12-15
/proc/22060/task/22138/stat : 22138 (java) S 22056 22060 21492 0 -1 1077944384 26 12299 0 0 11 0 8 3 20 0 20 0 10493674 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899821807888 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22139] ppid=22056 vsize=10929916 CPUtime=0.23 cores=4-7,12-15
/proc/22060/task/22139/stat : 22139 (java) S 22056 22060 21492 0 -1 1077944384 59 12299 0 0 12 0 8 3 20 0 20 0 10493674 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899820756112 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22140] ppid=22056 vsize=10929916 CPUtime=0.25 cores=4-7,12-15
/proc/22060/task/22140/stat : 22140 (java) S 22056 22060 21492 0 -1 1077944384 83 12299 0 0 13 1 8 3 20 0 20 0 10493674 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899819703312 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22141] ppid=22056 vsize=10929916 CPUtime=0.25 cores=4-7,12-15
/proc/22060/task/22141/stat : 22141 (java) S 22056 22060 21492 0 -1 1077944384 55 12299 0 0 13 1 8 3 20 0 20 0 10493674 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899818650512 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22142] ppid=22056 vsize=10929916 CPUtime=0.19 cores=4-7,12-15
/proc/22060/task/22142/stat : 22142 (java) S 22056 22060 21492 0 -1 1077944384 33 12299 0 0 8 0 8 3 20 0 20 0 10493674 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899817597712 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22143] ppid=22056 vsize=10929916 CPUtime=0.21 cores=4-7,12-15
/proc/22060/task/22143/stat : 22143 (java) R 22056 22060 21492 0 -1 4202560 2661 12299 0 0 10 0 8 3 20 0 20 0 10493676 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899691815616 139900202828858 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22144] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22144/stat : 22144 (java) S 22056 22060 21492 0 -1 1077944384 57 12299 0 0 0 0 8 3 20 0 20 0 10493677 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899690762736 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22145] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22145/stat : 22145 (java) S 22056 22060 21492 0 -1 1077944384 44 12299 0 0 0 0 8 3 20 0 20 0 10493677 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899689710464 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22146] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22146/stat : 22146 (java) S 22056 22060 21492 0 -1 1077944384 1 12299 0 0 0 0 8 3 20 0 20 0 10493681 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899688658768 139900217841563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22147] ppid=22056 vsize=10929916 CPUtime=2.31 cores=4-7,12-15
/proc/22060/task/22147/stat : 22147 (java) S 22056 22060 21492 0 -1 1077944384 9126 12299 0 0 218 2 8 3 20 0 20 0 10493681 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899687587088 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22148] ppid=22056 vsize=10929916 CPUtime=2.51 cores=4-7,12-15
/proc/22060/task/22148/stat : 22148 (java) R 22056 22060 21492 0 -1 4202560 7012 12299 0 0 238 2 8 3 20 0 20 0 10493681 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899686540376 139900199366259 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22149] ppid=22056 vsize=10929916 CPUtime=2.26 cores=4-7,12-15
/proc/22060/task/22149/stat : 22149 (java) S 22056 22060 21492 0 -1 1077944384 5852 12299 0 0 214 1 8 3 20 0 20 0 10493681 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899685481456 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22150] ppid=22056 vsize=10929916 CPUtime=2.16 cores=4-7,12-15
/proc/22060/task/22150/stat : 22150 (java) S 22056 22060 21492 0 -1 1077944384 7390 12299 0 0 203 2 8 3 20 0 20 0 10493681 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899684448752 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22151] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22151/stat : 22151 (java) S 22056 22060 21492 0 -1 1077944384 3 12299 0 0 0 0 8 3 20 0 20 0 10493682 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899683396192 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22152] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22152/stat : 22152 (java) S 22056 22060 21492 0 -1 1077944384 6 12299 0 0 0 0 8 3 20 0 20 0 10493682 11192233984 93976 33554432000 4194304 4196468 140721339846320 139899682343472 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
Current children cumulated CPU time (s) 14.5
Current children cumulated vsize (KiB) 10929916

[startup+4.90101 s]
/proc/loadavg: 1.91 1.22 1.26 8/283 22256
/proc/meminfo: memFree=31140776/32770624 swapFree=5832/237976
[pid=22060] ppid=22056 vsize=10929916 CPUtime=14.91 cores=4-7,12-15
/proc/22060/stat : 22060 (java) S 22056 22060 21492 0 -1 1077944320 68510 12299 0 0 1454 26 8 3 20 0 20 0 10493660 11192233984 94040 33554432000 4194304 4196468 140721339846320 140721339828864 139900217822967 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
/proc/22060/statm: 2732479 94040 3495 1 0 2720034 0
[pid=22060/tid=22134] ppid=22056 vsize=10929916 CPUtime=4.51 cores=4-7,12-15
/proc/22060/task/22134/stat : 22134 (java) R 22056 22060 21492 0 -1 4202560 33658 12299 0 0 432 8 8 3 20 0 20 0 10493673 11192233984 94040 33554432000 4194304 4196468 140721339846320 139900222058704 139899852441137 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22135] ppid=22056 vsize=10929916 CPUtime=0.24 cores=4-7,12-15
/proc/22060/task/22135/stat : 22135 (java) S 22056 22060 21492 0 -1 1077944384 161 12299 0 0 12 1 8 3 20 0 20 0 10493674 11192233984 94040 33554432000 4194304 4196468 140721339846320 139900174375568 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22136] ppid=22056 vsize=10929916 CPUtime=0.28 cores=4-7,12-15
/proc/22060/task/22136/stat : 22136 (java) S 22056 22060 21492 0 -1 1077944384 99 12299 0 0 16 1 8 3 20 0 20 0 10493674 11192233984 94040 33554432000 4194304 4196468 140721339846320 139900173322768 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22137] ppid=22056 vsize=10929916 CPUtime=0.26 cores=4-7,12-15
/proc/22060/task/22137/stat : 22137 (java) S 22056 22060 21492 0 -1 1077944384 36 12299 0 0 15 0 8 3 20 0 20 0 10493674 11192233984 94040 33554432000 4194304 4196468 140721339846320 139900172269968 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22138] ppid=22056 vsize=10929916 CPUtime=0.24 cores=4-7,12-15
/proc/22060/task/22138/stat : 22138 (java) S 22056 22060 21492 0 -1 1077944384 32 12299 0 0 13 0 8 3 20 0 20 0 10493674 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899821807888 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22139] ppid=22056 vsize=10929916 CPUtime=0.25 cores=4-7,12-15
/proc/22060/task/22139/stat : 22139 (java) S 22056 22060 21492 0 -1 1077944384 59 12299 0 0 14 0 8 3 20 0 20 0 10493674 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899820756112 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22140] ppid=22056 vsize=10929916 CPUtime=0.28 cores=4-7,12-15
/proc/22060/task/22140/stat : 22140 (java) S 22056 22060 21492 0 -1 1077944384 83 12299 0 0 16 1 8 3 20 0 20 0 10493674 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899819703312 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22141] ppid=22056 vsize=10929916 CPUtime=0.28 cores=4-7,12-15
/proc/22060/task/22141/stat : 22141 (java) S 22056 22060 21492 0 -1 1077944384 59 12299 0 0 16 1 8 3 20 0 20 0 10493674 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899818650512 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22142] ppid=22056 vsize=10929916 CPUtime=0.21 cores=4-7,12-15
/proc/22060/task/22142/stat : 22142 (java) S 22056 22060 21492 0 -1 1077944384 33 12299 0 0 10 0 8 3 20 0 20 0 10493674 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899817597712 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22143] ppid=22056 vsize=10929916 CPUtime=0.25 cores=4-7,12-15
/proc/22060/task/22143/stat : 22143 (java) S 22056 22060 21492 0 -1 1077944384 2661 12299 0 0 14 0 8 3 20 0 20 0 10493676 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899691817328 139900217834114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22144] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22144/stat : 22144 (java) S 22056 22060 21492 0 -1 1077944384 57 12299 0 0 0 0 8 3 20 0 20 0 10493677 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899690763424 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22145] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22145/stat : 22145 (java) S 22056 22060 21492 0 -1 1077944384 44 12299 0 0 0 0 8 3 20 0 20 0 10493677 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899689710464 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22146] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22146/stat : 22146 (java) S 22056 22060 21492 0 -1 1077944384 1 12299 0 0 0 0 8 3 20 0 20 0 10493681 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899688658768 139900217841563 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22147] ppid=22056 vsize=10929916 CPUtime=2.33 cores=4-7,12-15
/proc/22060/task/22147/stat : 22147 (java) R 22056 22060 21492 0 -1 4202560 9127 12299 0 0 220 2 8 3 20 0 20 0 10493681 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899687593696 139900195417833 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22148] ppid=22056 vsize=10929916 CPUtime=2.61 cores=4-7,12-15
/proc/22060/task/22148/stat : 22148 (java) R 22056 22060 21492 0 -1 4202560 7020 12299 0 0 248 2 8 3 20 0 20 0 10493681 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899686540816 139900199366724 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22149] ppid=22056 vsize=10929916 CPUtime=2.28 cores=4-7,12-15
/proc/22060/task/22149/stat : 22149 (java) R 22056 22060 21492 0 -1 4202560 5853 12299 0 0 216 1 8 3 20 0 20 0 10493681 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899685487520 139900202949109 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22150] ppid=22056 vsize=10929916 CPUtime=2.16 cores=4-7,12-15
/proc/22060/task/22150/stat : 22150 (java) R 22056 22060 21492 0 -1 4202560 7390 12299 0 0 203 2 8 3 20 0 20 0 10493681 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899684448752 139900201179743 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22151] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22151/stat : 22151 (java) S 22056 22060 21492 0 -1 1077944384 3 12299 0 0 0 0 8 3 20 0 20 0 10493682 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899683396192 139900217833173 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
[pid=22060/tid=22152] ppid=22056 vsize=10929916 CPUtime=0.11 cores=4-7,12-15
/proc/22060/task/22152/stat : 22152 (java) S 22056 22060 21492 0 -1 1077944384 6 12299 0 0 0 0 8 3 20 0 20 0 10493682 11192233984 94040 33554432000 4194304 4196468 140721339846320 139899682343472 139900217834114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8929280 140721339853505 140721339856279 140721339856279 140721339858895 0
Current children cumulated CPU time (s) 14.91
Current children cumulated vsize (KiB) 10929916

Child status: 0
Real time (s): 4.95965
CPU time (s): 15.1205
CPU user time (s): 14.8007
CPU system time (s): 0.319765
CPU usage (%): 304.869
Max. virtual memory (cumulated for all children) (KiB): 10932564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.8007
system time used= 0.319765
maximum resident set size= 377948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 81033
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= 9403
involuntary context switches= 2227

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.042449 second user time and 0.049524 second system time

The end

Launcher Data 

Begin job on node144 at 2017-07-22 21:38:04
IDJOB=4248847
IDBENCH=134397
IDSOLVER=2630
FILE ID=node144/4248847-1500752283
RUNJOBID= node144-1500752272-21524
PBS_JOBID= 20624582
Free space on /tmp= 61992 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-30/RadarSurveillance-8-30-3-0-28.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248847-1500752283/watcher-4248847-1500752283 -o /tmp/evaluation-result-4248847-1500752283/solver-4248847-1500752283 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560  bin/concrete HOME/instance-4248847-1500752283.xml

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

MD5SUM BENCH= fca7dc5663c287dc06adb4769da1d320
RANDOM SEED=1213294114

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1867.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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.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.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.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	: 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		: 2133.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	: 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		: 2000.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	: 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		: 2267.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.49
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		: 2533.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.49
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		: 2667.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.49
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		: 2133.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.49
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		: 2000.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	: 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		: 1600.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	: 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		: 2400.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	: 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		: 1600.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:        31780500 kB
MemAvailable:   32004960 kB
Buffers:          146900 kB
Cached:           360512 kB
SwapCached:            0 kB
Active:           310720 kB
Inactive:         246560 kB
Active(anon):      52688 kB
Inactive(anon):     8712 kB
Active(file):     258032 kB
Inactive(file):   237848 kB
Unevictable:        5832 kB
Mlocked:            5832 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             25136 kB
Writeback:             0 kB
AnonPages:        180680 kB
Mapped:            30928 kB
Shmem:              8844 kB
Slab:             122788 kB
SReclaimable:      88828 kB
SUnreclaim:        33960 kB
KernelStack:        4896 kB
PageTables:         5036 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     309816 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    129024 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61968 MiB
End job on node144 at 2017-07-22 21:38:09