Trace number 4248892

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 8.3203 3.84584

General information on the benchmark

NameBlackhole/Blackhole-m1-s04/
Blackhole-04-3-07.xml
MD5SUMb9d1641bf9ce43abb78b46afb69e9276
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.017926
Satisfiable
(Un)Satisfiability was proved
Number of variables32
Number of constraints27
Number of domains1
Minimum domain size16
Maximum domain size16
Distribution of domain sizes[{"size":16,"count":32}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":27},{"degree":3,"count":5}]
Minimum constraint arity1
Maximum constraint arity32
Distribution of constraint arities[{"arity":1,"count":1},{"arity":2,"count":25},{"arity":32,"count":1}]
Number of extensional constraints15
Number of intensional constraints11
Distribution of constraint types[{"type":"extension","count":15},{"type":"intension","count":11},{"type":"channel","count":1}]
Optimization problemNO
Type of objective

Solver Data 

3.93/2.21	c Concrete v3.4 running
7.99/3.78	v <instantiation>
7.99/3.78	v       <list>
7.99/3.78	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] 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]
7.99/3.78	v       </list>
7.99/3.78	v       <values>
7.99/3.78	v         0 1 4 3 12 7 6 9 2 11 14 5 10 13 8 15 0 1 8 3 2 11 6 5 14 7 12 9 4 13 10 15
7.99/3.78	v       </values>
7.99/3.78	v     </instantiation>
7.99/3.78	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-4248892-1500752314/watcher-4248892-1500752314 -o /tmp/evaluation-result-4248892-1500752314/solver-4248892-1500752314 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500747505-24292 --watchdog 2560 bin/concrete HOME/instance-4248892-1500752314.xml 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.17 1.81 3/265 27813
/proc/meminfo: memFree=30486680/32770624 swapFree=5704/310200
[pid=27813] ppid=27810 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (bash) S 27810 27813 20653 0 -1 4202496 686 1532 0 0 0 0 0 0 20 0 1 0 10498632 9736192 351 33554432000 4194304 5098028 140723642222416 140723642220056 139897502006272 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 33722368 140723642230030 140723642230115 140723642230115 140723642232814 0
/proc/27813/statm: 2377 351 278 221 0 86 0

[startup+0.10015 s]
/proc/loadavg: 2.15 2.17 1.81 3/265 27813
/proc/meminfo: memFree=30486680/32770624 swapFree=5704/310200
[pid=27813] ppid=27810 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (bash) S 27810 27813 20653 0 -1 4202496 885 6413 0 0 0 0 0 1 20 0 1 0 10498632 9871360 378 33554432000 4194304 5098028 140723642222416 140723642216424 139897502006272 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 33722368 140723642230030 140723642230115 140723642230115 140723642232814 0
/proc/27813/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.20039 s]
/proc/loadavg: 2.15 2.17 1.81 3/265 27813
/proc/meminfo: memFree=30486680/32770624 swapFree=5704/310200
[pid=27813] ppid=27810 vsize=10635552 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (java) S 27810 27813 20653 0 -1 1077944320 5066 12399 0 0 6 2 8 3 20 0 16 0 10498632 10890805248 5372 33554432000 4194304 4196468 140737342210320 140737342192864 140186197397239 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
/proc/27813/statm: 2659145 5372 2171 1 0 2647583 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10635552

[startup+0.300321 s]
/proc/loadavg: 2.15 2.17 1.81 3/265 27813
/proc/meminfo: memFree=30486680/32770624 swapFree=5704/310200
[pid=27813] ppid=27810 vsize=10902424 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (java) S 27810 27813 20653 0 -1 1077944320 9131 12399 0 0 23 2 8 3 20 0 20 0 10498632 11164082176 10188 33554432000 4194304 4196468 140737342210320 140737342192864 140186197397239 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
/proc/27813/statm: 2725606 10188 2978 1 0 2713898 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10902424

