Trace number 4244293

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.15352 3.73773

General information on the benchmark

NameScheduling/Scheduling-jsdec-sadeh/
Sadeh-ewddr1-9.xml
MD5SUM175fb08d85d071680a829b1f7b92a261
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.054237001
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints90
Number of domains1
Minimum domain size1
Maximum domain size1
Distribution of domain sizes[{"size":1,"count":50}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":20},{"degree":3,"count":30}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":50},{"arity":2,"count":40}]
Number of extensional constraints0
Number of intensional constraints90
Distribution of constraint types[{"type":"intension","count":90}]
Optimization problemNO
Type of objective

Solver Data 

3.76/2.26	c Concrete v3.4 running
8.10/3.70	v <instantiation>
8.10/3.70	v       <list>
8.10/3.70	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4]
8.10/3.70	v       </list>
8.10/3.70	v       <values>
8.10/3.70	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
8.10/3.70	v       </values>
8.10/3.70	v     </instantiation>
8.10/3.70	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-4244293-1500683313/watcher-4244293-1500683313 -o /tmp/evaluation-result-4244293-1500683313/solver-4244293-1500683313 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13636 --watchdog 2560 bin/concrete HOME/instance-4244293-1500683313.xml 

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

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


[startup+0 s]
/proc/loadavg: 1.06 1.13 1.85 5/245 13669
/proc/meminfo: memFree=31948528/32770624 swapFree=5844/204288
[pid=13669] ppid=13666 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (bash) S 13666 13669 13605 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 3598192 9736192 351 33554432000 4194304 5098028 140721770411424 140721770409064 139925887060992 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 22138880 140721770419470 140721770419555 140721770419555 140721770422254 0
/proc/13669/statm: 2377 351 278 221 0 86 0

[startup+0.100143 s]
/proc/loadavg: 1.06 1.13 1.85 5/245 13669
/proc/meminfo: memFree=31948528/32770624 swapFree=5844/204288
[pid=13669] ppid=13666 vsize=9640 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (bash) S 13666 13669 13605 0 -1 4202496 884 6410 0 0 0 0 0 2 20 0 1 0 3598192 9871360 378 33554432000 4194304 5098028 140721770411424 140721770405432 139925887060992 0 0 4100 65536 18446744071580971376 0 0 17 10 0 0 0 0 0 7196144 7232144 22138880 140721770419470 140721770419555 140721770419555 140721770422254 0
/proc/13669/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200317 s]
/proc/loadavg: 1.06 1.13 1.85 5/245 13669
/proc/meminfo: memFree=31948528/32770624 swapFree=5844/204288
[pid=13669] ppid=13666 vsize=10435860 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (java) S 13666 13669 13605 0 -1 1077944320 4822 12291 0 0 3 1 9 4 20 0 13 0 3598192 10686320640 4680 33554432000 4194304 4196468 140728064078144 140728064060688 139623221006071 0 0 0 16784584 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
/proc/13669/statm: 2608965 4680 2100 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860

[startup+0.300279 s]
/proc/loadavg: 1.06 1.13 1.85 5/245 13669
/proc/meminfo: memFree=31948528/32770624 swapFree=5844/204288
[pid=13669] ppid=13666 vsize=10902292 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (java) S 13666 13669 13605 0 -1 1077944320 6755 12291 0 0 19 2 9 4 20 0 20 0 3598192 11163947008 7958 33554432000 4194304 4196468 140728064078144 140728064060688 139623221006071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
/proc/13669/statm: 2725573 7958 2912 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902292

[startup+0.700197 s]
/proc/loadavg: 1.06 1.13 1.85 5/245 13669
/proc/meminfo: memFree=31948528/32770624 swapFree=5844/204288
[pid=13669] ppid=13666 vsize=10902720 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (java) S 13666 13669 13605 0 -1 1077944320 12044 12291 0 0 69 4 9 4 20 0 20 0 3598192 11164385280 14901 33554432000 4194304 4196468 140728064078144 140728064060688 139623221006071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
/proc/13669/statm: 2725680 14901 3159 1 0 2713890 0
Current children cumulated CPU time (s) 0.86
Current children cumulated vsize (KiB) 10902720

