Trace number 4248862

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 9.39805 4.16196

General information on the benchmark

NameBlackhole/Blackhole-m1-s07/
Blackhole-07-3-10.xml
MD5SUM41a77f0ff8ed1fddf85157fc97a1c00e
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.035018999
Satisfiable
(Un)Satisfiability was proved
Number of variables56
Number of constraints47
Number of domains1
Minimum domain size28
Maximum domain size28
Distribution of domain sizes[{"size":28,"count":56}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":47},{"degree":3,"count":9}]
Minimum constraint arity1
Maximum constraint arity56
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":45},{"arity":56,"count":1}]
Number of extensional constraints27
Number of intensional constraints19
Distribution of constraint types[{"type":"extension","count":27},{"type":"intension","count":19},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data 

3.76/2.26	c Concrete v3.4 running
9.29/4.11	v <instantiation>
9.29/4.11	v       <list>
9.29/4.11	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] y[0] y[1] y[2] y[3] y[4] y[5] y[6] y[7] y[8] y[9] y[10] y[11] y[12] y[13] y[14] y[15] y[16] y[17] y[18] y[19] y[20] y[21] y[22] y[23] y[24] y[25] y[26] y[27]
9.29/4.11	v       </list>
9.29/4.11	v       <values>
9.29/4.11	v         0 15 16 3 25 10 18 17 2 22 7 27 26 13 19 11 12 6 5 4 24 23 1 9 8 14 20 21 0 22 8 3 19 18 17 10 24 23 5 15 16 13 25 1 2 7 6 14 26 27 9 21 20 4 12 11
9.29/4.11	v       </values>
9.29/4.11	v     </instantiation>
9.29/4.12	s SATISFIABLE

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4248862-1500752290/watcher-4248862-1500752290 -o /tmp/evaluation-result-4248862-1500752290/solver-4248862-1500752290 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21523 --watchdog 2560 bin/concrete HOME/instance-4248862-1500752290.xml 

pid=22458
running on 8 cores: 0-3,8-11

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.91 1.22 1.26 3/263 22461
/proc/meminfo: memFree=31679428/32770624 swapFree=5832/238328
[pid=22461] ppid=22458 vsize=9508 CPUtime=0 cores=0-3,8-11
/proc/22461/stat : 22461 (bash) S 22458 22461 21492 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 10494359 9736192 350 33554432000 4194304 5098028 140731416662464 140731416660104 139820305144832 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 37900288 140731416667406 140731416667491 140731416667491 140731416670190 0
/proc/22461/statm: 2377 350 277 221 0 86 0

[startup+0.100077 s]
/proc/loadavg: 1.91 1.22 1.26 3/263 22461
/proc/meminfo: memFree=31679428/32770624 swapFree=5832/238328
[pid=22461] ppid=22458 vsize=9640 CPUtime=0.01 cores=0-3,8-11
/proc/22461/stat : 22461 (bash) S 22458 22461 21492 0 -1 4202496 880 6418 0 0 0 0 0 1 20 0 1 0 10494359 9871360 378 33554432000 4194304 5098028 140731416662464 140731416656472 139820305144832 0 0 4100 65536 18446744071580971376 0 0 17 9 0 0 0 0 0 7196144 7232144 37900288 140731416667406 140731416667491 140731416667491 140731416670190 0
/proc/22461/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200408 s]
/proc/loadavg: 1.91 1.22 1.26 3/263 22461
/proc/meminfo: memFree=31679428/32770624 swapFree=5832/238328
[pid=22461] ppid=22458 vsize=10435860 CPUtime=0.18 cores=0-3,8-11
/proc/22461/stat : 22461 (java) S 22458 22461 21492 0 -1 1077944320 5265 12701 0 0 5 1 9 3 20 0 13 0 10494359 10686320640 5090 33554432000 4194304 4196468 140724469690688 140724469673232 140541698653943 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
/proc/22461/statm: 2608965 5090 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300356 s]
/proc/loadavg: 1.91 1.22 1.26 3/263 22461
/proc/meminfo: memFree=31679428/32770624 swapFree=5832/238328
[pid=22461] ppid=22458 vsize=10902392 CPUtime=0.37 cores=0-3,8-11
/proc/22461/stat : 22461 (java) S 22458 22461 21492 0 -1 1077944320 7226 12701 0 0 23 2 9 3 20 0 20 0 10494359 11164049408 8533 33554432000 4194304 4196468 140724469690688 140724469673232 140541698653943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
/proc/22461/statm: 2725598 8533 2997 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392

