Trace number 4245656

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 16.1373 6.1494

General information on the benchmark

NameRenault/Renault-m1-s1/
Renault-mgd.xml
MD5SUMe938dbb865153b6f638b91b21d0a191f
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.46457699
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints113
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":58},{"degree":2,"count":17},{"degree":3,"count":8},{"degree":4,"count":5},{"degree":5,"count":1},{"degree":7,"count":1},{"degree":10,"count":1},{"degree":18,"count":1},{"degree":28,"count":1},{"degree":31,"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":21},{"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 constraints113
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":113}]
Optimization problemNO
Type of objective

Solver Data 

3.80/2.13	c Concrete v3.4 running
15.84/6.04	v <instantiation>
15.84/6.04	v       <list>
15.84/6.04	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.84/6.04	v       </list>
15.84/6.04	v       <values>
15.84/6.04	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.84/6.04	v       </values>
15.84/6.04	v     </instantiation>
15.84/6.04	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-4245656-1500706395/watcher-4245656-1500706395 -o /tmp/evaluation-result-4245656-1500706395/solver-4245656-1500706395 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500696963-25081 --watchdog 2560 bin/concrete HOME/instance-4245656-1500706395.xml 

pid=27538
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.72 1.50 1.51 3/266 27541
/proc/meminfo: memFree=29594624/32770624 swapFree=5884/325912
[pid=27541] ppid=27538 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (bash) S 27538 27541 16913 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 5906468 9736192 351 33554432000 4194304 5098028 140734071539216 140734071536856 139690991258624 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 22454272 140734071547150 140734071547235 140734071547235 140734071549934 0
/proc/27541/statm: 2377 351 278 221 0 86 0

[startup+0.10015 s]
/proc/loadavg: 1.72 1.50 1.51 3/266 27541
/proc/meminfo: memFree=29594624/32770624 swapFree=5884/325912
[pid=27541] ppid=27538 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (bash) S 27538 27541 16913 0 -1 4202496 885 6410 0 0 0 0 0 1 20 0 1 0 5906468 9871360 378 33554432000 4194304 5098028 140734071539216 140734071533224 139690991258624 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 22454272 140734071547150 140734071547235 140734071547235 140734071549934 0
/proc/27541/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200368 s]
/proc/loadavg: 1.72 1.50 1.51 3/266 27541
/proc/meminfo: memFree=29594624/32770624 swapFree=5884/325912
[pid=27541] ppid=27538 vsize=10435860 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (java) S 27538 27541 16913 0 -1 1077944320 5066 12678 0 0 6 1 8 4 20 0 13 0 5906468 10686320640 5436 33554432000 4194304 4196468 140731212827712 140731212810256 140313272962807 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
/proc/27541/statm: 2608965 5436 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10435860

[startup+0.300348 s]
/proc/loadavg: 1.72 1.50 1.51 3/266 27541
/proc/meminfo: memFree=29594624/32770624 swapFree=5884/325912
[pid=27541] ppid=27538 vsize=10902292 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (java) S 27538 27541 16913 0 -1 1077944320 8333 12678 0 0 22 2 8 4 20 0 20 0 5906468 11163947008 9411 33554432000 4194304 4196468 140731212827712 140731212810256 140313272962807 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
/proc/27541/statm: 2725573 9411 2974 1 0 2713890 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902292

[startup+0.700239 s]
/proc/loadavg: 1.72 1.50 1.51 3/266 27541
/proc/meminfo: memFree=29594624/32770624 swapFree=5884/325912
[pid=27541] ppid=27538 vsize=10902720 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (java) S 27538 27541 16913 0 -1 1077944320 12703 12678 0 0 78 4 8 4 20 0 20 0 5906468 11164385280 16032 33554432000 4194304 4196468 140731212827712 140731212810256 140313272962807 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
/proc/27541/statm: 2725680 16032 3218 1 0 2713890 0
Current children cumulated CPU time (s) 0.94
Current children cumulated vsize (KiB) 10902720

