Trace number 4245820

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 7.66389 3.50578

General information on the benchmark

NameMagicSequence/MagicSequence-count-s1/
MagicSequence-012-co.xml
MD5SUM133c3df6976bdaf7f1f7e78f74d25038
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.0048190001
Satisfiable
(Un)Satisfiability was proved
Number of variables12
Number of constraints14
Number of domains1
Minimum domain size12
Maximum domain size12
Distribution of domain sizes[{"size":12,"count":12}]
Minimum variable degree14
Maximum variable degree14
Distribution of variable degrees[{"degree":14,"count":12}]
Minimum constraint arity12
Maximum constraint arity12
Distribution of constraint arities[{"arity":12,"count":14}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":2},{"type":"count","count":12}]
Optimization problemNO
Type of objective

Solver Data 

3.72/2.18	c Concrete v3.4 running
7.43/3.48	v <instantiation>
7.43/3.48	v       <list>
7.43/3.48	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]
7.43/3.48	v       </list>
7.43/3.48	v       <values>
7.43/3.48	v         8 2 1 0 0 0 0 0 1 0 0 0
7.43/3.48	v       </values>
7.43/3.48	v     </instantiation>
7.43/3.48	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-4245820-1500707309/watcher-4245820-1500707309 -o /tmp/evaluation-result-4245820-1500707309/solver-4245820-1500707309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560 bin/concrete HOME/instance-4245820-1500707309.xml 

pid=14337
running on 8 cores: 0,2,4,6,8,10,12,14

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.82 2.41 2.61 3/261 14340
/proc/meminfo: memFree=28295652/32770624 swapFree=5788/294904
[pid=14340] ppid=14337 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (bash) S 14337 14340 7954 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 5998426 9736192 350 33554432000 4194304 5098028 140726727901296 140726727898936 139755393424384 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 19144704 140726727906574 140726727906659 140726727906659 140726727909358 0
/proc/14340/statm: 2377 350 277 221 0 86 0

[startup+0.100102 s]
/proc/loadavg: 1.82 2.41 2.61 3/261 14340
/proc/meminfo: memFree=28295652/32770624 swapFree=5788/294904
[pid=14340] ppid=14337 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (bash) S 14337 14340 7954 0 -1 4202496 879 6426 0 0 0 0 0 1 20 0 1 0 5998426 9871360 378 33554432000 4194304 5098028 140726727901296 140726727895304 139755393424384 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 19144704 140726727906574 140726727906659 140726727906659 140726727909358 0
/proc/14340/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200307 s]
/proc/loadavg: 1.82 2.41 2.61 3/261 14340
/proc/meminfo: memFree=28295652/32770624 swapFree=5788/294904
[pid=14340] ppid=14337 vsize=10901872 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (java) S 14337 14340 7954 0 -1 1077944320 5788 12658 0 0 9 1 6 3 20 0 20 0 5998426 11163516928 6547 33554432000 4194304 4196468 140720357261744 140720357244288 140348896685815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
/proc/14340/statm: 2725468 6547 2708 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901872

[startup+0.300224 s]
/proc/loadavg: 1.82 2.41 2.61 3/261 14340
/proc/meminfo: memFree=28295652/32770624 swapFree=5788/294904
[pid=14340] ppid=14337 vsize=10902392 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (java) S 14337 14340 7954 0 -1 1077944320 9467 12658 0 0 24 2 6 3 20 0 20 0 5998426 11164049408 10471 33554432000 4194304 4196468 140720357261744 140720357244288 140348896685815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
/proc/14340/statm: 2725598 10471 2973 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392

[startup+0.700215 s]
/proc/loadavg: 1.82 2.41 2.61 3/261 14340
/proc/meminfo: memFree=28295652/32770624 swapFree=5788/294904
[pid=14340] ppid=14337 vsize=10902720 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (java) S 14337 14340 7954 0 -1 1077944320 13108 12658 0 0 87 4 6 3 20 0 20 0 5998426 11164385280 16405 33554432000 4194304 4196468 140720357261744 140720357244288 140348896685815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
/proc/14340/statm: 2725680 16405 3232 1 0 2713890 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10902720

