Trace number 4247278

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.4UNSAT 8.55249 3.65957

General information on the benchmark

NameSchurrLemma/SchurrLemma-mod-s1/
SchurrLemma-mod-050-9.xml
MD5SUM6e540fe1a8c18734980495af80b87f14
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark7.2435098
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of constraints600
Number of domains1
Minimum domain size9
Maximum domain size9
Distribution of domain sizes[{"size":9,"count":50}]
Minimum variable degree24
Maximum variable degree48
Distribution of variable degrees[{"degree":24,"count":1},{"degree":25,"count":2},{"degree":26,"count":2},{"degree":27,"count":2},{"degree":28,"count":2},{"degree":29,"count":2},{"degree":30,"count":2},{"degree":31,"count":2},{"degree":32,"count":2},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":2},{"degree":36,"count":4},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":2},{"degree":40,"count":2},{"degree":41,"count":2},{"degree":42,"count":2},{"degree":43,"count":2},{"degree":44,"count":2},{"degree":45,"count":2},{"degree":46,"count":2},{"degree":47,"count":2},{"degree":48,"count":1}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":600}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":600}]
Optimization problemNO
Type of objective

Solver Data 

3.65/2.16	c Concrete v3.4 running
8.36/3.64	s UNSATISFIABLE

Verifier Data


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-4247278-1500729316/watcher-4247278-1500729316 -o /tmp/evaluation-result-4247278-1500729316/solver-4247278-1500729316 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22997 --watchdog 2560 bin/concrete HOME/instance-4247278-1500729316.xml 

pid=28829
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: 1.42 1.43 1.42 3/261 28832
/proc/meminfo: memFree=30516480/32770624 swapFree=5700/368624
[pid=28832] ppid=28829 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28832/stat : 28832 (bash) S 28829 28832 22965 0 -1 4202496 687 1532 0 0 0 0 0 0 20 0 1 0 8199140 9736192 351 33554432000 4194304 5098028 140734748624432 140734748622072 139693326580736 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 12075008 140734748628238 140734748628323 140734748628323 140734748631022 0
/proc/28832/statm: 2377 351 278 221 0 86 0

[startup+0.100162 s]
/proc/loadavg: 1.42 1.43 1.42 3/261 28832
/proc/meminfo: memFree=30516480/32770624 swapFree=5700/368624
[pid=28832] ppid=28829 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/28832/stat : 28832 (bash) S 28829 28832 22965 0 -1 4202496 885 6414 0 0 0 0 0 1 20 0 1 0 8199140 9871360 378 33554432000 4194304 5098028 140734748624432 140734748618440 139693326580736 0 0 4100 65536 18446744071580971376 0 0 17 11 0 0 0 0 0 7196144 7232144 12075008 140734748628238 140734748628323 140734748628323 140734748631022 0
/proc/28832/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.20038 s]
/proc/loadavg: 1.42 1.43 1.42 3/261 28832
/proc/meminfo: memFree=30516480/32770624 swapFree=5700/368624
[pid=28832] ppid=28829 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/28832/stat : 28832 (java) S 28829 28832 22965 0 -1 1077944320 4750 12787 0 0 5 1 8 4 20 0 13 0 8199140 10686320640 5114 33554432000 4194304 4196468 140736041730144 140736041712688 139949572108023 0 0 0 16800971 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
/proc/28832/statm: 2608965 5114 2171 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.30027 s]
/proc/loadavg: 1.42 1.43 1.42 3/261 28832
/proc/meminfo: memFree=30516480/32770624 swapFree=5700/368624
[pid=28832] ppid=28829 vsize=10902292 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/28832/stat : 28832 (java) S 28829 28832 22965 0 -1 1077944320 6720 12787 0 0 23 3 8 4 20 0 20 0 8199140 11163947008 8454 33554432000 4194304 4196468 140736041730144 140736041712688 139949572108023 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
/proc/28832/statm: 2725573 8454 2951 1 0 2713890 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 10902292

