Trace number 4245631

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.7677 6.14823

General information on the benchmark

NameRenault/Renault-m1-s1/
Renault.xml
MD5SUM26a43e254d024ece7dd8533c0ccc245d
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.464322
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints134
Number of domains14
Minimum domain size2
Maximum domain size42
Distribution of domain sizes[{"size":2,"count":58},{"size":3,"count":16},{"size":4,"count":4},{"size":5,"count":8},{"size":6,"count":3},{"size":7,"count":1},{"size":9,"count":1},{"size":10,"count":2},{"size":11,"count":1},{"size":12,"count":1},{"size":13,"count":1},{"size":25,"count":1},{"size":29,"count":1},{"size":42,"count":1}]
Minimum variable degree0
Maximum variable degree80
Distribution of variable degrees[{"degree":0,"count":2},{"degree":1,"count":49},{"degree":2,"count":14},{"degree":3,"count":17},{"degree":4,"count":3},{"degree":5,"count":4},{"degree":6,"count":2},{"degree":9,"count":1},{"degree":10,"count":1},{"degree":18,"count":1},{"degree":31,"count":1},{"degree":37,"count":1},{"degree":55,"count":2},{"degree":58,"count":1},{"degree":72,"count":1},{"degree":80,"count":1}]
Minimum constraint arity2
Maximum constraint arity10
Distribution of constraint arities[{"arity":2,"count":42},{"arity":3,"count":13},{"arity":4,"count":11},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}]
Number of extensional constraints134
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":134}]
Optimization problemNO
Type of objective

Solver Data 

3.66/2.19	c Concrete v3.4 running
15.64/6.12	v <instantiation>
15.64/6.12	v       <list>
15.64/6.12	v         x0 x2 x10 x11 x12 x13 x14 x1[0] x1[1] x1[2] x1[3] x1[4] x1[5] x1[6] x1[7] x1[8] x1[9] x1[10] x1[11] x1[12] x1[13] x1[14] x1[15] x1[16] x1[17] x1[18] x1[19] x1[20] x1[21] x1[22] x1[23] x1[24] x1[25] x1[26] x1[27] x1[28] x1[29] x1[30] x1[31] x1[32] x1[33] x1[34] x1[35] x1[36] x1[37] x1[38] x1[39] x1[40] x1[41] x1[42] x1[43] x1[44] x1[45] x1[46] x1[47] x1[48] x1[49] x1[50] x1[51] x1[52] x1[53] x1[54] x1[55] x1[56] x1[57] x3[0] x3[1] x4[0] x4[1] x4[2] x5[0] x5[1] x5[2] x5[3] x5[4] x5[5] x5[6] x5[7] x6[0] x6[1] x6[2] x6[3] x6[4] x6[5] x6[6] x6[7] x6[8] x6[9] x6[10] x6[11] x6[12] x6[13] x6[14] x6[15] x7[0] x9[0] x9[1] x9[2] x9[3]
15.64/6.12	v       </list>
15.64/6.12	v       <values>
15.64/6.12	v         4 12 6 10 5 7 6 1 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 1 1 1 1 1 1 0 0 1 1 1 0 1 0 0 1 1 1 1 1 0 1 1 0 0 0 0 0 0 6 7 5 2 0 2 2 2 2 2 4 3 4 0 2 2 1 0 1 2 0 2 2 1 2 2 0 2 0 0 2 3 0 1
15.64/6.12	v       </values>
15.64/6.12	v     </instantiation>
15.64/6.12	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-4245631-1500706381/watcher-4245631-1500706381 -o /tmp/evaluation-result-4245631-1500706381/solver-4245631-1500706381 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7986 --watchdog 2560 bin/concrete HOME/instance-4245631-1500706381.xml 

pid=13282
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: 1.27 1.29 1.46 3/261 13285
/proc/meminfo: memFree=30287592/32770624 swapFree=5788/293292
[pid=13285] ppid=13282 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (bash) S 13282 13285 7954 0 -1 4202496 684 1532 0 0 0 0 0 0 20 0 1 0 5905558 9736192 350 33554432000 4194304 5098028 140726088907808 140726088905448 140634250517504 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 24211456 140726088910094 140726088910179 140726088910179 140726088912878 0
/proc/13285/statm: 2377 350 278 221 0 86 0

[startup+0.100103 s]
/proc/loadavg: 1.27 1.29 1.46 3/261 13285
/proc/meminfo: memFree=30287592/32770624 swapFree=5788/293292
[pid=13285] ppid=13282 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (bash) S 13282 13285 7954 0 -1 4202496 877 6416 0 0 0 0 0 1 20 0 1 0 5905558 9871360 377 33554432000 4194304 5098028 140726088907808 140726088901816 140634250517504 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 24211456 140726088910094 140726088910179 140726088910179 140726088912878 0
/proc/13285/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200414 s]
/proc/loadavg: 1.27 1.29 1.46 3/261 13285
/proc/meminfo: memFree=30287592/32770624 swapFree=5788/293292
[pid=13285] ppid=13282 vsize=10435860 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (java) S 13282 13285 7954 0 -1 1077944320 4871 12576 0 0 5 1 8 3 20 0 13 0 5905558 10686320640 5245 33554432000 4194304 4196468 140737022627664 140737022610208 140018265186039 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
/proc/13285/statm: 2608965 5245 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860

