Trace number 4248059

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 11.9728 4.54527

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-LV/
Subisomorphism-g08-g31.xml
MD5SUM8350f69b30d41bfb657e468d66c4f714
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.018184001
Satisfiable
(Un)Satisfiability was proved
Number of variables30
Number of constraints63
Number of domains1
Minimum domain size100
Maximum domain size100
Distribution of domain sizes[{"size":100,"count":30}]
Minimum variable degree2
Maximum variable degree8
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":3},{"degree":4,"count":10},{"degree":5,"count":3},{"degree":6,"count":6},{"degree":7,"count":4},{"degree":8,"count":3}]
Minimum constraint arity2
Maximum constraint arity30
Distribution of constraint arities[{"arity":2,"count":62},{"arity":30,"count":1}]
Number of extensional constraints62
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":62},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

3.44/2.07	c Concrete v3.4 running
11.56/4.51	v <instantiation>
11.56/4.51	v       <list>
11.56/4.51	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29]
11.56/4.51	v       </list>
11.56/4.51	v       <values>
11.56/4.51	v         40 98 96 25 1 93 97 14 33 89 99 86 30 94 58 73 17 63 29 84 83 32 69 88 75 77 61 95 90 91
11.56/4.51	v       </values>
11.56/4.51	v     </instantiation>
11.56/4.51	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-4248059-1500742510/watcher-4248059-1500742510 -o /tmp/evaluation-result-4248059-1500742510/solver-4248059-1500742510 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500739996-23970 --watchdog 2560 bin/concrete HOME/instance-4248059-1500742510.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 2.00 1.72 1.58 3/261 25834
/proc/meminfo: memFree=29573168/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (bash) S 25831 25834 20253 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 9517362 9736192 350 33554432000 4194304 5098028 140732211556320 140732211553960 139973743119360 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 20246528 140732211557646 140732211557731 140732211557731 140732211560430 0
/proc/25834/statm: 2377 350 278 221 0 86 0

[startup+0.100124 s]
/proc/loadavg: 2.00 1.72 1.58 3/261 25834
/proc/meminfo: memFree=29573168/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (bash) S 25831 25834 20253 0 -1 4202496 879 6423 0 0 0 0 0 1 20 0 1 0 9517362 9871360 377 33554432000 4194304 5098028 140732211556320 140732211550328 139973743119360 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 20246528 140732211557646 140732211557731 140732211557731 140732211560430 0
/proc/25834/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.20035 s]
/proc/loadavg: 2.00 1.72 1.58 3/261 25834
/proc/meminfo: memFree=29573168/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=10902292 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (java) S 25831 25834 20253 0 -1 1077944320 6442 12654 0 0 9 2 6 3 20 0 20 0 9517362 11163947008 7141 33554432000 4194304 4196468 140725428501424 140725428483968 139675876134647 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
/proc/25834/statm: 2725573 7141 2941 1 0 2713890 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 10902292

[startup+0.300448 s]
/proc/loadavg: 2.00 1.72 1.58 3/261 25834
/proc/meminfo: memFree=29573168/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=10902720 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (java) S 25831 25834 20253 0 -1 1077944320 10037 12654 0 0 23 3 6 3 20 0 20 0 9517362 11164385280 11584 33554432000 4194304 4196468 140725428501424 140725428483968 139675876134647 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
/proc/25834/statm: 2725680 11584 3078 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902720

[startup+0.700232 s]
/proc/loadavg: 2.00 1.72 1.58 3/261 25834
/proc/meminfo: memFree=29573168/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=10902720 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (java) S 25831 25834 20253 0 -1 1077944320 15394 12654 0 0 88 5 6 3 20 0 20 0 9517362 11164385280 18707 33554432000 4194304 4196468 140725428501424 140725428483968 139675876134647 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
/proc/25834/statm: 2725680 18707 3239 1 0 2713890 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10902720