[startup+0.700215 s]
/proc/loadavg: 1.42 1.43 1.42 3/261 28832
/proc/meminfo: memFree=30516480/32770624 swapFree=5700/368624
[pid=28832] ppid=28829 vsize=10902720 CPUtime=0.89 cores=1,3,5,7,9,11,13,15
/proc/28832/stat : 28832 (java) S 28829 28832 22965 0 -1 1077944320 12052 12787 0 0 73 4 8 4 20 0 20 0 8199140 11164385280 14927 33554432000 4194304 4196468 140736041730144 140736041712688 139949572108023 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
/proc/28832/statm: 2725680 14927 3180 1 0 2713890 0
Current children cumulated CPU time (s) 0.89
Current children cumulated vsize (KiB) 10902720

[startup+1.50111 s]
/proc/loadavg: 1.47 1.44 1.43 3/281 28905
/proc/meminfo: memFree=30412444/32770624 swapFree=5700/368652
[pid=28832] ppid=28829 vsize=10913344 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/28832/stat : 28832 (java) S 28829 28832 22965 0 -1 1077944320 28598 12787 0 0 203 14 8 4 20 0 20 0 8199140 11175264256 44551 33554432000 4194304 4196468 140736041730144 140736041712688 139949572108023 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
/proc/28832/statm: 2728336 44551 3405 1 0 2716450 0
[pid=28832/tid=28887] ppid=28829 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28887/stat : 28887 (java) R 28829 28832 22965 0 -1 4202560 20729 12787 0 0 124 7 8 4 20 0 20 0 8199153 11175264256 44551 33554432000 4194304 4196468 140736041730144 139949576335864 139949572119958 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28888] ppid=28829 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28888/stat : 28888 (java) S 28829 28832 22965 0 -1 1077944384 59 12787 0 0 1 0 8 4 20 0 20 0 8199154 11175264256 44551 33554432000 4194304 4196468 140736041730144 139949498182800 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28889] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28889/stat : 28889 (java) S 28829 28832 22965 0 -1 1077944384 11 12787 0 0 0 0 8 4 20 0 20 0 8199154 11175264256 44551 33554432000 4194304 4196468 140736041730144 139949497130000 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28890] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28890/stat : 28890 (java) S 28829 28832 22965 0 -1 1077944384 21 12787 0 0 0 0 8 4 20 0 20 0 8199154 11175264256 44551 33554432000 4194304 4196468 140736041730144 139949177301904 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28891] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28891/stat : 28891 (java) S 28829 28832 22965 0 -1 1077944384 20 12787 0 0 0 0 8 4 20 0 20 0 8199154 11175264256 44551 33554432000 4194304 4196468 140736041730144 139949176249104 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28892] ppid=28829 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28892/stat : 28892 (java) S 28829 28832 22965 0 -1 1077944384 43 12787 0 0 1 0 8 4 20 0 20 0 8199154 11175264256 44551 33554432000 4194304 4196468 140736041730144 139949175196304 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28893] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28893/stat : 28893 (java) S 28829 28832 22965 0 -1 1077944384 35 12787 0 0 0 0 8 4 20 0 20 0 8199154 11175264256 44551 33554432000 4194304 4196468 140736041730144 139949174143504 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28894] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28894/stat : 28894 (java) S 28829 28832 22965 0 -1 1077944384 141 12787 0 0 0 0 8 4 20 0 20 0 8199154 11175264256 44551 33554432000 4194304 4196468 140736041730144 139949173090704 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28895] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28895/stat : 28895 (java) S 28829 28832 22965 0 -1 1077944384 22 12787 0 0 0 0 8 4 20 0 20 0 8199154 11175264256 44551 33554432000 4194304 4196468 140736041730144 139949172037904 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28896] ppid=28829 vsize=10913344 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28896/stat : 28896 (java) S 28829 28832 22965 0 -1 1077944384 1302 12787 0 0 1 0 8 4 20 0 20 0 8199156 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948778290032 139949572119170 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28897] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28897/stat : 28897 (java) S 28829 28832 22965 0 -1 1077944384 56 12787 0 0 0 0 8 4 20 0 20 0 8199157 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948777236064 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28898] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28898/stat : 28898 (java) S 28829 28832 22965 0 -1 1077944384 44 12787 0 0 0 0 8 4 20 0 20 0 8199157 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948776183168 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28899] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28899/stat : 28899 (java) S 28829 28832 22965 0 -1 1077944384 1 12787 0 0 0 0 8 4 20 0 20 0 8199161 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948775131472 139949572126619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28900] ppid=28829 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28900/stat : 28900 (java) R 28829 28832 22965 0 -1 4202560 490 12787 0 0 14 0 8 4 20 0 20 0 8199161 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948774079128 139949557220636 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28901] ppid=28829 vsize=10913344 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28901/stat : 28901 (java) S 28829 28832 22965 0 -1 1077944384 1704 12787 0 0 15 0 8 4 20 0 20 0 8199161 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948773026032 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28902] ppid=28829 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28902/stat : 28902 (java) R 28829 28832 22965 0 -1 4202560 397 12787 0 0 12 0 8 4 20 0 20 0 8199161 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948771962384 139949564349413 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28903] ppid=28829 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28903/stat : 28903 (java) S 28829 28832 22965 0 -1 1077944384 1385 12787 0 0 26 0 8 4 20 0 20 0 8199161 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948770920432 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28904] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28904/stat : 28904 (java) S 28829 28832 22965 0 -1 1077944384 3 12787 0 0 0 0 8 4 20 0 20 0 8199161 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948769868896 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28905] ppid=28829 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28905/stat : 28905 (java) S 28829 28832 22965 0 -1 1077944384 6 12787 0 0 0 0 8 4 20 0 20 0 8199161 11175264256 44551 33554432000 4194304 4196468 140736041730144 139948768816176 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344

