Trace number 4111867

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
minisatp 2012-10-02 git-d91742b? (TO) 1800.08 1800.4

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K94.opb
MD5SUM08b0e704e28720f9a0455d95c872079f
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6392
Total number of constraints6582
Number of constraints which are clauses6488
Number of constraints which are cardinality constraints (but not clauses)94
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint94
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 95
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c Parsing PB file...
0.09/0.18	c Converting 6580 PB-constraints to clauses...
0.09/0.18	c   -- Unit propagations: pppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.09/0.18	c   -- Detecting intervals from adjacent constraints: ############################################################################################
0.09/0.19	c   -- Clauses(.)/Splits(s): .............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
0.09/0.19	c ---[ 184]---> BDD-cost:  133
0.09/0.19	c ---[ 182]---> BDD-cost:  133
0.09/0.20	c ---[ 180]---> BDD-cost:  133
0.18/0.20	c ---[ 178]---> BDD-cost:  133
0.18/0.20	c ---[ 176]---> BDD-cost:  133
0.18/0.20	c ---[ 174]---> BDD-cost:  133
0.18/0.20	c ---[ 172]---> BDD-cost:  133
0.18/0.20	c ---[ 170]---> BDD-cost:  133
0.18/0.20	c ---[ 168]---> BDD-cost:  133
0.18/0.20	c ---[ 166]---> BDD-cost:  133
0.18/0.21	c ---[ 164]---> BDD-cost:  133
0.18/0.21	c ---[ 162]---> BDD-cost:  133
0.18/0.21	c ---[ 160]---> BDD-cost:  133
0.18/0.21	c ---[ 158]---> BDD-cost:  133
0.18/0.21	c ---[ 156]---> BDD-cost:  133
0.18/0.21	c ---[ 154]---> BDD-cost:  133
0.18/0.21	c ---[ 152]---> BDD-cost:  133
0.18/0.21	c ---[ 150]---> BDD-cost:  133
0.18/0.21	c ---[ 148]---> BDD-cost:  133
0.18/0.22	c ---[ 146]---> BDD-cost:  133
0.18/0.22	c ---[ 144]---> BDD-cost:  133
0.18/0.22	c ---[ 142]---> BDD-cost:  133
0.18/0.22	c ---[ 140]---> BDD-cost:  133
0.18/0.22	c ---[ 138]---> BDD-cost:  133
0.18/0.22	c ---[ 136]---> BDD-cost:  133
0.18/0.22	c ---[ 134]---> BDD-cost:  133
0.18/0.22	c ---[ 132]---> BDD-cost:  133
0.18/0.23	c ---[ 130]---> BDD-cost:  133
0.18/0.23	c ---[ 128]---> BDD-cost:  133
0.18/0.23	c ---[ 126]---> BDD-cost:  133
0.18/0.23	c ---[ 124]---> BDD-cost:  133
0.18/0.23	c ---[ 122]---> BDD-cost:  133
0.18/0.23	c ---[ 120]---> BDD-cost:  133
0.18/0.23	c ---[ 118]---> BDD-cost:  133
0.18/0.23	c ---[ 116]---> BDD-cost:  133
0.18/0.24	c ---[ 114]---> BDD-cost:  133
0.18/0.24	c ---[ 112]---> BDD-cost:  133
0.18/0.24	c ---[ 110]---> BDD-cost:  133
0.18/0.24	c ---[ 108]---> BDD-cost:  133
0.18/0.24	c ---[ 106]---> BDD-cost:  133
0.18/0.24	c ---[ 104]---> BDD-cost:  133
0.18/0.24	c ---[ 102]---> BDD-cost:  133
0.18/0.24	c ---[ 100]---> BDD-cost:  133
0.18/0.25	c ---[  98]---> BDD-cost:  133
0.18/0.25	c ---[  96]---> BDD-cost:  133
0.18/0.25	c ---[  94]---> BDD-cost:  133
0.18/0.25	c ---[  92]---> BDD-cost:  133
0.18/0.25	c ---[  90]---> BDD-cost:  133
0.18/0.25	c ---[  88]---> BDD-cost:  133
0.18/0.25	c ---[  86]---> BDD-cost:  133
0.18/0.25	c ---[  84]---> BDD-cost:  133
0.18/0.26	c ---[  82]---> BDD-cost:  133
0.18/0.26	c ---[  80]---> BDD-cost:  133
0.18/0.26	c ---[  78]---> BDD-cost:  133
0.18/0.26	c ---[  76]---> BDD-cost:  133
0.18/0.26	c ---[  74]---> BDD-cost:  133
0.18/0.26	c ---[  72]---> BDD-cost:  133
0.18/0.26	c ---[  70]---> BDD-cost:  133
0.18/0.26	c ---[  68]---> BDD-cost:  133
0.18/0.27	c ---[  66]---> BDD-cost:  133
0.18/0.27	c ---[  64]---> BDD-cost:  133
0.18/0.27	c ---[  62]---> BDD-cost:  133
0.18/0.27	c ---[  60]---> BDD-cost:  133
0.18/0.27	c ---[  58]---> BDD-cost:  133
0.18/0.27	c ---[  56]---> BDD-cost:  133
0.18/0.27	c ---[  54]---> BDD-cost:  133
0.18/0.27	c ---[  52]---> BDD-cost:  133
0.18/0.27	c ---[  50]---> BDD-cost:  133
0.18/0.28	c ---[  48]---> BDD-cost:  133
0.18/0.28	c ---[  46]---> BDD-cost:  133
0.18/0.28	c ---[  44]---> BDD-cost:  133
0.18/0.28	c ---[  42]---> BDD-cost:  133
0.18/0.28	c ---[  40]---> BDD-cost:  133
0.18/0.28	c ---[  38]---> BDD-cost:  133
0.18/0.28	c ---[  36]---> BDD-cost:  133
0.18/0.28	c ---[  34]---> BDD-cost:  133
0.18/0.29	c ---[  32]---> BDD-cost:  133
0.18/0.29	c ---[  30]---> BDD-cost:  133
0.18/0.29	c ---[  28]---> BDD-cost:  133
0.18/0.29	c ---[  26]---> BDD-cost:  133
0.18/0.29	c ---[  24]---> BDD-cost:  133
0.18/0.29	c ---[  22]---> BDD-cost:  133
0.18/0.29	c ---[  20]---> BDD-cost:  133
0.18/0.29	c ---[  18]---> BDD-cost:  133
0.28/0.30	c ---[  16]---> BDD-cost:  133
0.28/0.30	c ---[  14]---> BDD-cost:  129
0.28/0.30	c ---[  12]---> BDD-cost:  115
0.28/0.30	c ---[  10]---> BDD-cost:   93
0.28/0.30	c ---[   8]---> BDD-cost:   65
0.28/0.30	c ---[   6]---> BDD-cost:   47
0.28/0.30	c ---[   4]---> BDD-cost:   25
0.28/0.30	c ---[   2]---> BDD-cost:    5
1800.07/1800.40	|  Eliminated clauses:           0.02 Mb                                      |
1800.07/1800.40	============================[ Search Statistics ]==============================
1800.07/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.07/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.07/1800.40	===============================================================================
1800.07/1800.40	|       100 |   17167    34675   101055 |    12714      100    172 |  2.498 % |
1800.07/1800.40	|       250 |   17167    34675   101055 |    13985      250    145 |  2.498 % |
1800.07/1800.40	|       475 |   17164    34675   101055 |    15384      472    140 |  2.514 % |
1800.07/1800.40	|       812 |   17164    34675   101055 |    16922      809    132 |  2.514 % |
1800.07/1800.40	|      1318 |   17164    34675   101055 |    18614     1315    147 |  2.514 % |
1800.07/1800.40	|      2077 |   17164    34675   101055 |    20476     2074    141 |  2.514 % |
1800.07/1800.40	|      3216 |   17123    34675   101055 |    22523     3210    140 |  2.740 % |
1800.07/1800.40	|      4924 |   17123    34675   101055 |    24776     4918    147 |  2.740 % |
1800.07/1800.40	|      7486 |   17123    34675   101055 |    27253     7480    186 |  2.740 % |
1800.07/1800.40	|     11330 |   17121    34675   101055 |    29979    11321    200 |  2.751 % |
1800.07/1800.40	|     17096 |   17119    34675   101055 |    32977    17082    191 |  2.762 % |
1800.07/1800.40	|     25745 |   17119    34675   101055 |    36275    25731    193 |  2.762 % |
1800.07/1800.40	|     38719 |   17119    34675   101055 |    39902    16792    197 |  2.762 % |
1800.07/1800.40	|     58180 |   17102    34675   101055 |    43892    36228    201 |  2.855 % |
1800.07/1800.40	|     87372 |   17100    34675   101055 |    48282    39695    213 |  2.866 % |
1800.07/1800.40	|    131161 |   17100    34675   101055 |    53110    26117    144 |  2.866 % |
1800.07/1800.40	|    196845 |   17100    34675   101055 |    58421    32709    155 |  2.866 % |
1800.07/1800.40	|    295371 |   17100    34675   101055 |    64263    28238    143 |  2.866 % |
1800.07/1800.40	|    443160 |   17098    34675   101055 |    70689    54769    214 |  2.877 % |
1800.07/1800.40	|    664843 |   17096    34675   101055 |    77758    48955    186 |  2.888 % |
1800.07/1800.40	|    997368 |   17096    34675   101055 |    85534    54585    186 |  2.888 % |
1800.07/1800.40	|   1496156 |   17092    34675   101055 |    94088    67581    191 |  2.910 % |
1800.07/1800.40	|   2244338 |   17092    34675   101055 |   103496    65428    231 |  2.910 % |
1800.07/1800.40	|   3366612 |   17089    34675   101055 |   113846    77713    181 |  2.927 % |
1800.07/1800.40	c 
1800.07/1800.40	c *** TERMINATED ***
1800.07/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

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-4111867-1466601838/watcher-4111867-1466601838 -o /tmp/evaluation-result-4111867-1466601838/solver-4111867-1466601838 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466586446-15022 --watchdog 1960 minisatp HOME/instance-4111867-1466601838.opb 