[startup+1.50076 s]
/proc/loadavg: 2.00 1.72 1.58 3/281 25907
/proc/meminfo: memFree=29462196/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=10915392 CPUtime=2.31 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (java) S 25831 25834 20253 0 -1 1077944320 27309 12654 0 0 208 14 6 3 20 0 20 0 9517362 11177361408 44285 33554432000 4194304 4196468 140725428501424 140725428483968 139675876134647 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
/proc/25834/statm: 2728848 44285 3413 1 0 2716962 0
[pid=25834/tid=25889] ppid=25831 vsize=10915392 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25889/stat : 25889 (java) R 25831 25834 20253 0 -1 4202560 18953 12654 0 0 126 6 6 3 20 0 20 0 9517373 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675880353488 139675861574023 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25890] ppid=25831 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25890/stat : 25890 (java) S 25831 25834 20253 0 -1 1077944384 69 12654 0 0 1 0 6 3 20 0 20 0 9517374 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675828755344 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25891] ppid=25831 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25891/stat : 25891 (java) S 25831 25834 20253 0 -1 1077944384 8 12654 0 0 1 0 6 3 20 0 20 0 9517374 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675827702544 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25892] ppid=25831 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25892/stat : 25892 (java) S 25831 25834 20253 0 -1 1077944384 15 12654 0 0 1 0 6 3 20 0 20 0 9517374 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675480808592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25893] ppid=25831 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25893/stat : 25893 (java) S 25831 25834 20253 0 -1 1077944384 19 12654 0 0 1 0 6 3 20 0 20 0 9517374 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675479755792 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25894] ppid=25831 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25894/stat : 25894 (java) S 25831 25834 20253 0 -1 1077944384 18 12654 0 0 1 0 6 3 20 0 20 0 9517374 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675478702480 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25895] ppid=25831 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25895/stat : 25895 (java) S 25831 25834 20253 0 -1 1077944384 14 12654 0 0 1 0 6 3 20 0 20 0 9517374 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675477649680 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25896] ppid=25831 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25896/stat : 25896 (java) S 25831 25834 20253 0 -1 1077944384 151 12654 0 0 1 0 6 3 20 0 20 0 9517374 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675476597392 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25897] ppid=25831 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25897/stat : 25897 (java) S 25831 25834 20253 0 -1 1077944384 10 12654 0 0 0 0 6 3 20 0 20 0 9517374 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675475544592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25898] ppid=25831 vsize=10915392 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25898/stat : 25898 (java) S 25831 25834 20253 0 -1 1077944384 1589 12654 0 0 1 0 6 3 20 0 20 0 9517376 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675350043248 139675876145794 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25899] ppid=25831 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25899/stat : 25899 (java) S 25831 25834 20253 0 -1 1077944384 55 12654 0 0 0 0 6 3 20 0 20 0 9517376 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675348989216 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25900] ppid=25831 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25900/stat : 25900 (java) S 25831 25834 20253 0 -1 1077944384 44 12654 0 0 0 0 6 3 20 0 20 0 9517376 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675347936880 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25901] ppid=25831 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25901/stat : 25901 (java) S 25831 25834 20253 0 -1 1077944384 1 12654 0 0 0 0 6 3 20 0 20 0 9517379 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675346885200 139675876153243 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25902] ppid=25831 vsize=10915392 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25902/stat : 25902 (java) S 25831 25834 20253 0 -1 1077944384 1097 12654 0 0 13 0 6 3 20 0 20 0 9517379 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675345832048 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25903] ppid=25831 vsize=10915392 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25903/stat : 25903 (java) S 25831 25834 20253 0 -1 1077944384 1244 12654 0 0 16 0 6 3 20 0 20 0 9517379 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675344779248 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25904] ppid=25831 vsize=10915392 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25904/stat : 25904 (java) S 25831 25834 20253 0 -1 1077944384 365 12654 0 0 9 0 6 3 20 0 20 0 9517379 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675343726960 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25905] ppid=25831 vsize=10915392 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25905/stat : 25905 (java) S 25831 25834 20253 0 -1 1077944384 1521 12654 0 0 29 0 6 3 20 0 20 0 9517379 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675342674160 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25906] ppid=25831 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25906/stat : 25906 (java) S 25831 25834 20253 0 -1 1077944384 3 12654 0 0 0 0 6 3 20 0 20 0 9517379 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675341622112 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25907] ppid=25831 vsize=10915392 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25907/stat : 25907 (java) S 25831 25834 20253 0 -1 1077944384 4 12654 0 0 0 0 6 3 20 0 20 0 9517380 11177361408 44285 33554432000 4194304 4196468 140725428501424 139675340569392 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10915392

