Trace number 4112372

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 NameAnswerobjective functionCPU timeWall clock time
minisatp 2012-10-02 git-d91742b? (TO) 1800.1 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM1a5510d564851e49e3b50f1a87922ca2
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5556
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4722
Optimality of the best value was proved YES
Number of variables1989
Total number of constraints97
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)96
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint3
Maximum length of a constraint1989
Number of terms in the objective function 1989
Biggest coefficient in the objective function 268
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 382524
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 268
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 382524
Number of bits of the biggest sum of numbers19
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.00/0.09	c Converting 193 PB-constraints to clauses...
0.00/0.09	c   -- Unit propagations: (none)
0.00/0.09	c   -- Detecting intervals from adjacent constraints: ################################################################################################
0.00/0.09	c   -- Clauses(.)/Splits(s): (none)
0.00/0.09	c ---[ 192]---> Adder-cost: 5478   maxlim: 25152   bits: 15/15
0.19/0.23	c ---[ 190]---> BDD-cost:    3
0.19/0.23	c ---[ 188]---> BDD-cost:  255
0.19/0.23	c ---[ 186]---> BDD-cost:  147
0.19/0.24	c ---[ 184]---> BDD-cost:   83
0.19/0.24	c ---[ 182]---> BDD-cost:   93
0.19/0.24	c ---[ 180]---> BDD-cost:  149
0.19/0.24	c ---[ 178]---> BDD-cost:  235
0.19/0.24	c ---[ 176]---> BDD-cost:  339
0.19/0.25	c ---[ 174]---> BDD-cost:   17
0.19/0.25	c ---[ 172]---> BDD-cost:   21
0.19/0.25	c ---[ 170]---> BDD-cost:  301
0.19/0.25	c ---[ 168]---> BDD-cost:  181
0.19/0.26	c ---[ 166]---> BDD-cost:   87
0.19/0.26	c ---[ 164]---> BDD-cost:   71
0.19/0.26	c ---[ 162]---> BDD-cost:   67
0.19/0.26	c ---[ 160]---> BDD-cost:   57
0.19/0.26	c ---[ 158]---> BDD-cost:    7
0.19/0.26	c ---[ 156]---> BDD-cost:   39
0.19/0.26	c ---[ 154]---> BDD-cost:   85
0.19/0.26	c ---[ 152]---> BDD-cost:  147
0.19/0.26	c ---[ 150]---> BDD-cost:  189
0.19/0.26	c ---[ 148]---> BDD-cost:  211
0.19/0.27	c ---[ 146]---> BDD-cost:   95
0.19/0.27	c ---[ 144]---> BDD-cost:   41
0.19/0.27	c ---[ 142]---> BDD-cost:   35
0.19/0.27	c ---[ 140]---> BDD-cost:   59
0.19/0.27	c ---[ 138]---> BDD-cost:  171
0.19/0.27	c ---[ 136]---> BDD-cost:   59
0.19/0.27	c ---[ 134]---> BDD-cost:   51
0.19/0.27	c ---[ 132]---> BDD-cost:  151
0.19/0.27	c ---[ 130]---> BDD-cost:  147
0.19/0.27	c ---[ 128]---> BDD-cost:  317
0.19/0.28	c ---[ 126]---> BDD-cost:  201
0.19/0.28	c ---[ 124]---> BDD-cost:  105
0.19/0.28	c ---[ 122]---> BDD-cost:  101
0.19/0.28	c ---[ 120]---> BDD-cost:  121
0.19/0.28	c ---[ 118]---> BDD-cost:  133
0.19/0.28	c ---[ 116]---> BDD-cost:  149
0.19/0.29	c ---[ 114]---> BDD-cost:  189
0.19/0.29	c ---[ 112]---> BDD-cost:   77
0.19/0.29	c ---[ 110]---> BDD-cost:  201
0.19/0.29	c ---[ 108]---> BDD-cost:   49
0.19/0.29	c ---[ 106]---> BDD-cost:   81
0.19/0.29	c ---[ 104]---> BDD-cost:  121
0.19/0.29	c ---[ 102]---> BDD-cost:  433
0.29/0.30	c ---[ 100]---> BDD-cost:  191
0.29/0.31	c ---[  98]---> BDD-cost:   81
0.29/0.31	c ---[  96]---> BDD-cost:   71
0.29/0.31	c ---[  94]---> BDD-cost:  103
0.29/0.31	c ---[  92]---> BDD-cost:   93
0.29/0.31	c ---[  90]---> BDD-cost:   85
0.29/0.31	c ---[  88]---> BDD-cost:  189
0.29/0.31	c ---[  86]---> BDD-cost:  231
0.29/0.31	c ---[  84]---> BDD-cost:  101
0.29/0.31	c ---[  82]---> BDD-cost:  109
0.29/0.32	c ---[  80]---> BDD-cost:  171
0.29/0.32	c ---[  78]---> BDD-cost:  183
0.29/0.32	c ---[  76]---> BDD-cost:  173
0.29/0.32	c ---[  74]---> BDD-cost:  239
0.29/0.32	c ---[  72]---> BDD-cost:   91
0.29/0.33	c ---[  70]---> BDD-cost:  271
0.29/0.33	c ---[  68]---> BDD-cost:  239
0.29/0.33	c ---[  66]---> BDD-cost:  105
0.29/0.33	c ---[  64]---> BDD-cost:  117
0.29/0.34	c ---[  62]---> BDD-cost:  221
0.29/0.34	c ---[  60]---> BDD-cost:  213
0.29/0.34	c ---[  58]---> BDD-cost:  145
0.29/0.34	c ---[  56]---> BDD-cost:  179
0.29/0.34	c ---[  54]---> BDD-cost:  213
0.29/0.35	c ---[  52]---> BDD-cost:  143
0.29/0.35	c ---[  50]---> BDD-cost:  209
0.29/0.35	c ---[  48]---> BDD-cost:   81
0.29/0.35	c ---[  46]---> BDD-cost:  205
0.29/0.35	c ---[  44]---> BDD-cost:   61
0.29/0.35	c ---[  42]---> BDD-cost:  225
0.29/0.36	c ---[  40]---> BDD-cost:  129
0.29/0.36	c ---[  38]---> BDD-cost:  253
0.29/0.36	c ---[  36]---> BDD-cost:   71
0.29/0.36	c ---[  34]---> BDD-cost:  203
0.29/0.37	c ---[  32]---> BDD-cost:   45
0.29/0.37	c ---[  30]---> BDD-cost:  133
0.29/0.37	c ---[  28]---> BDD-cost:  323
0.29/0.37	c ---[  26]---> BDD-cost:  155
0.29/0.37	c ---[  24]---> BDD-cost:   89
0.29/0.38	c ---[  22]---> BDD-cost:   93
0.29/0.38	c ---[  20]---> BDD-cost:   83
0.29/0.38	c ---[  18]---> BDD-cost:   67
0.29/0.38	c ---[  16]---> BDD-cost:  133
0.29/0.38	c ---[  14]---> BDD-cost:  247
0.29/0.38	c ---[  12]---> BDD-cost:   97
0.29/0.38	c ---[  10]---> BDD-cost:   97
0.29/0.38	c ---[   8]---> BDD-cost:  151
0.29/0.38	c ---[   6]---> BDD-cost:  181
0.29/0.39	c ---[   4]---> BDD-cost:  151
0.29/0.39	c ---[   2]---> BDD-cost:  181
0.29/0.39	c ---[   0]---> Adder-cost: 3598   maxlim: 1961   bits: 11/11
1800.08/1800.40	|  Eliminated clauses:           0.01 Mb                                      |
1800.08/1800.40	============================[ Search Statistics ]==============================
1800.08/1800.40	| Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1800.08/1800.40	|           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1800.08/1800.40	===============================================================================
1800.08/1800.40	|       100 |   23745    94248   302895 |    34557       98     12 |  1.941 % |
1800.08/1800.40	|       250 |   23743    94248   302895 |    38013      246     22 |  1.950 % |
1800.08/1800.40	|       475 |   23743    94248   302895 |    41814      468     84 |  1.950 % |
1800.08/1800.40	|       812 |   23486    94248   302895 |    45996      802     67 |  2.996 % |
1800.08/1800.40	|      1318 |   23473    94248   302895 |    50595     1307     53 |  3.048 % |
1800.08/1800.40	|      2077 |   23473    94248   302895 |    55655     2066     44 |  3.048 % |
1800.08/1800.40	|      3216 |   23472    94248   302895 |    61220     3202     41 |  3.053 % |
1800.08/1800.40	|      4924 |   23472    94248   302895 |    67342     4910     40 |  3.053 % |
1800.08/1800.40	|      7486 |   23472    94248   302895 |    74077     7472     47 |  3.053 % |
1800.08/1800.40	|     11330 |   23452    94248   302895 |    81485    11284     49 |  3.134 % |
1800.08/1800.40	|     17096 |   23448    94248   302895 |    89633    17046     50 |  3.150 % |
1800.08/1800.40	|     25745 |   23443    94248   302895 |    98596    25671     57 |  3.171 % |
1800.08/1800.40	|     38719 |   23421    94248   302895 |   108456    38547     79 |  3.260 % |
1800.08/1800.40	|     58180 |   23409    94248   302895 |   119302    57969    100 |  3.309 % |
1800.08/1800.40	|     87372 |   23405    94248   302895 |   131232    87028    131 |  3.325 % |
1800.08/1800.40	|    131161 |   23384    94248   302895 |   144355   130632    150 |  3.411 % |
1800.08/1800.40	|    196845 |   23285    94248   302895 |   158791    82593    160 |  3.814 % |
1800.08/1800.40	|    295371 |   23241    94248   302895 |   174670    60039    120 |  3.993 % |
1800.08/1800.40	|    443160 |   23186    94248   302895 |   192137    76441    177 |  4.217 % |
1800.08/1800.40	|    664843 |   23080    94248   302895 |   211351   148943    214 |  4.648 % |
1800.08/1800.40	|    997368 |   22943    94248   302895 |   232486   143516    262 |  5.206 % |
1800.08/1800.40	|   1496156 |   22743    94248   302895 |   255734    50881     73 |  6.020 % |
1800.08/1800.40	|   2244338 |   22524    94248   302895 |   281308   167248    271 |  6.911 % |
1800.08/1800.40	|   3366612 |   22020    94248   302895 |   309439    84743    152 |  8.962 % |
1800.08/1800.40	c 
1800.08/1800.40	c *** TERMINATED ***
1800.08/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-4112372-1466530836/watcher-4112372-1466530836 -o /tmp/evaluation-result-4112372-1466530836/solver-4112372-1466530836 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960 minisatp HOME/instance-4112372-1466530836.opb 