[startup+0.300379 s]
/proc/loadavg: 1.27 1.29 1.46 3/261 13285
/proc/meminfo: memFree=30287592/32770624 swapFree=5788/293292
[pid=13285] ppid=13282 vsize=10902292 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (java) S 13282 13285 7954 0 -1 1077944320 8135 12576 0 0 22 2 8 3 20 0 20 0 5905558 11163947008 9162 33554432000 4194304 4196468 140737022627664 140737022610208 140018265186039 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
/proc/13285/statm: 2725573 9162 2956 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902292

[startup+0.700254 s]
/proc/loadavg: 1.27 1.29 1.46 3/261 13285
/proc/meminfo: memFree=30287592/32770624 swapFree=5788/293292
[pid=13285] ppid=13282 vsize=10902720 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (java) S 13282 13285 7954 0 -1 1077944320 12642 12576 0 0 78 4 8 3 20 0 20 0 5905558 11164385280 15881 33554432000 4194304 4196468 140737022627664 140737022610208 140018265186039 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
/proc/13285/statm: 2725680 15881 3208 1 0 2713890 0
Current children cumulated CPU time (s) 0.93
Current children cumulated vsize (KiB) 10902720

[startup+1.50108 s]
/proc/loadavg: 1.27 1.29 1.46 3/281 13358
/proc/meminfo: memFree=30181360/32770624 swapFree=5788/293428
[pid=13285] ppid=13282 vsize=10913344 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (java) S 13282 13285 7954 0 -1 1077944320 25912 12576 0 0 204 13 8 3 20 0 20 0 5905558 11175264256 45194 33554432000 4194304 4196468 140737022627664 140737022610208 140018265186039 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
/proc/13285/statm: 2728336 45194 3409 1 0 2716450 0
[pid=13285/tid=13340] ppid=13282 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13340/stat : 13340 (java) R 13282 13285 7954 0 -1 4202560 18689 12576 0 0 126 6 8 3 20 0 20 0 5905571 11175264256 45194 33554432000 4194304 4196468 140737022627664 140018269410680 140018265197974 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13341] ppid=13282 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13341/stat : 13341 (java) S 13282 13285 7954 0 -1 1077944384 24 12576 0 0 0 0 8 3 20 0 20 0 5905571 11175264256 45194 33554432000 4194304 4196468 140737022627664 140018217806352 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13342] ppid=13282 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13342/stat : 13342 (java) S 13282 13285 7954 0 -1 1077944384 11 12576 0 0 0 0 8 3 20 0 20 0 5905572 11175264256 45194 33554432000 4194304 4196468 140737022627664 140018216753808 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13343] ppid=13282 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13343/stat : 13343 (java) S 13282 13285 7954 0 -1 1077944384 28 12576 0 0 0 0 8 3 20 0 20 0 5905572 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017870231824 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13344] ppid=13282 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13344/stat : 13344 (java) S 13282 13285 7954 0 -1 1077944384 13 12576 0 0 1 0 8 3 20 0 20 0 5905572 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017869179280 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13345] ppid=13282 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13345/stat : 13345 (java) S 13282 13285 7954 0 -1 1077944384 44 12576 0 0 1 0 8 3 20 0 20 0 5905572 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017868127248 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13346] ppid=13282 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13346/stat : 13346 (java) S 13282 13285 7954 0 -1 1077944384 20 12576 0 0 1 0 8 3 20 0 20 0 5905572 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017867074704 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13347] ppid=13282 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13347/stat : 13347 (java) S 13282 13285 7954 0 -1 1077944384 124 12576 0 0 0 0 8 3 20 0 20 0 5905572 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017866021648 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13348] ppid=13282 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13348/stat : 13348 (java) S 13282 13285 7954 0 -1 1077944384 8 12576 0 0 1 0 8 3 20 0 20 0 5905572 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017864969104 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13349] ppid=13282 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13349/stat : 13349 (java) S 13282 13285 7954 0 -1 1077944384 642 12576 0 0 1 0 8 3 20 0 20 0 5905574 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017082009840 140018265197186 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13350] ppid=13282 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13350/stat : 13350 (java) S 13282 13285 7954 0 -1 1077944384 54 12576 0 0 0 0 8 3 20 0 20 0 5905575 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017080956128 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13351] ppid=13282 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13351/stat : 13351 (java) S 13282 13285 7954 0 -1 1077944384 47 12576 0 0 0 0 8 3 20 0 20 0 5905575 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017079902976 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13352] ppid=13282 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13352/stat : 13352 (java) S 13282 13285 7954 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 5905579 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017078851536 140018265204635 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13353] ppid=13282 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13353/stat : 13353 (java) S 13282 13285 7954 0 -1 1077944384 631 12576 0 0 16 0 8 3 20 0 20 0 5905579 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017077799664 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13354] ppid=13282 vsize=10913344 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13354/stat : 13354 (java) S 13282 13285 7954 0 -1 1077944384 987 12576 0 0 11 0 8 3 20 0 20 0 5905579 11175264256 45194 33554432000 4194304 4196468 140737022627664 140017076747120 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13355] ppid=13282 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13355/stat : 13355 (java) S 13282 13285 7954 0 -1 1077944384 1199 12576 0 0 13 0 8 3 20 0 20 0 5905579 11175264256 45194 33554432000 4194304 4196468 140737022627664 140016604932592 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13356] ppid=13282 vsize=10913344 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13356/stat : 13356 (java) R 13282 13285 7954 0 -1 4202560 1259 12576 0 0 26 0 8 3 20 0 20 0 5905579 11175264256 45194 33554432000 4194304 4196468 140737022627664 140016603880048 140018265207386 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13357] ppid=13282 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13357/stat : 13357 (java) S 13282 13285 7954 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 5905579 11175264256 45194 33554432000 4194304 4196468 140737022627664 140016602827232 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13358] ppid=13282 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13358/stat : 13358 (java) S 13282 13285 7954 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 5905580 11175264256 45194 33554432000 4194304 4196468 140737022627664 140016601774768 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 10913344