[startup+3.10111 s]
/proc/loadavg: 2.00 1.72 1.58 4/281 25907
/proc/meminfo: memFree=29395240/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=10927868 CPUtime=6.34 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (java) S 25831 25834 20253 0 -1 1077944320 48416 12654 0 0 605 20 6 3 20 0 20 0 9517362 11190136832 66028 33554432000 4194304 4196468 140725428501424 140725428483968 139675876134647 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
/proc/25834/statm: 2731967 66028 3483 1 0 2719522 0
[pid=25834/tid=25889] ppid=25831 vsize=10927868 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25889/stat : 25889 (java) R 25831 25834 20253 0 -1 4202560 34652 12654 0 0 281 10 6 3 20 0 20 0 9517373 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675880364408 139675516147018 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25890] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25890/stat : 25890 (java) S 25831 25834 20253 0 -1 1077944384 69 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675828755344 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25891] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25891/stat : 25891 (java) S 25831 25834 20253 0 -1 1077944384 8 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675827702544 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25892] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25892/stat : 25892 (java) S 25831 25834 20253 0 -1 1077944384 15 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675480808592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25893] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25893/stat : 25893 (java) S 25831 25834 20253 0 -1 1077944384 19 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675479755792 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25894] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25894/stat : 25894 (java) S 25831 25834 20253 0 -1 1077944384 18 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675478702480 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25895] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25895/stat : 25895 (java) S 25831 25834 20253 0 -1 1077944384 14 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675477649680 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25896] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25896/stat : 25896 (java) S 25831 25834 20253 0 -1 1077944384 151 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675476597392 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25897] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25897/stat : 25897 (java) S 25831 25834 20253 0 -1 1077944384 10 12654 0 0 0 0 6 3 20 0 20 0 9517374 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675475544592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25898] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25898/stat : 25898 (java) S 25831 25834 20253 0 -1 1077944384 1610 12654 0 0 1 0 6 3 20 0 20 0 9517376 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675350043248 139675876145794 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25899] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25899/stat : 25899 (java) S 25831 25834 20253 0 -1 1077944384 55 12654 0 0 0 0 6 3 20 0 20 0 9517376 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675348989216 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25900] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25900/stat : 25900 (java) S 25831 25834 20253 0 -1 1077944384 44 12654 0 0 0 0 6 3 20 0 20 0 9517376 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675347936880 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25901] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25901/stat : 25901 (java) S 25831 25834 20253 0 -1 1077944384 1 12654 0 0 0 0 6 3 20 0 20 0 9517379 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675346885200 139675876153243 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25902] ppid=25831 vsize=10927868 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25902/stat : 25902 (java) R 25831 25834 20253 0 -1 4202560 2349 12654 0 0 69 1 6 3 20 0 20 0 9517379 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675345818864 139675855799472 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25903] ppid=25831 vsize=10927868 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25903/stat : 25903 (java) R 25831 25834 20253 0 -1 4202560 2372 12654 0 0 78 1 6 3 20 0 20 0 9517379 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675344760448 139675859631431 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25904] ppid=25831 vsize=10927868 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25904/stat : 25904 (java) R 25831 25834 20253 0 -1 4202560 1165 12654 0 0 62 1 6 3 20 0 20 0 9517379 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675343708368 139675859545541 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25905] ppid=25831 vsize=10927868 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25905/stat : 25905 (java) S 25831 25834 20253 0 -1 1077944384 3722 12654 0 0 100 1 6 3 20 0 20 0 9517379 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675342674160 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25906] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25906/stat : 25906 (java) S 25831 25834 20253 0 -1 1077944384 3 12654 0 0 0 0 6 3 20 0 20 0 9517379 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675341622112 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25907] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25907/stat : 25907 (java) S 25831 25834 20253 0 -1 1077944384 10 12654 0 0 0 0 6 3 20 0 20 0 9517380 11190136832 66028 33554432000 4194304 4196468 140725428501424 139675340569392 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
Current children cumulated CPU time (s) 6.34
Current children cumulated vsize (KiB) 10927868

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