[startup+1.50079 s]
/proc/loadavg: 1.72 1.50 1.51 3/286 27614
/proc/meminfo: memFree=29486868/32770624 swapFree=5884/326168
[pid=27541] ppid=27538 vsize=10913344 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (java) S 27538 27541 16913 0 -1 1077944320 28177 12678 0 0 204 13 8 4 20 0 20 0 5906468 11175264256 44724 33554432000 4194304 4196468 140731212827712 140731212810256 140313272962807 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
/proc/27541/statm: 2728336 44724 3407 1 0 2716450 0
[pid=27541/tid=27596] ppid=27538 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27596/stat : 27596 (java) R 27538 27541 16913 0 -1 4202560 19860 12678 0 0 125 6 8 4 20 0 20 0 5906481 11175264256 44724 33554432000 4194304 4196468 140731212827712 140313277193256 140313229591456 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27597] ppid=27538 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27597/stat : 27597 (java) S 27538 27541 16913 0 -1 1077944384 20 12678 0 0 0 0 8 4 20 0 20 0 5906482 11175264256 44724 33554432000 4194304 4196468 140731212827712 140313229515280 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27598] ppid=27538 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27598/stat : 27598 (java) S 27538 27541 16913 0 -1 1077944384 21 12678 0 0 1 0 8 4 20 0 20 0 5906482 11175264256 44724 33554432000 4194304 4196468 140731212827712 140313228462736 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27599] ppid=27538 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27599/stat : 27599 (java) S 27538 27541 16913 0 -1 1077944384 42 12678 0 0 1 0 8 4 20 0 20 0 5906482 11175264256 44724 33554432000 4194304 4196468 140731212827712 140313227409680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27600] ppid=27538 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27600/stat : 27600 (java) S 27538 27541 16913 0 -1 1077944384 150 12678 0 0 1 0 8 4 20 0 20 0 5906482 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312876865936 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27601] ppid=27538 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27601/stat : 27601 (java) S 27538 27541 16913 0 -1 1077944384 29 12678 0 0 0 0 8 4 20 0 20 0 5906482 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312875813904 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27602] ppid=27538 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27602/stat : 27602 (java) S 27538 27541 16913 0 -1 1077944384 16 12678 0 0 1 0 8 4 20 0 20 0 5906482 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312874761360 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27603] ppid=27538 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27603/stat : 27603 (java) S 27538 27541 16913 0 -1 1077944384 13 12678 0 0 1 0 8 4 20 0 20 0 5906482 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312873708304 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27604] ppid=27538 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27604/stat : 27604 (java) S 27538 27541 16913 0 -1 1077944384 25 12678 0 0 1 0 8 4 20 0 20 0 5906482 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312872655760 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27605] ppid=27538 vsize=10913344 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27605/stat : 27605 (java) S 27538 27541 16913 0 -1 1077944384 1571 12678 0 0 2 0 8 4 20 0 20 0 5906484 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312612657392 140313272973954 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27606] ppid=27538 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27606/stat : 27606 (java) S 27538 27541 16913 0 -1 1077944384 56 12678 0 0 0 0 8 4 20 0 20 0 5906485 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312611603680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27607] ppid=27538 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27607/stat : 27607 (java) S 27538 27541 16913 0 -1 1077944384 43 12678 0 0 0 0 8 4 20 0 20 0 5906485 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312610550512 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27608] ppid=27538 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27608/stat : 27608 (java) S 27538 27541 16913 0 -1 1077944384 1 12678 0 0 0 0 8 4 20 0 20 0 5906489 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312609499088 140313272981403 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27609] ppid=27538 vsize=10913344 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27609/stat : 27609 (java) S 27538 27541 16913 0 -1 1077944384 1851 12678 0 0 17 0 8 4 20 0 20 0 5906489 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312608447216 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27610] ppid=27538 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27610/stat : 27610 (java) S 27538 27541 16913 0 -1 1077944384 308 12678 0 0 8 0 8 4 20 0 20 0 5906489 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312607394672 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27611] ppid=27538 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27611/stat : 27611 (java) S 27538 27541 16913 0 -1 1077944384 632 12678 0 0 12 0 8 4 20 0 20 0 5906489 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312606341616 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27612] ppid=27538 vsize=10913344 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27612/stat : 27612 (java) S 27538 27541 16913 0 -1 1077944384 1400 12678 0 0 27 0 8 4 20 0 20 0 5906489 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312605289072 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27613] ppid=27538 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27613/stat : 27613 (java) S 27538 27541 16913 0 -1 1077944384 3 12678 0 0 0 0 8 4 20 0 20 0 5906490 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312604236256 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27614] ppid=27538 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27614/stat : 27614 (java) S 27538 27541 16913 0 -1 1077944384 3 12678 0 0 0 0 8 4 20 0 20 0 5906490 11175264256 44724 33554432000 4194304 4196468 140731212827712 140312603183792 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344