[startup+3.10108 s]
/proc/loadavg: 1.47 1.44 1.43 4/281 28905
/proc/meminfo: memFree=30336152/32770624 swapFree=5700/368656
[pid=28832] ppid=28829 vsize=10927868 CPUtime=6.95 cores=1,3,5,7,9,11,13,15
/proc/28832/stat : 28832 (java) S 28829 28832 22965 0 -1 1077944320 43775 12787 0 0 663 20 8 4 20 0 20 0 8199140 11190136832 61059 33554432000 4194304 4196468 140736041730144 140736041712688 139949572108023 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
/proc/28832/statm: 2731967 61059 3476 1 0 2719522 0
[pid=28832/tid=28887] ppid=28829 vsize=10927868 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28887/stat : 28887 (java) R 28829 28832 22965 0 -1 4202560 26934 12787 0 0 280 9 8 4 20 0 20 0 8199153 11190136832 61059 33554432000 4194304 4196468 140736041730144 139949576337792 139949572119958 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28888] ppid=28829 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28888/stat : 28888 (java) S 28829 28832 22965 0 -1 1077944384 59 12787 0 0 1 0 8 4 20 0 20 0 8199154 11190136832 61059 33554432000 4194304 4196468 140736041730144 139949498182800 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28889] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28889/stat : 28889 (java) S 28829 28832 22965 0 -1 1077944384 11 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 61059 33554432000 4194304 4196468 140736041730144 139949497130000 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28890] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28890/stat : 28890 (java) S 28829 28832 22965 0 -1 1077944384 21 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 61059 33554432000 4194304 4196468 140736041730144 139949177301904 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28891] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28891/stat : 28891 (java) S 28829 28832 22965 0 -1 1077944384 20 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 61059 33554432000 4194304 4196468 140736041730144 139949176249104 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28892] ppid=28829 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28892/stat : 28892 (java) S 28829 28832 22965 0 -1 1077944384 43 12787 0 0 1 0 8 4 20 0 20 0 8199154 11190136832 61059 33554432000 4194304 4196468 140736041730144 139949175196304 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28893] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28893/stat : 28893 (java) S 28829 28832 22965 0 -1 1077944384 35 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 61059 33554432000 4194304 4196468 140736041730144 139949174143504 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28894] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28894/stat : 28894 (java) S 28829 28832 22965 0 -1 1077944384 141 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 61059 33554432000 4194304 4196468 140736041730144 139949173090704 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28895] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28895/stat : 28895 (java) S 28829 28832 22965 0 -1 1077944384 22 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 61059 33554432000 4194304 4196468 140736041730144 139949172037904 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28896] ppid=28829 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28896/stat : 28896 (java) S 28829 28832 22965 0 -1 1077944384 1336 12787 0 0 1 0 8 4 20 0 20 0 8199156 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948778290032 139949572119170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28897] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28897/stat : 28897 (java) S 28829 28832 22965 0 -1 1077944384 56 12787 0 0 0 0 8 4 20 0 20 0 8199157 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948777236064 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28898] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28898/stat : 28898 (java) S 28829 28832 22965 0 -1 1077944384 44 12787 0 0 0 0 8 4 20 0 20 0 8199157 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948776183168 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28899] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28899/stat : 28899 (java) S 28829 28832 22965 0 -1 1077944384 1 12787 0 0 0 0 8 4 20 0 20 0 8199161 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948775131472 139949572126619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28900] ppid=28829 vsize=10927868 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28900/stat : 28900 (java) S 28829 28832 22965 0 -1 1077944384 1448 12787 0 0 71 1 8 4 20 0 20 0 8199161 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948774078832 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28901] ppid=28829 vsize=10927868 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28901/stat : 28901 (java) R 28829 28832 22965 0 -1 4202560 2505 12787 0 0 77 1 8 4 20 0 20 0 8199161 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948773012128 139949555494948 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28902] ppid=28829 vsize=10927868 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28902/stat : 28902 (java) S 28829 28832 22965 0 -1 1077944384 3648 12787 0 0 105 1 8 4 20 0 20 0 8199161 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948771973232 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28903] ppid=28829 vsize=10927868 CPUtime=1.3 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28903/stat : 28903 (java) R 28829 28832 22965 0 -1 4202560 5310 12787 0 0 117 1 8 4 20 0 20 0 8199161 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948770920352 139949556188510 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28904] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28904/stat : 28904 (java) S 28829 28832 22965 0 -1 1077944384 3 12787 0 0 0 0 8 4 20 0 20 0 8199161 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948769868896 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28905] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28905/stat : 28905 (java) S 28829 28832 22965 0 -1 1077944384 7 12787 0 0 0 0 8 4 20 0 20 0 8199161 11190136832 61059 33554432000 4194304 4196468 140736041730144 139948768816176 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
Current children cumulated CPU time (s) 6.95
Current children cumulated vsize (KiB) 10927868

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