pid=17435
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.22 2.26 2.23 3/176 17438
/proc/meminfo: memFree=29692492/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=6324 CPUtime=0 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 277 0 0 0 0 0 0 0 20 0 1 0 62232254 6475776 153 33554432000 4194304 5646918 140734659646528 140736542261400 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 1581 153 94 355 0 1222 0

[startup+0.100163 s]
/proc/loadavg: 2.22 2.26 2.23 3/176 17438
/proc/meminfo: memFree=29692492/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=12100 CPUtime=0.09 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 1698 0 0 0 9 0 0 0 20 0 1 0 62232254 12390400 1574 33554432000 4194304 5646918 140734659646528 140736542261400 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 3025 1575 94 355 0 2666 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12100

[startup+0.200369 s]
/proc/loadavg: 2.22 2.26 2.23 3/176 17438
/proc/meminfo: memFree=29692492/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=16564 CPUtime=0.18 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 2859 0 0 0 18 0 0 0 20 0 1 0 62232254 16961536 2682 33554432000 4194304 5646918 140734659646528 140734659644728 4823249 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 4141 2682 117 355 0 3782 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 16564

[startup+0.300352 s]
/proc/loadavg: 2.22 2.26 2.23 3/176 17438
/proc/meminfo: memFree=29692492/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=17588 CPUtime=0.28 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 3089 0 0 0 28 0 0 0 20 0 1 0 62232254 18010112 2912 33554432000 4194304 5646918 140734659646528 140734659644728 4824645 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 4397 2912 117 355 0 4038 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 17588