[startup+3.1008 s]
/proc/loadavg: 1.90 1.54 1.52 6/286 27614
/proc/meminfo: memFree=29412852/32770624 swapFree=5884/326168
[pid=27541] ppid=27538 vsize=10925820 CPUtime=6.35 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (java) S 27538 27541 16913 0 -1 1077944320 48824 12678 0 0 594 29 8 4 20 0 20 0 5906468 11188039680 79304 33554432000 4194304 4196468 140731212827712 140731212810256 140313272962807 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
/proc/27541/statm: 2731455 79304 3479 1 0 2719010 0
[pid=27541/tid=27596] ppid=27538 vsize=10925820 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27596/stat : 27596 (java) R 27538 27541 16913 0 -1 4202560 31246 12678 0 0 277 9 8 4 20 0 20 0 5906481 11188039680 79304 33554432000 4194304 4196468 140731212827712 140313277174256 140313254516120 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27597] ppid=27538 vsize=10925820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27597/stat : 27597 (java) S 27538 27541 16913 0 -1 1077944384 157 12678 0 0 3 1 8 4 20 0 20 0 5906482 11188039680 79304 33554432000 4194304 4196468 140731212827712 140313229515280 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27598] ppid=27538 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27598/stat : 27598 (java) S 27538 27541 16913 0 -1 1077944384 31 12678 0 0 2 0 8 4 20 0 20 0 5906482 11188039680 79304 33554432000 4194304 4196468 140731212827712 140313228462736 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27599] ppid=27538 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27599/stat : 27599 (java) S 27538 27541 16913 0 -1 1077944384 183 12678 0 0 2 1 8 4 20 0 20 0 5906482 11188039680 79304 33554432000 4194304 4196468 140731212827712 140313227409680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27600] ppid=27538 vsize=10925820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27600/stat : 27600 (java) S 27538 27541 16913 0 -1 1077944384 168 12678 0 0 2 2 8 4 20 0 20 0 5906482 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312876865936 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27601] ppid=27538 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27601/stat : 27601 (java) S 27538 27541 16913 0 -1 1077944384 40 12678 0 0 1 1 8 4 20 0 20 0 5906482 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312875813904 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27602] ppid=27538 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27602/stat : 27602 (java) S 27538 27541 16913 0 -1 1077944384 29 12678 0 0 2 1 8 4 20 0 20 0 5906482 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312874761360 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27603] ppid=27538 vsize=10925820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27603/stat : 27603 (java) S 27538 27541 16913 0 -1 1077944384 45 12678 0 0 2 2 8 4 20 0 20 0 5906482 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312873708304 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27604] ppid=27538 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27604/stat : 27604 (java) S 27538 27541 16913 0 -1 1077944384 37 12678 0 0 2 1 8 4 20 0 20 0 5906482 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312872655760 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27605] ppid=27538 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27605/stat : 27605 (java) S 27538 27541 16913 0 -1 1077944384 1867 12678 0 0 2 0 8 4 20 0 20 0 5906484 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312612657392 140313272973954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27606] ppid=27538 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27606/stat : 27606 (java) S 27538 27541 16913 0 -1 1077944384 59 12678 0 0 0 0 8 4 20 0 20 0 5906485 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312611603680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27607] ppid=27538 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27607/stat : 27607 (java) S 27538 27541 16913 0 -1 1077944384 45 12678 0 0 0 0 8 4 20 0 20 0 5906485 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312610550528 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27608] ppid=27538 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27608/stat : 27608 (java) S 27538 27541 16913 0 -1 1077944384 1 12678 0 0 0 0 8 4 20 0 20 0 5906489 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312609499088 140313272981403 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27609] ppid=27538 vsize=10925820 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27609/stat : 27609 (java) S 27538 27541 16913 0 -1 1077944384 3161 12678 0 0 66 1 8 4 20 0 20 0 5906489 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312608447216 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27610] ppid=27538 vsize=10925820 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27610/stat : 27610 (java) S 27538 27541 16913 0 -1 1077944384 4424 12678 0 0 78 1 8 4 20 0 20 0 5906489 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312607394672 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27611] ppid=27538 vsize=10925820 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27611/stat : 27611 (java) R 27538 27541 16913 0 -1 4202560 1996 12678 0 0 62 1 8 4 20 0 20 0 5906489 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312606341912 140313258991233 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27612] ppid=27538 vsize=10925820 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27612/stat : 27612 (java) S 27538 27541 16913 0 -1 1077944384 3194 12678 0 0 85 1 8 4 20 0 20 0 5906489 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312605289072 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27613] ppid=27538 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27613/stat : 27613 (java) S 27538 27541 16913 0 -1 1077944384 3 12678 0 0 0 0 8 4 20 0 20 0 5906490 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312604236256 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27614] ppid=27538 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27614/stat : 27614 (java) S 27538 27541 16913 0 -1 1077944384 5 12678 0 0 0 0 8 4 20 0 20 0 5906490 11188039680 79304 33554432000 4194304 4196468 140731212827712 140312603183792 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
Current children cumulated CPU time (s) 6.35
Current children cumulated vsize (KiB) 10925820

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