[startup+1.5043 s]
/proc/loadavg: 1.14 1.15 1.86 8/285 13815
/proc/meminfo: memFree=31750748/32770624 swapFree=5844/205064
[pid=13669] ppid=13666 vsize=10913344 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (java) S 13666 13669 13605 0 -1 1077944320 27014 12291 0 0 193 13 9 4 20 0 20 0 3598192 11175264256 44133 33554432000 4194304 4196468 140728064078144 140728064060688 139623221006071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
/proc/13669/statm: 2728336 44133 3399 1 0 2716450 0
[pid=13669/tid=13778] ppid=13666 vsize=10913344 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13778/stat : 13778 (java) S 13666 13669 13605 0 -1 1077944384 19980 12291 0 0 122 5 9 4 20 0 20 0 3598208 11175264256 44133 33554432000 4194304 4196468 140728064078144 139623225225648 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13780] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13780/stat : 13780 (java) R 13666 13669 13605 0 -1 4202560 25 12291 0 0 0 0 9 4 20 0 20 0 3598209 11175264256 44133 33554432000 4194304 4196468 140728064078144 139623147080408 139623213634279 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13781] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13781/stat : 13781 (java) R 13666 13669 13605 0 -1 4202560 16 12291 0 0 0 0 9 4 20 0 20 0 3598209 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622826896216 139623213634279 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13782] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13782/stat : 13782 (java) R 13666 13669 13605 0 -1 4202560 13 12291 0 0 0 0 9 4 20 0 20 0 3598209 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622825843160 139623214109708 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13783] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13783/stat : 13783 (java) R 13666 13669 13605 0 -1 4202560 157 12291 0 0 0 0 9 4 20 0 20 0 3598209 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622824790616 139623213634279 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13784] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13784/stat : 13784 (java) S 13666 13669 13605 0 -1 1077944384 33 12291 0 0 0 0 9 4 20 0 20 0 3598209 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622823738384 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13785] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13785/stat : 13785 (java) S 13666 13669 13605 0 -1 1077944384 32 12291 0 0 0 0 9 4 20 0 20 0 3598209 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622822685840 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13786] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13786/stat : 13786 (java) R 13666 13669 13605 0 -1 4202560 30 12291 0 0 0 0 9 4 20 0 20 0 3598209 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622821632904 139623213634279 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13787] ppid=13666 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13787/stat : 13787 (java) S 13666 13669 13605 0 -1 1077944384 49 12291 0 0 1 0 9 4 20 0 20 0 3598209 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622820580240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13797] ppid=13666 vsize=10913344 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13797/stat : 13797 (java) S 13666 13669 13605 0 -1 1077944384 1288 12291 0 0 1 0 9 4 20 0 20 0 3598211 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622695641888 139623221016277 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13799] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13799/stat : 13799 (java) S 13666 13669 13605 0 -1 1077944384 33 12291 0 0 0 0 9 4 20 0 20 0 3598212 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622694589600 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13801] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13801/stat : 13801 (java) S 13666 13669 13605 0 -1 1077944384 21 12291 0 0 0 0 9 4 20 0 20 0 3598212 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622693536496 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13809] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13809/stat : 13809 (java) S 13666 13669 13605 0 -1 1077944384 1 12291 0 0 0 0 9 4 20 0 20 0 3598217 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622692485072 139623221024667 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13810] ppid=13666 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13810/stat : 13810 (java) S 13666 13669 13605 0 -1 1077944384 839 12291 0 0 13 0 9 4 20 0 20 0 3598217 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622691433200 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13811] ppid=13666 vsize=10913344 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13811/stat : 13811 (java) S 13666 13669 13605 0 -1 1077944384 686 12291 0 0 13 0 9 4 20 0 20 0 3598217 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622690380656 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13812] ppid=13666 vsize=10913344 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13812/stat : 13812 (java) S 13666 13669 13605 0 -1 1077944384 426 12291 0 0 10 0 9 4 20 0 20 0 3598217 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622689327600 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13813] ppid=13666 vsize=10913344 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13813/stat : 13813 (java) S 13666 13669 13605 0 -1 1077944384 1243 12291 0 0 24 0 9 4 20 0 20 0 3598217 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622688270928 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13814] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13814/stat : 13814 (java) S 13666 13669 13605 0 -1 1077944384 3 12291 0 0 0 0 9 4 20 0 20 0 3598217 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622687222240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13815] ppid=13666 vsize=10913344 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13815/stat : 13815 (java) S 13666 13669 13605 0 -1 1077944384 7 12291 0 0 0 0 9 4 20 0 20 0 3598217 11175264256 44133 33554432000 4194304 4196468 140728064078144 139622686169776 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10913344