[startup+0.700237 s]
/proc/loadavg: 2.22 2.26 2.23 3/176 17438
/proc/meminfo: memFree=29692492/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=19608 CPUtime=0.69 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 3900 0 0 0 68 1 0 0 20 0 1 0 62232254 20078592 4204 33554432000 4194304 5646918 140734659646528 140734659644728 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 4902 4204 144 355 0 4543 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 19608

[startup+1.50024 s]
/proc/loadavg: 2.22 2.26 2.23 3/177 17439
/proc/meminfo: memFree=29675720/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=26748 CPUtime=1.49 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 4932 0 0 0 148 1 0 0 20 0 1 0 62232254 27389952 5740 33554432000 4194304 5646918 140734659646528 140734659645224 4399392 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 6687 5740 144 355 0 6328 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26748

[startup+3.10019 s]
/proc/loadavg: 2.20 2.25 2.23 4/177 17439
/proc/meminfo: memFree=29668152/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=33928 CPUtime=3.08 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 5457 0 0 0 307 1 0 0 20 0 1 0 62232254 34742272 7283 33554432000 4194304 5646918 140734659646528 140734659645224 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 8482 7283 144 355 0 8123 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 33928

[startup+6.3003 s]
/proc/loadavg: 2.20 2.25 2.23 3/177 17439
/proc/meminfo: memFree=29653332/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=46272 CPUtime=6.29 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 6198 0 0 0 627 2 0 0 20 0 1 0 62232254 47382528 10578 33554432000 4194304 5646918 140734659646528 140734659644632 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 11568 10578 144 355 0 11209 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 46272