[startup+3.20096 s]
/proc/loadavg: 1.90 1.54 1.52 6/286 27614
/proc/meminfo: memFree=29412852/32770624 swapFree=5884/326168
[pid=27541] ppid=27538 vsize=10925820 CPUtime=6.59 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (java) S 27538 27541 16913 0 -1 1077944320 49058 12678 0 0 618 29 8 4 20 0 20 0 5906468 11188039680 79479 33554432000 4194304 4196468 140731212827712 140731212810256 140313272962807 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
/proc/27541/statm: 2731455 79479 3479 1 0 2719010 0
[pid=27541/tid=27596] ppid=27538 vsize=10925820 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27596/stat : 27596 (java) R 27538 27541 16913 0 -1 4202560 31326 12678 0 0 287 9 8 4 20 0 20 0 5906481 11188039680 79479 33554432000 4194304 4196468 140731212827712 140313277193744 140313272974742 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27597] ppid=27538 vsize=10925820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27597/stat : 27597 (java) S 27538 27541 16913 0 -1 1077944384 157 12678 0 0 3 1 8 4 20 0 20 0 5906482 11188039680 79479 33554432000 4194304 4196468 140731212827712 140313229515280 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27598] ppid=27538 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27598/stat : 27598 (java) S 27538 27541 16913 0 -1 1077944384 31 12678 0 0 2 0 8 4 20 0 20 0 5906482 11188039680 79479 33554432000 4194304 4196468 140731212827712 140313228462736 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27599] ppid=27538 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27599/stat : 27599 (java) S 27538 27541 16913 0 -1 1077944384 183 12678 0 0 2 1 8 4 20 0 20 0 5906482 11188039680 79479 33554432000 4194304 4196468 140731212827712 140313227409680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27600] ppid=27538 vsize=10925820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27600/stat : 27600 (java) S 27538 27541 16913 0 -1 1077944384 168 12678 0 0 2 2 8 4 20 0 20 0 5906482 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312876865936 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27601] ppid=27538 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27601/stat : 27601 (java) S 27538 27541 16913 0 -1 1077944384 40 12678 0 0 1 1 8 4 20 0 20 0 5906482 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312875813904 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27602] ppid=27538 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27602/stat : 27602 (java) S 27538 27541 16913 0 -1 1077944384 29 12678 0 0 2 1 8 4 20 0 20 0 5906482 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312874761360 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27603] ppid=27538 vsize=10925820 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27603/stat : 27603 (java) S 27538 27541 16913 0 -1 1077944384 45 12678 0 0 2 2 8 4 20 0 20 0 5906482 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312873708304 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27604] ppid=27538 vsize=10925820 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27604/stat : 27604 (java) S 27538 27541 16913 0 -1 1077944384 37 12678 0 0 2 1 8 4 20 0 20 0 5906482 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312872655760 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27605] ppid=27538 vsize=10925820 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27605/stat : 27605 (java) S 27538 27541 16913 0 -1 1077944384 1867 12678 0 0 2 0 8 4 20 0 20 0 5906484 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312612657392 140313272973954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27606] ppid=27538 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27606/stat : 27606 (java) S 27538 27541 16913 0 -1 1077944384 59 12678 0 0 0 0 8 4 20 0 20 0 5906485 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312611603680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27607] ppid=27538 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27607/stat : 27607 (java) S 27538 27541 16913 0 -1 1077944384 45 12678 0 0 0 0 8 4 20 0 20 0 5906485 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312610550528 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27608] ppid=27538 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27608/stat : 27608 (java) S 27538 27541 16913 0 -1 1077944384 1 12678 0 0 0 0 8 4 20 0 20 0 5906489 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312609499088 140313272981403 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27609] ppid=27538 vsize=10925820 CPUtime=0.81 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27609/stat : 27609 (java) S 27538 27541 16913 0 -1 1077944384 3164 12678 0 0 68 1 8 4 20 0 20 0 5906489 11188039680 79479 33554432000 4194304 4196468 140731212827712 140312608447216 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0

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

[pid=27541/tid=27602] ppid=27538 vsize=10927868 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27602/stat : 27602 (java) S 27538 27541 16913 0 -1 1077944384 73 12678 0 0 7 6 8 4 20 0 20 0 5906482 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312874761360 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27603] ppid=27538 vsize=10927868 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27603/stat : 27603 (java) S 27538 27541 16913 0 -1 1077944384 88 12678 0 0 7 7 8 4 20 0 20 0 5906482 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312873708304 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27604] ppid=27538 vsize=10927868 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27604/stat : 27604 (java) S 27538 27541 16913 0 -1 1077944384 75 12678 0 0 5 6 8 4 20 0 20 0 5906482 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312872655760 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27605] ppid=27538 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27605/stat : 27605 (java) S 27538 27541 16913 0 -1 1077944384 1968 12678 0 0 3 0 8 4 20 0 20 0 5906484 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312612657392 140313272973954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27606] ppid=27538 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27606/stat : 27606 (java) S 27538 27541 16913 0 -1 1077944384 59 12678 0 0 0 0 8 4 20 0 20 0 5906485 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312611603680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27607] ppid=27538 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27607/stat : 27607 (java) S 27538 27541 16913 0 -1 1077944384 45 12678 0 0 0 0 8 4 20 0 20 0 5906485 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312610550528 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27608] ppid=27538 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27608/stat : 27608 (java) S 27538 27541 16913 0 -1 1077944384 1 12678 0 0 0 0 8 4 20 0 20 0 5906489 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312609499088 140313272981403 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27609] ppid=27538 vsize=10927868 CPUtime=1.6 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27609/stat : 27609 (java) S 27538 27541 16913 0 -1 1077944384 3408 12678 0 0 147 1 8 4 20 0 20 0 5906489 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312608447216 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27610] ppid=27538 vsize=10927868 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27610/stat : 27610 (java) S 27538 27541 16913 0 -1 1077944384 4700 12678 0 0 154 2 8 4 20 0 20 0 5906489 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312607394672 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27611] ppid=27538 vsize=10927868 CPUtime=1.57 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27611/stat : 27611 (java) S 27538 27541 16913 0 -1 1077944384 2364 12678 0 0 144 1 8 4 20 0 20 0 5906489 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312606341616 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27612] ppid=27538 vsize=10927868 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27612/stat : 27612 (java) S 27538 27541 16913 0 -1 1077944384 3974 12678 0 0 122 2 8 4 20 0 20 0 5906489 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312605289072 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27613] ppid=27538 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27613/stat : 27613 (java) S 27538 27541 16913 0 -1 1077944384 3 12678 0 0 0 0 8 4 20 0 20 0 5906490 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312604236256 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27614] ppid=27538 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27614/stat : 27614 (java) S 27538 27541 16913 0 -1 1077944384 6 12678 0 0 0 0 8 4 20 0 20 0 5906490 11190136832 134485 33554432000 4194304 4196468 140731212827712 140312603183792 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
Current children cumulated CPU time (s) 11.52
Current children cumulated vsize (KiB) 10927868