[startup+3.10106 s]
/proc/loadavg: 1.14 1.15 1.86 9/285 13815
/proc/meminfo: memFree=31596732/32770624 swapFree=5844/206236
[pid=13669] ppid=13666 vsize=10927868 CPUtime=5.7 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (java) S 13666 13669 13605 0 -1 1077944320 47175 12291 0 0 537 20 9 4 20 0 20 0 3598192 11190136832 56477 33554432000 4194304 4196468 140728064078144 140728064060688 139623221006071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
/proc/13669/statm: 2731967 56477 3471 1 0 2719522 0
[pid=13669/tid=13778] ppid=13666 vsize=10927868 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13778/stat : 13778 (java) R 13666 13669 13605 0 -1 4202560 35246 12291 0 0 276 9 9 4 20 0 20 0 3598208 11190136832 56477 33554432000 4194304 4196468 140728064078144 139623225221240 139623202412342 0 4 0 16800975 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13780] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13780/stat : 13780 (java) S 13666 13669 13605 0 -1 1077944384 25 12291 0 0 0 0 9 4 20 0 20 0 3598209 11190136832 56477 33554432000 4194304 4196468 140728064078144 139623147080208 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13781] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13781/stat : 13781 (java) S 13666 13669 13605 0 -1 1077944384 16 12291 0 0 0 0 9 4 20 0 20 0 3598209 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622826896016 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13782] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13782/stat : 13782 (java) S 13666 13669 13605 0 -1 1077944384 13 12291 0 0 0 0 9 4 20 0 20 0 3598209 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622825842960 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13783] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13783/stat : 13783 (java) S 13666 13669 13605 0 -1 1077944384 157 12291 0 0 0 0 9 4 20 0 20 0 3598209 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622824790416 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13784] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13784/stat : 13784 (java) S 13666 13669 13605 0 -1 1077944384 33 12291 0 0 0 0 9 4 20 0 20 0 3598209 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622823738384 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13785] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13785/stat : 13785 (java) S 13666 13669 13605 0 -1 1077944384 32 12291 0 0 0 0 9 4 20 0 20 0 3598209 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622822685840 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13786] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13786/stat : 13786 (java) S 13666 13669 13605 0 -1 1077944384 30 12291 0 0 0 0 9 4 20 0 20 0 3598209 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622821632784 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13787] ppid=13666 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13787/stat : 13787 (java) S 13666 13669 13605 0 -1 1077944384 49 12291 0 0 1 0 9 4 20 0 20 0 3598209 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622820580240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13797] ppid=13666 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13797/stat : 13797 (java) S 13666 13669 13605 0 -1 1077944384 1323 12291 0 0 1 0 9 4 20 0 20 0 3598211 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622695643376 139623221017218 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13799] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13799/stat : 13799 (java) S 13666 13669 13605 0 -1 1077944384 56 12291 0 0 0 0 9 4 20 0 20 0 3598212 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622694589664 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13801] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13801/stat : 13801 (java) S 13666 13669 13605 0 -1 1077944384 44 12291 0 0 0 0 9 4 20 0 20 0 3598212 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622693536512 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13809] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13809/stat : 13809 (java) S 13666 13669 13605 0 -1 1077944384 1 12291 0 0 0 0 9 4 20 0 20 0 3598217 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622692485072 139623221024667 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13810] ppid=13666 vsize=10927868 CPUtime=0.61 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13810/stat : 13810 (java) R 13666 13669 13605 0 -1 4202560 1958 12291 0 0 48 0 9 4 20 0 20 0 3598217 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622691433200 139623221027418 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13811] ppid=13666 vsize=10927868 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13811/stat : 13811 (java) R 13666 13669 13605 0 -1 4202560 1420 12291 0 0 51 0 9 4 20 0 20 0 3598217 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622690380952 139623204906672 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13812] ppid=13666 vsize=10927868 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13812/stat : 13812 (java) S 13666 13669 13605 0 -1 1077944384 1293 12291 0 0 50 1 9 4 20 0 20 0 3598217 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622689327600 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13813] ppid=13666 vsize=10927868 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13813/stat : 13813 (java) R 13666 13669 13605 0 -1 4202560 3338 12291 0 0 100 1 9 4 20 0 20 0 3598217 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622688275056 139623221018006 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13814] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13814/stat : 13814 (java) S 13666 13669 13605 0 -1 1077944384 3 12291 0 0 0 0 9 4 20 0 20 0 3598217 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622687222240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13815] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13815/stat : 13815 (java) S 13666 13669 13605 0 -1 1077944384 8 12291 0 0 0 0 9 4 20 0 20 0 3598217 11190136832 56477 33554432000 4194304 4196468 140728064078144 139622686169776 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
Current children cumulated CPU time (s) 5.7
Current children cumulated vsize (KiB) 10927868

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