[startup+0.700241 s]
/proc/loadavg: 2.15 2.17 1.81 3/265 27813
/proc/meminfo: memFree=30486680/32770624 swapFree=5704/310200
[pid=27813] ppid=27810 vsize=10902720 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (java) S 27810 27813 20653 0 -1 1077944320 12676 12399 0 0 80 4 8 3 20 0 20 0 10498632 11164385280 15966 33554432000 4194304 4196468 140737342210320 140737342192864 140186197397239 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
/proc/27813/statm: 2725680 15966 3217 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720

[startup+1.50077 s]
/proc/loadavg: 2.15 2.17 1.81 4/285 27886
/proc/meminfo: memFree=30384860/32770624 swapFree=5704/310248
[pid=27813] ppid=27810 vsize=10913344 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (java) S 27810 27813 20653 0 -1 1077944320 27855 12399 0 0 203 13 8 3 20 0 20 0 10498632 11175264256 44671 33554432000 4194304 4196468 140737342210320 140737342192864 140186197397239 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
/proc/27813/statm: 2728336 44671 3419 1 0 2716450 0
[pid=27813/tid=27868] ppid=27810 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27868/stat : 27868 (java) R 27810 27813 20653 0 -1 4202560 20202 12399 0 0 127 5 8 3 20 0 20 0 10498644 11175264256 44671 33554432000 4194304 4196468 140737342210320 140186201601408 140186197409174 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27869] ppid=27810 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27869/stat : 27869 (java) S 27810 27813 20653 0 -1 1077944384 129 12399 0 0 1 0 8 3 20 0 20 0 10498645 11175264256 44671 33554432000 4194304 4196468 140737342210320 140186123471376 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27870] ppid=27810 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27870/stat : 27870 (java) S 27810 27813 20653 0 -1 1077944384 39 12399 0 0 1 0 8 3 20 0 20 0 10498645 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185803156112 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27871] ppid=27810 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27871/stat : 27871 (java) S 27810 27813 20653 0 -1 1077944384 13 12399 0 0 1 0 8 3 20 0 20 0 10498645 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185802103056 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27872] ppid=27810 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27872/stat : 27872 (java) S 27810 27813 20653 0 -1 1077944384 40 12399 0 0 0 1 8 3 20 0 20 0 10498645 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185801050512 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27873] ppid=27810 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27873/stat : 27873 (java) S 27810 27813 20653 0 -1 1077944384 14 12399 0 0 0 0 8 3 20 0 20 0 10498645 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185799998480 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27874] ppid=27810 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27874/stat : 27874 (java) S 27810 27813 20653 0 -1 1077944384 31 12399 0 0 0 0 8 3 20 0 20 0 10498645 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185798945936 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27875] ppid=27810 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27875/stat : 27875 (java) S 27810 27813 20653 0 -1 1077944384 68 12399 0 0 1 0 8 3 20 0 20 0 10498645 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185797892880 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27876] ppid=27810 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27876/stat : 27876 (java) S 27810 27813 20653 0 -1 1077944384 18 12399 0 0 1 0 8 3 20 0 20 0 10498645 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185796840336 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27877] ppid=27810 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27877/stat : 27877 (java) S 27810 27813 20653 0 -1 1077944384 1270 12399 0 0 1 0 8 3 20 0 20 0 10498647 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185014446320 140186197408386 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27878] ppid=27810 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27878/stat : 27878 (java) S 27810 27813 20653 0 -1 1077944384 56 12399 0 0 0 0 8 3 20 0 20 0 10498648 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185013392608 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27879] ppid=27810 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27879/stat : 27879 (java) S 27810 27813 20653 0 -1 1077944384 44 12399 0 0 0 0 8 3 20 0 20 0 10498648 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185012339440 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27880] ppid=27810 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27880/stat : 27880 (java) S 27810 27813 20653 0 -1 1077944384 1 12399 0 0 0 0 8 3 20 0 20 0 10498652 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185011288016 140186197415835 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27881] ppid=27810 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27881/stat : 27881 (java) R 27810 27813 20653 0 -1 4202560 1612 12399 0 0 16 0 8 3 20 0 20 0 10498652 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185010227712 140186183411536 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27882] ppid=27810 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27882/stat : 27882 (java) R 27810 27813 20653 0 -1 4202560 264 12399 0 0 9 0 8 3 20 0 20 0 10498652 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185009183600 140186197408386 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27883] ppid=27810 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27883/stat : 27883 (java) R 27810 27813 20653 0 -1 4202560 674 12399 0 0 14 0 8 3 20 0 20 0 10498652 11175264256 44671 33554432000 4194304 4196468 140737342210320 140185008130840 140186177055968 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27884] ppid=27810 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27884/stat : 27884 (java) R 27810 27813 20653 0 -1 4202560 1241 12399 0 0 25 0 8 3 20 0 20 0 10498652 11175264256 44672 33554432000 4194304 4196468 140737342210320 140185007078000 140186197418586 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27885] ppid=27810 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27885/stat : 27885 (java) S 27810 27813 20653 0 -1 1077944384 3 12399 0 0 0 0 8 3 20 0 20 0 10498653 11175264256 44672 33554432000 4194304 4196468 140737342210320 140185006025184 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27886] ppid=27810 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27886/stat : 27886 (java) S 27810 27813 20653 0 -1 1077944384 6 12399 0 0 0 0 8 3 20 0 20 0 10498653 11175264256 44672 33554432000 4194304 4196468 140737342210320 140185004972720 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 10913344