[startup+5.60939 s]
/proc/loadavg: 1.90 1.54 1.52 5/286 27614
/proc/meminfo: memFree=28962132/32770624 swapFree=5884/326168
[pid=27541] ppid=27538 vsize=10995452 CPUtime=14 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (java) S 27538 27541 16913 0 -1 1077944320 63815 12678 0 0 1295 93 8 4 20 0 20 0 5906468 11259342848 169496 33554432000 4194304 4196468 140731212827712 140731212810256 140313272962807 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
/proc/27541/statm: 2748863 169496 3499 1 0 2736418 0
[pid=27541/tid=27596] ppid=27538 vsize=10995452 CPUtime=5.28 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27596/stat : 27596 (java) R 27538 27541 16913 0 -1 4202560 38755 12678 0 0 502 14 8 4 20 0 20 0 5906481 11259342848 169496 33554432000 4194304 4196468 140731212827712 140313277196152 140313257043324 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27597] ppid=27538 vsize=10995452 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27597/stat : 27597 (java) S 27538 27541 16913 0 -1 1077944384 240 12678 0 0 10 9 8 4 20 0 20 0 5906482 11259342848 169496 33554432000 4194304 4196468 140731212827712 140313229515280 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27598] ppid=27538 vsize=10995452 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27598/stat : 27598 (java) S 27538 27541 16913 0 -1 1077944384 87 12678 0 0 10 7 8 4 20 0 20 0 5906482 11259342848 169496 33554432000 4194304 4196468 140731212827712 140313228462736 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27599] ppid=27538 vsize=10995452 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27599/stat : 27599 (java) S 27538 27541 16913 0 -1 1077944384 255 12678 0 0 10 7 8 4 20 0 20 0 5906482 11259342848 169496 33554432000 4194304 4196468 140731212827712 140313227409680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27600] ppid=27538 vsize=10995452 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27600/stat : 27600 (java) S 27538 27541 16913 0 -1 1077944384 254 12678 0 0 9 8 8 4 20 0 20 0 5906482 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312876865936 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27601] ppid=27538 vsize=10995452 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27601/stat : 27601 (java) S 27538 27541 16913 0 -1 1077944384 131 12678 0 0 10 8 8 4 20 0 20 0 5906482 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312875813904 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27602] ppid=27538 vsize=10995452 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27602/stat : 27602 (java) S 27538 27541 16913 0 -1 1077944384 138 12678 0 0 10 9 8 4 20 0 20 0 5906482 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312874761360 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27603] ppid=27538 vsize=10995452 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27603/stat : 27603 (java) S 27538 27541 16913 0 -1 1077944384 135 12678 0 0 10 9 8 4 20 0 20 0 5906482 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312873708304 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27604] ppid=27538 vsize=10995452 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27604/stat : 27604 (java) S 27538 27541 16913 0 -1 1077944384 122 12678 0 0 8 8 8 4 20 0 20 0 5906482 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312872655760 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27605] ppid=27538 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27605/stat : 27605 (java) S 27538 27541 16913 0 -1 1077944384 2776 12678 0 0 5 0 8 4 20 0 20 0 5906484 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312612657392 140313272973954 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27606] ppid=27538 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27606/stat : 27606 (java) S 27538 27541 16913 0 -1 1077944384 59 12678 0 0 0 0 8 4 20 0 20 0 5906485 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312611603680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27607] ppid=27538 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27607/stat : 27607 (java) S 27538 27541 16913 0 -1 1077944384 45 12678 0 0 0 0 8 4 20 0 20 0 5906485 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312610550528 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27608] ppid=27538 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27608/stat : 27608 (java) S 27538 27541 16913 0 -1 1077944384 1 12678 0 0 0 0 8 4 20 0 20 0 5906489 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312609499088 140313272981403 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27609] ppid=27538 vsize=10995452 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27609/stat : 27609 (java) S 27538 27541 16913 0 -1 1077944384 3524 12678 0 0 178 1 8 4 20 0 20 0 5906489 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312608447216 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27610] ppid=27538 vsize=10995452 CPUtime=2.13 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27610/stat : 27610 (java) R 27538 27541 16913 0 -1 4202560 5648 12678 0 0 199 2 8 4 20 0 20 0 5906489 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312607382544 140313252187842 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27611] ppid=27538 vsize=10995452 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27611/stat : 27611 (java) R 27538 27541 16913 0 -1 4202560 4967 12678 0 0 184 2 8 4 20 0 20 0 5906489 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312606321704 140313257863088 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27612] ppid=27538 vsize=10995452 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27612/stat : 27612 (java) R 27538 27541 16913 0 -1 4202560 4546 12678 0 0 142 2 8 4 20 0 20 0 5906489 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312605286240 140313266059643 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27613] ppid=27538 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27613/stat : 27613 (java) S 27538 27541 16913 0 -1 1077944384 3 12678 0 0 0 0 8 4 20 0 20 0 5906490 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312604236256 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27614] ppid=27538 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27614/stat : 27614 (java) S 27538 27541 16913 0 -1 1077944384 8 12678 0 0 0 0 8 4 20 0 20 0 5906490 11259342848 169496 33554432000 4194304 4196468 140731212827712 140312603183792 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
Current children cumulated CPU time (s) 14
Current children cumulated vsize (KiB) 10995452