pid=31835
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.00 2.02 2.01 3/177 31838
/proc/meminfo: memFree=31535060/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=7280 CPUtime=0 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 55130343 7454720 386 33554432000 4194304 5646918 140734761327520 140733410422872 4292320 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 1820 386 89 355 0 1461 0

[startup+0.100215 s]
/proc/loadavg: 2.00 2.02 2.01 3/177 31838
/proc/meminfo: memFree=31535060/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=10804 CPUtime=0.09 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 1414 0 0 0 9 0 0 0 20 0 1 0 55130343 11063296 1258 33554432000 4194304 5646918 140734761327520 140733410422872 4817409 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 2701 1258 111 355 0 2342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10804

[startup+0.200313 s]
/proc/loadavg: 2.00 2.02 2.01 3/177 31838
/proc/meminfo: memFree=31535060/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=11952 CPUtime=0.19 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 1826 0 0 0 19 0 0 0 20 0 1 0 55130343 12238848 1545 33554432000 4194304 5646918 140734761327520 140733410422872 4819040 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 2988 1545 115 355 0 2629 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11952

[startup+0.300227 s]
/proc/loadavg: 2.00 2.02 2.01 3/177 31838
/proc/meminfo: memFree=31535060/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=14540 CPUtime=0.29 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 2703 0 0 0 29 0 0 0 20 0 1 0 55130343 14888960 2215 33554432000 4194304 5646918 140734761327520 140734761326184 4460864 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 3635 2215 149 355 0 3276 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14540