[startup+3.1008 s]
/proc/loadavg: 1.25 1.28 1.46 4/281 13358
/proc/meminfo: memFree=30106380/32770624 swapFree=5788/293428
[pid=13285] ppid=13282 vsize=10925820 CPUtime=6.36 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (java) S 13282 13285 7954 0 -1 1077944320 41790 12576 0 0 596 29 8 3 20 0 20 0 5905558 11188039680 79578 33554432000 4194304 4196468 140737022627664 140737022610208 140018265186039 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
/proc/13285/statm: 2731455 79578 3477 1 0 2719010 0
[pid=13285/tid=13340] ppid=13282 vsize=10925820 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13340/stat : 13340 (java) R 13282 13285 7954 0 -1 4202560 28747 12576 0 0 279 9 8 3 20 0 20 0 5905571 11188039680 79578 33554432000 4194304 4196468 140737022627664 140018269404288 140018265197974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13341] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13341/stat : 13341 (java) S 13282 13285 7954 0 -1 1077944384 39 12576 0 0 2 1 8 3 20 0 20 0 5905571 11188039680 79578 33554432000 4194304 4196468 140737022627664 140018217806352 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13342] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13342/stat : 13342 (java) S 13282 13285 7954 0 -1 1077944384 35 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79578 33554432000 4194304 4196468 140737022627664 140018216753808 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13343] ppid=13282 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13343/stat : 13343 (java) S 13282 13285 7954 0 -1 1077944384 51 12576 0 0 2 2 8 3 20 0 20 0 5905572 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017870231824 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13344] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13344/stat : 13344 (java) S 13282 13285 7954 0 -1 1077944384 37 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017869179280 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13345] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13345/stat : 13345 (java) S 13282 13285 7954 0 -1 1077944384 59 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017868127248 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13346] ppid=13282 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13346/stat : 13346 (java) S 13282 13285 7954 0 -1 1077944384 61 12576 0 0 3 1 8 3 20 0 20 0 5905572 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017867074704 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13347] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13347/stat : 13347 (java) S 13282 13285 7954 0 -1 1077944384 141 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017866021648 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13348] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13348/stat : 13348 (java) S 13282 13285 7954 0 -1 1077944384 112 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017864969104 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13349] ppid=13282 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13349/stat : 13349 (java) S 13282 13285 7954 0 -1 1077944384 968 12576 0 0 1 0 8 3 20 0 20 0 5905574 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017082009840 140018265197186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13350] ppid=13282 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13350/stat : 13350 (java) S 13282 13285 7954 0 -1 1077944384 55 12576 0 0 0 0 8 3 20 0 20 0 5905575 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017080956128 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13351] ppid=13282 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13351/stat : 13351 (java) S 13282 13285 7954 0 -1 1077944384 50 12576 0 0 0 0 8 3 20 0 20 0 5905575 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017079902976 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13352] ppid=13282 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13352/stat : 13352 (java) S 13282 13285 7954 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 5905579 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017078851536 140018265204635 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13353] ppid=13282 vsize=10925820 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13353/stat : 13353 (java) S 13282 13285 7954 0 -1 1077944384 2568 12576 0 0 85 0 8 3 20 0 20 0 5905579 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017077799664 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13354] ppid=13282 vsize=10925820 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13354/stat : 13354 (java) S 13282 13285 7954 0 -1 1077944384 1477 12576 0 0 56 1 8 3 20 0 20 0 5905579 11188039680 79578 33554432000 4194304 4196468 140737022627664 140017076747120 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13355] ppid=13282 vsize=10925820 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13355/stat : 13355 (java) S 13282 13285 7954 0 -1 1077944384 2145 12576 0 0 63 1 8 3 20 0 20 0 5905579 11188039680 79578 33554432000 4194304 4196468 140737022627664 140016604932592 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13356] ppid=13282 vsize=10925820 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13356/stat : 13356 (java) S 13282 13285 7954 0 -1 1077944384 3108 12576 0 0 89 1 8 3 20 0 20 0 5905579 11188039680 79578 33554432000 4194304 4196468 140737022627664 140016603880048 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13357] ppid=13282 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13357/stat : 13357 (java) S 13282 13285 7954 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 5905579 11188039680 79578 33554432000 4194304 4196468 140737022627664 140016602827232 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13358] ppid=13282 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13358/stat : 13358 (java) S 13282 13285 7954 0 -1 1077944384 6 12576 0 0 0 0 8 3 20 0 20 0 5905580 11188039680 79578 33554432000 4194304 4196468 140737022627664 140016601774768 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
Current children cumulated CPU time (s) 6.36
Current children cumulated vsize (KiB) 10925820

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