[startup+6.00101 s]
/proc/loadavg: 1.90 1.54 1.52 5/286 27614
/proc/meminfo: memFree=28962132/32770624 swapFree=5884/326168
[pid=27541] ppid=27538 vsize=10997500 CPUtime=15.84 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (java) S 27538 27541 16913 0 -1 1077944320 65389 12678 0 0 1478 94 8 4 20 0 20 0 5906468 11261440000 172582 33554432000 4194304 4196468 140731212827712 140731212810256 140313272962807 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
/proc/27541/statm: 2749375 172582 3501 1 0 2736930 0
[pid=27541/tid=27596] ppid=27538 vsize=10997500 CPUtime=5.46 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27596/stat : 27596 (java) R 27538 27541 16913 0 -1 4202560 39044 12678 0 0 520 14 8 4 20 0 20 0 5906481 11261440000 172582 33554432000 4194304 4196468 140731212827712 140313277190320 140313272974742 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27597] ppid=27538 vsize=10997500 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27597/stat : 27597 (java) S 27538 27541 16913 0 -1 1077944384 249 12678 0 0 21 9 8 4 20 0 20 0 5906482 11261440000 172582 33554432000 4194304 4196468 140731212827712 140313229515280 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27598] ppid=27538 vsize=10997500 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27598/stat : 27598 (java) S 27538 27541 16913 0 -1 1077944384 100 12678 0 0 21 7 8 4 20 0 20 0 5906482 11261440000 172582 33554432000 4194304 4196468 140731212827712 140313228462736 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27599] ppid=27538 vsize=10997500 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27599/stat : 27599 (java) S 27538 27541 16913 0 -1 1077944384 258 12678 0 0 21 7 8 4 20 0 20 0 5906482 11261440000 172582 33554432000 4194304 4196468 140731212827712 140313227409680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27600] ppid=27538 vsize=10997500 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27600/stat : 27600 (java) S 27538 27541 16913 0 -1 1077944384 263 12678 0 0 20 8 8 4 20 0 20 0 5906482 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312876865936 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27601] ppid=27538 vsize=10997500 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27601/stat : 27601 (java) S 27538 27541 16913 0 -1 1077944384 142 12678 0 0 21 8 8 4 20 0 20 0 5906482 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312875813904 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27602] ppid=27538 vsize=10997500 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27602/stat : 27602 (java) S 27538 27541 16913 0 -1 1077944384 143 12678 0 0 22 9 8 4 20 0 20 0 5906482 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312874761360 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27603] ppid=27538 vsize=10997500 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27603/stat : 27603 (java) S 27538 27541 16913 0 -1 1077944384 143 12678 0 0 20 9 8 4 20 0 20 0 5906482 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312873708304 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27604] ppid=27538 vsize=10997500 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27604/stat : 27604 (java) S 27538 27541 16913 0 -1 1077944384 130 12678 0 0 20 8 8 4 20 0 20 0 5906482 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312872655760 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27605] ppid=27538 vsize=10997500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27605/stat : 27605 (java) S 27538 27541 16913 0 -1 1077944384 2937 12678 0 0 13 0 8 4 20 0 20 0 5906484 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312612657392 140313272973954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27606] ppid=27538 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27606/stat : 27606 (java) S 27538 27541 16913 0 -1 1077944384 60 12678 0 0 0 0 8 4 20 0 20 0 5906485 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312611603744 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27607] ppid=27538 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27607/stat : 27607 (java) S 27538 27541 16913 0 -1 1077944384 45 12678 0 0 0 0 8 4 20 0 20 0 5906485 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312610550528 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27608] ppid=27538 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27608/stat : 27608 (java) S 27538 27541 16913 0 -1 1077944384 1 12678 0 0 0 0 8 4 20 0 20 0 5906489 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312609499088 140313272981403 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27609] ppid=27538 vsize=10997500 CPUtime=2.07 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27609/stat : 27609 (java) R 27538 27541 16913 0 -1 4202560 3561 12678 0 0 194 1 8 4 20 0 20 0 5906489 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312608428640 140313252230282 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27610] ppid=27538 vsize=10997500 CPUtime=2.33 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27610/stat : 27610 (java) R 27538 27541 16913 0 -1 4202560 5841 12678 0 0 219 2 8 4 20 0 20 0 5906489 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312607381872 140313272984154 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27611] ppid=27538 vsize=10997500 CPUtime=2.18 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27611/stat : 27611 (java) R 27538 27541 16913 0 -1 4202560 5624 12678 0 0 204 2 8 4 20 0 20 0 5906489 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312606327496 140313258087908 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27612] ppid=27538 vsize=10997500 CPUtime=1.66 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27612/stat : 27612 (java) S 27538 27541 16913 0 -1 1077944384 4705 12678 0 0 152 2 8 4 20 0 20 0 5906489 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312605289072 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27613] ppid=27538 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27613/stat : 27613 (java) S 27538 27541 16913 0 -1 1077944384 3 12678 0 0 0 0 8 4 20 0 20 0 5906490 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312604236256 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27614] ppid=27538 vsize=10997500 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27614/stat : 27614 (java) S 27538 27541 16913 0 -1 1077944384 8 12678 0 0 0 0 8 4 20 0 20 0 5906490 11261440000 172582 33554432000 4194304 4196468 140731212827712 140312603183792 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
Current children cumulated CPU time (s) 15.84
Current children cumulated vsize (KiB) 10997500