[startup+1.50078 s]
/proc/loadavg: 1.82 2.41 2.61 3/281 14413
/proc/meminfo: memFree=28192708/32770624 swapFree=5788/294848
[pid=14340] ppid=14337 vsize=10913344 CPUtime=2.31 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (java) S 14337 14340 7954 0 -1 1077944320 24606 12658 0 0 208 14 6 3 20 0 20 0 5998426 11175264256 44584 33554432000 4194304 4196468 140720357261744 140720357244288 140348896685815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
/proc/14340/statm: 2728336 44584 3402 1 0 2716450 0
[pid=14340/tid=14395] ppid=14337 vsize=10913344 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14395/stat : 14395 (java) R 14337 14340 7954 0 -1 4202560 18326 12658 0 0 127 6 6 3 20 0 20 0 5998437 11175264256 44584 33554432000 4194304 4196468 140720357261744 140348900912488 140348533563460 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14396] ppid=14337 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14396/stat : 14396 (java) S 14337 14340 7954 0 -1 1077944384 40 12658 0 0 0 0 6 3 20 0 20 0 5998437 11175264256 44584 33554432000 4194304 4196468 140720357261744 140348502944400 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14397] ppid=14337 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14397/stat : 14397 (java) S 14337 14340 7954 0 -1 1077944384 14 12658 0 0 1 0 6 3 20 0 20 0 5998437 11175264256 44584 33554432000 4194304 4196468 140720357261744 140348501891600 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14398] ppid=14337 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14398/stat : 14398 (java) S 14337 14340 7954 0 -1 1077944384 37 12658 0 0 1 0 6 3 20 0 20 0 5998438 11175264256 44584 33554432000 4194304 4196468 140720357261744 140348500838800 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14399] ppid=14337 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14399/stat : 14399 (java) S 14337 14340 7954 0 -1 1077944384 12 12658 0 0 0 0 6 3 20 0 20 0 5998438 11175264256 44584 33554432000 4194304 4196468 140720357261744 140348499786000 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14400] ppid=14337 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14400/stat : 14400 (java) S 14337 14340 7954 0 -1 1077944384 10 12658 0 0 1 0 6 3 20 0 20 0 5998438 11175264256 44584 33554432000 4194304 4196468 140720357261744 140348498734224 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14401] ppid=14337 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14401/stat : 14401 (java) S 14337 14340 7954 0 -1 1077944384 15 12658 0 0 1 0 6 3 20 0 20 0 5998438 11175264256 44584 33554432000 4194304 4196468 140720357261744 140348497681424 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14402] ppid=14337 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14402/stat : 14402 (java) S 14337 14340 7954 0 -1 1077944384 144 12658 0 0 1 0 6 3 20 0 20 0 5998438 11175264256 44584 33554432000 4194304 4196468 140720357261744 140348496628624 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14403] ppid=14337 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14403/stat : 14403 (java) S 14337 14340 7954 0 -1 1077944384 20 12658 0 0 0 0 6 3 20 0 20 0 5998438 11175264256 44584 33554432000 4194304 4196468 140720357261744 140348495575824 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14404] ppid=14337 vsize=10913344 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14404/stat : 14404 (java) S 14337 14340 7954 0 -1 1077944384 784 12658 0 0 1 0 6 3 20 0 20 0 5998440 11175264256 44584 33554432000 4194304 4196468 140720357261744 140347646642544 140348896696962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14405] ppid=14337 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14405/stat : 14405 (java) S 14337 14340 7954 0 -1 1077944384 54 12658 0 0 0 0 6 3 20 0 20 0 5998440 11175264256 44598 33554432000 4194304 4196468 140720357261744 140347645588576 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14406] ppid=14337 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14406/stat : 14406 (java) S 14337 14340 7954 0 -1 1077944384 44 12658 0 0 0 0 6 3 20 0 20 0 5998441 11175264256 44598 33554432000 4194304 4196468 140720357261744 140347644535664 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14407] ppid=14337 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14407/stat : 14407 (java) S 14337 14340 7954 0 -1 1077944384 1 12658 0 0 0 0 6 3 20 0 20 0 5998444 11175264256 44598 33554432000 4194304 4196468 140720357261744 140347643483984 140348896704411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14408] ppid=14337 vsize=10913344 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14408/stat : 14408 (java) S 14337 14340 7954 0 -1 1077944384 1079 12658 0 0 16 0 6 3 20 0 20 0 5998444 11175264256 44598 33554432000 4194304 4196468 140720357261744 140347642432368 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14409] ppid=14337 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14409/stat : 14409 (java) R 14337 14340 7954 0 -1 4202560 659 12658 0 0 17 0 6 3 20 0 20 0 5998444 11175264256 44598 33554432000 4194304 4196468 140720357261744 140347641360768 140348880242152 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14410] ppid=14337 vsize=10913344 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14410/stat : 14410 (java) S 14337 14340 7954 0 -1 1077944384 321 12658 0 0 9 0 6 3 20 0 20 0 5998444 11175264256 44598 33554432000 4194304 4196468 140720357261744 140347640326768 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14411] ppid=14337 vsize=10913344 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14411/stat : 14411 (java) S 14337 14340 7954 0 -1 1077944384 913 12658 0 0 26 0 6 3 20 0 20 0 5998444 11175264256 44598 33554432000 4194304 4196468 140720357261744 140347639273968 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14412] ppid=14337 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14412/stat : 14412 (java) S 14337 14340 7954 0 -1 1077944384 3 12658 0 0 0 0 6 3 20 0 20 0 5998444 11175264256 44598 33554432000 4194304 4196468 140720357261744 140347638221408 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14413] ppid=14337 vsize=10913344 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14413/stat : 14413 (java) S 14337 14340 7954 0 -1 1077944384 3 12658 0 0 0 0 6 3 20 0 20 0 5998445 11175264256 44598 33554432000 4194304 4196468 140720357261744 140347637168688 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 10913344