[startup+3.20103 s]
/proc/loadavg: 1.25 1.28 1.46 4/281 13358
/proc/meminfo: memFree=30106380/32770624 swapFree=5788/293428
[pid=13285] ppid=13282 vsize=10925820 CPUtime=6.56 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (java) S 13282 13285 7954 0 -1 1077944320 42135 12576 0 0 616 29 8 3 20 0 20 0 5905558 11188039680 79905 33554432000 4194304 4196468 140737022627664 140737022610208 140018265186039 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
/proc/13285/statm: 2731455 79905 3477 1 0 2719010 0
[pid=13285/tid=13340] ppid=13282 vsize=10925820 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13340/stat : 13340 (java) R 13282 13285 7954 0 -1 4202560 28890 12576 0 0 288 9 8 3 20 0 20 0 5905571 11188039680 79905 33554432000 4194304 4196468 140737022627664 140018269414136 140018265197974 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13341] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13341/stat : 13341 (java) S 13282 13285 7954 0 -1 1077944384 39 12576 0 0 2 1 8 3 20 0 20 0 5905571 11188039680 79905 33554432000 4194304 4196468 140737022627664 140018217806352 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13342] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13342/stat : 13342 (java) S 13282 13285 7954 0 -1 1077944384 35 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79905 33554432000 4194304 4196468 140737022627664 140018216753808 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13343] ppid=13282 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13343/stat : 13343 (java) S 13282 13285 7954 0 -1 1077944384 51 12576 0 0 2 2 8 3 20 0 20 0 5905572 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017870231824 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13344] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13344/stat : 13344 (java) S 13282 13285 7954 0 -1 1077944384 37 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017869179280 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13345] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13345/stat : 13345 (java) S 13282 13285 7954 0 -1 1077944384 59 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017868127248 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13346] ppid=13282 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13346/stat : 13346 (java) S 13282 13285 7954 0 -1 1077944384 61 12576 0 0 3 1 8 3 20 0 20 0 5905572 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017867074704 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13347] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13347/stat : 13347 (java) S 13282 13285 7954 0 -1 1077944384 141 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017866021648 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13348] ppid=13282 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13348/stat : 13348 (java) S 13282 13285 7954 0 -1 1077944384 112 12576 0 0 2 1 8 3 20 0 20 0 5905572 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017864969104 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13349] ppid=13282 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13349/stat : 13349 (java) S 13282 13285 7954 0 -1 1077944384 968 12576 0 0 1 0 8 3 20 0 20 0 5905574 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017082009840 140018265197186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13350] ppid=13282 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13350/stat : 13350 (java) S 13282 13285 7954 0 -1 1077944384 55 12576 0 0 0 0 8 3 20 0 20 0 5905575 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017080956128 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13351] ppid=13282 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13351/stat : 13351 (java) S 13282 13285 7954 0 -1 1077944384 50 12576 0 0 0 0 8 3 20 0 20 0 5905575 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017079902976 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13352] ppid=13282 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13352/stat : 13352 (java) S 13282 13285 7954 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 5905579 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017078851536 140018265204635 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13353] ppid=13282 vsize=10925820 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13353/stat : 13353 (java) R 13282 13285 7954 0 -1 4202560 2572 12576 0 0 86 0 8 3 20 0 20 0 5905579 11188039680 79905 33554432000 4194304 4196468 140737022627664 140017077799960 140018246707303 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0

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