[startup+0.700307 s]
/proc/loadavg: 1.91 1.22 1.26 3/263 22461
/proc/meminfo: memFree=31679428/32770624 swapFree=5832/238328
[pid=22461] ppid=22458 vsize=10902720 CPUtime=0.9 cores=0-3,8-11
/proc/22461/stat : 22461 (java) S 22458 22461 21492 0 -1 1077944320 12408 12701 0 0 74 4 9 3 20 0 20 0 10494359 11164385280 14702 33554432000 4194304 4196468 140724469690688 140724469673232 140541698653943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
/proc/22461/statm: 2725680 14702 3151 1 0 2713890 0
Current children cumulated CPU time (s) 0.9
Current children cumulated vsize (KiB) 10902720

[startup+1.50273 s]
/proc/loadavg: 1.91 1.22 1.26 7/283 22534
/proc/meminfo: memFree=31487952/32770624 swapFree=5832/237976
[pid=22461] ppid=22458 vsize=10913344 CPUtime=2.21 cores=0-3,8-11
/proc/22461/stat : 22461 (java) S 22458 22461 21492 0 -1 1077944320 26868 12701 0 0 197 12 9 3 20 0 20 0 10494359 11175264256 44386 33554432000 4194304 4196468 140724469690688 140724469673232 140541698653943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
/proc/22461/statm: 2728336 44386 3403 1 0 2716450 0
[pid=22461/tid=22516] ppid=22458 vsize=10913344 CPUtime=1.43 cores=0-3,8-11
/proc/22461/task/22516/stat : 22516 (java) S 22458 22461 21492 0 -1 1077944384 19259 12701 0 0 126 5 9 3 20 0 20 0 10494373 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541702870656 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22517] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22517/stat : 22517 (java) R 22458 22461 21492 0 -1 4202560 135 12701 0 0 0 0 9 3 20 0 20 0 10494374 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541666212368 140541691282151 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22518] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22518/stat : 22518 (java) R 22458 22461 21492 0 -1 4202560 36 12701 0 0 0 0 9 3 20 0 20 0 10494374 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541304433296 140541691282151 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22519] ppid=22458 vsize=10913344 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22519/stat : 22519 (java) R 22458 22461 21492 0 -1 4202560 25 12701 0 0 1 0 9 3 20 0 20 0 10494374 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541303380240 140541683354576 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22520] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22520/stat : 22520 (java) R 22458 22461 21492 0 -1 4202560 12 12701 0 0 0 0 9 3 20 0 20 0 10494374 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541302327696 140541691282151 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22521] ppid=22458 vsize=10913344 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22521/stat : 22521 (java) R 22458 22461 21492 0 -1 4202560 25 12701 0 0 1 0 9 3 20 0 20 0 10494374 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541301275664 140541691282151 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22522] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22522/stat : 22522 (java) R 22458 22461 21492 0 -1 4202560 13 12701 0 0 0 0 9 3 20 0 20 0 10494374 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541300223120 140541691282151 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22523] ppid=22458 vsize=10913344 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22523/stat : 22523 (java) R 22458 22461 21492 0 -1 4202560 52 12701 0 0 1 0 9 3 20 0 20 0 10494374 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541299170184 140541691282151 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22524] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22524/stat : 22524 (java) R 22458 22461 21492 0 -1 4202560 16 12701 0 0 0 0 9 3 20 0 20 0 10494374 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541298117520 140541691282151 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22525] ppid=22458 vsize=10913344 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22525/stat : 22525 (java) S 22458 22461 21492 0 -1 1077944384 1258 12701 0 0 1 0 9 3 20 0 20 0 10494376 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541173191456 140541698664149 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22526] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22526/stat : 22526 (java) S 22458 22461 21492 0 -1 1077944384 33 12701 0 0 0 0 9 3 20 0 20 0 10494376 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541172139168 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22527] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22527/stat : 22527 (java) S 22458 22461 21492 0 -1 1077944384 21 12701 0 0 0 0 9 3 20 0 20 0 10494376 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541171086064 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22528] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22528/stat : 22528 (java) S 22458 22461 21492 0 -1 1077944384 1 12701 0 0 0 0 9 3 20 0 20 0 10494380 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541170034640 140541698672539 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22529] ppid=22458 vsize=10913344 CPUtime=0.28 cores=0-3,8-11
/proc/22461/task/22529/stat : 22529 (java) S 22458 22461 21492 0 -1 1077944384 1462 12701 0 0 15 1 9 3 20 0 20 0 10494380 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541168982768 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22530] ppid=22458 vsize=10913344 CPUtime=0.21 cores=0-3,8-11
/proc/22461/task/22530/stat : 22530 (java) S 22458 22461 21492 0 -1 1077944384 324 12701 0 0 9 0 9 3 20 0 20 0 10494380 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541167915216 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22531] ppid=22458 vsize=10913344 CPUtime=0.23 cores=0-3,8-11
/proc/22461/task/22531/stat : 22531 (java) S 22458 22461 21492 0 -1 1077944384 826 12701 0 0 11 0 9 3 20 0 20 0 10494380 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541166877168 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22532] ppid=22458 vsize=10913344 CPUtime=0.37 cores=0-3,8-11
/proc/22461/task/22532/stat : 22532 (java) S 22458 22461 21492 0 -1 1077944384 1235 12701 0 0 25 0 9 3 20 0 20 0 10494380 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541165821056 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22533] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22533/stat : 22533 (java) S 22458 22461 21492 0 -1 1077944384 3 12701 0 0 0 0 9 3 20 0 20 0 10494380 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541164771808 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22534] ppid=22458 vsize=10913344 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22534/stat : 22534 (java) S 22458 22461 21492 0 -1 1077944384 3 12701 0 0 0 0 9 3 20 0 20 0 10494381 11175264256 44386 33554432000 4194304 4196468 140724469690688 140541163719344 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
Current children cumulated CPU time (s) 2.21
Current children cumulated vsize (KiB) 10913344