[startup+3.10118 s]
/proc/loadavg: 2.15 2.17 1.81 6/285 27886
/proc/meminfo: memFree=30308956/32770624 swapFree=5704/310248
[pid=27813] ppid=27810 vsize=10927868 CPUtime=5.78 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (java) S 27810 27813 20653 0 -1 1077944320 47105 12399 0 0 547 20 8 3 20 0 20 0 10498632 11190136832 57590 33554432000 4194304 4196468 140737342210320 140737342192864 140186197397239 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
/proc/27813/statm: 2731967 57590 3484 1 0 2719522 0
[pid=27813/tid=27868] ppid=27810 vsize=10927868 CPUtime=3.03 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27868/stat : 27868 (java) R 27810 27813 20653 0 -1 4202560 33003 12399 0 0 283 9 8 3 20 0 20 0 10498644 11190136832 57590 33554432000 4194304 4196468 140737342210320 140186201619088 140186181477726 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27869] ppid=27810 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27869/stat : 27869 (java) S 27810 27813 20653 0 -1 1077944384 129 12399 0 0 1 0 8 3 20 0 20 0 10498645 11190136832 57590 33554432000 4194304 4196468 140737342210320 140186123471376 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27870] ppid=27810 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27870/stat : 27870 (java) S 27810 27813 20653 0 -1 1077944384 39 12399 0 0 1 0 8 3 20 0 20 0 10498645 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185803156112 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27871] ppid=27810 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27871/stat : 27871 (java) S 27810 27813 20653 0 -1 1077944384 13 12399 0 0 1 0 8 3 20 0 20 0 10498645 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185802103056 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27872] ppid=27810 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27872/stat : 27872 (java) S 27810 27813 20653 0 -1 1077944384 40 12399 0 0 0 1 8 3 20 0 20 0 10498645 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185801050512 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27873] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27873/stat : 27873 (java) S 27810 27813 20653 0 -1 1077944384 14 12399 0 0 0 0 8 3 20 0 20 0 10498645 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185799998480 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27874] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27874/stat : 27874 (java) S 27810 27813 20653 0 -1 1077944384 31 12399 0 0 0 0 8 3 20 0 20 0 10498645 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185798945936 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27875] ppid=27810 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27875/stat : 27875 (java) S 27810 27813 20653 0 -1 1077944384 68 12399 0 0 1 0 8 3 20 0 20 0 10498645 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185797892880 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27876] ppid=27810 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27876/stat : 27876 (java) S 27810 27813 20653 0 -1 1077944384 18 12399 0 0 1 0 8 3 20 0 20 0 10498645 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185796840336 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27877] ppid=27810 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27877/stat : 27877 (java) S 27810 27813 20653 0 -1 1077944384 1296 12399 0 0 1 0 8 3 20 0 20 0 10498647 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185014446320 140186197408386 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27878] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27878/stat : 27878 (java) S 27810 27813 20653 0 -1 1077944384 56 12399 0 0 0 0 8 3 20 0 20 0 10498648 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185013392608 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27879] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27879/stat : 27879 (java) S 27810 27813 20653 0 -1 1077944384 44 12399 0 0 0 0 8 3 20 0 20 0 10498648 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185012339440 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27880] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27880/stat : 27880 (java) S 27810 27813 20653 0 -1 1077944384 1 12399 0 0 0 0 8 3 20 0 20 0 10498652 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185011288016 140186197415835 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27881] ppid=27810 vsize=10927868 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27881/stat : 27881 (java) S 27810 27813 20653 0 -1 1077944384 1972 12399 0 0 43 1 8 3 20 0 20 0 10498652 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185010236144 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27882] ppid=27810 vsize=10927868 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27882/stat : 27882 (java) S 27810 27813 20653 0 -1 1077944384 3928 12399 0 0 72 0 8 3 20 0 20 0 10498652 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185009183600 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27883] ppid=27810 vsize=10927868 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27883/stat : 27883 (java) S 27810 27813 20653 0 -1 1077944384 1278 12399 0 0 46 1 8 3 20 0 20 0 10498652 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185008130544 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27884] ppid=27810 vsize=10927868 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27884/stat : 27884 (java) S 27810 27813 20653 0 -1 1077944384 3033 12399 0 0 92 1 8 3 20 0 20 0 10498652 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185007078000 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27885] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27885/stat : 27885 (java) S 27810 27813 20653 0 -1 1077944384 3 12399 0 0 0 0 8 3 20 0 20 0 10498653 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185006025184 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27886] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27886/stat : 27886 (java) S 27810 27813 20653 0 -1 1077944384 7 12399 0 0 0 0 8 3 20 0 20 0 10498653 11190136832 57590 33554432000 4194304 4196468 140737342210320 140185004972720 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 10927868

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