[pid=13285/tid=13347] ppid=13282 vsize=10927868 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13347/stat : 13347 (java) S 13282 13285 7954 0 -1 1077944384 202 12576 0 0 6 6 8 3 20 0 20 0 5905572 11190136832 122813 33554432000 4194304 4196468 140737022627664 140017866021648 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13348] ppid=13282 vsize=10927868 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13348/stat : 13348 (java) S 13282 13285 7954 0 -1 1077944384 164 12576 0 0 6 6 8 3 20 0 20 0 5905572 11190136832 122813 33554432000 4194304 4196468 140737022627664 140017864969104 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13349] ppid=13282 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13349/stat : 13349 (java) S 13282 13285 7954 0 -1 1077944384 1107 12576 0 0 2 0 8 3 20 0 20 0 5905574 11190136832 122813 33554432000 4194304 4196468 140737022627664 140017082009840 140018265197186 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13350] ppid=13282 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13350/stat : 13350 (java) S 13282 13285 7954 0 -1 1077944384 55 12576 0 0 0 0 8 3 20 0 20 0 5905575 11190136832 122813 33554432000 4194304 4196468 140737022627664 140017080956128 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13351] ppid=13282 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13351/stat : 13351 (java) S 13282 13285 7954 0 -1 1077944384 50 12576 0 0 0 0 8 3 20 0 20 0 5905575 11190136832 122813 33554432000 4194304 4196468 140737022627664 140017079902976 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13352] ppid=13282 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13352/stat : 13352 (java) S 13282 13285 7954 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 5905579 11190136832 122813 33554432000 4194304 4196468 140737022627664 140017078851536 140018265204635 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13353] ppid=13282 vsize=10927868 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13353/stat : 13353 (java) S 13282 13285 7954 0 -1 1077944384 3164 12576 0 0 156 1 8 3 20 0 20 0 5905579 11190136832 122813 33554432000 4194304 4196468 140737022627664 140017077799664 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13354] ppid=13282 vsize=10927868 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13354/stat : 13354 (java) S 13282 13285 7954 0 -1 1077944384 2190 12576 0 0 130 1 8 3 20 0 20 0 5905579 11190136832 122813 33554432000 4194304 4196468 140737022627664 140017076747120 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13355] ppid=13282 vsize=10927868 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13355/stat : 13355 (java) S 13282 13285 7954 0 -1 1077944384 2924 12576 0 0 131 2 8 3 20 0 20 0 5905579 11190136832 122813 33554432000 4194304 4196468 140737022627664 140016604932592 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13356] ppid=13282 vsize=10927868 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13356/stat : 13356 (java) S 13282 13285 7954 0 -1 1077944384 5248 12576 0 0 129 2 8 3 20 0 20 0 5905579 11190136832 122813 33554432000 4194304 4196468 140737022627664 140016603880048 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13357] ppid=13282 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13357/stat : 13357 (java) S 13282 13285 7954 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 5905579 11190136832 122813 33554432000 4194304 4196468 140737022627664 140016602827232 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13358] ppid=13282 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13358/stat : 13358 (java) S 13282 13285 7954 0 -1 1077944384 10 12576 0 0 0 0 8 3 20 0 20 0 5905580 11190136832 122813 33554432000 4194304 4196468 140737022627664 140016601774768 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
Current children cumulated CPU time (s) 11.21
Current children cumulated vsize (KiB) 10927868

[startup+5.61488 s]
/proc/loadavg: 1.25 1.28 1.46 6/281 13358
/proc/meminfo: memFree=29661456/32770624 swapFree=5788/293432
[pid=13285] ppid=13282 vsize=10929916 CPUtime=13.56 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (java) S 13282 13285 7954 0 -1 1077944320 54591 12576 0 0 1260 85 8 3 20 0 20 0 5905558 11192233984 160471 33554432000 4194304 4196468 140737022627664 140737022610208 140018265186039 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
/proc/13285/statm: 2732479 160537 3500 1 0 2720034 0
[pid=13285/tid=13340] ppid=13282 vsize=10929916 CPUtime=5.33 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13340/stat : 13340 (java) R 13282 13285 7954 0 -1 4202560 33522 12576 0 0 509 13 8 3 20 0 20 0 5905571 11192233984 160537 33554432000 4194304 4196468 140737022627664 140018269370912 140018250351632 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13341] ppid=13282 vsize=10929916 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13341/stat : 13341 (java) S 13282 13285 7954 0 -1 1077944384 95 12576 0 0 8 8 8 3 20 0 20 0 5905571 11192233984 160537 33554432000 4194304 4196468 140737022627664 140018217806352 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13342] ppid=13282 vsize=10929916 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13342/stat : 13342 (java) S 13282 13285 7954 0 -1 1077944384 88 12576 0 0 7 6 8 3 20 0 20 0 5905572 11192233984 160537 33554432000 4194304 4196468 140737022627664 140018216753808 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13343] ppid=13282 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13343/stat : 13343 (java) S 13282 13285 7954 0 -1 1077944384 114 12576 0 0 8 9 8 3 20 0 20 0 5905572 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017870231824 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13344] ppid=13282 vsize=10929916 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13344/stat : 13344 (java) S 13282 13285 7954 0 -1 1077944384 253 12576 0 0 9 8 8 3 20 0 20 0 5905572 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017869179280 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13345] ppid=13282 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13345/stat : 13345 (java) S 13282 13285 7954 0 -1 1077944384 117 12576 0 0 8 7 8 3 20 0 20 0 5905572 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017868127248 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13346] ppid=13282 vsize=10929916 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13346/stat : 13346 (java) S 13282 13285 7954 0 -1 1077944384 130 12576 0 0 9 7 8 3 20 0 20 0 5905572 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017867074704 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13347] ppid=13282 vsize=10929916 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13347/stat : 13347 (java) S 13282 13285 7954 0 -1 1077944384 223 12576 0 0 8 7 8 3 20 0 20 0 5905572 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017866021648 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13348] ppid=13282 vsize=10929916 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13348/stat : 13348 (java) S 13282 13285 7954 0 -1 1077944384 177 12576 0 0 9 7 8 3 20 0 20 0 5905572 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017864969104 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13349] ppid=13282 vsize=10929916 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13349/stat : 13349 (java) S 13282 13285 7954 0 -1 1077944384 2357 12576 0 0 4 0 8 3 20 0 20 0 5905574 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017082009840 140018265197186 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13350] ppid=13282 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13350/stat : 13350 (java) S 13282 13285 7954 0 -1 1077944384 55 12576 0 0 0 0 8 3 20 0 20 0 5905575 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017080956128 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13351] ppid=13282 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13351/stat : 13351 (java) S 13282 13285 7954 0 -1 1077944384 50 12576 0 0 0 0 8 3 20 0 20 0 5905575 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017079902976 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13352] ppid=13282 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13352/stat : 13352 (java) S 13282 13285 7954 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 5905579 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017078851536 140018265204635 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13353] ppid=13282 vsize=10929916 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13353/stat : 13353 (java) S 13282 13285 7954 0 -1 1077944384 3251 12576 0 0 190 1 8 3 20 0 20 0 5905579 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017077799664 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13354] ppid=13282 vsize=10929916 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13354/stat : 13354 (java) R 13282 13285 7954 0 -1 4202560 2704 12576 0 0 168 1 8 3 20 0 20 0 5905579 11192233984 160537 33554432000 4194304 4196468 140737022627664 140017076739640 140018251214175 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13355] ppid=13282 vsize=10929916 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13355/stat : 13355 (java) S 13282 13285 7954 0 -1 1077944384 3010 12576 0 0 159 2 8 3 20 0 20 0 5905579 11192233984 160537 33554432000 4194304 4196468 140737022627664 140016604932592 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13356] ppid=13282 vsize=10929916 CPUtime=1.69 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13356/stat : 13356 (java) S 13282 13285 7954 0 -1 1077944384 5604 12576 0 0 156 2 8 3 20 0 20 0 5905579 11192233984 160537 33554432000 4194304 4196468 140737022627664 140016603880048 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13357] ppid=13282 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13357/stat : 13357 (java) S 13282 13285 7954 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 5905579 11192233984 160537 33554432000 4194304 4196468 140737022627664 140016602827232 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13358] ppid=13282 vsize=10929916 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13358/stat : 13358 (java) S 13282 13285 7954 0 -1 1077944384 743 12576 0 0 0 0 8 3 20 0 20 0 5905580 11192233984 160537 33554432000 4194304 4196468 140737022627664 140016601774768 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
Current children cumulated CPU time (s) 13.56
Current children cumulated vsize (KiB) 10929916