[startup+12.7003 s]
/proc/loadavg: 2.17 2.24 2.22 3/177 17439
/proc/meminfo: memFree=29643556/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=67292 CPUtime=12.68 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 8559 0 0 0 1265 3 0 0 20 0 1 0 62232254 68907008 12632 33554432000 4194304 5646918 140734659646528 140734659644664 4397562 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 16823 12632 146 355 0 16464 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 67292

[startup+25.5004 s]
/proc/loadavg: 2.14 2.23 2.22 3/177 17439
/proc/meminfo: memFree=29643272/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=50396 CPUtime=25.48 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 11242 0 0 0 2543 5 0 0 20 0 1 0 62232254 51605504 12090 33554432000 4194304 5646918 140734659646528 140734659644632 4403497 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 12599 12090 146 355 0 12240 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50396

[startup+51.1004 s]
/proc/loadavg: 2.22 2.25 2.22 4/177 17440
/proc/meminfo: memFree=29628164/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=72164 CPUtime=51.08 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 16602 0 0 0 5099 9 0 0 20 0 1 0 62232254 73895936 14816 33554432000 4194304 5646918 140734659646528 140734659644664 4397130 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 18041 14816 146 355 0 17682 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 72164

[startup+102.3 s]
/proc/loadavg: 2.24 2.25 2.22 3/177 17441
/proc/meminfo: memFree=29613820/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=75664 CPUtime=102.28 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 25004 0 0 0 10212 16 0 0 20 0 1 0 62232254 77479936 17214 33554432000 4194304 5646918 140734659646528 140734659644632 4403184 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 18916 17214 146 355 0 18557 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 75664

[startup+162.3 s]
/proc/loadavg: 2.29 2.25 2.22 3/177 17498
/proc/meminfo: memFree=30352672/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=78980 CPUtime=162.26 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 34380 0 0 0 16202 24 0 0 20 0 1 0 62232254 80875520 14759 33554432000 4194304 5646918 140734659646528 140734659644664 4403047 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 19745 14759 146 355 0 19386 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 78980

[startup+222.307 s]
/proc/loadavg: 2.32 2.26 2.23 4/177 17499
/proc/meminfo: memFree=30322208/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=62344 CPUtime=222.26 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 42112 0 0 0 22194 32 0 0 20 0 1 0 62232254 63840256 14598 33554432000 4194304 5646918 140734659646528 140734659645224 4403408 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 15586 14598 146 355 0 15227 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 62344

[startup+282.3 s]
/proc/loadavg: 2.20 2.23 2.22 3/177 17500
/proc/meminfo: memFree=30303900/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=83220 CPUtime=282.25 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 50520 0 0 0 28185 40 0 0 20 0 1 0 62232254 85217280 16592 33554432000 4194304 5646918 140734659646528 140734659645224 4402627 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 20805 16592 146 355 0 20446 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 83220

[startup+342.3 s]
/proc/loadavg: 2.18 2.23 2.21 3/176 17501
/proc/meminfo: memFree=30298444/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=67504 CPUtime=342.24 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 56458 0 0 0 34176 48 0 0 20 0 1 0 62232254 69124096 15192 33554432000 4194304 5646918 140734659646528 140734659645224 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 16876 15192 146 355 0 16517 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 67504

[startup+402.3 s]
/proc/loadavg: 2.15 2.21 2.21 4/178 17506
/proc/meminfo: memFree=30270892/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=118428 CPUtime=402.22 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 63466 0 0 0 40169 53 0 0 20 0 1 0 62232254 121270272 24304 33554432000 4194304 5646918 140734659646528 140734659644664 4397622 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 29607 24304 146 355 0 29248 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 118428

[startup+462.3 s]
/proc/loadavg: 2.18 2.21 2.20 3/177 17507
/proc/meminfo: memFree=30276264/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=120036 CPUtime=462.22 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 69204 0 0 0 46161 61 0 0 20 0 1 0 62232254 122916864 27749 33554432000 4194304 5646918 140734659646528 140734659644664 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 30009 27749 146 355 0 29650 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 120036

[startup+522.3 s]
/proc/loadavg: 2.36 2.25 2.21 3/177 17508
/proc/meminfo: memFree=30232944/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=121552 CPUtime=522.19 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 75651 0 0 0 52151 68 0 0 20 0 1 0 62232254 124469248 25997 33554432000 4194304 5646918 140734659646528 140734659645224 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 30388 25997 146 355 0 30029 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 121552