[startup+3.20145 s]
/proc/loadavg: 2.00 1.72 1.58 4/281 25907
/proc/meminfo: memFree=29395240/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=10927868 CPUtime=6.77 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (java) S 25831 25834 20253 0 -1 1077944320 49129 12654 0 0 645 23 6 3 20 0 20 0 9517362 11190136832 76126 33554432000 4194304 4196468 140725428501424 140725428483968 139675876134647 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
/proc/25834/statm: 2731967 76126 3485 1 0 2719522 0
[pid=25834/tid=25889] ppid=25831 vsize=10927868 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25889/stat : 25889 (java) R 25831 25834 20253 0 -1 4202560 34680 12654 0 0 290 10 6 3 20 0 20 0 9517373 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675880366168 139675507697450 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25890] ppid=25831 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25890/stat : 25890 (java) S 25831 25834 20253 0 -1 1077944384 77 12654 0 0 2 0 6 3 20 0 20 0 9517374 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675828755344 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25891] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25891/stat : 25891 (java) S 25831 25834 20253 0 -1 1077944384 15 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675827702544 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25892] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25892/stat : 25892 (java) S 25831 25834 20253 0 -1 1077944384 20 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675480808592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25893] ppid=25831 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25893/stat : 25893 (java) S 25831 25834 20253 0 -1 1077944384 36 12654 0 0 1 1 6 3 20 0 20 0 9517374 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675479755792 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25894] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25894/stat : 25894 (java) S 25831 25834 20253 0 -1 1077944384 21 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675478702480 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25895] ppid=25831 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25895/stat : 25895 (java) S 25831 25834 20253 0 -1 1077944384 21 12654 0 0 2 0 6 3 20 0 20 0 9517374 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675477649680 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25896] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25896/stat : 25896 (java) S 25831 25834 20253 0 -1 1077944384 230 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675476597392 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25897] ppid=25831 vsize=10927868 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25897/stat : 25897 (java) S 25831 25834 20253 0 -1 1077944384 137 12654 0 0 1 0 6 3 20 0 20 0 9517374 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675475544592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25898] ppid=25831 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25898/stat : 25898 (java) S 25831 25834 20253 0 -1 1077944384 1651 12654 0 0 2 0 6 3 20 0 20 0 9517376 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675350043248 139675876145794 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25899] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25899/stat : 25899 (java) S 25831 25834 20253 0 -1 1077944384 59 12654 0 0 0 0 6 3 20 0 20 0 9517376 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675348989280 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25900] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25900/stat : 25900 (java) S 25831 25834 20253 0 -1 1077944384 48 12654 0 0 0 0 6 3 20 0 20 0 9517376 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675347936896 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25901] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25901/stat : 25901 (java) S 25831 25834 20253 0 -1 1077944384 1 12654 0 0 0 0 6 3 20 0 20 0 9517379 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675346885200 139675876153243 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25902] ppid=25831 vsize=10927868 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25902/stat : 25902 (java) R 25831 25834 20253 0 -1 4202560 2622 12654 0 0 79 1 6 3 20 0 20 0 9517379 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675345818592 139675857678775 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25903] ppid=25831 vsize=10927868 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25903/stat : 25903 (java) R 25831 25834 20253 0 -1 4202560 2389 12654 0 0 87 1 6 3 20 0 20 0 9517379 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675344760352 139675855982864 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25904] ppid=25831 vsize=10927868 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25904/stat : 25904 (java) R 25831 25834 20253 0 -1 4202560 1252 12654 0 0 70 1 6 3 20 0 20 0 9517379 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675343708896 139675856770584 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25905] ppid=25831 vsize=10927868 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25905/stat : 25905 (java) S 25831 25834 20253 0 -1 1077944384 3728 12654 0 0 101 1 6 3 20 0 20 0 9517379 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675342674160 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25906] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25906/stat : 25906 (java) S 25831 25834 20253 0 -1 1077944384 3 12654 0 0 0 0 6 3 20 0 20 0 9517379 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675341622112 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25907] ppid=25831 vsize=10927868 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25907/stat : 25907 (java) S 25831 25834 20253 0 -1 1077944384 10 12654 0 0 0 0 6 3 20 0 20 0 9517380 11190136832 76126 33554432000 4194304 4196468 140725428501424 139675340569392 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
Current children cumulated CPU time (s) 6.77
Current children cumulated vsize (KiB) 10927868