[startup+3.20155 s]
/proc/loadavg: 1.14 1.15 1.86 9/285 13815
/proc/meminfo: memFree=31596732/32770624 swapFree=5844/206236
[pid=13669] ppid=13666 vsize=10927868 CPUtime=5.94 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (java) S 13666 13669 13605 0 -1 1077944320 48088 12291 0 0 558 23 9 4 20 0 20 0 3598192 11190136832 61481 33554432000 4194304 4196468 140728064078144 140728064060688 139623221006071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
/proc/13669/statm: 2731967 61481 3472 1 0 2719522 0
[pid=13669/tid=13778] ppid=13666 vsize=10927868 CPUtime=3.06 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13778/stat : 13778 (java) S 13666 13669 13605 0 -1 1077944384 35517 12291 0 0 284 9 9 4 20 0 20 0 3598208 11190136832 61481 33554432000 4194304 4196468 140728064078144 139623225230624 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13780] ppid=13666 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13780/stat : 13780 (java) S 13666 13669 13605 0 -1 1077944384 30 12291 0 0 1 1 9 4 20 0 20 0 3598209 11190136832 61481 33554432000 4194304 4196468 140728064078144 139623147080208 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13781] ppid=13666 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13781/stat : 13781 (java) S 13666 13669 13605 0 -1 1077944384 22 12291 0 0 1 0 9 4 20 0 20 0 3598209 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622826896016 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13782] ppid=13666 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13782/stat : 13782 (java) S 13666 13669 13605 0 -1 1077944384 67 12291 0 0 1 0 9 4 20 0 20 0 3598209 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622825842960 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13783] ppid=13666 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13783/stat : 13783 (java) S 13666 13669 13605 0 -1 1077944384 165 12291 0 0 1 0 9 4 20 0 20 0 3598209 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622824790416 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13784] ppid=13666 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13784/stat : 13784 (java) S 13666 13669 13605 0 -1 1077944384 47 12291 0 0 1 0 9 4 20 0 20 0 3598209 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622823738384 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13785] ppid=13666 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13785/stat : 13785 (java) S 13666 13669 13605 0 -1 1077944384 47 12291 0 0 1 1 9 4 20 0 20 0 3598209 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622822685840 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13786] ppid=13666 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13786/stat : 13786 (java) S 13666 13669 13605 0 -1 1077944384 50 12291 0 0 1 0 9 4 20 0 20 0 3598209 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622821632784 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13787] ppid=13666 vsize=10927868 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13787/stat : 13787 (java) S 13666 13669 13605 0 -1 1077944384 65 12291 0 0 1 0 9 4 20 0 20 0 3598209 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622820580240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13797] ppid=13666 vsize=10927868 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13797/stat : 13797 (java) R 13666 13669 13605 0 -1 4202560 1721 12291 0 0 2 0 9 4 20 0 20 0 3598211 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622695641552 139623192919701 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13799] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13799/stat : 13799 (java) S 13666 13669 13605 0 -1 1077944384 56 12291 0 0 0 0 9 4 20 0 20 0 3598212 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622694589664 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13801] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13801/stat : 13801 (java) S 13666 13669 13605 0 -1 1077944384 44 12291 0 0 0 0 9 4 20 0 20 0 3598212 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622693536512 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13809] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13809/stat : 13809 (java) S 13666 13669 13605 0 -1 1077944384 1 12291 0 0 0 0 9 4 20 0 20 0 3598217 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622692485072 139623221024667 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13810] ppid=13666 vsize=10927868 CPUtime=0.63 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13810/stat : 13810 (java) S 13666 13669 13605 0 -1 1077944384 1965 12291 0 0 50 0 9 4 20 0 20 0 3598217 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622691433200 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13811] ppid=13666 vsize=10927868 CPUtime=0.65 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13811/stat : 13811 (java) S 13666 13669 13605 0 -1 1077944384 1424 12291 0 0 52 0 9 4 20 0 20 0 3598217 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622690380656 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13812] ppid=13666 vsize=10927868 CPUtime=0.64 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13812/stat : 13812 (java) S 13666 13669 13605 0 -1 1077944384 1296 12291 0 0 50 1 9 4 20 0 20 0 3598217 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622689327600 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13813] ppid=13666 vsize=10927868 CPUtime=1.17 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13813/stat : 13813 (java) S 13666 13669 13605 0 -1 1077944384 3430 12291 0 0 103 1 9 4 20 0 20 0 3598217 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622688269584 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13814] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13814/stat : 13814 (java) S 13666 13669 13605 0 -1 1077944384 3 12291 0 0 0 0 9 4 20 0 20 0 3598217 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622687222240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13815] ppid=13666 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13815/stat : 13815 (java) S 13666 13669 13605 0 -1 1077944384 8 12291 0 0 0 0 9 4 20 0 20 0 3598217 11190136832 61481 33554432000 4194304 4196468 140728064078144 139622686169776 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 10927868

