Trace number 4111971

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.09 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-blend.opb
MD5SUMeff6ad715055e79721cc364806b971f0
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark1295806500506
Best CPU time to get the best result obtained on this benchmark1800.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables2490
Total number of constraints74
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints74
Minimum length of a constraint30
Maximum length of a constraint780
Number of terms in the objective function 660
Biggest coefficient in the objective function 14388140441600
Number of bits for the biggest coefficient in the objective function 44
Sum of the numbers in the objective function 203610440670021
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 78436840243200
Number of bits of the biggest number in a constraint 47
Biggest sum of numbers in a constraint 789015556311444
Number of bits of the biggest sum of numbers50
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.12	c Converting 109 PB-constraints to clauses...
0.09/0.12	c   -- Unit propagations: ppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppppp
0.09/0.16	c   -- Detecting intervals from adjacent constraints: #######################################
0.09/0.16	c   -- Clauses(.)/Splits(s): (none)
0.09/0.16	c ---[ 107]---> BDD-cost:   98
0.19/0.24	c ---[ 105]---> Sorter-cost:12476     Base: 2 2 2 2 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
16.39/16.45	c ---[ 103]---> Sorter-cost:10816     Base: 2 2 2 2 5 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2
20.49/20.58	c ---[ 101]---> Adder-cost: 669   maxlim: 983020000   bits: 31/30
30.28/30.30	c ---[  99]---> Adder-cost: 1422   maxlim: 21474844234800   bits: 45/45
43.58/43.69	c ---[  97]---> BDD-cost:  123
43.58/43.69	c ---[  95]---> BDD-cost:  118
43.58/43.69	c ---[  93]---> BDD-cost:  118
43.58/43.69	c ---[  91]---> Sorter-cost: 1174     Base: 2 2 2 2 2 5 5 2 2 2 2 2 2
43.68/43.74	c ---[  89]---> Sorter-cost: 2444     Base: 2 2 2 2 5 5 5 2 2 2 2 2 2 2 2 2 2 2 2
44.48/44.56	c ---[  87]---> Sorter-cost: 2574     Base: 2 2 2 2 2 2 2 2 2 5 5 5 2 2 2 2 2 2 2
44.88/44.94	c ---[  85]---> BDD-cost:  917
45.19/45.21	c ---[  83]---> Adder-cost: 768   maxlim: 81910000   bits: 27/27
49.99/50.05	c ---[  81]---> Sorter-cost: 9339     Base: 5 5 5 2 2 2 2 2 2 2 2 2 5 2 2 2 2 2 2
58.68/58.75	c ---[  79]---> Adder-cost: 723   maxlim: 24573000   bits: 25/25
60.18/60.25	c ---[  77]---> Adder-cost: 564   maxlim: 26305422   bits: 25/25
62.18/62.29	c ---[  75]---> BDD-cost:  268
62.28/62.30	c ---[  73]---> Adder-cost: 926   maxlim: 245745000   bits: 29/28
74.38/74.44	c ---[  71]---> Adder-cost: 860   maxlim: 102390000   bits: 28/27
81.58/81.66	c ---[  69]---> Adder-cost: 476   maxlim: 16382000   bits: 25/24
82.28/82.34	c ---[  67]---> BDD-cost:   28
82.28/82.35	c ---[  65]---> Sorter-cost: 1783     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
82.28/82.35	c ---[  63]---> Sorter-cost: 1516     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
82.28/82.36	c ---[  61]---> BDD-cost:  110
82.28/82.36	c ---[  59]---> Sorter-cost: 1087     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2
82.28/82.37	c ---[  57]---> Sorter-cost: 1516     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
82.28/82.37	c ---[  55]---> BDD-cost:  192
82.28/82.38	c ---[  53]---> BDD-cost:  133
82.28/82.38	c ---[  51]---> Adder-cost: 1334   maxlim: 712568983   bits: 30/30
106.57/106.62	c ---[  49]---> Sorter-cost: 3110     Base: 2 2 2 2 5 5 5 2 2 2 2 2 2 2 2 2 2
107.17/107.27	c ---[  47]---> Adder-cost: 1966   maxlim: 107374268665698   bits: 48/47
114.27/114.35	c ---[  45]---> Adder-cost: 4153   maxlim: 25984602999453   bits: 46/45
325.33/325.49	c ---[  43]---> Adder-cost: 2034   maxlim: 69033771   bits: 28/27
330.43/330.51	c ---[  41]---> Adder-cost: 3121   maxlim: 3723072426   bits: 33/32
766.37/766.56	c ---[  40]---> Adder-cost: 1592   maxlim: 2629294289   bits: 32/32
849.85/850.02	c ---[  39]---> Adder-cost: 1396   maxlim: 525858857   bits: 30/29
865.56/865.80	c ---[  38]---> Adder-cost: 340   maxlim: 524286   bits: 20/19
865.66/865.87	c ---[  37]---> Adder-cost: 544   maxlim: 9737000   bits: 24/24
865.75/865.99	c ---[  36]---> Adder-cost: 1120   maxlim: 103925646   bits: 28/27
867.95/868.17	c ---[  35]---> Adder-cost: 1046   maxlim: 131071499   bits: 28/27
869.65/869.80	c ---[  33]---> Adder-cost: 654   maxlim: 204770000   bits: 28/28
873.85/874.07	c ---[  32]---> Adder-cost: 1354   maxlim: 505935989   bits: 30/29
888.85/889.03	c ---[  31]---> Adder-cost: 1282   maxlim: 1264839974   bits: 31/31
958.14/958.34	c ---[  30]---> Adder-cost: 302   maxlim: 524286   bits: 20/19
958.24/958.41	c ---[  29]---> Adder-cost: 486   maxlim: 9731885   bits: 24/24
958.34/958.52	c ---[  28]---> Adder-cost: 1014   maxlim: 102494547   bits: 28/27
960.24/960.47	c ---[  27]---> Sorter-cost:12236     Base: 2 2 2 2 2 2 5 5 5 2 2 2 2 2 2 2 2 2 2 2
961.64/961.82	c ---[  26]---> Adder-cost: 1636   maxlim: 4744788299   bits: 33/33
1058.62/1058.87	c ---[  25]---> Adder-cost: 1544   maxlim: 4744788299   bits: 33/33
1116.21/1116.43	c ---[  24]---> Adder-cost: 292   maxlim: 524286   bits: 20/19
1116.21/1116.50	c ---[  23]---> Adder-cost: 486   maxlim: 9731885   bits: 24/24
1116.42/1116.62	c ---[  21]---> Adder-cost: 652   maxlim: 204770000   bits: 29/28
1119.62/1119.83	c ---[  20]---> Adder-cost: 1004   maxlim: 102494547   bits: 28/27
1121.51/1121.77	c ---[  19]---> Sorter-cost:12236     Base: 2 2 2 2 2 2 5 5 5 2 2 2 2 2 2 2 2 2 2 2
1122.92/1123.12	c ---[  18]---> Adder-cost: 893   maxlim: 30832527   bits: 26/25
1126.41/1126.61	c ---[  17]---> Sorter-cost: 1191     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1126.41/1126.63	c ---[  16]---> Sorter-cost: 1923     Base: 2 2 2 2 2 2 2 2 2 2 2 2 5 3 2 2 2
1126.51/1126.74	c ---[  15]---> Sorter-cost: 2190     Base: 2 2 2 2 2 2 2 2 2 2 2 2
1126.51/1126.75	c ---[  14]---> Sorter-cost:  287     Base: 2 2 2 2 2 2 2 2 2 2 2
1126.51/1126.75	c ---[  13]---> BDD-cost:   10
1126.51/1126.75	c ---[  12]---> BDD-cost:   12
1126.51/1126.75	c ---[  11]---> Sorter-cost:  794     Base: 2 2 2 2 2 2 2 2 2 2 2 5 2 2
1126.51/1126.77	c ---[   9]---> BDD-cost:  342
1126.51/1126.77	c ---[   8]---> Sorter-cost:  350     Base: 2 2 2 2 2 2 2 2 2 2 2
1126.51/1126.78	c ---[   7]---> Sorter-cost:  480     Base: 2 2 2 2 2 2 2 2 2 2 2
1126.51/1126.78	c ---[   5]---> Sorter-cost: 1012     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2
1126.61/1126.81	c ---[   4]---> Sorter-cost: 3066     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 2 13 2 2
1126.61/1126.88	c ---[   2]---> Sorter-cost:  741     Base: 2 2 2 2 2 2 2 2 2 2 2 2 2 3 2 2
1126.71/1126.92	c ---[   0]---> Adder-cost: 928   maxlim: 81900000   bits: 27/27
1800.08/1800.40	|  Eliminated clauses:           1.00 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 |   59532   376509  1194760 |   138053       84      5 | 29.828 % |
1800.08/1800.40	|       250 |   59219   376509  1194760 |   151858      231      7 | 30.096 % |
1800.08/1800.40	|       475 |   59194   376509  1194760 |   167044      454      8 | 30.117 % |
1800.08/1800.40	|       812 |   59070   376509  1194760 |   183748      777      8 | 30.223 % |
1800.08/1800.40	|      1318 |   59056   376509  1194760 |   202123     1280      9 | 30.235 % |
1800.08/1800.40	|      2077 |   58824   376509  1194760 |   222336     2031     10 | 30.434 % |
1800.08/1800.40	|      3216 |   57672   376509  1194760 |   244569     3065     18 | 31.419 % |
1800.08/1800.40	|      4924 |   57427   376509  1194760 |   269026     4469     19 | 31.628 % |
1800.08/1800.40	|      7486 |   57373   376509  1194760 |   295929     7024     20 | 31.674 % |
1800.08/1800.40	|     11330 |   56823   376509  1194760 |   325522    10537     20 | 32.144 % |
1800.08/1800.40	|     17096 |   56512   376509  1194760 |   358074    15385     25 | 32.410 % |
1800.08/1800.40	|     25745 |   56367   376509  1194760 |   393882    23897     28 | 32.534 % |
1800.08/1800.40	|     38719 |   55969   376509  1194760 |   433270    36452     33 | 32.875 % |
1800.08/1800.40	|     58180 |   55959   376509  1194760 |   476597    55874     33 | 32.883 % |
1800.08/1800.40	|     87372 |   55959   376509  1194760 |   524257    85062     33 | 32.883 % |
1800.08/1800.40	|    131161 |   55957   376509  1194760 |   576682   128848     34 | 32.885 % |
1800.08/1800.40	|    196845 |   55919   376509  1194760 |   634351   194530     35 | 32.917 % |
1800.08/1800.40	|    295371 |   55919   376509  1194760 |   697786   289429     35 | 32.917 % |
1800.08/1800.40	|    443160 |   55919   376509  1194760 |   767564   437218     36 | 32.917 % |
1800.08/1800.40	|    664843 |   55919   376509  1194760 |   844321   658901     37 | 32.917 % |
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-4111971-1466548549/watcher-4111971-1466548549 -o /tmp/evaluation-result-4111971-1466548549/solver-4111971-1466548549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960 minisatp HOME/instance-4111971-1466548549.opb 