[startup+4.00086 s]
/proc/loadavg: 2.00 1.72 1.58 6/281 25907
/proc/meminfo: memFree=29280272/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=10995452 CPUtime=9.57 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (java) S 25831 25834 20253 0 -1 1077944320 63023 12654 0 0 919 29 6 3 20 0 20 0 9517362 11259342848 90952 33554432000 4194304 4196468 140725428501424 140725428483968 139675876134647 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
/proc/25834/statm: 2748863 90952 3488 1 0 2736418 0
[pid=25834/tid=25889] ppid=25831 vsize=10995452 CPUtime=3.84 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25889/stat : 25889 (java) R 25831 25834 20253 0 -1 4202560 43583 12654 0 0 363 12 6 3 20 0 20 0 9517373 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675880368392 139675518777100 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25890] ppid=25831 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25890/stat : 25890 (java) S 25831 25834 20253 0 -1 1077944384 95 12654 0 0 3 1 6 3 20 0 20 0 9517374 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675828755344 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25891] ppid=25831 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25891/stat : 25891 (java) S 25831 25834 20253 0 -1 1077944384 29 12654 0 0 3 1 6 3 20 0 20 0 9517374 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675827702544 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25892] ppid=25831 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25892/stat : 25892 (java) S 25831 25834 20253 0 -1 1077944384 28 12654 0 0 3 1 6 3 20 0 20 0 9517374 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675480808592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25893] ppid=25831 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25893/stat : 25893 (java) S 25831 25834 20253 0 -1 1077944384 46 12654 0 0 3 1 6 3 20 0 20 0 9517374 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675479755792 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25894] ppid=25831 vsize=10995452 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25894/stat : 25894 (java) S 25831 25834 20253 0 -1 1077944384 45 12654 0 0 3 0 6 3 20 0 20 0 9517374 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675478702480 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25895] ppid=25831 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25895/stat : 25895 (java) S 25831 25834 20253 0 -1 1077944384 31 12654 0 0 3 1 6 3 20 0 20 0 9517374 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675477649680 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25896] ppid=25831 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25896/stat : 25896 (java) S 25831 25834 20253 0 -1 1077944384 240 12654 0 0 3 1 6 3 20 0 20 0 9517374 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675476597392 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25897] ppid=25831 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25897/stat : 25897 (java) S 25831 25834 20253 0 -1 1077944384 152 12654 0 0 2 0 6 3 20 0 20 0 9517374 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675475544592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25898] ppid=25831 vsize=10995452 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25898/stat : 25898 (java) S 25831 25834 20253 0 -1 1077944384 2541 12654 0 0 4 0 6 3 20 0 20 0 9517376 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675350043248 139675876145794 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25899] ppid=25831 vsize=10995452 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25899/stat : 25899 (java) S 25831 25834 20253 0 -1 1077944384 59 12654 0 0 0 0 6 3 20 0 20 0 9517376 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675348989344 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25900] ppid=25831 vsize=10995452 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25900/stat : 25900 (java) S 25831 25834 20253 0 -1 1077944384 48 12654 0 0 0 0 6 3 20 0 20 0 9517376 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675347936896 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25901] ppid=25831 vsize=10995452 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25901/stat : 25901 (java) S 25831 25834 20253 0 -1 1077944384 1 12654 0 0 0 0 6 3 20 0 20 0 9517379 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675346885200 139675876153243 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25902] ppid=25831 vsize=10995452 CPUtime=1.45 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25902/stat : 25902 (java) R 25831 25834 20253 0 -1 4202560 4351 12654 0 0 135 1 6 3 20 0 20 0 9517379 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675345818072 139675857678865 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25903] ppid=25831 vsize=10995452 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25903/stat : 25903 (java) R 25831 25834 20253 0 -1 4202560 2556 12654 0 0 132 1 6 3 20 0 20 0 9517379 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675344765272 139675859521613 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25904] ppid=25831 vsize=10995452 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25904/stat : 25904 (java) R 25831 25834 20253 0 -1 4202560 3020 12654 0 0 132 1 6 3 20 0 20 0 9517379 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675343708368 139675859631435 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25905] ppid=25831 vsize=10995452 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25905/stat : 25905 (java) S 25831 25834 20253 0 -1 1077944384 4056 12654 0 0 121 1 6 3 20 0 20 0 9517379 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675342674160 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25906] ppid=25831 vsize=10995452 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25906/stat : 25906 (java) S 25831 25834 20253 0 -1 1077944384 3 12654 0 0 0 0 6 3 20 0 20 0 9517379 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675341622112 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25907] ppid=25831 vsize=10995452 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25907/stat : 25907 (java) S 25831 25834 20253 0 -1 1077944384 10 12654 0 0 0 0 6 3 20 0 20 0 9517380 11259342848 90952 33554432000 4194304 4196468 140725428501424 139675340569392 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
Current children cumulated CPU time (s) 9.57
Current children cumulated vsize (KiB) 10995452