[startup+3.20091 s]
/proc/loadavg: 2.15 2.17 1.81 6/285 27886
/proc/meminfo: memFree=30308956/32770624 swapFree=5704/310248
[pid=27813] ppid=27810 vsize=10927868 CPUtime=6.15 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (java) S 27810 27813 20653 0 -1 1077944320 48266 12399 0 0 582 22 8 3 20 0 20 0 10498632 11190136832 62577 33554432000 4194304 4196468 140737342210320 140737342192864 140186197397239 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
/proc/27813/statm: 2731967 62577 3486 1 0 2719522 0
[pid=27813/tid=27868] ppid=27810 vsize=10927868 CPUtime=3.07 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27868/stat : 27868 (java) R 27810 27813 20653 0 -1 4202560 33125 12399 0 0 287 9 8 3 20 0 20 0 10498644 11190136832 62577 33554432000 4194304 4196468 140737342210320 140186201611840 140186181477726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27869] ppid=27810 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27869/stat : 27869 (java) S 27810 27813 20653 0 -1 1077944384 138 12399 0 0 3 1 8 3 20 0 20 0 10498645 11190136832 62577 33554432000 4194304 4196468 140737342210320 140186123471376 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27870] ppid=27810 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27870/stat : 27870 (java) S 27810 27813 20653 0 -1 1077944384 47 12399 0 0 3 0 8 3 20 0 20 0 10498645 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185803156112 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27871] ppid=27810 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27871/stat : 27871 (java) S 27810 27813 20653 0 -1 1077944384 19 12399 0 0 2 1 8 3 20 0 20 0 10498645 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185802103056 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27872] ppid=27810 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27872/stat : 27872 (java) S 27810 27813 20653 0 -1 1077944384 45 12399 0 0 2 1 8 3 20 0 20 0 10498645 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185801050512 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27873] ppid=27810 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27873/stat : 27873 (java) S 27810 27813 20653 0 -1 1077944384 36 12399 0 0 2 0 8 3 20 0 20 0 10498645 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185799998480 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27874] ppid=27810 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27874/stat : 27874 (java) S 27810 27813 20653 0 -1 1077944384 47 12399 0 0 3 1 8 3 20 0 20 0 10498645 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185798945936 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27875] ppid=27810 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27875/stat : 27875 (java) S 27810 27813 20653 0 -1 1077944384 106 12399 0 0 3 0 8 3 20 0 20 0 10498645 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185797892880 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27876] ppid=27810 vsize=10927868 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27876/stat : 27876 (java) S 27810 27813 20653 0 -1 1077944384 20 12399 0 0 3 0 8 3 20 0 20 0 10498645 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185796840336 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27877] ppid=27810 vsize=10927868 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27877/stat : 27877 (java) S 27810 27813 20653 0 -1 1077944384 2039 12399 0 0 4 0 8 3 20 0 20 0 10498647 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185014446320 140186197408386 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27878] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27878/stat : 27878 (java) S 27810 27813 20653 0 -1 1077944384 56 12399 0 0 0 0 8 3 20 0 20 0 10498648 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185013392608 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27879] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27879/stat : 27879 (java) S 27810 27813 20653 0 -1 1077944384 44 12399 0 0 0 0 8 3 20 0 20 0 10498648 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185012339456 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27880] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27880/stat : 27880 (java) S 27810 27813 20653 0 -1 1077944384 1 12399 0 0 0 0 8 3 20 0 20 0 10498652 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185011288016 140186197415835 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27881] ppid=27810 vsize=10927868 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27881/stat : 27881 (java) R 27810 27813 20653 0 -1 4202560 2106 12399 0 0 47 1 8 3 20 0 20 0 10498652 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185010217160 140186182297745 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27882] ppid=27810 vsize=10927868 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27882/stat : 27882 (java) S 27810 27813 20653 0 -1 1077944384 3939 12399 0 0 73 0 8 3 20 0 20 0 10498652 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185009183600 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27883] ppid=27810 vsize=10927868 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27883/stat : 27883 (java) R 27810 27813 20653 0 -1 4202560 1308 12399 0 0 50 1 8 3 20 0 20 0 10498652 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185008116640 140186176645134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27884] ppid=27810 vsize=10927868 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27884/stat : 27884 (java) R 27810 27813 20653 0 -1 4202560 3048 12399 0 0 93 1 8 3 20 0 20 0 10498652 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185007077920 140186175763012 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27885] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27885/stat : 27885 (java) S 27810 27813 20653 0 -1 1077944384 3 12399 0 0 0 0 8 3 20 0 20 0 10498653 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185006025184 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27886] ppid=27810 vsize=10927868 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27886/stat : 27886 (java) S 27810 27813 20653 0 -1 1077944384 7 12399 0 0 0 0 8 3 20 0 20 0 10498653 11190136832 62577 33554432000 4194304 4196468 140737342210320 140185004972720 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 10927868