pid=1652
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.11 2.11 2.07 3/176 1658
/proc/meminfo: memFree=31631608/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=6612 CPUtime=0 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 366 0 0 0 0 0 0 0 20 0 1 0 56901656 6770688 242 33554432000 4194304 5646918 140737229911760 140735329745560 4261486 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 1653 242 97 355 0 1294 0

[startup+0.100176 s]
/proc/loadavg: 2.11 2.11 2.07 3/176 1658
/proc/meminfo: memFree=31631608/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=9420 CPUtime=0.09 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 1033 0 0 0 9 0 0 0 20 0 1 0 56901656 9646080 909 33554432000 4194304 5646918 140737229911760 140735329745560 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 2355 909 97 355 0 1996 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9420

[startup+0.200245 s]
/proc/loadavg: 2.11 2.11 2.07 3/176 1658
/proc/meminfo: memFree=31631608/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=11512 CPUtime=0.19 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 1646 0 0 0 19 0 0 0 20 0 1 0 56901656 11788288 1480 33554432000 4194304 5646918 140737229911760 140737229910440 4826286 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 2878 1480 114 355 0 2519 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 11512

[startup+0.300279 s]
/proc/loadavg: 2.11 2.11 2.07 3/176 1658
/proc/meminfo: memFree=31631608/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=13528 CPUtime=0.29 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 2384 0 0 0 29 0 0 0 20 0 1 0 56901656 13852672 1970 33554432000 4194304 5646918 140737229911760 140737229910440 4824627 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 3382 1970 115 355 0 3023 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13528