[startup+3.10074 s]
/proc/loadavg: 1.91 1.22 1.26 7/283 22534
/proc/meminfo: memFree=31352516/32770624 swapFree=5832/237980
[pid=22461] ppid=22458 vsize=10927868 CPUtime=5.39 cores=0-3,8-11
/proc/22461/stat : 22461 (java) S 22458 22461 21492 0 -1 1077944320 47477 12701 0 0 508 19 9 3 20 0 20 0 10494359 11190136832 54921 33554432000 4194304 4196468 140724469690688 140724469673232 140541698653943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
/proc/22461/statm: 2731967 54921 3474 1 0 2719522 0
[pid=22461/tid=22516] ppid=22458 vsize=10927868 CPUtime=3.02 cores=0-3,8-11
/proc/22461/task/22516/stat : 22516 (java) S 22458 22461 21492 0 -1 1077944384 34665 12701 0 0 282 8 9 3 20 0 20 0 10494373 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541702883872 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22517] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22517/stat : 22517 (java) S 22458 22461 21492 0 -1 1077944384 135 12701 0 0 0 0 9 3 20 0 20 0 10494374 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541666212368 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22518] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22518/stat : 22518 (java) S 22458 22461 21492 0 -1 1077944384 36 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541304433296 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22519] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22519/stat : 22519 (java) S 22458 22461 21492 0 -1 1077944384 25 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541303380240 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22520] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22520/stat : 22520 (java) S 22458 22461 21492 0 -1 1077944384 12 12701 0 0 0 0 9 3 20 0 20 0 10494374 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541302327696 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22521] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22521/stat : 22521 (java) S 22458 22461 21492 0 -1 1077944384 25 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541301275664 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22522] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22522/stat : 22522 (java) S 22458 22461 21492 0 -1 1077944384 13 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541300223120 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22523] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22523/stat : 22523 (java) S 22458 22461 21492 0 -1 1077944384 52 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541299170064 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22524] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22524/stat : 22524 (java) S 22458 22461 21492 0 -1 1077944384 16 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541298117520 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22525] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22525/stat : 22525 (java) S 22458 22461 21492 0 -1 1077944384 1446 12701 0 0 1 0 9 3 20 0 20 0 10494376 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541173192944 140541698665090 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22526] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22526/stat : 22526 (java) S 22458 22461 21492 0 -1 1077944384 54 12701 0 0 0 0 9 3 20 0 20 0 10494376 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541172139232 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22527] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22527/stat : 22527 (java) S 22458 22461 21492 0 -1 1077944384 45 12701 0 0 0 0 9 3 20 0 20 0 10494376 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541171086080 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22528] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22528/stat : 22528 (java) S 22458 22461 21492 0 -1 1077944384 1 12701 0 0 0 0 9 3 20 0 20 0 10494380 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541170034640 140541698672539 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22529] ppid=22458 vsize=10927868 CPUtime=0.56 cores=0-3,8-11
/proc/22461/task/22529/stat : 22529 (java) S 22458 22461 21492 0 -1 1077944384 2224 12701 0 0 43 1 9 3 20 0 20 0 10494380 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541168982768 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22530] ppid=22458 vsize=10927868 CPUtime=0.52 cores=0-3,8-11
/proc/22461/task/22530/stat : 22530 (java) S 22458 22461 21492 0 -1 1077944384 2008 12701 0 0 39 1 9 3 20 0 20 0 10494380 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541167930224 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22531] ppid=22458 vsize=10927868 CPUtime=0.52 cores=0-3,8-11
/proc/22461/task/22531/stat : 22531 (java) S 22458 22461 21492 0 -1 1077944384 1122 12701 0 0 39 1 9 3 20 0 20 0 10494380 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541166877168 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22532] ppid=22458 vsize=10927868 CPUtime=1.04 cores=0-3,8-11
/proc/22461/task/22532/stat : 22532 (java) R 22458 22461 21492 0 -1 4202560 3461 12701 0 0 91 1 9 3 20 0 20 0 10494380 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541165824624 140541678054128 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22533] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22533/stat : 22533 (java) S 22458 22461 21492 0 -1 1077944384 3 12701 0 0 0 0 9 3 20 0 20 0 10494380 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541164771808 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22534] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22534/stat : 22534 (java) S 22458 22461 21492 0 -1 1077944384 6 12701 0 0 0 0 9 3 20 0 20 0 10494381 11190136832 54921 33554432000 4194304 4196468 140724469690688 140541163719344 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 10927868

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