[startup+3.60071 s]
/proc/loadavg: 2.15 2.17 1.81 4/285 27886
/proc/meminfo: memFree=30247128/32770624 swapFree=5704/310248
[pid=27813] ppid=27810 vsize=10995452 CPUtime=7.45 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (java) S 27810 27813 20653 0 -1 1077944320 58373 12399 0 0 709 25 8 3 20 0 20 0 10498632 11259342848 72685 33554432000 4194304 4196468 140737342210320 140737342192864 140186197397239 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
/proc/27813/statm: 2748863 72685 3487 1 0 2736418 0
[pid=27813/tid=27868] ppid=27810 vsize=10995452 CPUtime=3.41 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27868/stat : 27868 (java) S 27810 27813 20653 0 -1 1077944384 41157 12399 0 0 320 10 8 3 20 0 20 0 10498644 11259342848 72685 33554432000 4194304 4196468 140737342210320 140186201634784 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27869] ppid=27810 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27869/stat : 27869 (java) R 27810 27813 20653 0 -1 4202560 142 12399 0 0 6 1 8 3 20 0 20 0 10498645 11259342848 72685 33554432000 4194304 4196468 140737342210320 140186123471496 140186190025447 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27870] ppid=27810 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27870/stat : 27870 (java) R 27810 27813 20653 0 -1 4202560 47 12399 0 0 7 0 8 3 20 0 20 0 10498645 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185803156232 140186190025447 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27871] ppid=27810 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27871/stat : 27871 (java) R 27810 27813 20653 0 -1 4202560 20 12399 0 0 5 1 8 3 20 0 20 0 10498645 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185802103176 140186190025447 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27872] ppid=27810 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27872/stat : 27872 (java) R 27810 27813 20653 0 -1 4202560 46 12399 0 0 5 1 8 3 20 0 20 0 10498645 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185801050632 140186190025447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27873] ppid=27810 vsize=10995452 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27873/stat : 27873 (java) R 27810 27813 20653 0 -1 4202560 36 12399 0 0 5 0 8 3 20 0 20 0 10498645 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185799998600 140186190025447 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27874] ppid=27810 vsize=10995452 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27874/stat : 27874 (java) R 27810 27813 20653 0 -1 4202560 48 12399 0 0 6 1 8 3 20 0 20 0 10498645 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185798946056 140186190025447 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27875] ppid=27810 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27875/stat : 27875 (java) R 27810 27813 20653 0 -1 4202560 109 12399 0 0 6 0 8 3 20 0 20 0 10498645 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185797893000 140186180780272 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27876] ppid=27810 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27876/stat : 27876 (java) R 27810 27813 20653 0 -1 4202560 28 12399 0 0 6 0 8 3 20 0 20 0 10498645 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185796840536 140186182097824 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27877] ppid=27810 vsize=10995452 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27877/stat : 27877 (java) S 27810 27813 20653 0 -1 1077944384 2040 12399 0 0 6 0 8 3 20 0 20 0 10498647 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185014444944 140186197407445 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27878] ppid=27810 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27878/stat : 27878 (java) S 27810 27813 20653 0 -1 1077944384 56 12399 0 0 0 0 8 3 20 0 20 0 10498648 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185013392608 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27879] ppid=27810 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27879/stat : 27879 (java) S 27810 27813 20653 0 -1 1077944384 44 12399 0 0 0 0 8 3 20 0 20 0 10498648 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185012339456 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27880] ppid=27810 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27880/stat : 27880 (java) S 27810 27813 20653 0 -1 1077944384 1 12399 0 0 0 0 8 3 20 0 20 0 10498652 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185011288016 140186197415835 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27881] ppid=27810 vsize=10995452 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27881/stat : 27881 (java) S 27810 27813 20653 0 -1 1077944384 3883 12399 0 0 78 1 8 3 20 0 20 0 10498652 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185010215184 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27882] ppid=27810 vsize=10995452 CPUtime=0.95 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27882/stat : 27882 (java) S 27810 27813 20653 0 -1 1077944384 3976 12399 0 0 84 0 8 3 20 0 20 0 10498652 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185009183600 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27883] ppid=27810 vsize=10995452 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27883/stat : 27883 (java) S 27810 27813 20653 0 -1 1077944384 1339 12399 0 0 61 1 8 3 20 0 20 0 10498652 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185008115536 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27884] ppid=27810 vsize=10995452 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27884/stat : 27884 (java) S 27810 27813 20653 0 -1 1077944384 3259 12399 0 0 106 1 8 3 20 0 20 0 10498652 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185007078000 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27885] ppid=27810 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27885/stat : 27885 (java) S 27810 27813 20653 0 -1 1077944384 3 12399 0 0 0 0 8 3 20 0 20 0 10498653 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185006025184 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27886] ppid=27810 vsize=10995452 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27886/stat : 27886 (java) S 27810 27813 20653 0 -1 1077944384 7 12399 0 0 0 0 8 3 20 0 20 0 10498653 11259342848 72685 33554432000 4194304 4196468 140737342210320 140185004972720 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
Current children cumulated CPU time (s) 7.45
Current children cumulated vsize (KiB) 10995452