[startup+3.20147 s]
/proc/loadavg: 1.47 1.44 1.43 4/281 28905
/proc/meminfo: memFree=30336152/32770624 swapFree=5700/368656
[pid=28832] ppid=28829 vsize=10927868 CPUtime=7.22 cores=1,3,5,7,9,11,13,15
/proc/28832/stat : 28832 (java) S 28829 28832 22965 0 -1 1077944320 44243 12787 0 0 689 21 8 4 20 0 20 0 8199140 11190136832 62519 33554432000 4194304 4196468 140736041730144 140736041712688 139949572108023 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
/proc/28832/statm: 2731967 62519 3476 1 0 2719522 0
[pid=28832/tid=28887] ppid=28829 vsize=10927868 CPUtime=3.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28887/stat : 28887 (java) R 28829 28832 22965 0 -1 4202560 27273 12787 0 0 290 10 8 4 20 0 20 0 8199153 11190136832 62519 33554432000 4194304 4196468 140736041730144 139949576324992 139949556151653 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28888] ppid=28829 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28888/stat : 28888 (java) S 28829 28832 22965 0 -1 1077944384 59 12787 0 0 1 0 8 4 20 0 20 0 8199154 11190136832 62519 33554432000 4194304 4196468 140736041730144 139949498182800 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28889] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28889/stat : 28889 (java) S 28829 28832 22965 0 -1 1077944384 11 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 62519 33554432000 4194304 4196468 140736041730144 139949497130000 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28890] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28890/stat : 28890 (java) S 28829 28832 22965 0 -1 1077944384 21 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 62519 33554432000 4194304 4196468 140736041730144 139949177301904 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28891] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28891/stat : 28891 (java) S 28829 28832 22965 0 -1 1077944384 20 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 62519 33554432000 4194304 4196468 140736041730144 139949176249104 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28892] ppid=28829 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28892/stat : 28892 (java) S 28829 28832 22965 0 -1 1077944384 43 12787 0 0 1 0 8 4 20 0 20 0 8199154 11190136832 62519 33554432000 4194304 4196468 140736041730144 139949175196304 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28893] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28893/stat : 28893 (java) S 28829 28832 22965 0 -1 1077944384 35 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 62519 33554432000 4194304 4196468 140736041730144 139949174143504 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28894] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28894/stat : 28894 (java) S 28829 28832 22965 0 -1 1077944384 141 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 62519 33554432000 4194304 4196468 140736041730144 139949173090704 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28895] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28895/stat : 28895 (java) S 28829 28832 22965 0 -1 1077944384 22 12787 0 0 0 0 8 4 20 0 20 0 8199154 11190136832 62519 33554432000 4194304 4196468 140736041730144 139949172037904 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28896] ppid=28829 vsize=10927868 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28896/stat : 28896 (java) S 28829 28832 22965 0 -1 1077944384 1336 12787 0 0 1 0 8 4 20 0 20 0 8199156 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948778290032 139949572119170 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28897] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28897/stat : 28897 (java) S 28829 28832 22965 0 -1 1077944384 56 12787 0 0 0 0 8 4 20 0 20 0 8199157 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948777236064 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28898] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28898/stat : 28898 (java) S 28829 28832 22965 0 -1 1077944384 44 12787 0 0 0 0 8 4 20 0 20 0 8199157 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948776183168 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28899] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28899/stat : 28899 (java) S 28829 28832 22965 0 -1 1077944384 1 12787 0 0 0 0 8 4 20 0 20 0 8199161 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948775131472 139949572126619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28900] ppid=28829 vsize=10927868 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28900/stat : 28900 (java) S 28829 28832 22965 0 -1 1077944384 1461 12787 0 0 75 1 8 4 20 0 20 0 8199161 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948774078832 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28901] ppid=28829 vsize=10927868 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28901/stat : 28901 (java) S 28829 28832 22965 0 -1 1077944384 2523 12787 0 0 79 1 8 4 20 0 20 0 8199161 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948773026032 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28902] ppid=28829 vsize=10927868 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28902/stat : 28902 (java) S 28829 28832 22965 0 -1 1077944384 3666 12787 0 0 110 1 8 4 20 0 20 0 8199161 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948771973232 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28903] ppid=28829 vsize=10927868 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28903/stat : 28903 (java) S 28829 28832 22965 0 -1 1077944384 5389 12787 0 0 122 1 8 4 20 0 20 0 8199161 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948770920432 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28904] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28904/stat : 28904 (java) S 28829 28832 22965 0 -1 1077944384 3 12787 0 0 0 0 8 4 20 0 20 0 8199161 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948769868896 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28905] ppid=28829 vsize=10927868 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28905/stat : 28905 (java) S 28829 28832 22965 0 -1 1077944384 7 12787 0 0 0 0 8 4 20 0 20 0 8199161 11190136832 62519 33554432000 4194304 4196468 140736041730144 139948768816176 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
Current children cumulated CPU time (s) 7.22
Current children cumulated vsize (KiB) 10927868