[startup+3.10078 s]
/proc/loadavg: 1.82 2.41 2.61 4/281 14413
/proc/meminfo: memFree=28118992/32770624 swapFree=5788/294848
[pid=14340] ppid=14337 vsize=10993404 CPUtime=6.08 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (java) S 14337 14340 7954 0 -1 1077944320 49138 12658 0 0 575 24 6 3 20 0 20 0 5998426 11257245696 67985 33554432000 4194304 4196468 140720357261744 140720357244288 140348896685815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
/proc/14340/statm: 2748351 67985 3477 1 0 2735906 0
[pid=14340/tid=14395] ppid=14337 vsize=10993404 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14395/stat : 14395 (java) R 14337 14340 7954 0 -1 4202560 35174 12658 0 0 279 9 6 3 20 0 20 0 5998437 11257245696 67985 33554432000 4194304 4196468 140720357261744 140348900901720 140348876961522 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14396] ppid=14337 vsize=10993404 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14396/stat : 14396 (java) S 14337 14340 7954 0 -1 1077944384 101 12658 0 0 2 0 6 3 20 0 20 0 5998437 11257245696 68051 33554432000 4194304 4196468 140720357261744 140348502944400 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14397] ppid=14337 vsize=10993404 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14397/stat : 14397 (java) S 14337 14340 7954 0 -1 1077944384 36 12658 0 0 2 1 6 3 20 0 20 0 5998437 11257245696 68051 33554432000 4194304 4196468 140720357261744 140348501891600 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14398] ppid=14337 vsize=10993404 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14398/stat : 14398 (java) S 14337 14340 7954 0 -1 1077944384 40 12658 0 0 2 0 6 3 20 0 20 0 5998438 11257245696 68051 33554432000 4194304 4196468 140720357261744 140348500838800 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14399] ppid=14337 vsize=10993404 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14399/stat : 14399 (java) S 14337 14340 7954 0 -1 1077944384 46 12658 0 0 2 0 6 3 20 0 20 0 5998438 11257245696 68051 33554432000 4194304 4196468 140720357261744 140348499786000 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14400] ppid=14337 vsize=10993404 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14400/stat : 14400 (java) S 14337 14340 7954 0 -1 1077944384 19 12658 0 0 2 1 6 3 20 0 20 0 5998438 11257245696 68051 33554432000 4194304 4196468 140720357261744 140348498734224 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14401] ppid=14337 vsize=10993404 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14401/stat : 14401 (java) S 14337 14340 7954 0 -1 1077944384 27 12658 0 0 2 1 6 3 20 0 20 0 5998438 11257245696 68051 33554432000 4194304 4196468 140720357261744 140348497681424 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14402] ppid=14337 vsize=10993404 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14402/stat : 14402 (java) S 14337 14340 7954 0 -1 1077944384 153 12658 0 0 2 1 6 3 20 0 20 0 5998438 11257245696 68051 33554432000 4194304 4196468 140720357261744 140348496628624 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14403] ppid=14337 vsize=10993404 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14403/stat : 14403 (java) S 14337 14340 7954 0 -1 1077944384 27 12658 0 0 2 1 6 3 20 0 20 0 5998438 11257245696 68051 33554432000 4194304 4196468 140720357261744 140348495575824 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14404] ppid=14337 vsize=10993404 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14404/stat : 14404 (java) S 14337 14340 7954 0 -1 1077944384 1566 12658 0 0 3 0 6 3 20 0 20 0 5998440 11257245696 68051 33554432000 4194304 4196468 140720357261744 140347646642544 140348896696962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14405] ppid=14337 vsize=10993404 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14405/stat : 14405 (java) S 14337 14340 7954 0 -1 1077944384 55 12658 0 0 0 0 6 3 20 0 20 0 5998440 11257245696 68051 33554432000 4194304 4196468 140720357261744 140347645588576 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14406] ppid=14337 vsize=10993404 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14406/stat : 14406 (java) S 14337 14340 7954 0 -1 1077944384 44 12658 0 0 0 0 6 3 20 0 20 0 5998441 11257245696 68051 33554432000 4194304 4196468 140720357261744 140347644535680 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14407] ppid=14337 vsize=10993404 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14407/stat : 14407 (java) S 14337 14340 7954 0 -1 1077944384 1 12658 0 0 0 0 6 3 20 0 20 0 5998444 11257245696 68051 33554432000 4194304 4196468 140720357261744 140347643483984 140348896704411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14408] ppid=14337 vsize=10993404 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14408/stat : 14408 (java) S 14337 14340 7954 0 -1 1077944384 1741 12658 0 0 48 1 6 3 20 0 20 0 5998444 11257245696 68051 33554432000 4194304 4196468 140720357261744 140347642432368 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14409] ppid=14337 vsize=10993404 CPUtime=0.88 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14409/stat : 14409 (java) S 14337 14340 7954 0 -1 1077944384 2918 12658 0 0 79 0 6 3 20 0 20 0 5998444 11257245696 68051 33554432000 4194304 4196468 140720357261744 140347641379568 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14410] ppid=14337 vsize=10993404 CPUtime=0.66 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14410/stat : 14410 (java) R 14337 14340 7954 0 -1 4202560 2433 12658 0 0 56 1 6 3 20 0 20 0 5998444 11257245696 68117 33554432000 4194304 4196468 140720357261744 140347640307784 140348881079572 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14411] ppid=14337 vsize=10993404 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14411/stat : 14411 (java) S 14337 14340 7954 0 -1 1077944384 2637 12658 0 0 85 1 6 3 20 0 20 0 5998444 11257245696 68117 33554432000 4194304 4196468 140720357261744 140347639273968 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14412] ppid=14337 vsize=10993404 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14412/stat : 14412 (java) S 14337 14340 7954 0 -1 1077944384 3 12658 0 0 0 0 6 3 20 0 20 0 5998444 11257245696 68117 33554432000 4194304 4196468 140720357261744 140347638221408 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14413] ppid=14337 vsize=10993404 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14413/stat : 14413 (java) S 14337 14340 7954 0 -1 1077944384 4 12658 0 0 0 0 6 3 20 0 20 0 5998445 11257245696 68117 33554432000 4194304 4196468 140720357261744 140347637168688 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 10993404

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