[startup+3.60093 s]
/proc/loadavg: 1.14 1.15 1.86 8/285 13815
/proc/meminfo: memFree=31488096/32770624 swapFree=5844/207080
[pid=13669] ppid=13666 vsize=10995452 CPUtime=7.72 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (java) S 13666 13669 13605 0 -1 1077944320 60270 12291 0 0 733 26 9 4 20 0 20 0 3598192 11259342848 74384 33554432000 4194304 4196468 140728064078144 140728064060688 139623221006071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
/proc/13669/statm: 2748863 74384 3477 1 0 2736418 0
[pid=13669/tid=13778] ppid=13666 vsize=10995452 CPUtime=3.27 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13778/stat : 13778 (java) S 13666 13669 13605 0 -1 1077944384 43305 12291 0 0 303 11 9 4 20 0 20 0 3598208 11259342848 74384 33554432000 4194304 4196468 140728064078144 139623225243616 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 2 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13780] ppid=13666 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13780/stat : 13780 (java) S 13666 13669 13605 0 -1 1077944384 33 12291 0 0 10 1 9 4 20 0 20 0 3598209 11259342848 74384 33554432000 4194304 4196468 140728064078144 139623147080208 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13781] ppid=13666 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13781/stat : 13781 (java) S 13666 13669 13605 0 -1 1077944384 26 12291 0 0 11 0 9 4 20 0 20 0 3598209 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622826896016 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13782] ppid=13666 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13782/stat : 13782 (java) S 13666 13669 13605 0 -1 1077944384 69 12291 0 0 11 0 9 4 20 0 20 0 3598209 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622825842960 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13783] ppid=13666 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13783/stat : 13783 (java) S 13666 13669 13605 0 -1 1077944384 174 12291 0 0 12 1 9 4 20 0 20 0 3598209 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622824790416 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13784] ppid=13666 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13784/stat : 13784 (java) S 13666 13669 13605 0 -1 1077944384 57 12291 0 0 12 0 9 4 20 0 20 0 3598209 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622823738384 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13785] ppid=13666 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13785/stat : 13785 (java) S 13666 13669 13605 0 -1 1077944384 57 12291 0 0 12 1 9 4 20 0 20 0 3598209 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622822685840 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13786] ppid=13666 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13786/stat : 13786 (java) S 13666 13669 13605 0 -1 1077944384 51 12291 0 0 13 0 9 4 20 0 20 0 3598209 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622821632784 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13787] ppid=13666 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13787/stat : 13787 (java) S 13666 13669 13605 0 -1 1077944384 67 12291 0 0 12 1 9 4 20 0 20 0 3598209 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622820580240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13797] ppid=13666 vsize=10995452 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13797/stat : 13797 (java) R 13666 13669 13605 0 -1 4202560 2143 12291 0 0 9 0 9 4 20 0 20 0 3598211 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622695641664 139623205362224 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13799] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13799/stat : 13799 (java) S 13666 13669 13605 0 -1 1077944384 56 12291 0 0 0 0 9 4 20 0 20 0 3598212 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622694589808 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13801] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13801/stat : 13801 (java) S 13666 13669 13605 0 -1 1077944384 44 12291 0 0 0 0 9 4 20 0 20 0 3598212 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622693536512 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13809] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13809/stat : 13809 (java) S 13666 13669 13605 0 -1 1077944384 1 12291 0 0 0 0 9 4 20 0 20 0 3598217 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622692485072 139623221024667 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13810] ppid=13666 vsize=10995452 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13810/stat : 13810 (java) R 13666 13669 13605 0 -1 4202560 3548 12291 0 0 72 1 9 4 20 0 20 0 3598217 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622691414216 139623198600817 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13811] ppid=13666 vsize=10995452 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13811/stat : 13811 (java) S 13666 13669 13605 0 -1 1077944384 2687 12291 0 0 68 0 9 4 20 0 20 0 3598217 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622690367120 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13812] ppid=13666 vsize=10995452 CPUtime=0.86 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13812/stat : 13812 (java) S 13666 13669 13605 0 -1 1077944384 2348 12291 0 0 72 1 9 4 20 0 20 0 3598217 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622689306640 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13813] ppid=13666 vsize=10995452 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13813/stat : 13813 (java) S 13666 13669 13605 0 -1 1077944384 3461 12291 0 0 106 1 9 4 20 0 20 0 3598217 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622688270928 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13814] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13814/stat : 13814 (java) S 13666 13669 13605 0 -1 1077944384 3 12291 0 0 0 0 9 4 20 0 20 0 3598217 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622687222240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13815] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13815/stat : 13815 (java) S 13666 13669 13605 0 -1 1077944384 8 12291 0 0 0 0 9 4 20 0 20 0 3598217 11259342848 74384 33554432000 4194304 4196468 140728064078144 139622686169776 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 10995452