[startup+3.30073 s]
/proc/loadavg: 1.91 1.22 1.26 7/283 22534
/proc/meminfo: memFree=31352516/32770624 swapFree=5832/237980
[pid=22461] ppid=22458 vsize=10927868 CPUtime=6.04 cores=0-3,8-11
/proc/22461/stat : 22461 (java) S 22458 22461 21492 0 -1 1077944320 48528 12701 0 0 572 20 9 3 20 0 20 0 10494359 11190136832 58289 33554432000 4194304 4196468 140724469690688 140724469673232 140541698653943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
/proc/22461/statm: 2731967 58289 3477 1 0 2719522 0
[pid=22461/tid=22516] ppid=22458 vsize=10927868 CPUtime=3.22 cores=0-3,8-11
/proc/22461/task/22516/stat : 22516 (java) R 22458 22461 21492 0 -1 4202560 34998 12701 0 0 301 9 9 3 20 0 20 0 10494373 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541702881472 140541682734430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22517] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22517/stat : 22517 (java) S 22458 22461 21492 0 -1 1077944384 135 12701 0 0 0 0 9 3 20 0 20 0 10494374 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541666212368 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22518] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22518/stat : 22518 (java) S 22458 22461 21492 0 -1 1077944384 36 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541304433296 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22519] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22519/stat : 22519 (java) S 22458 22461 21492 0 -1 1077944384 25 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541303380240 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22520] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22520/stat : 22520 (java) S 22458 22461 21492 0 -1 1077944384 12 12701 0 0 0 0 9 3 20 0 20 0 10494374 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541302327696 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22521] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22521/stat : 22521 (java) S 22458 22461 21492 0 -1 1077944384 25 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541301275664 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22522] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22522/stat : 22522 (java) S 22458 22461 21492 0 -1 1077944384 13 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541300223120 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22523] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22523/stat : 22523 (java) S 22458 22461 21492 0 -1 1077944384 52 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541299170064 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22524] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22524/stat : 22524 (java) S 22458 22461 21492 0 -1 1077944384 16 12701 0 0 1 0 9 3 20 0 20 0 10494374 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541298117520 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22525] ppid=22458 vsize=10927868 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22525/stat : 22525 (java) S 22458 22461 21492 0 -1 1077944384 1517 12701 0 0 1 0 9 3 20 0 20 0 10494376 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541173192944 140541698665090 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22526] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22526/stat : 22526 (java) S 22458 22461 21492 0 -1 1077944384 54 12701 0 0 0 0 9 3 20 0 20 0 10494376 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541172139232 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22527] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22527/stat : 22527 (java) S 22458 22461 21492 0 -1 1077944384 45 12701 0 0 0 0 9 3 20 0 20 0 10494376 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541171086080 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22528] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22528/stat : 22528 (java) S 22458 22461 21492 0 -1 1077944384 1 12701 0 0 0 0 9 3 20 0 20 0 10494380 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541170034640 140541698672539 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22529] ppid=22458 vsize=10927868 CPUtime=0.67 cores=0-3,8-11
/proc/22461/task/22529/stat : 22529 (java) R 22458 22461 21492 0 -1 4202560 2252 12701 0 0 54 1 9 3 20 0 20 0 10494380 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541168969088 140541680180992 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22530] ppid=22458 vsize=10927868 CPUtime=0.63 cores=0-3,8-11
/proc/22461/task/22530/stat : 22530 (java) R 22458 22461 21492 0 -1 4202560 2062 12701 0 0 50 1 9 3 20 0 20 0 10494380 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541167923328 140541677817969 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22531] ppid=22458 vsize=10927868 CPUtime=0.64 cores=0-3,8-11
/proc/22461/task/22531/stat : 22531 (java) R 22458 22461 21492 0 -1 4202560 1446 12701 0 0 51 1 9 3 20 0 20 0 10494380 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541166863776 140541683578290 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22532] ppid=22458 vsize=10927868 CPUtime=1.15 cores=0-3,8-11
/proc/22461/task/22532/stat : 22532 (java) S 22458 22461 21492 0 -1 1077944384 3704 12701 0 0 102 1 9 3 20 0 20 0 10494380 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541165824624 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22533] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22533/stat : 22533 (java) S 22458 22461 21492 0 -1 1077944384 3 12701 0 0 0 0 9 3 20 0 20 0 10494380 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541164771808 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22534] ppid=22458 vsize=10927868 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22534/stat : 22534 (java) S 22458 22461 21492 0 -1 1077944384 6 12701 0 0 0 0 9 3 20 0 20 0 10494381 11190136832 58289 33554432000 4194304 4196468 140724469690688 140541163719344 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 10927868