[startup+3.2011 s]
/proc/loadavg: 1.82 2.41 2.61 4/281 14413
/proc/meminfo: memFree=28118992/32770624 swapFree=5788/294848
[pid=14340] ppid=14337 vsize=10995452 CPUtime=6.41 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (java) S 14337 14340 7954 0 -1 1077944320 52191 12658 0 0 607 25 6 3 20 0 20 0 5998426 11259342848 70970 33554432000 4194304 4196468 140720357261744 140720357244288 140348896685815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
/proc/14340/statm: 2748863 71044 3477 1 0 2736418 0
[pid=14340/tid=14395] ppid=14337 vsize=10995452 CPUtime=3.08 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14395/stat : 14395 (java) R 14337 14340 7954 0 -1 4202560 37856 12658 0 0 289 10 6 3 20 0 20 0 5998437 11259342848 71044 33554432000 4194304 4196468 140720357261744 140348900918312 140348880729445 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14396] ppid=14337 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14396/stat : 14396 (java) S 14337 14340 7954 0 -1 1077944384 101 12658 0 0 2 0 6 3 20 0 20 0 5998437 11259342848 71044 33554432000 4194304 4196468 140720357261744 140348502944400 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14397] ppid=14337 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14397/stat : 14397 (java) S 14337 14340 7954 0 -1 1077944384 36 12658 0 0 2 1 6 3 20 0 20 0 5998437 11259342848 71044 33554432000 4194304 4196468 140720357261744 140348501891600 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14398] ppid=14337 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14398/stat : 14398 (java) S 14337 14340 7954 0 -1 1077944384 40 12658 0 0 2 0 6 3 20 0 20 0 5998438 11259342848 71044 33554432000 4194304 4196468 140720357261744 140348500838800 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14399] ppid=14337 vsize=10995452 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14399/stat : 14399 (java) S 14337 14340 7954 0 -1 1077944384 46 12658 0 0 2 0 6 3 20 0 20 0 5998438 11259342848 71044 33554432000 4194304 4196468 140720357261744 140348499786000 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14400] ppid=14337 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14400/stat : 14400 (java) S 14337 14340 7954 0 -1 1077944384 19 12658 0 0 2 1 6 3 20 0 20 0 5998438 11259342848 71044 33554432000 4194304 4196468 140720357261744 140348498734224 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14401] ppid=14337 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14401/stat : 14401 (java) S 14337 14340 7954 0 -1 1077944384 27 12658 0 0 2 1 6 3 20 0 20 0 5998438 11259342848 71044 33554432000 4194304 4196468 140720357261744 140348497681424 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14402] ppid=14337 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14402/stat : 14402 (java) S 14337 14340 7954 0 -1 1077944384 153 12658 0 0 2 1 6 3 20 0 20 0 5998438 11259342848 71044 33554432000 4194304 4196468 140720357261744 140348496628624 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14403] ppid=14337 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14403/stat : 14403 (java) S 14337 14340 7954 0 -1 1077944384 27 12658 0 0 2 1 6 3 20 0 20 0 5998438 11259342848 71044 33554432000 4194304 4196468 140720357261744 140348495575824 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14404] ppid=14337 vsize=10995452 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14404/stat : 14404 (java) S 14337 14340 7954 0 -1 1077944384 1566 12658 0 0 3 0 6 3 20 0 20 0 5998440 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347646642544 140348896696962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14405] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14405/stat : 14405 (java) S 14337 14340 7954 0 -1 1077944384 55 12658 0 0 0 0 6 3 20 0 20 0 5998440 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347645588576 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14406] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14406/stat : 14406 (java) S 14337 14340 7954 0 -1 1077944384 44 12658 0 0 0 0 6 3 20 0 20 0 5998441 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347644535680 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14407] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14407/stat : 14407 (java) S 14337 14340 7954 0 -1 1077944384 1 12658 0 0 0 0 6 3 20 0 20 0 5998444 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347643483984 140348896704411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14408] ppid=14337 vsize=10995452 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14408/stat : 14408 (java) R 14337 14340 7954 0 -1 4202560 1777 12658 0 0 51 1 6 3 20 0 20 0 5998444 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347642418464 140348877388832 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14409] ppid=14337 vsize=10995452 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14409/stat : 14409 (java) R 14337 14340 7954 0 -1 4202560 2924 12658 0 0 84 0 6 3 20 0 20 0 5998444 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347641365616 140348877875516 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14410] ppid=14337 vsize=10995452 CPUtime=0.76 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14410/stat : 14410 (java) R 14337 14340 7954 0 -1 4202560 2643 12658 0 0 66 1 6 3 20 0 20 0 5998444 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347640307784 140348876342336 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14411] ppid=14337 vsize=10995452 CPUtime=1 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14411/stat : 14411 (java) S 14337 14340 7954 0 -1 1077944384 2744 12658 0 0 90 1 6 3 20 0 20 0 5998444 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347639273968 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14412] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14412/stat : 14412 (java) S 14337 14340 7954 0 -1 1077944384 3 12658 0 0 0 0 6 3 20 0 20 0 5998444 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347638221408 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14413] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14413/stat : 14413 (java) S 14337 14340 7954 0 -1 1077944384 4 12658 0 0 0 0 6 3 20 0 20 0 5998445 11259342848 71044 33554432000 4194304 4196468 140720357261744 140347637168688 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
Current children cumulated CPU time (s) 6.41
Current children cumulated vsize (KiB) 10995452