[startup+0.700235 s]
/proc/loadavg: 2.11 2.11 2.07 3/176 1658
/proc/meminfo: memFree=31631608/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=15268 CPUtime=0.69 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 3167 0 0 0 69 0 0 0 20 0 1 0 56901656 15634432 2423 33554432000 4194304 5646918 140737229911760 140737229910440 4817419 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 3817 2423 118 355 0 3458 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15268

[startup+1.50024 s]
/proc/loadavg: 2.11 2.11 2.07 3/177 1659
/proc/meminfo: memFree=31621588/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=15268 CPUtime=1.49 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 3167 0 0 0 149 0 0 0 20 0 1 0 56901656 15634432 2423 33554432000 4194304 5646918 140737229911760 140737229910520 4823289 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 3817 2423 118 355 0 3458 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15268

[startup+3.10027 s]
/proc/loadavg: 2.11 2.11 2.07 3/177 1659
/proc/meminfo: memFree=31620976/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=15268 CPUtime=3.09 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 3167 0 0 0 309 0 0 0 20 0 1 0 56901656 15634432 2423 33554432000 4194304 5646918 140737229911760 140737229910520 4560519 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 3817 2423 118 355 0 3458 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15268

[startup+6.30029 s]
/proc/loadavg: 2.10 2.11 2.07 3/177 1659
/proc/meminfo: memFree=31620760/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=15268 CPUtime=6.29 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 3167 0 0 0 629 0 0 0 20 0 1 0 56901656 15634432 2423 33554432000 4194304 5646918 140737229911760 140737229910520 4823232 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 3817 2423 118 355 0 3458 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15268