[startup+3.70073 s]
/proc/loadavg: 2.16 1.28 1.28 6/258 22591
/proc/meminfo: memFree=31543540/32770624 swapFree=5832/260308
[pid=22461] ppid=22458 vsize=10995452 CPUtime=7.39 cores=0-3,8-11
/proc/22461/stat : 22461 (java) S 22458 22461 21492 0 -1 1077944320 61621 12701 0 0 703 24 9 3 20 0 20 0 10494359 11259342848 75386 33554432000 4194304 4196468 140724469690688 140724469673232 140541698653943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
/proc/22461/statm: 2748863 75386 3488 1 0 2736418 0
[pid=22461/tid=22516] ppid=22458 vsize=10995452 CPUtime=3.57 cores=0-3,8-11
/proc/22461/task/22516/stat : 22516 (java) R 22458 22461 21492 0 -1 4202560 44003 12701 0 0 335 10 9 3 20 0 20 0 10494373 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541702874656 140541682734430 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22517] ppid=22458 vsize=10995452 CPUtime=0.15 cores=0-3,8-11
/proc/22461/task/22517/stat : 22517 (java) S 22458 22461 21492 0 -1 1077944384 144 12701 0 0 2 1 9 3 20 0 20 0 10494374 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541666212368 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22518] ppid=22458 vsize=10995452 CPUtime=0.14 cores=0-3,8-11
/proc/22461/task/22518/stat : 22518 (java) S 22458 22461 21492 0 -1 1077944384 46 12701 0 0 1 1 9 3 20 0 20 0 10494374 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541304433296 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22519] ppid=22458 vsize=10995452 CPUtime=0.15 cores=0-3,8-11
/proc/22461/task/22519/stat : 22519 (java) S 22458 22461 21492 0 -1 1077944384 78 12701 0 0 3 0 9 3 20 0 20 0 10494374 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541303380240 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22520] ppid=22458 vsize=10995452 CPUtime=0.14 cores=0-3,8-11
/proc/22461/task/22520/stat : 22520 (java) S 22458 22461 21492 0 -1 1077944384 22 12701 0 0 2 0 9 3 20 0 20 0 10494374 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541302327696 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22521] ppid=22458 vsize=10995452 CPUtime=0.14 cores=0-3,8-11
/proc/22461/task/22521/stat : 22521 (java) S 22458 22461 21492 0 -1 1077944384 40 12701 0 0 2 0 9 3 20 0 20 0 10494374 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541301275664 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22522] ppid=22458 vsize=10995452 CPUtime=0.14 cores=0-3,8-11
/proc/22461/task/22522/stat : 22522 (java) S 22458 22461 21492 0 -1 1077944384 27 12701 0 0 2 0 9 3 20 0 20 0 10494374 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541300223120 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22523] ppid=22458 vsize=10995452 CPUtime=0.15 cores=0-3,8-11
/proc/22461/task/22523/stat : 22523 (java) S 22458 22461 21492 0 -1 1077944384 100 12701 0 0 3 0 9 3 20 0 20 0 10494374 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541299170064 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22524] ppid=22458 vsize=10995452 CPUtime=0.14 cores=0-3,8-11
/proc/22461/task/22524/stat : 22524 (java) S 22458 22461 21492 0 -1 1077944384 22 12701 0 0 2 0 9 3 20 0 20 0 10494374 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541298117520 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22525] ppid=22458 vsize=10995452 CPUtime=0.15 cores=0-3,8-11
/proc/22461/task/22525/stat : 22525 (java) S 22458 22461 21492 0 -1 1077944384 2141 12701 0 0 3 0 9 3 20 0 20 0 10494376 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541173192944 140541698665090 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22526] ppid=22458 vsize=10995452 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22526/stat : 22526 (java) S 22458 22461 21492 0 -1 1077944384 55 12701 0 0 0 0 9 3 20 0 20 0 10494376 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541172139232 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22527] ppid=22458 vsize=10995452 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22527/stat : 22527 (java) S 22458 22461 21492 0 -1 1077944384 45 12701 0 0 1 0 9 3 20 0 20 0 10494376 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541171086080 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22528] ppid=22458 vsize=10995452 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22528/stat : 22528 (java) S 22458 22461 21492 0 -1 1077944384 1 12701 0 0 0 0 9 3 20 0 20 0 10494380 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541170034640 140541698672539 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22529] ppid=22458 vsize=10995452 CPUtime=0.96 cores=0-3,8-11
/proc/22461/task/22529/stat : 22529 (java) R 22458 22461 21492 0 -1 4202560 3770 12701 0 0 83 1 9 3 20 0 20 0 10494380 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541168963784 140541682182677 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22530] ppid=22458 vsize=10995452 CPUtime=0.79 cores=0-3,8-11
/proc/22461/task/22530/stat : 22530 (java) S 22458 22461 21492 0 -1 1077944384 2118 12701 0 0 66 1 9 3 20 0 20 0 10494380 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541167930224 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22531] ppid=22458 vsize=10995452 CPUtime=0.91 cores=0-3,8-11
/proc/22461/task/22531/stat : 22531 (java) R 22458 22461 21492 0 -1 4202560 3028 12701 0 0 78 1 9 3 20 0 20 0 10494380 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541166858184 140541677843504 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22532] ppid=22458 vsize=10995452 CPUtime=1.26 cores=0-3,8-11
/proc/22461/task/22532/stat : 22532 (java) R 22458 22461 21492 0 -1 4202560 3845 12701 0 0 112 2 9 3 20 0 20 0 10494380 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541165824544 140541683001150 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22533] ppid=22458 vsize=10995452 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22533/stat : 22533 (java) S 22458 22461 21492 0 -1 1077944384 3 12701 0 0 0 0 9 3 20 0 20 0 10494380 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541164771808 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22534] ppid=22458 vsize=10995452 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22534/stat : 22534 (java) S 22458 22461 21492 0 -1 1077944384 6 12701 0 0 0 0 9 3 20 0 20 0 10494381 11259342848 75386 33554432000 4194304 4196468 140724469690688 140541163719344 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 10995452