[startup+3.41133 s]
/proc/loadavg: 1.83 2.41 2.61 10/281 14413
/proc/meminfo: memFree=28025844/32770624 swapFree=5788/294848
[pid=14340] ppid=14337 vsize=10995452 CPUtime=7.43 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (java) S 14337 14340 7954 0 -1 1077944320 56690 12658 0 0 709 25 6 3 20 0 20 0 5998426 11259342848 71286 33554432000 4194304 4196468 140720357261744 140720357244288 140348896685815 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
/proc/14340/statm: 2748863 71286 3482 1 0 2736418 0
[pid=14340/tid=14395] ppid=14337 vsize=10995452 CPUtime=3.11 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14395/stat : 14395 (java) S 14337 14340 7954 0 -1 1077944384 38559 12658 0 0 292 10 6 3 20 0 20 0 5998437 11259342848 71286 33554432000 4194304 4196468 140720357261744 140348900923488 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14396] ppid=14337 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14396/stat : 14396 (java) R 14337 14340 7954 0 -1 4202560 103 12658 0 0 12 0 6 3 20 0 20 0 5998437 11259342848 71286 33554432000 4194304 4196468 140720357261744 140348502944400 140348878585454 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14397] ppid=14337 vsize=10995452 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14397/stat : 14397 (java) R 14337 14340 7954 0 -1 4202560 49 12658 0 0 13 1 6 3 20 0 20 0 5998437 11259342848 71286 33554432000 4194304 4196468 140720357261744 140348501891600 140348881636942 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14398] ppid=14337 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14398/stat : 14398 (java) S 14337 14340 7954 0 -1 1077944384 48 12658 0 0 12 0 6 3 20 0 20 0 5998438 11259342848 71286 33554432000 4194304 4196468 140720357261744 140348500838800 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14399] ppid=14337 vsize=10995452 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14399/stat : 14399 (java) S 14337 14340 7954 0 -1 1077944384 55 12658 0 0 10 1 6 3 20 0 20 0 5998438 11259342848 71286 33554432000 4194304 4196468 140720357261744 140348499786000 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14400] ppid=14337 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14400/stat : 14400 (java) R 14337 14340 7954 0 -1 4202560 27 12658 0 0 11 1 6 3 20 0 20 0 5998438 11259342848 71286 33554432000 4194304 4196468 140720357261744 140348498734424 140348881383454 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14401] ppid=14337 vsize=10995452 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14401/stat : 14401 (java) R 14337 14340 7954 0 -1 1077944384 326 12658 0 0 12 1 6 3 20 0 20 0 5998438 11259342848 71286 33554432000 4194304 4196468 140720357261744 140348497681424 140348896696021 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14402] ppid=14337 vsize=10995452 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14402/stat : 14402 (java) R 14337 14340 7954 0 -1 4202560 159 12658 0 0 12 1 6 3 20 0 20 0 5998438 11259342848 71286 33554432000 4194304 4196468 140720357261744 140348496628624 140348881383383 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14403] ppid=14337 vsize=10995452 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14403/stat : 14403 (java) R 14337 14340 7954 0 -1 4202560 32 12658 0 0 11 1 6 3 20 0 20 0 5998438 11259342848 71286 33554432000 4194304 4196468 140720357261744 140348495576024 140348881140572 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14404] ppid=14337 vsize=10995452 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14404/stat : 14404 (java) S 14337 14340 7954 0 -1 1077944384 2986 12658 0 0 9 0 6 3 20 0 20 0 5998440 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347646640944 140348896696021 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14405] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14405/stat : 14405 (java) S 14337 14340 7954 0 -1 1077944384 56 12658 0 0 0 0 6 3 20 0 20 0 5998440 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347645588480 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14406] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14406/stat : 14406 (java) S 14337 14340 7954 0 -1 1077944384 44 12658 0 0 0 0 6 3 20 0 20 0 5998441 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347644535680 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14407] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14407/stat : 14407 (java) S 14337 14340 7954 0 -1 1077944384 1 12658 0 0 0 0 6 3 20 0 20 0 5998444 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347643483984 140348896704411 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14408] ppid=14337 vsize=10995452 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14408/stat : 14408 (java) S 14337 14340 7954 0 -1 1077944384 1825 12658 0 0 55 1 6 3 20 0 20 0 5998444 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347642423648 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14409] ppid=14337 vsize=10995452 CPUtime=0.99 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14409/stat : 14409 (java) R 14337 14340 7954 0 -1 4202560 3001 12658 0 0 90 0 6 3 20 0 20 0 5998444 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347641364400 140348874851619 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14410] ppid=14337 vsize=10995452 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14410/stat : 14410 (java) R 14337 14340 7954 0 -1 4202560 4171 12658 0 0 70 1 6 3 20 0 20 0 5998444 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347640319712 140348881082209 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14411] ppid=14337 vsize=10995452 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14411/stat : 14411 (java) S 14337 14340 7954 0 -1 1077944384 3113 12658 0 0 91 1 6 3 20 0 20 0 5998444 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347639273968 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14412] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14412/stat : 14412 (java) S 14337 14340 7954 0 -1 1077944384 3 12658 0 0 0 0 6 3 20 0 20 0 5998444 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347638221408 140348896696021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
[pid=14340/tid=14413] ppid=14337 vsize=10995452 CPUtime=0.09 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14413/stat : 14413 (java) S 14337 14340 7954 0 -1 1077944384 5 12658 0 0 0 0 6 3 20 0 20 0 5998445 11259342848 71286 33554432000 4194304 4196468 140720357261744 140347637168688 140348896696962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34635776 140720357268161 140720357270935 140720357270935 140720357273551 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 10995452