[startup+12.7002 s]
/proc/loadavg: 2.09 2.11 2.07 3/177 1659
/proc/meminfo: memFree=31621116/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=15268 CPUtime=12.69 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 3167 0 0 0 1269 0 0 0 20 0 1 0 56901656 15634432 2423 33554432000 4194304 5646918 140737229911760 140737229910520 4817571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 3817 2423 118 355 0 3458 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15268

[startup+25.5003 s]
/proc/loadavg: 2.15 2.12 2.07 3/177 1659
/proc/meminfo: memFree=31604012/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=32348 CPUtime=25.48 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 8407 0 0 0 2548 0 0 0 20 0 1 0 56901656 33124352 6708 33554432000 4194304 5646918 140737229911760 140737229910520 4831247 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 8087 6708 121 355 0 7728 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32348

[startup+51.1003 s]
/proc/loadavg: 2.10 2.11 2.07 3/177 1659
/proc/meminfo: memFree=31587640/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=33212 CPUtime=51.08 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 10211 0 0 0 5107 1 0 0 20 0 1 0 56901656 34009088 6960 33554432000 4194304 5646918 140737229911760 140737229910424 4478178 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 8303 6960 152 355 0 7944 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 33212

[startup+102.3 s]
/proc/loadavg: 2.14 2.12 2.08 3/177 1661
/proc/meminfo: memFree=31588492/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=36244 CPUtime=102.28 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 10937 0 0 0 10227 1 0 0 20 0 1 0 56901656 37113856 7686 33554432000 4194304 5646918 140737229911760 140737229910424 4823297 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 9061 7686 152 355 0 8702 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 36244

[startup+162.3 s]
/proc/loadavg: 2.12 2.11 2.08 3/177 1662
/proc/meminfo: memFree=31588400/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=37628 CPUtime=162.26 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 11292 0 0 0 16225 1 0 0 20 0 1 0 56901656 38531072 8050 33554432000 4194304 5646918 140737229911760 140737229763784 4823276 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 9407 8050 152 355 0 9048 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 37628

[startup+222.307 s]
/proc/loadavg: 2.04 2.09 2.07 3/177 1663
/proc/meminfo: memFree=31571536/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=37628 CPUtime=222.25 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 11292 0 0 0 22224 1 0 0 20 0 1 0 56901656 38531072 8050 33554432000 4194304 5646918 140737229911760 140737229763784 4817528 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 9407 8050 152 355 0 9048 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 37628

[startup+282.3 s]
/proc/loadavg: 2.19 2.12 2.08 3/178 1667
/proc/meminfo: memFree=31571812/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=37628 CPUtime=282.24 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 11292 0 0 0 28223 1 0 0 20 0 1 0 56901656 38531072 8050 33554432000 4194304 5646918 140737229911760 140737229763784 4824634 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 9407 8050 152 355 0 9048 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37628

[startup+342.3 s]
/proc/loadavg: 2.12 2.11 2.08 3/177 1669
/proc/meminfo: memFree=31553152/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=342.23 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15971 0 0 0 34221 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910520 4460017 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 56004

[startup+402.3 s]
/proc/loadavg: 2.04 2.09 2.07 3/177 1670
/proc/meminfo: memFree=31552388/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=402.22 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15971 0 0 0 40220 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910520 4817571 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 56004