[startup+4.40099 s]
/proc/loadavg: 2.00 1.72 1.58 11/281 25907
/proc/meminfo: memFree=29213612/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=10997932 CPUtime=11.56 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (java) S 25831 25834 20253 0 -1 1077944320 65629 12654 0 0 1116 31 6 3 20 0 20 0 9517362 11261882368 92681 33554432000 4194304 4196468 140725428501424 140725428483968 139675876134647 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
/proc/25834/statm: 2749483 92681 3490 1 0 2737038 0
[pid=25834/tid=25889] ppid=25831 vsize=10997932 CPUtime=4.1 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25889/stat : 25889 (java) S 25831 25834 20253 0 -1 1077944384 43711 12654 0 0 389 12 6 3 20 0 20 0 9517373 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675880372432 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25890] ppid=25831 vsize=10997932 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25890/stat : 25890 (java) S 25831 25834 20253 0 -1 1077944384 99 12654 0 0 12 1 6 3 20 0 20 0 9517374 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675828755360 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25891] ppid=25831 vsize=10997932 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25891/stat : 25891 (java) S 25831 25834 20253 0 -1 1077944384 31 12654 0 0 9 1 6 3 20 0 20 0 9517374 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675827702544 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25892] ppid=25831 vsize=10997932 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25892/stat : 25892 (java) S 25831 25834 20253 0 -1 1077944384 36 12654 0 0 12 1 6 3 20 0 20 0 9517374 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675480808592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25893] ppid=25831 vsize=10997932 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25893/stat : 25893 (java) S 25831 25834 20253 0 -1 1077944384 48 12654 0 0 12 1 6 3 20 0 20 0 9517374 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675479755792 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25894] ppid=25831 vsize=10997932 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25894/stat : 25894 (java) S 25831 25834 20253 0 -1 1077944384 46 12654 0 0 12 1 6 3 20 0 20 0 9517374 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675478702480 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25895] ppid=25831 vsize=10997932 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25895/stat : 25895 (java) S 25831 25834 20253 0 -1 1077944384 40 12654 0 0 14 1 6 3 20 0 20 0 9517374 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675477649680 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25896] ppid=25831 vsize=10997932 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25896/stat : 25896 (java) S 25831 25834 20253 0 -1 1077944384 240 12654 0 0 13 1 6 3 20 0 20 0 9517374 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675476597392 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25897] ppid=25831 vsize=10997932 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25897/stat : 25897 (java) S 25831 25834 20253 0 -1 1077944384 164 12654 0 0 9 1 6 3 20 0 20 0 9517374 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675475544592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25898] ppid=25831 vsize=10997932 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25898/stat : 25898 (java) R 25831 25834 20253 0 -1 4202560 2577 12654 0 0 9 0 6 3 20 0 20 0 9517376 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675350043248 139675868851799 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25899] ppid=25831 vsize=10997932 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25899/stat : 25899 (java) S 25831 25834 20253 0 -1 1077944384 59 12654 0 0 0 0 6 3 20 0 20 0 9517376 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675348989328 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25900] ppid=25831 vsize=10997932 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25900/stat : 25900 (java) S 25831 25834 20253 0 -1 1077944384 48 12654 0 0 0 0 6 3 20 0 20 0 9517376 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675347936496 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25901] ppid=25831 vsize=10997932 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25901/stat : 25901 (java) S 25831 25834 20253 0 -1 1077944384 1 12654 0 0 0 0 6 3 20 0 20 0 9517379 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675346885200 139675876153243 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25902] ppid=25831 vsize=10997932 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25902/stat : 25902 (java) R 25831 25834 20253 0 -1 4202560 4481 12654 0 0 157 1 6 3 20 0 20 0 9517379 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675345816944 139675854550808 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25903] ppid=25831 vsize=10997932 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25903/stat : 25903 (java) S 25831 25834 20253 0 -1 1077944384 2661 12654 0 0 152 2 6 3 20 0 20 0 9517379 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675344769376 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25904] ppid=25831 vsize=10997932 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25904/stat : 25904 (java) R 25831 25834 20253 0 -1 4202560 4927 12654 0 0 173 1 6 3 20 0 20 0 9517379 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675343712984 139675857679816 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25905] ppid=25831 vsize=10997932 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25905/stat : 25905 (java) S 25831 25834 20253 0 -1 1077944384 4316 12654 0 0 136 1 6 3 20 0 20 0 9517379 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675342674160 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25906] ppid=25831 vsize=10997932 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25906/stat : 25906 (java) S 25831 25834 20253 0 -1 1077944384 3 12654 0 0 0 0 6 3 20 0 20 0 9517379 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675341622112 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25907] ppid=25831 vsize=10997932 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25907/stat : 25907 (java) S 25831 25834 20253 0 -1 1077944384 13 12654 0 0 0 0 6 3 20 0 20 0 9517380 11261882368 92681 33554432000 4194304 4196468 140725428501424 139675340569392 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
Current children cumulated CPU time (s) 11.56
Current children cumulated vsize (KiB) 10997932