[startup+3.70077 s]
/proc/loadavg: 1.14 1.15 1.86 8/285 13815
/proc/meminfo: memFree=31488096/32770624 swapFree=5844/207080
[pid=13669] ppid=13666 vsize=10995452 CPUtime=8.1 cores=0,2,4,6,8,10,12,14
/proc/13669/stat : 13669 (java) S 13666 13669 13605 0 -1 1077944320 60945 12291 0 0 771 26 9 4 20 0 20 0 3598192 11259342848 74982 33554432000 4194304 4196468 140728064078144 140728064060688 139623221006071 0 0 0 16800975 18446744073709551615 0 0 17 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
/proc/13669/statm: 2748863 74982 3478 1 0 2736418 0
[pid=13669/tid=13778] ppid=13666 vsize=10995452 CPUtime=3.34 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13778/stat : 13778 (java) R 13666 13669 13605 0 -1 4202560 43422 12291 0 0 310 11 9 4 20 0 20 0 3598208 11259342848 74982 33554432000 4194304 4196468 140728064078144 139623225240144 139623205049701 0 4 0 16800975 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13780] ppid=13666 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13780/stat : 13780 (java) S 13666 13669 13605 0 -1 1077944384 34 12291 0 0 12 1 9 4 20 0 20 0 3598209 11259342848 74982 33554432000 4194304 4196468 140728064078144 139623147080208 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13781] ppid=13666 vsize=10995452 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13781/stat : 13781 (java) S 13666 13669 13605 0 -1 1077944384 26 12291 0 0 12 0 9 4 20 0 20 0 3598209 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622826896016 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13782] ppid=13666 vsize=10995452 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13782/stat : 13782 (java) S 13666 13669 13605 0 -1 1077944384 69 12291 0 0 13 0 9 4 20 0 20 0 3598209 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622825842960 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13783] ppid=13666 vsize=10995452 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13783/stat : 13783 (java) S 13666 13669 13605 0 -1 1077944384 174 12291 0 0 14 1 9 4 20 0 20 0 3598209 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622824790416 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13784] ppid=13666 vsize=10995452 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13784/stat : 13784 (java) S 13666 13669 13605 0 -1 1077944384 58 12291 0 0 14 0 9 4 20 0 20 0 3598209 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622823738384 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13785] ppid=13666 vsize=10995452 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13785/stat : 13785 (java) S 13666 13669 13605 0 -1 1077944384 58 12291 0 0 14 1 9 4 20 0 20 0 3598209 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622822685840 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13786] ppid=13666 vsize=10995452 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13786/stat : 13786 (java) S 13666 13669 13605 0 -1 1077944384 51 12291 0 0 14 0 9 4 20 0 20 0 3598209 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622821632784 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13787] ppid=13666 vsize=10995452 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13787/stat : 13787 (java) S 13666 13669 13605 0 -1 1077944384 67 12291 0 0 13 1 9 4 20 0 20 0 3598209 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622820580240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13797] ppid=13666 vsize=10995452 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13797/stat : 13797 (java) S 13666 13669 13605 0 -1 1077944384 2143 12291 0 0 11 0 9 4 20 0 20 0 3598211 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622695643376 139623221017218 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13799] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13799/stat : 13799 (java) S 13666 13669 13605 0 -1 1077944384 57 12291 0 0 0 0 9 4 20 0 20 0 3598212 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622694589728 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13801] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13801/stat : 13801 (java) S 13666 13669 13605 0 -1 1077944384 44 12291 0 0 0 0 9 4 20 0 20 0 3598212 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622693536512 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13809] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13809/stat : 13809 (java) S 13666 13669 13605 0 -1 1077944384 1 12291 0 0 0 0 9 4 20 0 20 0 3598217 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622692485072 139623221024667 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13810] ppid=13666 vsize=10995452 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13810/stat : 13810 (java) R 13666 13669 13605 0 -1 4202560 3789 12291 0 0 79 1 9 4 20 0 20 0 3598217 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622691419384 139623202184742 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13811] ppid=13666 vsize=10995452 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13811/stat : 13811 (java) R 13666 13669 13605 0 -1 4202560 2700 12291 0 0 70 0 9 4 20 0 20 0 3598217 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622690380656 139623200514930 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13812] ppid=13666 vsize=10995452 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13812/stat : 13812 (java) R 13666 13669 13605 0 -1 4202560 2611 12291 0 0 79 1 9 4 20 0 20 0 3598217 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622689313624 139623202526952 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13813] ppid=13666 vsize=10995452 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13813/stat : 13813 (java) S 13666 13669 13605 0 -1 1077944384 3498 12291 0 0 109 1 9 4 20 0 20 0 3598217 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622688275056 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13814] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13814/stat : 13814 (java) S 13666 13669 13605 0 -1 1077944384 3 12291 0 0 0 0 9 4 20 0 20 0 3598217 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622687222240 139623221016277 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
[pid=13669/tid=13815] ppid=13666 vsize=10995452 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/13669/task/13815/stat : 13815 (java) S 13666 13669 13605 0 -1 1077944384 8 12291 0 0 0 0 9 4 20 0 20 0 3598217 11259342848 74982 33554432000 4194304 4196468 140728064078144 139622686169776 139623221017218 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8986624 140728064080577 140728064083351 140728064083351 140728064085967 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 10995452