[startup+6.1008 s]
/proc/loadavg: 1.90 1.54 1.52 5/286 27614
/proc/meminfo: memFree=28962132/32770624 swapFree=5884/326168
[pid=27541] ppid=27538 vsize=11064064 CPUtime=16.08 cores=1,3,5,7,9,11,13,15
/proc/27541/stat : 27541 (java) S 27538 27541 16913 0 -1 1077944320 65655 12678 0 0 1502 94 8 4 20 0 19 0 5906468 11329601536 172815 33554432000 4194304 4196468 140731212827712 140731212810256 140313272962807 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
/proc/27541/statm: 2766016 172815 3503 1 0 2753571 0
[pid=27541/tid=27596] ppid=27538 vsize=11064064 CPUtime=5.5 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27596/stat : 27596 (java) S 27538 27541 16913 0 -1 1077944384 39122 12678 0 0 524 14 8 4 20 0 19 0 5906481 11329601536 172815 33554432000 4194304 4196468 140731212827712 140313277205648 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27597] ppid=27538 vsize=11064064 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27597/stat : 27597 (java) S 27538 27541 16913 0 -1 1077944384 249 12678 0 0 21 9 8 4 20 0 19 0 5906482 11329601536 172815 33554432000 4194304 4196468 140731212827712 140313229515280 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27598] ppid=27538 vsize=11064064 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27598/stat : 27598 (java) S 27538 27541 16913 0 -1 1077944384 100 12678 0 0 21 7 8 4 20 0 19 0 5906482 11329601536 172815 33554432000 4194304 4196468 140731212827712 140313228462736 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27599] ppid=27538 vsize=11064064 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27599/stat : 27599 (java) S 27538 27541 16913 0 -1 1077944384 258 12678 0 0 21 7 8 4 20 0 19 0 5906482 11329601536 172815 33554432000 4194304 4196468 140731212827712 140313227409680 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27600] ppid=27538 vsize=11064064 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27600/stat : 27600 (java) S 27538 27541 16913 0 -1 1077944384 263 12678 0 0 20 8 8 4 20 0 19 0 5906482 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312876865936 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27601] ppid=27538 vsize=11064064 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27601/stat : 27601 (java) S 27538 27541 16913 0 -1 1077944384 142 12678 0 0 21 8 8 4 20 0 19 0 5906482 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312875813904 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27602] ppid=27538 vsize=11064064 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27602/stat : 27602 (java) S 27538 27541 16913 0 -1 1077944384 143 12678 0 0 22 9 8 4 20 0 19 0 5906482 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312874761360 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27603] ppid=27538 vsize=11064064 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27603/stat : 27603 (java) S 27538 27541 16913 0 -1 1077944384 143 12678 0 0 20 9 8 4 20 0 19 0 5906482 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312873708304 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27604] ppid=27538 vsize=11064064 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27604/stat : 27604 (java) S 27538 27541 16913 0 -1 1077944384 130 12678 0 0 20 8 8 4 20 0 19 0 5906482 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312872655760 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27605] ppid=27538 vsize=11064064 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27605/stat : 27605 (java) S 27538 27541 16913 0 -1 1077944384 2937 12678 0 0 13 0 8 4 20 0 19 0 5906484 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312612657600 140313272973954 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27606] ppid=27538 vsize=11064064 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27606/stat : 27606 (java) S 27538 27541 16913 0 -1 1077944384 60 12678 0 0 0 0 8 4 20 0 19 0 5906485 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312611603744 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27607] ppid=27538 vsize=11064064 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27607/stat : 27607 (java) S 27538 27541 16913 0 -1 1077944384 45 12678 0 0 0 0 8 4 20 0 19 0 5906485 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312610550528 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27608] ppid=27538 vsize=11064064 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27608/stat : 27608 (java) S 27538 27541 16913 0 -1 1077944384 24 12678 0 0 0 0 8 4 20 0 19 0 5906489 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312609497856 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27609] ppid=27538 vsize=11064064 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27609/stat : 27609 (java) S 27538 27541 16913 0 -1 1077944384 3568 12678 0 0 198 1 8 4 20 0 19 0 5906489 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312608432336 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27610] ppid=27538 vsize=11064064 CPUtime=2.37 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27610/stat : 27610 (java) S 27538 27541 16913 0 -1 1077944384 5850 12678 0 0 223 2 8 4 20 0 19 0 5906489 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312607379792 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27611] ppid=27538 vsize=11064064 CPUtime=2.28 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27611/stat : 27611 (java) R 27538 27541 16913 0 -1 4202560 5722 12678 0 0 214 2 8 4 20 0 19 0 5906489 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312606327496 140313258074939 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27612] ppid=27538 vsize=11064064 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27612/stat : 27612 (java) S 27538 27541 16913 0 -1 1077944384 4722 12678 0 0 153 2 8 4 20 0 19 0 5906489 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312605289072 140313272973954 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
[pid=27541/tid=27613] ppid=27538 vsize=11064064 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27541/task/27613/stat : 27613 (java) S 27538 27541 16913 0 -1 1077944384 3 12678 0 0 0 0 8 4 20 0 19 0 5906490 11329601536 172815 33554432000 4194304 4196468 140731212827712 140312604236256 140313272973013 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 35725312 140731212831425 140731212834199 140731212834199 140731212836815 0
Current children cumulated CPU time (s) 16.08
Current children cumulated vsize (KiB) 11064064