[startup+3.50126 s]
/proc/loadavg: 1.83 2.41 2.61 10/281 14413
/proc/meminfo: memFree=28025844/32770624 swapFree=5788/294848
[pid=14340] ppid=14337 vsize=0 CPUtime=7.64 cores=0,2,4,6,8,10,12,14
/proc/14340/stat : 14340 (java) Z 14337 14340 7954 0 -1 4227084 57154 12658 0 0 728 27 6 3 20 0 2 0 5998426 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/14340/statm: 0 0 0 0 0 0 0
[pid=14340/tid=14402] ppid=14337 vsize=0 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/14340/task/14402/stat : 14402 (java) R 14337 14340 7954 0 -1 4203588 159 12658 0 0 13 2 6 3 20 0 2 0 5998438 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 3.50578
CPU time (s): 7.66389
CPU user time (s): 7.35168
CPU system time (s): 0.312212
CPU usage (%): 218.607
Max. virtual memory (cumulated for all children) (KiB): 10995452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.35168
system time used= 0.312212
maximum resident set size= 287164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69812
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7670
involuntary context switches= 1254

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03072 second user time and 0.041891 second system time

The end

Launcher Data 

Begin job on node128 at 2017-07-22 09:08:29
IDJOB=4245820
IDBENCH=123219
IDSOLVER=2630
FILE ID=node128/4245820-1500707309
RUNJOBID= node128-1500683681-7985
PBS_JOBID= 20623342
Free space on /tmp= 61996 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/MagicSequence/MagicSequence-count-s1/MagicSequence-012-co.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245820-1500707309/watcher-4245820-1500707309 -o /tmp/evaluation-result-4245820-1500707309/solver-4245820-1500707309 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500683681-7985 --watchdog 2560  bin/concrete HOME/instance-4245820-1500707309.xml

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

MD5SUM BENCH= 133c3df6976bdaf7f1f7e78f74d25038
RANDOM SEED=707624782

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        28296008 kB
MemAvailable:   28526732 kB
Buffers:          124476 kB
Cached:           388508 kB
SwapCached:            0 kB
Active:          3733492 kB
Inactive:         303660 kB
Active(anon):    3527072 kB
Inactive(anon):     8756 kB
Active(file):     206420 kB
Inactive(file):   294904 kB
Unevictable:        5788 kB
Mlocked:            5788 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23900 kB
Writeback:             0 kB
AnonPages:       3552236 kB
Mapped:            43768 kB
Shmem:              8844 kB
Slab:             124440 kB
SReclaimable:      90472 kB
SUnreclaim:        33968 kB
KernelStack:        4960 kB
PageTables:        12068 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4150184 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3291136 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= 61972 MiB
End job on node128 at 2017-07-22 09:08:33