[startup+3.60092 s]
/proc/loadavg: 1.47 1.44 1.43 3/281 28905
/proc/meminfo: memFree=30262828/32770624 swapFree=5700/368656
[pid=28832] ppid=28829 vsize=10993404 CPUtime=8.36 cores=1,3,5,7,9,11,13,15
/proc/28832/stat : 28832 (java) S 28829 28832 22965 0 -1 1077944320 56364 12787 0 0 798 26 8 4 20 0 20 0 8199140 11257245696 76936 33554432000 4194304 4196468 140736041730144 140736041712688 139949572108023 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
/proc/28832/statm: 2748351 76936 3487 1 0 2735906 0
[pid=28832/tid=28887] ppid=28829 vsize=10993404 CPUtime=3.34 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28887/stat : 28887 (java) S 28829 28832 22965 0 -1 1077944384 38359 12787 0 0 311 11 8 4 20 0 20 0 8199153 11257245696 76936 33554432000 4194304 4196468 140736041730144 139949576345696 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28888] ppid=28829 vsize=10993404 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28888/stat : 28888 (java) S 28829 28832 22965 0 -1 1077944384 78 12787 0 0 10 1 8 4 20 0 20 0 8199154 11257245696 76936 33554432000 4194304 4196468 140736041730144 139949498182800 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28889] ppid=28829 vsize=10993404 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28889/stat : 28889 (java) S 28829 28832 22965 0 -1 1077944384 57 12787 0 0 9 0 8 4 20 0 20 0 8199154 11257245696 76936 33554432000 4194304 4196468 140736041730144 139949497130000 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28890] ppid=28829 vsize=10993404 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28890/stat : 28890 (java) S 28829 28832 22965 0 -1 1077944384 28 12787 0 0 10 1 8 4 20 0 20 0 8199154 11257245696 76936 33554432000 4194304 4196468 140736041730144 139949177301904 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28891] ppid=28829 vsize=10993404 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28891/stat : 28891 (java) S 28829 28832 22965 0 -1 1077944384 36 12787 0 0 10 1 8 4 20 0 20 0 8199154 11257245696 76936 33554432000 4194304 4196468 140736041730144 139949176249104 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28892] ppid=28829 vsize=10993404 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28892/stat : 28892 (java) S 28829 28832 22965 0 -1 1077944384 67 12787 0 0 10 0 8 4 20 0 20 0 8199154 11257245696 76936 33554432000 4194304 4196468 140736041730144 139949175196304 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28893] ppid=28829 vsize=10993404 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28893/stat : 28893 (java) S 28829 28832 22965 0 -1 1077944384 88 12787 0 0 10 1 8 4 20 0 20 0 8199154 11257245696 76936 33554432000 4194304 4196468 140736041730144 139949174143504 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28894] ppid=28829 vsize=10993404 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28894/stat : 28894 (java) S 28829 28832 22965 0 -1 1077944384 148 12787 0 0 10 1 8 4 20 0 20 0 8199154 11257245696 76936 33554432000 4194304 4196468 140736041730144 139949173090704 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28895] ppid=28829 vsize=10993404 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28895/stat : 28895 (java) S 28829 28832 22965 0 -1 1077944384 38 12787 0 0 10 1 8 4 20 0 20 0 8199154 11257245696 76936 33554432000 4194304 4196468 140736041730144 139949172037904 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28896] ppid=28829 vsize=10993404 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28896/stat : 28896 (java) R 28829 28832 22965 0 -1 4202560 2129 12787 0 0 8 0 8 4 20 0 20 0 8199156 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948778288320 139949556475645 0 0 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28897] ppid=28829 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28897/stat : 28897 (java) S 28829 28832 22965 0 -1 1077944384 56 12787 0 0 0 0 8 4 20 0 20 0 8199157 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948777236208 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28898] ppid=28829 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28898/stat : 28898 (java) S 28829 28832 22965 0 -1 1077944384 44 12787 0 0 0 0 8 4 20 0 20 0 8199157 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948776183168 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28899] ppid=28829 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28899/stat : 28899 (java) S 28829 28832 22965 0 -1 1077944384 1 12787 0 0 0 0 8 4 20 0 20 0 8199161 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948775131472 139949572126619 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28900] ppid=28829 vsize=10993404 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28900/stat : 28900 (java) S 28829 28832 22965 0 -1 1077944384 1463 12787 0 0 75 1 8 4 20 0 20 0 8199161 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948774078832 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28901] ppid=28829 vsize=10993404 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28901/stat : 28901 (java) S 28829 28832 22965 0 -1 1077944384 2530 12787 0 0 81 1 8 4 20 0 20 0 8199161 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948773026032 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28902] ppid=28829 vsize=10993404 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28902/stat : 28902 (java) S 28829 28832 22965 0 -1 1077944384 3671 12787 0 0 111 1 8 4 20 0 20 0 8199161 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948771973232 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28903] ppid=28829 vsize=10993404 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28903/stat : 28903 (java) S 28829 28832 22965 0 -1 1077944384 5428 12787 0 0 125 1 8 4 20 0 20 0 8199161 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948770920432 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28904] ppid=28829 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28904/stat : 28904 (java) S 28829 28832 22965 0 -1 1077944384 3 12787 0 0 0 0 8 4 20 0 20 0 8199161 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948769868896 139949572118229 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
[pid=28832/tid=28905] ppid=28829 vsize=10993404 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28832/task/28905/stat : 28905 (java) S 28829 28832 22965 0 -1 1077944384 7 12787 0 0 0 0 8 4 20 0 20 0 8199161 11257245696 76936 33554432000 4194304 4196468 140736041730144 139948768816176 139949572119170 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19378176 140736041732801 140736041735575 140736041735575 140736041738191 0
Current children cumulated CPU time (s) 8.36
Current children cumulated vsize (KiB) 10993404