[startup+0.700277 s]
/proc/loadavg: 2.00 2.02 2.01 3/177 31838
/proc/meminfo: memFree=31535060/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=15740 CPUtime=0.69 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 2977 0 0 0 69 0 0 0 20 0 1 0 55130343 16117760 2489 33554432000 4194304 5646918 140734761327520 140734761326184 4824637 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 3935 2489 149 355 0 3576 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15740

[startup+1.50022 s]
/proc/loadavg: 2.00 2.02 2.01 3/178 31839
/proc/meminfo: memFree=31524720/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=16288 CPUtime=1.49 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 3122 0 0 0 149 0 0 0 20 0 1 0 55130343 16678912 2634 33554432000 4194304 5646918 140734761327520 140734760603144 4817610 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 4072 2634 149 355 0 3713 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16288

[startup+3.10029 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 31839
/proc/meminfo: memFree=31506796/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=26152 CPUtime=3.09 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 6290 0 0 0 309 0 0 0 20 0 1 0 55130343 26779648 6088 33554432000 4194304 5646918 140734761327520 140734761325624 4402736 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 6538 6089 183 355 0 6179 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26152

[startup+6.30025 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 31839
/proc/meminfo: memFree=31492856/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=34536 CPUtime=6.28 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 7839 0 0 0 628 0 0 0 20 0 1 0 55130343 35364864 8133 33554432000 4194304 5646918 140734761327520 140734761325656 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 8634 8133 183 355 0 8275 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34536

[startup+12.7002 s]
/proc/loadavg: 2.07 2.03 2.01 3/178 31839
/proc/meminfo: memFree=31462192/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=55396 CPUtime=12.69 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 9350 0 0 0 1268 1 0 0 20 0 1 0 55130343 56725504 13217 33554432000 4194304 5646918 140734761327520 140734761325768 4416598 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 13849 13217 183 355 0 13490 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55396

[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.01 3/177 31840
/proc/meminfo: memFree=31397404/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=108616 CPUtime=25.48 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 11078 0 0 0 2546 2 0 0 20 0 1 0 55130343 111222784 23752 33554432000 4194304 5646918 140734761327520 140734761325656 4400009 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 27154 23752 183 355 0 26795 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 108616

[startup+51.1004 s]
/proc/loadavg: 2.17 2.06 2.02 3/177 31840
/proc/meminfo: memFree=31350024/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=112408 CPUtime=51.07 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 14661 0 0 0 5102 5 0 0 20 0 1 0 55130343 115105792 26781 33554432000 4194304 5646918 140734761327520 140734761325656 4399417 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 28102 26781 185 355 0 27743 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 112408

[startup+102.3 s]
/proc/loadavg: 2.10 2.06 2.02 3/177 31841
/proc/meminfo: memFree=31240668/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=167476 CPUtime=102.28 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 19267 0 0 0 10218 10 0 0 20 0 1 0 55130343 171495424 39155 33554432000 4194304 5646918 140734761327520 140734761325656 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 41869 39155 185 355 0 41510 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 167476

[startup+162.3 s]
/proc/loadavg: 2.04 2.05 2.02 3/177 31842
/proc/meminfo: memFree=31401948/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=72576 CPUtime=162.25 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 24251 0 0 0 16209 16 0 0 20 0 1 0 55130343 74317824 17687 33554432000 4194304 5646918 140734761327520 140734761326232 4403147 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 18144 17687 185 355 0 17785 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 72576

[startup+222.307 s]
/proc/loadavg: 2.09 2.06 2.02 3/177 31843
/proc/meminfo: memFree=31311164/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=93948 CPUtime=222.26 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 27973 0 0 0 22205 21 0 0 20 0 1 0 55130343 96202752 21057 33554432000 4194304 5646918 140734761327520 140734761325656 4402684 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 23487 21057 185 355 0 23128 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 93948

[startup+282.3 s]
/proc/loadavg: 2.04 2.05 2.01 3/177 31844
/proc/meminfo: memFree=31074168/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=258224 CPUtime=282.24 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 30298 0 0 0 28199 25 0 0 20 0 1 0 55130343 264421376 59145 33554432000 4194304 5646918 140734761327520 140734761325624 4403124 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 64556 59145 185 355 0 64197 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 258224

[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/177 31846
/proc/meminfo: memFree=31104408/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=259608 CPUtime=342.23 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 33645 0 0 0 34193 30 0 0 20 0 1 0 55130343 265838592 64229 33554432000 4194304 5646918 140734761327520 140734761325656 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 64902 64229 185 355 0 64543 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 259608

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/177 31847
/proc/meminfo: memFree=31087616/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=180248 CPUtime=402.22 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 36202 0 0 0 40185 37 0 0 20 0 1 0 55130343 184573952 40786 33554432000 4194304 5646918 140734761327520 140734761325624 4398031 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 45062 40786 185 355 0 44703 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 180248

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31848
/proc/meminfo: memFree=31063428/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=131856 CPUtime=462.21 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 39748 0 0 0 46179 42 0 0 20 0 1 0 55130343 135020544 26462 33554432000 4194304 5646918 140734761327520 140734761326216 4397505 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 32964 26462 185 355 0 32605 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 131856

[startup+522.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/177 31849
/proc/meminfo: memFree=31169672/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=264804 CPUtime=522.19 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 40983 0 0 0 52175 44 0 0 20 0 1 0 55130343 271159296 58937 33554432000 4194304 5646918 140734761327520 140734761325656 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 66201 58937 185 355 0 65842 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 264804

[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 31853
/proc/meminfo: memFree=31129356/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=266176 CPUtime=582.18 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 44378 0 0 0 58169 49 0 0 20 0 1 0 55130343 272564224 51678 33554432000 4194304 5646918 140734761327520 140734761325656 4399664 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 66544 51678 185 355 0 66185 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 266176


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


[startup+882.307 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 31859
/proc/meminfo: memFree=31065600/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=404396 CPUtime=882.14 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 56719 0 0 0 88141 73 0 0 20 0 1 0 55130343 414101504 69858 33554432000 4194304 5646918 140734761327520 140734761325656 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 101099 69858 185 355 0 100740 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 404396

[startup+942.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31861
/proc/meminfo: memFree=30895920/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=622248 CPUtime=942.12 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 57823 0 0 0 94137 75 0 0 20 0 1 0 55130343 637181952 101621 33554432000 4194304 5646918 140734761327520 140734761326216 4403167 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 155562 101621 185 355 0 155203 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 622248

[startup+1002.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/177 31918
/proc/meminfo: memFree=31421104/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=275984 CPUtime=1002.11 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 60472 0 0 0 100131 80 0 0 20 0 1 0 55130343 282607616 55241 33554432000 4194304 5646918 140734761327520 140734761325656 4403372 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 68996 55241 185 355 0 68637 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 275984

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/177 31919
/proc/meminfo: memFree=31468296/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=114544 CPUtime=1062.09 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 62847 0 0 0 106127 82 0 0 20 0 1 0 55130343 117293056 26241 33554432000 4194304 5646918 140734761327520 140734761326216 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 28636 26241 185 355 0 28277 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 114544

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31920
/proc/meminfo: memFree=31343532/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=277440 CPUtime=1122.09 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 64380 0 0 0 112123 86 0 0 20 0 1 0 55130343 284098560 62008 33554432000 4194304 5646918 140734761327520 140734761325624 4389235 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 69360 62008 185 355 0 69001 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 277440

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 31924
/proc/meminfo: memFree=31364340/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=147156 CPUtime=1182.08 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 67236 0 0 0 118117 91 0 0 20 0 1 0 55130343 150687744 32765 33554432000 4194304 5646918 140734761327520 140734761326216 4397622 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 36789 32765 185 355 0 36430 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 147156

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 31949
/proc/meminfo: memFree=31302028/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=279096 CPUtime=1242.07 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 68270 0 0 0 124113 94 0 0 20 0 1 0 55130343 285794304 69058 33554432000 4194304 5646918 140734761327520 140734761325656 4402827 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 69774 69058 185 355 0 69415 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 279096

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31950
/proc/meminfo: memFree=31349452/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=148772 CPUtime=1302.06 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 71149 0 0 0 130107 99 0 0 20 0 1 0 55130343 152342528 33176 33554432000 4194304 5646918 140734761327520 140734761326216 4403225 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 37193 33176 185 355 0 36834 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 148772

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31951
/proc/meminfo: memFree=31188100/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=281076 CPUtime=1362.05 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 72227 0 0 0 136104 101 0 0 20 0 1 0 55130343 287821824 60816 33554432000 4194304 5646918 140734761327520 140734761325624 4403215 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 70269 60816 185 355 0 69910 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 281076

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31952
/proc/meminfo: memFree=31366560/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=200732 CPUtime=1422.04 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 75067 0 0 0 142098 106 0 0 20 0 1 0 55130343 205549568 40249 33554432000 4194304 5646918 140734761327520 140734761326216 4402764 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 50183 40249 185 355 0 49824 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 200732

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31953
/proc/meminfo: memFree=31074564/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=416868 CPUtime=1482.03 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 76952 0 0 0 148092 111 0 0 20 0 1 0 55130343 426872832 81008 33554432000 4194304 5646918 140734761327520 140734761325656 4403178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 104217 81008 185 355 0 103858 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 416868

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31954
/proc/meminfo: memFree=31244300/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=105520 CPUtime=1542.03 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 78495 0 0 0 154089 114 0 0 20 0 1 0 55130343 108052480 23925 33554432000 4194304 5646918 140734761327520 140734761326216 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 26380 23925 185 355 0 26021 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 105520

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31956
/proc/meminfo: memFree=31319116/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=286784 CPUtime=1602.01 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 80442 0 0 0 160084 117 0 0 20 0 1 0 55130343 293666816 57548 33554432000 4194304 5646918 140734761327520 140734761326216 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 71696 57548 185 355 0 71337 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 286784

[startup+1662.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/177 31957
/proc/meminfo: memFree=31129112/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=420016 CPUtime=1662 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 81196 0 0 0 166081 119 0 0 20 0 1 0 55130343 430096384 85383 33554432000 4194304 5646918 140734761327520 140734761325656 4397622 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 105004 85383 185 355 0 104645 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 420016

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 31958
/proc/meminfo: memFree=31206056/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=287952 CPUtime=1721.99 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 84204 0 0 0 172075 124 0 0 20 0 1 0 55130343 294862848 55769 33554432000 4194304 5646918 140734761327520 140734761326216 4402661 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 71988 55769 185 355 0 71629 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 287952

[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/178 31962
/proc/meminfo: memFree=30969456/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=420796 CPUtime=1781.99 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 84867 0 0 0 178072 127 0 0 20 0 1 0 55130343 430895104 85558 33554432000 4194304 5646918 140734761327520 140734761325656 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 105199 85558 185 355 0 104840 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 420796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.05 2.01 3/178 31962
/proc/meminfo: memFree=31143792/32872528 swapFree=338416/354768
[pid=31838] ppid=31835 vsize=421692 CPUtime=1800.08 cores=0,2,4,6
/proc/31838/stat : 31838 (minisatp) R 31835 31838 29294 0 -1 4202496 85103 0 0 0 179881 127 0 0 20 0 1 0 55130343 431812608 90904 33554432000 4194304 5646918 140734761327520 140734761325656 4403416 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/31838/statm: 105423 90904 185 355 0 105064 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 421692

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 31838 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1798.82
CPU system time (s): 1.2888
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 653016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.2888
maximum resident set size= 448916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85103
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= 50
involuntary context switches= 1975

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50232 second user time and 6.95694 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-21 19:40:36
IDJOB=4112372
IDBENCH=1852
IDSOLVER=2555
FILE ID=node126/4112372-1466530836
RUNJOBID= node126-1466515257-29310
PBS_JOBID= 19942885
Free space on /tmp= 71736 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-l152lav.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4112372-1466530836/watcher-4112372-1466530836 -o /tmp/evaluation-result-4112372-1466530836/solver-4112372-1466530836 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960  minisatp HOME/instance-4112372-1466530836.opb

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

MD5SUM BENCH= 1a5510d564851e49e3b50f1a87922ca2
RANDOM SEED=1798563875

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31536364 kB
Buffers:           15084 kB
Cached:            61948 kB
SwapCached:         1720 kB
Active:           222156 kB
Inactive:          52796 kB
Active(anon):     198968 kB
Inactive(anon):      948 kB
Active(file):      23188 kB
Inactive(file):    51848 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67099096 kB
Dirty:              3768 kB
Writeback:             0 kB
AnonPages:        551672 kB
Mapped:             7784 kB
Shmem:                 0 kB
Slab:             572000 kB
SReclaimable:      16032 kB
SUnreclaim:       555968 kB
KernelStack:        1464 kB
PageTables:         5060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     673176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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-4112372-1466530836.opb

Free space on /tmp at the end= 71732 MiB
End job on node126 at 2016-06-21 20:10:37