Child status: 0
Real time (s): 3.73773
CPU time (s): 8.15352
CPU user time (s): 7.83086
CPU system time (s): 0.322661
CPU usage (%): 218.141
Max. virtual memory (cumulated for all children) (KiB): 10995452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.83086
system time used= 0.322661
maximum resident set size= 301720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73369
page faults= 0
swaps= 0
block input operations= 3912
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8926
involuntary context switches= 1584

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035741 second user time and 0.04557 second system time

The end

Launcher Data 

Begin job on node136 at 2017-07-22 02:28:33
IDJOB=4244293
IDBENCH=115510
IDSOLVER=2630
FILE ID=node136/4244293-1500683313
RUNJOBID= node136-1500683313-13636
PBS_JOBID= 20623338
Free space on /tmp= 61996 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Scheduling/Scheduling-jsdec-sadeh/Sadeh-ewddr1-9.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4244293-1500683313/watcher-4244293-1500683313 -o /tmp/evaluation-result-4244293-1500683313/solver-4244293-1500683313 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node136-1500683313-13636 --watchdog 2560  bin/concrete HOME/instance-4244293-1500683313.xml

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

MD5SUM BENCH= 175fb08d85d071680a829b1f7b92a261
RANDOM SEED=728933729

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31949044 kB
MemAvailable:   32028228 kB
Buffers:           42628 kB
Cached:           346612 kB
SwapCached:            0 kB
Active:           228176 kB
Inactive:         213052 kB
Active(anon):      55236 kB
Inactive(anon):     8764 kB
Active(file):     172940 kB
Inactive(file):   204288 kB
Unevictable:        5844 kB
Mlocked:            5876 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48616 kB
Writeback:             0 kB
AnonPages:         58648 kB
Mapped:            29904 kB
Shmem:              8852 kB
Slab:              67524 kB
SReclaimable:      35584 kB
SUnreclaim:        31940 kB
KernelStack:        4144 kB
PageTables:         4404 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     310084 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 61948 MiB
End job on node136 at 2017-07-22 02:28:37