[startup+4.51396 s]
/proc/loadavg: 2.00 1.72 1.58 11/281 25907
/proc/meminfo: memFree=29213612/32770624 swapFree=5724/305232
[pid=25834] ppid=25831 vsize=11064500 CPUtime=11.92 cores=1,3,5,7,9,11,13,15
/proc/25834/stat : 25834 (java) S 25831 25834 20253 0 -1 1077944320 66484 12654 0 0 1151 32 6 3 20 0 19 0 9517362 11330048000 92851 33554432000 4194304 4196468 140725428501424 140725428483968 139675876134647 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
/proc/25834/statm: 2766125 92851 3492 1 0 2753680 0
[pid=25834/tid=25889] ppid=25831 vsize=11064500 CPUtime=4.14 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25889/stat : 25889 (java) S 25831 25834 20253 0 -1 1077944384 43853 12654 0 0 393 12 6 3 20 0 19 0 9517373 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675880377488 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25890] ppid=25831 vsize=11064500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25890/stat : 25890 (java) S 25831 25834 20253 0 -1 1077944384 99 12654 0 0 14 1 6 3 20 0 19 0 9517374 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675828755344 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25891] ppid=25831 vsize=11064500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25891/stat : 25891 (java) S 25831 25834 20253 0 -1 1077944384 32 12654 0 0 10 1 6 3 20 0 19 0 9517374 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675827702544 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25892] ppid=25831 vsize=11064500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25892/stat : 25892 (java) S 25831 25834 20253 0 -1 1077944384 36 12654 0 0 13 1 6 3 20 0 19 0 9517374 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675480808592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25893] ppid=25831 vsize=11064500 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25893/stat : 25893 (java) S 25831 25834 20253 0 -1 1077944384 55 12654 0 0 14 1 6 3 20 0 19 0 9517374 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675479755792 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25894] ppid=25831 vsize=11064500 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25894/stat : 25894 (java) S 25831 25834 20253 0 -1 1077944384 46 12654 0 0 13 1 6 3 20 0 19 0 9517374 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675478702480 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25895] ppid=25831 vsize=11064500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25895/stat : 25895 (java) S 25831 25834 20253 0 -1 1077944384 40 12654 0 0 15 1 6 3 20 0 19 0 9517374 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675477649680 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25896] ppid=25831 vsize=11064500 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25896/stat : 25896 (java) S 25831 25834 20253 0 -1 1077944384 248 12654 0 0 15 1 6 3 20 0 19 0 9517374 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675476597392 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25897] ppid=25831 vsize=11064500 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25897/stat : 25897 (java) S 25831 25834 20253 0 -1 1077944384 164 12654 0 0 10 1 6 3 20 0 19 0 9517374 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675475544592 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25898] ppid=25831 vsize=11064500 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25898/stat : 25898 (java) S 25831 25834 20253 0 -1 1077944384 2577 12654 0 0 12 0 6 3 20 0 19 0 9517376 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675350043456 139675876145794 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25899] ppid=25831 vsize=11064500 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25899/stat : 25899 (java) S 25831 25834 20253 0 -1 1077944384 59 12654 0 0 0 0 6 3 20 0 19 0 9517376 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675348989344 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25900] ppid=25831 vsize=11064500 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25900/stat : 25900 (java) S 25831 25834 20253 0 -1 1077944384 48 12654 0 0 0 0 6 3 20 0 19 0 9517376 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675347936896 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25901] ppid=25831 vsize=11064500 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25901/stat : 25901 (java) S 25831 25834 20253 0 -1 1077944384 24 12654 0 0 0 0 6 3 20 0 19 0 9517379 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675346883968 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25902] ppid=25831 vsize=11064500 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25902/stat : 25902 (java) S 25831 25834 20253 0 -1 1077944384 4486 12654 0 0 160 1 6 3 20 0 19 0 9517379 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675345832048 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25903] ppid=25831 vsize=11064500 CPUtime=1.67 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25903/stat : 25903 (java) S 25831 25834 20253 0 -1 1077944384 2667 12654 0 0 156 2 6 3 20 0 19 0 9517379 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675344759648 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25904] ppid=25831 vsize=11064500 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25904/stat : 25904 (java) R 25831 25834 20253 0 -1 4202560 5548 12654 0 0 182 1 6 3 20 0 19 0 9517379 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675343713120 139675857655514 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25905] ppid=25831 vsize=11064500 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25905/stat : 25905 (java) S 25831 25834 20253 0 -1 1077944384 4326 12654 0 0 136 1 6 3 20 0 19 0 9517379 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675342674160 139675876145794 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
[pid=25834/tid=25906] ppid=25831 vsize=11064500 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/25834/task/25906/stat : 25906 (java) S 25831 25834 20253 0 -1 1077944384 3 12654 0 0 0 0 6 3 20 0 19 0 9517379 11330048000 92851 33554432000 4194304 4196468 140725428501424 139675341622112 139675876144853 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38649856 140725428505281 140725428508055 140725428508055 140725428510671 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 11064500