Child status: 0
Real time (s): 3.65957
CPU time (s): 8.55249
CPU user time (s): 8.22895
CPU system time (s): 0.323537
CPU usage (%): 233.702
Max. virtual memory (cumulated for all children) (KiB): 10993404

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.22895
system time used= 0.323537
maximum resident set size= 308912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8304
involuntary context switches= 1012

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024458 second user time and 0.061677 second system time

The end

Launcher Data 

Begin job on node130 at 2017-07-22 15:15:16
IDJOB=4247278
IDBENCH=126889
IDSOLVER=2630
FILE ID=node130/4247278-1500729316
RUNJOBID= node130-1500712981-22997
PBS_JOBID= 20623351
Free space on /tmp= 61856 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/SchurrLemma/SchurrLemma-mod-s1/SchurrLemma-050-9-mod.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4247278-1500729316/watcher-4247278-1500729316 -o /tmp/evaluation-result-4247278-1500729316/solver-4247278-1500729316 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22997 --watchdog 2560  bin/concrete HOME/instance-4247278-1500729316.xml

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

MD5SUM BENCH= 95f356a7cac4995e0d280c3eec412c64
RANDOM SEED=1629406003

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

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.34
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		: 2133.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		: 2668.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.34
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.34
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.34
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		: 1867.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.34
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.34
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		: 1600.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.34
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		: 1733.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:        30516156 kB
MemAvailable:   30930496 kB
Buffers:          147588 kB
Cached:           545796 kB
SwapCached:            0 kB
Active:          1439520 kB
Inactive:         377468 kB
Active(anon):    1126296 kB
Inactive(anon):     8844 kB
Active(file):     313224 kB
Inactive(file):   368624 kB
Unevictable:        5700 kB
Mlocked:            5700 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24496 kB
Writeback:             0 kB
AnonPages:       1249856 kB
Mapped:            43896 kB
Shmem:              8844 kB
Slab:             130752 kB
SReclaimable:      96656 kB
SUnreclaim:        34096 kB
KernelStack:        4864 kB
PageTables:         7336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1978096 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:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61832 MiB
End job on node130 at 2017-07-22 15:15:20