[startup+6.00092 s]
/proc/loadavg: 1.25 1.28 1.46 6/281 13358
/proc/meminfo: memFree=29661456/32770624 swapFree=5788/293432
[pid=13285] ppid=13282 vsize=10997224 CPUtime=15.23 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (java) S 13282 13285 7954 0 -1 1077944320 69127 12576 0 0 1423 89 8 3 20 0 20 0 5905558 11261157376 172365 33554432000 4194304 4196468 140737022627664 140737022610208 140018265186039 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
/proc/13285/statm: 2749306 172365 3500 1 0 2736861 0
[pid=13285/tid=13340] ppid=13282 vsize=10997224 CPUtime=5.57 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13340/stat : 13340 (java) S 13282 13285 7954 0 -1 1077944384 44532 12576 0 0 532 14 8 3 20 0 20 0 5905571 11261157376 172365 33554432000 4194304 4196468 140737022627664 140018269423616 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13341] ppid=13282 vsize=10997224 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13341/stat : 13341 (java) S 13282 13285 7954 0 -1 1077944384 98 12576 0 0 16 8 8 3 20 0 20 0 5905571 11261157376 172365 33554432000 4194304 4196468 140737022627664 140018217806352 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13342] ppid=13282 vsize=10997224 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13342/stat : 13342 (java) S 13282 13285 7954 0 -1 1077944384 91 12576 0 0 15 6 8 3 20 0 20 0 5905572 11261157376 172365 33554432000 4194304 4196468 140737022627664 140018216753808 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13343] ppid=13282 vsize=10997224 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13343/stat : 13343 (java) S 13282 13285 7954 0 -1 1077944384 124 12576 0 0 14 9 8 3 20 0 20 0 5905572 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017870231824 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13344] ppid=13282 vsize=10997224 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13344/stat : 13344 (java) S 13282 13285 7954 0 -1 1077944384 259 12576 0 0 13 8 8 3 20 0 20 0 5905572 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017869179280 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13345] ppid=13282 vsize=10997224 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13345/stat : 13345 (java) S 13282 13285 7954 0 -1 1077944384 122 12576 0 0 16 7 8 3 20 0 20 0 5905572 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017868127248 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13346] ppid=13282 vsize=10997224 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13346/stat : 13346 (java) S 13282 13285 7954 0 -1 1077944384 135 12576 0 0 18 7 8 3 20 0 20 0 5905572 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017867074704 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13347] ppid=13282 vsize=10997224 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13347/stat : 13347 (java) S 13282 13285 7954 0 -1 1077944384 231 12576 0 0 17 7 8 3 20 0 20 0 5905572 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017866021648 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13348] ppid=13282 vsize=10997224 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13348/stat : 13348 (java) S 13282 13285 7954 0 -1 1077944384 180 12576 0 0 17 7 8 3 20 0 20 0 5905572 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017864969104 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13349] ppid=13282 vsize=10997224 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13349/stat : 13349 (java) R 13282 13285 7954 0 -1 4202560 2533 12576 0 0 8 0 8 3 20 0 20 0 5905574 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017082008128 140018250877724 0 0 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13350] ppid=13282 vsize=10997224 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13350/stat : 13350 (java) S 13282 13285 7954 0 -1 1077944384 55 12576 0 0 0 0 8 3 20 0 20 0 5905575 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017080955520 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13351] ppid=13282 vsize=10997224 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13351/stat : 13351 (java) S 13282 13285 7954 0 -1 1077944384 51 12576 0 0 0 0 8 3 20 0 20 0 5905575 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017079902576 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13352] ppid=13282 vsize=10997224 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13352/stat : 13352 (java) S 13282 13285 7954 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 5905579 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017078851536 140018265204635 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13353] ppid=13282 vsize=10997224 CPUtime=2.14 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13353/stat : 13353 (java) S 13282 13285 7954 0 -1 1077944384 3252 12576 0 0 202 1 8 3 20 0 20 0 5905579 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017077786384 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13354] ppid=13282 vsize=10997224 CPUtime=2.19 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13354/stat : 13354 (java) R 13282 13285 7954 0 -1 4202560 5939 12576 0 0 206 2 8 3 20 0 20 0 5905579 11261157376 172365 33554432000 4194304 4196468 140737022627664 140017076733096 140018246705353 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13355] ppid=13282 vsize=10997224 CPUtime=1.88 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13355/stat : 13355 (java) S 13282 13285 7954 0 -1 1077944384 3015 12576 0 0 175 2 8 3 20 0 20 0 5905579 11261157376 172365 33554432000 4194304 4196468 140737022627664 140016604917488 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13356] ppid=13282 vsize=10997224 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13356/stat : 13356 (java) S 13282 13285 7954 0 -1 1077944384 5636 12576 0 0 166 2 8 3 20 0 20 0 5905579 11261157376 172365 33554432000 4194304 4196468 140737022627664 140016603880048 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13357] ppid=13282 vsize=10997224 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13357/stat : 13357 (java) S 13282 13285 7954 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 5905579 11261157376 172365 33554432000 4194304 4196468 140737022627664 140016602827232 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13358] ppid=13282 vsize=10997224 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13358/stat : 13358 (java) S 13282 13285 7954 0 -1 1077944384 743 12576 0 0 0 0 8 3 20 0 20 0 5905580 11261157376 172365 33554432000 4194304 4196468 140737022627664 140016601774768 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
Current children cumulated CPU time (s) 15.23
Current children cumulated vsize (KiB) 10997224