Child status: 0
Real time (s): 6.1494
CPU time (s): 16.1373
CPU user time (s): 15.1342
CPU system time (s): 1.00307
CPU usage (%): 262.42
Max. virtual memory (cumulated for all children) (KiB): 11064064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.1342
system time used= 1.00307
maximum resident set size= 693968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78798
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= 10280
involuntary context switches= 1303

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059042 second user time and 0.059047 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-22 08:53:15
IDJOB=4245656
IDBENCH=123015
IDSOLVER=2630
FILE ID=node133/4245656-1500706395
RUNJOBID= node133-1500696963-25081
PBS_JOBID= 20623321
Free space on /tmp= 61988 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Renault/Renault-m1-s1/Renault-mgd.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245656-1500706395/watcher-4245656-1500706395 -o /tmp/evaluation-result-4245656-1500706395/solver-4245656-1500706395 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500696963-25081 --watchdog 2560  bin/concrete HOME/instance-4245656-1500706395.xml

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

MD5SUM BENCH= e938dbb865153b6f638b91b21d0a191f
RANDOM SEED=980571454

node133.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	: 5334.13
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		: 2667.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	: 5229.85
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	: 5334.13
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		: 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	: 5229.85
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	: 5334.13
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		: 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	: 5229.85
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	: 5334.13
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		: 2267.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	: 5229.85
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		: 1733.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	: 5334.13
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		: 2267.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	: 5229.85
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		: 2133.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	: 5334.13
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		: 1733.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	: 5229.85
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		: 1733.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	: 5334.13
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		: 2000.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	: 5229.85
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	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5229.85
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29594796 kB
MemAvailable:   29893580 kB
Buffers:          129776 kB
Cached:           448116 kB
SwapCached:            0 kB
Active:          2395412 kB
Inactive:         334664 kB
Active(anon):    2155260 kB
Inactive(anon):     8772 kB
Active(file):     240152 kB
Inactive(file):   325892 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             27224 kB
Writeback:             0 kB
AnonPages:       1928668 kB
Mapped:            44280 kB
Shmem:              8872 kB
Slab:             131168 kB
SReclaimable:      97148 kB
SUnreclaim:        34020 kB
KernelStack:        4928 kB
PageTables:        11132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2796092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1683456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61964 MiB
End job on node133 at 2017-07-22 08:53:21