Child status: 0
Real time (s): 4.54527
CPU time (s): 11.9728
CPU user time (s): 11.5984
CPU system time (s): 0.374394
CPU usage (%): 263.412
Max. virtual memory (cumulated for all children) (KiB): 11064500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.5984
system time used= 0.374394
maximum resident set size= 372692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 79160
page faults= 0
swaps= 0
block input operations= 0
block output operations= 224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9490
involuntary context switches= 2174

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.033401 second user time and 0.054656 second system time

The end

Launcher Data 

Begin job on node140 at 2017-07-22 18:55:10
IDJOB=4248059
IDBENCH=131796
IDSOLVER=2630
FILE ID=node140/4248059-1500742510
RUNJOBID= node140-1500739996-23970
PBS_JOBID= 20623347
Free space on /tmp= 61836 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g08-g31.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248059-1500742510/watcher-4248059-1500742510 -o /tmp/evaluation-result-4248059-1500742510/solver-4248059-1500742510 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node140-1500739996-23970 --watchdog 2560  bin/concrete HOME/instance-4248059-1500742510.xml

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

MD5SUM BENCH= 8350f69b30d41bfb657e468d66c4f714
RANDOM SEED=1439267593

node140.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.36
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		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        29572844 kB
MemAvailable:   29924632 kB
Buffers:          156116 kB
Cached:           474500 kB
SwapCached:            0 kB
Active:          2445620 kB
Inactive:         314052 kB
Active(anon):    2131292 kB
Inactive(anon):     8820 kB
Active(file):     314328 kB
Inactive(file):   305232 kB
Unevictable:        5724 kB
Mlocked:            5724 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24284 kB
Writeback:             0 kB
AnonPages:       2112928 kB
Mapped:            44620 kB
Shmem:              8852 kB
Slab:             130516 kB
SReclaimable:      96128 kB
SUnreclaim:        34388 kB
KernelStack:        4864 kB
PageTables:         9572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2990936 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1869824 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= 61812 MiB
End job on node140 at 2017-07-22 18:55:15