[startup+582.3 s]
/proc/loadavg: 2.24 2.23 2.21 4/177 17509
/proc/meminfo: memFree=30258588/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=122652 CPUtime=582.18 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 83082 0 0 0 58143 75 0 0 20 0 1 0 62232254 125595648 26997 33554432000 4194304 5646918 140734659646528 140734659644664 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 30663 26997 146 355 0 30304 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 122652


################
# More data... #
################


[startup+882.307 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 17515
/proc/meminfo: memFree=30052000/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=269320 CPUtime=882.14 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 105299 0 0 0 88108 106 0 0 20 0 1 0 62232254 275783680 52104 33554432000 4194304 5646918 140734659646528 140734659644664 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 67330 52104 146 355 0 66971 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 269320

[startup+942.3 s]
/proc/loadavg: 2.15 2.18 2.18 3/177 17516
/proc/meminfo: memFree=30167996/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=189812 CPUtime=942.13 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 109463 0 0 0 94100 113 0 0 20 0 1 0 62232254 194367488 34597 33554432000 4194304 5646918 140734659646528 140734659645224 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 47453 34597 146 355 0 47094 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 189812

[startup+1002.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/178 17521
/proc/meminfo: memFree=30202032/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=109796 CPUtime=1002.11 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 115892 0 0 0 100091 120 0 0 20 0 1 0 62232254 112431104 26424 33554432000 4194304 5646918 140734659646528 140734659645224 4403173 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 27449 26424 146 355 0 27090 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 109796

[startup+1062.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/177 17522
/proc/meminfo: memFree=30197040/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=191316 CPUtime=1062.11 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 122456 0 0 0 106083 128 0 0 20 0 1 0 62232254 195907584 35637 33554432000 4194304 5646918 140734659646528 140734659645224 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 47829 35637 146 355 0 47470 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 191316

[startup+1122.3 s]
/proc/loadavg: 2.21 2.20 2.18 4/177 17523
/proc/meminfo: memFree=30176612/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=111236 CPUtime=1122.09 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 128511 0 0 0 112075 134 0 0 20 0 1 0 62232254 113905664 25820 33554432000 4194304 5646918 140734659646528 140734659645224 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 27809 25820 146 355 0 27450 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 111236

[startup+1182.3 s]
/proc/loadavg: 2.18 2.19 2.18 3/177 17524
/proc/meminfo: memFree=30195344/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=192972 CPUtime=1182.09 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 135348 0 0 0 118066 143 0 0 20 0 1 0 62232254 197603328 37568 33554432000 4194304 5646918 140734659646528 140734659644664 4403472 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 48243 37568 146 355 0 47884 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 192972

[startup+1242.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/177 17525
/proc/meminfo: memFree=30177612/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=143280 CPUtime=1242.08 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 141771 0 0 0 124058 150 0 0 20 0 1 0 62232254 146718720 31732 33554432000 4194304 5646918 140734659646528 140734659645224 4397494 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 35820 31732 146 355 0 35461 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 143280

[startup+1302.3 s]
/proc/loadavg: 2.19 2.19 2.18 3/177 17527
/proc/meminfo: memFree=30195324/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=194328 CPUtime=1302.07 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 146723 0 0 0 130048 159 0 0 20 0 1 0 62232254 198991872 37097 33554432000 4194304 5646918 140734659646528 140734659645224 4403416 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 48582 37097 146 355 0 48223 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 194328

[startup+1362.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 17528
/proc/meminfo: memFree=30131728/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=197548 CPUtime=1362.06 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 148874 0 0 0 136041 165 0 0 20 0 1 0 62232254 202289152 38217 33554432000 4194304 5646918 140734659646528 140734659644664 4397445 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 49387 38217 146 355 0 49028 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 197548

[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/177 17529
/proc/meminfo: memFree=30216456/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=148120 CPUtime=1422.06 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 154068 0 0 0 142036 170 0 0 20 0 1 0 62232254 151674880 31850 33554432000 4194304 5646918 140734659646528 140734659645224 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 37030 31850 146 355 0 36671 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 148120

[startup+1482.3 s]
/proc/loadavg: 2.25 2.21 2.18 4/177 17585
/proc/meminfo: memFree=30195664/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=148800 CPUtime=1482.04 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 158731 0 0 0 148028 176 0 0 20 0 1 0 62232254 152371200 30969 33554432000 4194304 5646918 140734659646528 140734659645224 4403061 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 37200 30969 146 355 0 36841 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 148800

[startup+1542.31 s]
/proc/loadavg: 2.29 2.23 2.19 3/176 17586
/proc/meminfo: memFree=30015264/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=199460 CPUtime=1542.04 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 164200 0 0 0 154021 183 0 0 20 0 1 0 62232254 204247040 40615 33554432000 4194304 5646918 140734659646528 140734659644664 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 49865 40615 146 355 0 49506 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 199460

[startup+1602.3 s]
/proc/loadavg: 2.30 2.25 2.19 3/178 17592
/proc/meminfo: memFree=30097524/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=150412 CPUtime=1602.02 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 168147 0 0 0 160013 189 0 0 20 0 1 0 62232254 154021888 34413 33554432000 4194304 5646918 140734659646528 140734659645224 4397612 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 37603 34413 146 355 0 37244 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 150412

[startup+1662.3 s]
/proc/loadavg: 2.23 2.24 2.19 3/177 17593
/proc/meminfo: memFree=29932908/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=200952 CPUtime=1662 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 174438 0 0 0 166003 197 0 0 20 0 1 0 62232254 205774848 41493 33554432000 4194304 5646918 140734659646528 140734659644664 4403164 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 50238 41493 146 355 0 49879 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 200952

[startup+1722.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/177 17594
/proc/meminfo: memFree=30135416/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=120464 CPUtime=1721.99 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 180314 0 0 0 171995 204 0 0 20 0 1 0 62232254 123355136 25086 33554432000 4194304 5646918 140734659646528 140734659645240 4403170 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 30116 25086 146 355 0 29757 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 120464

[startup+1782.3 s]
/proc/loadavg: 2.25 2.24 2.19 3/177 17595
/proc/meminfo: memFree=29930376/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=152264 CPUtime=1781.97 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 185203 0 0 0 177986 211 0 0 20 0 1 0 62232254 155918336 32815 33554432000 4194304 5646918 140734659646528 140734659644664 4403040 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 38066 32815 146 355 0 37707 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 152264



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.26 2.24 2.19 4/177 17595
/proc/meminfo: memFree=29847900/32872528 swapFree=1534436/1655032
[pid=17438] ppid=17435 vsize=203232 CPUtime=1800.07 cores=0,2,4,6
/proc/17438/stat : 17438 (minisatp) R 17435 17438 15006 0 -1 4202496 185956 0 0 0 179795 212 0 0 20 0 1 0 62232254 208109568 46852 33554432000 4194304 5646918 140734659646528 140734659644664 4403136 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/17438/statm: 50808 46852 146 355 0 50449 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 203232

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 0
Real time (s): 1800.4
CPU time (s): 1800.08
CPU user time (s): 1797.95
CPU system time (s): 2.13068
CPU usage (%): 99.9822
Max. virtual memory (cumulated for all children) (KiB): 305804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.95
system time used= 2.13068
maximum resident set size= 285860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185956
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55
involuntary context switches= 1920

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4754 second user time and 12.3701 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-22 15:23:58
IDJOB=4111867
IDBENCH=90120
IDSOLVER=2555
FILE ID=node122/4111867-1466601838
RUNJOBID= node122-1466586446-15022
PBS_JOBID= 19953366
Free space on /tmp= 71732 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K94.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111867-1466601838/watcher-4111867-1466601838 -o /tmp/evaluation-result-4111867-1466601838/solver-4111867-1466601838 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1466586446-15022 --watchdog 1960  minisatp HOME/instance-4111867-1466601838.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 08b0e704e28720f9a0455d95c872079f
RANDOM SEED=1924210055

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.53
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
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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 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 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 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
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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 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 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 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	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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 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 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 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
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.53
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
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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 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 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 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
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 0
siblings	: 4
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29693580 kB
Buffers:            3884 kB
Cached:            37732 kB
SwapCached:         1876 kB
Active:           773940 kB
Inactive:          18768 kB
Active(anon):     748456 kB
Inactive(anon):     5536 kB
Active(file):      25484 kB
Inactive(file):    13232 kB
Unevictable:     1655032 kB
Mlocked:         1534436 kB
SwapTotal:      67108856 kB
SwapFree:       67097104 kB
Dirty:              4392 kB
Writeback:             0 kB
AnonPages:       2405824 kB
Mapped:             9648 kB
Shmem:                 0 kB
Slab:             596652 kB
SReclaimable:      40588 kB
SUnreclaim:       556064 kB
KernelStack:        1448 kB
PageTables:         8892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2582312 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    839680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-4111867-1466601838.opb

Free space on /tmp at the end= 71732 MiB
End job on node122 at 2016-06-22 15:53:59