[startup+6.10074 s]
/proc/loadavg: 1.25 1.28 1.46 6/281 13358
/proc/meminfo: memFree=29661456/32770624 swapFree=5788/293432
[pid=13285] ppid=13282 vsize=10999616 CPUtime=15.64 cores=1,3,5,7,9,11,13,15
/proc/13285/stat : 13285 (java) S 13282 13285 7954 0 -1 1077944320 70284 12576 0 0 1464 89 8 3 20 0 20 0 5905558 11263606784 172561 33554432000 4194304 4196468 140737022627664 140737022610208 140018265186039 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
/proc/13285/statm: 2749904 172561 3500 1 0 2737459 0
[pid=13285/tid=13340] ppid=13282 vsize=10999616 CPUtime=5.61 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13340/stat : 13340 (java) R 13282 13285 7954 0 -1 4202560 44606 12576 0 0 536 14 8 3 20 0 20 0 5905571 11263606784 172561 33554432000 4194304 4196468 140737022627664 140018269420360 140018246749595 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13341] ppid=13282 vsize=10999616 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13341/stat : 13341 (java) S 13282 13285 7954 0 -1 1077944384 103 12576 0 0 18 8 8 3 20 0 20 0 5905571 11263606784 172561 33554432000 4194304 4196468 140737022627664 140018217806352 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13342] ppid=13282 vsize=10999616 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13342/stat : 13342 (java) S 13282 13285 7954 0 -1 1077944384 92 12576 0 0 17 6 8 3 20 0 20 0 5905572 11263606784 172561 33554432000 4194304 4196468 140737022627664 140018216753808 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13343] ppid=13282 vsize=10999616 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13343/stat : 13343 (java) S 13282 13285 7954 0 -1 1077944384 125 12576 0 0 15 9 8 3 20 0 20 0 5905572 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017870231824 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13344] ppid=13282 vsize=10999616 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13344/stat : 13344 (java) S 13282 13285 7954 0 -1 1077944384 259 12576 0 0 15 8 8 3 20 0 20 0 5905572 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017869179280 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13345] ppid=13282 vsize=10999616 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13345/stat : 13345 (java) S 13282 13285 7954 0 -1 1077944384 122 12576 0 0 18 7 8 3 20 0 20 0 5905572 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017868127248 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13346] ppid=13282 vsize=10999616 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13346/stat : 13346 (java) S 13282 13285 7954 0 -1 1077944384 135 12576 0 0 20 7 8 3 20 0 20 0 5905572 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017867074704 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13347] ppid=13282 vsize=10999616 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13347/stat : 13347 (java) S 13282 13285 7954 0 -1 1077944384 232 12576 0 0 19 7 8 3 20 0 20 0 5905572 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017866021648 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13348] ppid=13282 vsize=10999616 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13348/stat : 13348 (java) S 13282 13285 7954 0 -1 1077944384 187 12576 0 0 19 7 8 3 20 0 20 0 5905572 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017864969104 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13349] ppid=13282 vsize=10999616 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13349/stat : 13349 (java) S 13282 13285 7954 0 -1 1077944384 2533 12576 0 0 12 0 8 3 20 0 20 0 5905574 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017082009840 140018265197186 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13350] ppid=13282 vsize=10999616 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13350/stat : 13350 (java) S 13282 13285 7954 0 -1 1077944384 55 12576 0 0 0 0 8 3 20 0 20 0 5905575 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017080956128 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13351] ppid=13282 vsize=10999616 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13351/stat : 13351 (java) S 13282 13285 7954 0 -1 1077944384 52 12576 0 0 0 0 8 3 20 0 20 0 5905575 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017079902976 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13352] ppid=13282 vsize=10999616 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13352/stat : 13352 (java) S 13282 13285 7954 0 -1 1077944384 1 12576 0 0 0 0 8 3 20 0 20 0 5905579 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017078851536 140018265204635 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13353] ppid=13282 vsize=10999616 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13353/stat : 13353 (java) R 13282 13285 7954 0 -1 4202560 3253 12576 0 0 206 1 8 3 20 0 20 0 5905579 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017077787984 140018265207386 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13354] ppid=13282 vsize=10999616 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13354/stat : 13354 (java) R 13282 13285 7954 0 -1 4202560 7004 12576 0 0 216 2 8 3 20 0 20 0 5905579 11263606784 172561 33554432000 4194304 4196468 140737022627664 140017076733280 140018246730239 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13355] ppid=13282 vsize=10999616 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13355/stat : 13355 (java) R 13282 13285 7954 0 -1 4202560 3016 12576 0 0 179 2 8 3 20 0 20 0 5905579 11263606784 172561 33554432000 4194304 4196468 140737022627664 140016604924432 140018265207386 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13356] ppid=13282 vsize=10999616 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13356/stat : 13356 (java) R 13282 13285 7954 0 -1 4202560 5636 12576 0 0 167 2 8 3 20 0 20 0 5905579 11263606784 172561 33554432000 4194304 4196468 140737022627664 140016603878008 140018244204446 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13357] ppid=13282 vsize=10999616 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13357/stat : 13357 (java) S 13282 13285 7954 0 -1 1077944384 3 12576 0 0 0 0 8 3 20 0 20 0 5905579 11263606784 172561 33554432000 4194304 4196468 140737022627664 140016602827232 140018265196245 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
[pid=13285/tid=13358] ppid=13282 vsize=10999616 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13285/task/13358/stat : 13358 (java) S 13282 13285 7954 0 -1 1077944384 743 12576 0 0 0 0 8 3 20 0 20 0 5905580 11263606784 172561 33554432000 4194304 4196468 140737022627664 140016601774768 140018265197186 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38064128 140737022634689 140737022637463 140737022637463 140737022640079 0
Current children cumulated CPU time (s) 15.64
Current children cumulated vsize (KiB) 10999616