[startup+4.1007 s]
/proc/loadavg: 2.16 1.28 1.28 6/258 22591
/proc/meminfo: memFree=31543540/32770624 swapFree=5832/260308
[pid=22461] ppid=22458 vsize=10997964 CPUtime=9.29 cores=0-3,8-11
/proc/22461/stat : 22461 (java) S 22458 22461 21492 0 -1 1077944320 64078 12701 0 0 892 25 9 3 20 0 20 0 10494359 11261915136 77756 33554432000 4194304 4196468 140724469690688 140724469673232 140541698653943 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
/proc/22461/statm: 2749491 77756 3490 1 0 2737046 0
[pid=22461/tid=22516] ppid=22458 vsize=10997964 CPUtime=3.77 cores=0-3,8-11
/proc/22461/task/22516/stat : 22516 (java) R 22458 22461 21492 0 -1 4202560 44258 12701 0 0 355 10 9 3 20 0 20 0 10494373 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541702887136 140541682734430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22517] ppid=22458 vsize=10997964 CPUtime=0.26 cores=0-3,8-11
/proc/22461/task/22517/stat : 22517 (java) S 22458 22461 21492 0 -1 1077944384 153 12701 0 0 13 1 9 3 20 0 20 0 10494374 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541666212368 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22518] ppid=22458 vsize=10997964 CPUtime=0.24 cores=0-3,8-11
/proc/22461/task/22518/stat : 22518 (java) S 22458 22461 21492 0 -1 1077944384 51 12701 0 0 11 1 9 3 20 0 20 0 10494374 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541304433296 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22519] ppid=22458 vsize=10997964 CPUtime=0.25 cores=0-3,8-11
/proc/22461/task/22519/stat : 22519 (java) S 22458 22461 21492 0 -1 1077944384 81 12701 0 0 13 0 9 3 20 0 20 0 10494374 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541303380240 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22520] ppid=22458 vsize=10997964 CPUtime=0.25 cores=0-3,8-11
/proc/22461/task/22520/stat : 22520 (java) S 22458 22461 21492 0 -1 1077944384 37 12701 0 0 13 0 9 3 20 0 20 0 10494374 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541302327696 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22521] ppid=22458 vsize=10997964 CPUtime=0.21 cores=0-3,8-11
/proc/22461/task/22521/stat : 22521 (java) S 22458 22461 21492 0 -1 1077944384 44 12701 0 0 9 0 9 3 20 0 20 0 10494374 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541301275664 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22522] ppid=22458 vsize=10997964 CPUtime=0.25 cores=0-3,8-11
/proc/22461/task/22522/stat : 22522 (java) S 22458 22461 21492 0 -1 1077944384 34 12701 0 0 13 0 9 3 20 0 20 0 10494374 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541300223120 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22523] ppid=22458 vsize=10997964 CPUtime=0.23 cores=0-3,8-11
/proc/22461/task/22523/stat : 22523 (java) S 22458 22461 21492 0 -1 1077944384 100 12701 0 0 11 0 9 3 20 0 20 0 10494374 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541299170064 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22524] ppid=22458 vsize=10997964 CPUtime=0.23 cores=0-3,8-11
/proc/22461/task/22524/stat : 22524 (java) S 22458 22461 21492 0 -1 1077944384 28 12701 0 0 11 0 9 3 20 0 20 0 10494374 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541298117520 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22525] ppid=22458 vsize=10997964 CPUtime=0.23 cores=0-3,8-11
/proc/22461/task/22525/stat : 22525 (java) S 22458 22461 21492 0 -1 1077944384 2153 12701 0 0 11 0 9 3 20 0 20 0 10494376 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541173192944 140541698665090 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22526] ppid=22458 vsize=10997964 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22526/stat : 22526 (java) S 22458 22461 21492 0 -1 1077944384 55 12701 0 0 0 0 9 3 20 0 20 0 10494376 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541172139296 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22527] ppid=22458 vsize=10997964 CPUtime=0.13 cores=0-3,8-11
/proc/22461/task/22527/stat : 22527 (java) S 22458 22461 21492 0 -1 1077944384 45 12701 0 0 1 0 9 3 20 0 20 0 10494376 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541171086080 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22528] ppid=22458 vsize=10997964 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22528/stat : 22528 (java) S 22458 22461 21492 0 -1 1077944384 1 12701 0 0 0 0 9 3 20 0 20 0 10494380 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541170034640 140541698672539 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22529] ppid=22458 vsize=10997964 CPUtime=1.36 cores=0-3,8-11
/proc/22461/task/22529/stat : 22529 (java) R 22458 22461 21492 0 -1 4202560 5270 12701 0 0 123 1 9 3 20 0 20 0 10494380 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541168968784 140541677899872 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22530] ppid=22458 vsize=10997964 CPUtime=0.94 cores=0-3,8-11
/proc/22461/task/22530/stat : 22530 (java) R 22458 22461 21492 0 -1 4202560 2196 12701 0 0 81 1 9 3 20 0 20 0 10494380 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541167921552 140541677897683 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22531] ppid=22458 vsize=10997964 CPUtime=1.08 cores=0-3,8-11
/proc/22461/task/22531/stat : 22531 (java) R 22458 22461 21492 0 -1 4202560 3373 12701 0 0 95 1 9 3 20 0 20 0 10494380 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541166877168 140541676401328 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22532] ppid=22458 vsize=10997964 CPUtime=1.39 cores=0-3,8-11
/proc/22461/task/22532/stat : 22532 (java) R 22458 22461 21492 0 -1 4202560 4061 12701 0 0 125 2 9 3 20 0 20 0 10494380 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541165824544 140541677782411 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22533] ppid=22458 vsize=10997964 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22533/stat : 22533 (java) S 22458 22461 21492 0 -1 1077944384 3 12701 0 0 0 0 9 3 20 0 20 0 10494380 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541164771808 140541698664149 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
[pid=22461/tid=22534] ppid=22458 vsize=10997964 CPUtime=0.12 cores=0-3,8-11
/proc/22461/task/22534/stat : 22534 (java) S 22458 22461 21492 0 -1 1077944384 6 12701 0 0 0 0 9 3 20 0 20 0 10494381 11261915136 77756 33554432000 4194304 4196468 140724469690688 140541163719344 140541698665090 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14057472 140724469697217 140724469699991 140724469699991 140724469702607 0
Current children cumulated CPU time (s) 9.29
Current children cumulated vsize (KiB) 10997964