[startup+3.80079 s]
/proc/loadavg: 2.15 2.17 1.81 4/285 27886
/proc/meminfo: memFree=30247128/32770624 swapFree=5704/310248
[pid=27813] ppid=27810 vsize=11062016 CPUtime=8.27 cores=1,3,5,7,9,11,13,15
/proc/27813/stat : 27813 (java) S 27810 27813 20653 0 -1 1077944320 59014 12399 0 0 791 25 8 3 20 0 19 0 10498632 11327504384 73240 33554432000 4194304 4196468 140737342210320 140737342192864 140186197397239 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
/proc/27813/statm: 2765504 73240 3490 1 0 2753059 0
[pid=27813/tid=27868] ppid=27810 vsize=11062016 CPUtime=3.45 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27868/stat : 27868 (java) S 27810 27813 20653 0 -1 1077944384 41293 12399 0 0 324 10 8 3 20 0 19 0 10498644 11327504384 73240 33554432000 4194304 4196468 140737342210320 140186201640080 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27869] ppid=27810 vsize=11062016 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27869/stat : 27869 (java) S 27810 27813 20653 0 -1 1077944384 146 12399 0 0 13 1 8 3 20 0 19 0 10498645 11327504384 73240 33554432000 4194304 4196468 140737342210320 140186123471376 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27870] ppid=27810 vsize=11062016 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27870/stat : 27870 (java) S 27810 27813 20653 0 -1 1077944384 47 12399 0 0 14 0 8 3 20 0 19 0 10498645 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185803156112 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27871] ppid=27810 vsize=11062016 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27871/stat : 27871 (java) S 27810 27813 20653 0 -1 1077944384 23 12399 0 0 12 1 8 3 20 0 19 0 10498645 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185802103056 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27872] ppid=27810 vsize=11062016 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27872/stat : 27872 (java) S 27810 27813 20653 0 -1 1077944384 51 12399 0 0 13 1 8 3 20 0 19 0 10498645 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185801050512 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27873] ppid=27810 vsize=11062016 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27873/stat : 27873 (java) S 27810 27813 20653 0 -1 1077944384 45 12399 0 0 13 0 8 3 20 0 19 0 10498645 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185799998480 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27874] ppid=27810 vsize=11062016 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27874/stat : 27874 (java) S 27810 27813 20653 0 -1 1077944384 59 12399 0 0 14 1 8 3 20 0 19 0 10498645 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185798945936 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27875] ppid=27810 vsize=11062016 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27875/stat : 27875 (java) S 27810 27813 20653 0 -1 1077944384 112 12399 0 0 13 0 8 3 20 0 19 0 10498645 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185797892880 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27876] ppid=27810 vsize=11062016 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27876/stat : 27876 (java) S 27810 27813 20653 0 -1 1077944384 29 12399 0 0 14 0 8 3 20 0 19 0 10498645 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185796840336 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27877] ppid=27810 vsize=11062016 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27877/stat : 27877 (java) S 27810 27813 20653 0 -1 1077944384 2040 12399 0 0 11 0 8 3 20 0 19 0 10498647 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185014446528 140186197408386 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27878] ppid=27810 vsize=11062016 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27878/stat : 27878 (java) S 27810 27813 20653 0 -1 1077944384 56 12399 0 0 0 0 8 3 20 0 19 0 10498648 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185013392672 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27879] ppid=27810 vsize=11062016 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27879/stat : 27879 (java) S 27810 27813 20653 0 -1 1077944384 46 12399 0 0 0 0 8 3 20 0 19 0 10498648 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185012339456 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27880] ppid=27810 vsize=11062016 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27880/stat : 27880 (java) S 27810 27813 20653 0 -1 1077944384 24 12399 0 0 0 0 8 3 20 0 19 0 10498652 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185011286784 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27881] ppid=27810 vsize=11062016 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27881/stat : 27881 (java) R 27810 27813 20653 0 -1 4202560 4248 12399 0 0 87 1 8 3 20 0 19 0 10498652 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185010222328 140186181303244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27882] ppid=27810 vsize=11062016 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27882/stat : 27882 (java) S 27810 27813 20653 0 -1 1077944384 3987 12399 0 0 86 0 8 3 20 0 19 0 10498652 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185009183600 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27883] ppid=27810 vsize=11062016 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27883/stat : 27883 (java) S 27810 27813 20653 0 -1 1077944384 1350 12399 0 0 61 1 8 3 20 0 19 0 10498652 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185008130544 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27884] ppid=27810 vsize=11062016 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27884/stat : 27884 (java) S 27810 27813 20653 0 -1 1077944384 3284 12399 0 0 107 1 8 3 20 0 19 0 10498652 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185007078000 140186197408386 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
[pid=27813/tid=27885] ppid=27810 vsize=11062016 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/27813/task/27885/stat : 27885 (java) S 27810 27813 20653 0 -1 1077944384 3 12399 0 0 0 0 8 3 20 0 19 0 10498653 11327504384 73240 33554432000 4194304 4196468 140737342210320 140185006025184 140186197407445 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 12656640 140737342212801 140737342215575 140737342215575 140737342218191 0
Current children cumulated CPU time (s) 8.27
Current children cumulated vsize (KiB) 11062016