Child status: 0
Real time (s): 6.14823
CPU time (s): 15.7677
CPU user time (s): 14.818
CPU system time (s): 0.949732
CPU usage (%): 256.46
Max. virtual memory (cumulated for all children) (KiB): 10999616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.818
system time used= 0.949732
maximum resident set size= 691276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83008
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= 10838
involuntary context switches= 2427

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.053619 second user time and 0.073994 second system time

The end

Launcher Data 

Begin job on node128 at 2017-07-22 08:53:01
IDJOB=4245631
IDBENCH=123006
IDSOLVER=2630
FILE ID=node128/4245631-1500706381
RUNJOBID= node128-1500683681-7986
PBS_JOBID= 20623342
Free space on /tmp= 61992 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Renault/Renault-m1-s1/Renault.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245631-1500706381/watcher-4245631-1500706381 -o /tmp/evaluation-result-4245631-1500706381/solver-4245631-1500706381 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7986 --watchdog 2560  bin/concrete HOME/instance-4245631-1500706381.xml

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

MD5SUM BENCH= 26a43e254d024ece7dd8533c0ccc245d
RANDOM SEED=1903471203

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30287420 kB
MemAvailable:   30519128 kB
Buffers:          122968 kB
Cached:           390800 kB
SwapCached:            0 kB
Active:          1744412 kB
Inactive:         302048 kB
Active(anon):    1535348 kB
Inactive(anon):     8756 kB
Active(file):     209064 kB
Inactive(file):   293292 kB
Unevictable:        5788 kB
Mlocked:            5788 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27196 kB
Writeback:             0 kB
AnonPages:       1537912 kB
Mapped:            43656 kB
Shmem:              8844 kB
Slab:             123980 kB
SReclaimable:      90376 kB
SUnreclaim:        33604 kB
KernelStack:        4496 kB
PageTables:         8588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2254548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1298432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61968 MiB
End job on node128 at 2017-07-22 08:53:07