Child status: 0
Real time (s): 4.16196
CPU time (s): 9.39805
CPU user time (s): 9.09196
CPU system time (s): 0.306095
CPU usage (%): 225.808
Max. virtual memory (cumulated for all children) (KiB): 10997964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.09196
system time used= 0.306095
maximum resident set size= 312508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76905
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= 9249
involuntary context switches= 2175

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030881 second user time and 0.040872 second system time

The end

Launcher Data 

Begin job on node144 at 2017-07-22 21:38:10
IDJOB=4248862
IDBENCH=134509
IDSOLVER=2630
FILE ID=node144/4248862-1500752290
RUNJOBID= node144-1500752272-21523
PBS_JOBID= 20624582
Free space on /tmp= 61992 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s07/Blackhole-07-3-10.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248862-1500752290/watcher-4248862-1500752290 -o /tmp/evaluation-result-4248862-1500752290/solver-4248862-1500752290 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21523 --watchdog 2560  bin/concrete HOME/instance-4248862-1500752290.xml

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

MD5SUM BENCH= 41a77f0ff8ed1fddf85157fc97a1c00e
RANDOM SEED=568171693

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31681960 kB
MemAvailable:   31906632 kB
Buffers:          147180 kB
Cached:           360380 kB
SwapCached:            0 kB
Active:           410344 kB
Inactive:         247040 kB
Active(anon):     152544 kB
Inactive(anon):     8712 kB
Active(file):     257800 kB
Inactive(file):   238328 kB
Unevictable:        5832 kB
Mlocked:            5832 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             49648 kB
Writeback:             4 kB
AnonPages:        298056 kB
Mapped:            42048 kB
Shmem:              8844 kB
Slab:             122328 kB
SReclaimable:      88760 kB
SUnreclaim:        33568 kB
KernelStack:        4704 kB
PageTables:         4720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1177860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

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