[startup+462.3 s]
/proc/loadavg: 2.13 2.10 2.08 3/177 1671
/proc/meminfo: memFree=31552880/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=462.21 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15973 0 0 0 46219 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910520 4817691 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 56004

[startup+522.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/177 1672
/proc/meminfo: memFree=31552760/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=522.2 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15973 0 0 0 52218 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910520 4464108 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 56004

[startup+582.3 s]
/proc/loadavg: 2.02 2.06 2.07 3/177 1673
/proc/meminfo: memFree=31552504/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=582.19 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15973 0 0 0 58217 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910520 4824670 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 56004


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


[startup+882.307 s]
/proc/loadavg: 1.07 1.49 1.82 2/171 1719
/proc/meminfo: memFree=31638572/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=882.15 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15973 0 0 0 88213 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910424 4817373 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 56004

[startup+942.3 s]
/proc/loadavg: 1.20 1.45 1.79 2/170 1720
/proc/meminfo: memFree=31639316/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=942.14 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15973 0 0 0 94212 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910424 4823258 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 56004

[startup+1002.3 s]
/proc/loadavg: 1.12 1.38 1.74 2/171 1722
/proc/meminfo: memFree=31639224/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=1002.13 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15973 0 0 0 100211 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910424 4817614 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 56004

[startup+1062.3 s]
/proc/loadavg: 1.04 1.31 1.69 2/170 1722
/proc/meminfo: memFree=31639388/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=1062.12 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15973 0 0 0 106210 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910424 4823330 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 56004

[startup+1122.3 s]
/proc/loadavg: 1.01 1.25 1.64 2/170 1723
/proc/meminfo: memFree=31639312/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=56004 CPUtime=1122.11 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 15973 0 0 0 112209 2 0 0 20 0 1 0 56901656 57348096 12648 33554432000 4194304 5646918 140737229911760 140737229910424 4464031 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 14001 12648 152 355 0 13642 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 56004

[startup+1182.3 s]
/proc/loadavg: 1.00 1.20 1.60 3/170 1724
/proc/meminfo: memFree=31571308/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=125736 CPUtime=1182.1 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 25359 0 0 0 118206 4 0 0 20 0 1 0 56901656 128753664 29928 33554432000 4194304 5646918 140737229911760 140737229909896 4402784 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 31434 29928 185 355 0 31075 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 125736

[startup+1242.3 s]
/proc/loadavg: 1.03 1.17 1.56 2/170 1726
/proc/meminfo: memFree=31546160/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=164224 CPUtime=1242.06 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 27739 0 0 0 124202 4 0 0 20 0 1 0 56901656 168165376 36041 33554432000 4194304 5646918 140737229911760 140737229909896 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 41056 36041 185 355 0 40697 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 164224

[startup+1302.3 s]
/proc/loadavg: 1.12 1.17 1.54 2/170 1727
/proc/meminfo: memFree=31526720/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=169852 CPUtime=1302.06 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 28930 0 0 0 130201 5 0 0 20 0 1 0 56901656 173928448 40808 33554432000 4194304 5646918 140737229911760 140737229910008 4403040 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 42463 40808 185 355 0 42104 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 169852

[startup+1362.3 s]
/proc/loadavg: 1.07 1.15 1.51 2/170 1728
/proc/meminfo: memFree=31509716/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=224940 CPUtime=1362.05 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 30723 0 0 0 136199 6 0 0 20 0 1 0 56901656 230338560 45144 33554432000 4194304 5646918 140737229911760 140737229909896 4402788 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 56235 45144 185 355 0 55876 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 224940

[startup+1422.3 s]
/proc/loadavg: 1.09 1.14 1.48 2/170 1729
/proc/meminfo: memFree=31495180/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=229452 CPUtime=1422.05 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 31799 0 0 0 142199 6 0 0 20 0 1 0 56901656 234958848 48775 33554432000 4194304 5646918 140737229911760 140737229909896 4402774 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 57363 48775 185 355 0 57004 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 229452

[startup+1482.3 s]
/proc/loadavg: 1.03 1.11 1.44 2/171 1733
/proc/meminfo: memFree=31480972/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=235056 CPUtime=1482.03 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 32690 0 0 0 148197 6 0 0 20 0 1 0 56901656 240697344 52221 33554432000 4194304 5646918 140737229911760 140737229910008 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 58764 52221 185 355 0 58405 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 235056

[startup+1542.31 s]
/proc/loadavg: 1.01 1.09 1.41 2/171 1758
/proc/meminfo: memFree=31469392/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=237088 CPUtime=1542.02 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 33196 0 0 0 154196 6 0 0 20 0 1 0 56901656 242778112 54930 33554432000 4194304 5646918 140737229911760 140737229909896 4403454 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 59272 54930 185 355 0 58913 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 237088

[startup+1602.3 s]
/proc/loadavg: 1.00 1.07 1.39 2/170 1759
/proc/meminfo: memFree=31456460/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=239636 CPUtime=1602 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 33704 0 0 0 160193 7 0 0 20 0 1 0 56901656 245387264 58213 33554432000 4194304 5646918 140737229911760 140737229909896 4403497 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 59909 58213 185 355 0 59550 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 239636

[startup+1662.3 s]
/proc/loadavg: 1.07 1.07 1.36 2/170 1760
/proc/meminfo: memFree=31447448/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=325160 CPUtime=1661.99 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 35001 0 0 0 166191 8 0 0 20 0 1 0 56901656 332963840 60525 33554432000 4194304 5646918 140737229911760 140737229910456 4404212 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 81290 60525 185 355 0 80931 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 325160

[startup+1722.3 s]
/proc/loadavg: 1.14 1.08 1.35 2/170 1761
/proc/meminfo: memFree=31439112/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=326532 CPUtime=1721.98 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 35558 0 0 0 172190 8 0 0 20 0 1 0 56901656 334368768 62605 33554432000 4194304 5646918 140737229911760 140737229909896 4400560 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 81633 62605 185 355 0 81274 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 326532

[startup+1782.3 s]
/proc/loadavg: 1.15 1.10 1.34 2/170 1762
/proc/meminfo: memFree=31430532/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=329300 CPUtime=1781.98 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 36149 0 0 0 178189 9 0 0 20 0 1 0 56901656 337203200 64729 33554432000 4194304 5646918 140737229911760 140737229909896 4402853 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 82325 64729 185 355 0 81966 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 329300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.18 1.10 1.33 2/170 1763
/proc/meminfo: memFree=31427656/32872528 swapFree=338416/354768
[pid=1658] ppid=1652 vsize=330260 CPUtime=1800.08 cores=0,2,4,6
/proc/1658/stat : 1658 (minisatp) R 1652 1658 29294 0 -1 4202496 36336 0 0 0 179999 9 0 0 20 0 1 0 56901656 338186240 65427 33554432000 4194304 5646918 140737229911760 140737229909864 4402821 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/1658/statm: 82565 65427 185 355 0 82206 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 330260

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 1658 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.09
CPU user time (s): 1799.99
CPU system time (s): 0.101984
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 330260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.101984
maximum resident set size= 261708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36336
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= 60
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53831 second user time and 6.557 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-22 00:35:49
IDJOB=4111971
IDBENCH=2462
IDSOLVER=2555
FILE ID=node126/4111971-1466548549
RUNJOBID= node126-1466515257-29310
PBS_JOBID= 19942885
Free space on /tmp= 71732 MiB

SOLVER NAME= minisatp 2012-10-02 git-d91742b
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-blend.opb
COMMAND LINE= minisatp BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111971-1466548549/watcher-4111971-1466548549 -o /tmp/evaluation-result-4111971-1466548549/solver-4111971-1466548549 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466515257-29310 --watchdog 1960  minisatp HOME/instance-4111971-1466548549.opb

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

MD5SUM BENCH= eff6ad715055e79721cc364806b971f0
RANDOM SEED=1150956023

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:        31632440 kB
Buffers:           26808 kB
Cached:            98784 kB
SwapCached:         2128 kB
Active:            88092 kB
Inactive:          94540 kB
Active(anon):      58604 kB
Inactive(anon):     1588 kB
Active(file):      29488 kB
Inactive(file):    92952 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67099328 kB
Dirty:              3900 kB
Writeback:             0 kB
AnonPages:        412060 kB
Mapped:             8768 kB
Shmem:                 0 kB
Slab:             572880 kB
SReclaimable:      17152 kB
SUnreclaim:       555728 kB
KernelStack:        1480 kB
PageTables:         5112 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     530668 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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-4111971-1466548549.opb

Free space on /tmp at the end= 71736 MiB
End job on node126 at 2016-06-22 01:05:50