Child status: 0
Real time (s): 3.84584
CPU time (s): 8.3203
CPU user time (s): 8.01579
CPU system time (s): 0.304512
CPU usage (%): 216.345
Max. virtual memory (cumulated for all children) (KiB): 11062016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.01579
system time used= 0.304512
maximum resident set size= 294080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71469
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8588
involuntary context switches= 865

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031374 second user time and 0.033276 second system time

The end

Launcher Data 

Begin job on node134 at 2017-07-22 21:38:34
IDJOB=4248892
IDBENCH=134559
IDSOLVER=2630
FILE ID=node134/4248892-1500752314
RUNJOBID= node134-1500747505-24292
PBS_JOBID= 20623359
Free space on /tmp= 61984 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s04/Blackhole-04-3-07.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248892-1500752314/watcher-4248892-1500752314 -o /tmp/evaluation-result-4248892-1500752314/solver-4248892-1500752314 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500747505-24292 --watchdog 2560  bin/concrete HOME/instance-4248892-1500752314.xml

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

MD5SUM BENCH= b9d1641bf9ce43abb78b46afb69e9276
RANDOM SEED=1173314993

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

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

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

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

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

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

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

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

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

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

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.84
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		: 2133.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:        30486768 kB
MemAvailable:   30812252 kB
Buffers:          154112 kB
Cached:           449972 kB
SwapCached:            0 kB
Active:          1522556 kB
Inactive:         319056 kB
Active(anon):    1239872 kB
Inactive(anon):     8856 kB
Active(file):     282684 kB
Inactive(file):   310200 kB
Unevictable:        5704 kB
Mlocked:            5704 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24380 kB
Writeback:             0 kB
AnonPages:       1242588 kB
Mapped:            44868 kB
Shmem:              8872 kB
Slab:             131700 kB
SReclaimable:      96872 kB
SUnreclaim:        34828 kB
KernelStack:        4656 kB
PageTables:         7768 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2059404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1021952 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      144768 kB
DirectMap2M:    33400832 kB

Free space on /tmp at the end= 61960 MiB
End job on node134 at 2017-07-22 21:38:39