Trace number 3721370

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
PB07: minisat+ 1.14? (TO) 1800.06 1800.41

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/
submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
MD5SUM6f6d5bf9df98767681bd16885050de4b
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.069988
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables3900
Total number of constraints125
Number of constraints which are clauses65
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint60
Maximum length of a constraint65
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 66
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.00/0.04	c Converting 125 PB-constraints to clauses...
0.00/0.04	c   -- Unit propagations: (none)
0.00/0.04	c   -- Detecting intervals from adjacent constraints: (none)
0.00/0.04	c   -- Clauses(.)/Splits(s): .................................................................
0.00/0.04	c ---[  59]---> BDD-cost:  127
0.00/0.04	c ---[  58]---> BDD-cost:  127
0.00/0.04	c ---[  57]---> BDD-cost:  127
0.00/0.05	c ---[  56]---> BDD-cost:  127
0.00/0.05	c ---[  55]---> BDD-cost:  127
0.00/0.05	c ---[  54]---> BDD-cost:  127
0.00/0.05	c ---[  53]---> BDD-cost:  127
0.00/0.05	c ---[  52]---> BDD-cost:  127
0.00/0.05	c ---[  51]---> BDD-cost:  127
0.00/0.05	c ---[  50]---> BDD-cost:  127
0.00/0.05	c ---[  49]---> BDD-cost:  127
0.00/0.06	c ---[  48]---> BDD-cost:  127
0.00/0.06	c ---[  47]---> BDD-cost:  127
0.00/0.06	c ---[  46]---> BDD-cost:  127
0.00/0.06	c ---[  45]---> BDD-cost:  127
0.00/0.06	c ---[  44]---> BDD-cost:  127
0.00/0.06	c ---[  43]---> BDD-cost:  127
0.00/0.06	c ---[  42]---> BDD-cost:  127
0.00/0.07	c ---[  41]---> BDD-cost:  127
0.00/0.07	c ---[  40]---> BDD-cost:  127
0.00/0.07	c ---[  39]---> BDD-cost:  127
0.00/0.07	c ---[  38]---> BDD-cost:  127
0.00/0.07	c ---[  37]---> BDD-cost:  127
0.00/0.07	c ---[  36]---> BDD-cost:  127
0.00/0.07	c ---[  35]---> BDD-cost:  127
0.00/0.07	c ---[  34]---> BDD-cost:  127
0.00/0.08	c ---[  33]---> BDD-cost:  127
0.00/0.08	c ---[  32]---> BDD-cost:  127
0.08/0.08	c ---[  31]---> BDD-cost:  127
0.08/0.08	c ---[  30]---> BDD-cost:  127
0.08/0.08	c ---[  29]---> BDD-cost:  127
0.08/0.08	c ---[  28]---> BDD-cost:  127
0.08/0.08	c ---[  27]---> BDD-cost:  127
0.08/0.09	c ---[  26]---> BDD-cost:  127
0.08/0.09	c ---[  25]---> BDD-cost:  127
0.08/0.09	c ---[  24]---> BDD-cost:  127
0.08/0.09	c ---[  23]---> BDD-cost:  127
0.08/0.09	c ---[  22]---> BDD-cost:  127
0.08/0.09	c ---[  21]---> BDD-cost:  127
0.08/0.09	c ---[  20]---> BDD-cost:  127
0.08/0.09	c ---[  19]---> BDD-cost:  127
0.09/0.10	c ---[  18]---> BDD-cost:  127
0.09/0.10	c ---[  17]---> BDD-cost:  127
0.09/0.10	c ---[  16]---> BDD-cost:  127
0.09/0.10	c ---[  15]---> BDD-cost:  127
0.09/0.10	c ---[  14]---> BDD-cost:  127
0.09/0.10	c ---[  13]---> BDD-cost:  127
0.09/0.10	c ---[  12]---> BDD-cost:  127
0.09/0.11	c ---[  11]---> BDD-cost:  127
0.09/0.11	c ---[  10]---> BDD-cost:  127
0.09/0.11	c ---[   9]---> BDD-cost:  127
0.09/0.11	c ---[   8]---> BDD-cost:  127
0.09/0.11	c ---[   7]---> BDD-cost:  127
0.09/0.11	c ---[   6]---> BDD-cost:  127
0.09/0.11	c ---[   5]---> BDD-cost:  127
0.09/0.12	c ---[   4]---> BDD-cost:  127
0.09/0.12	c ---[   3]---> BDD-cost:  127
0.09/0.12	c ---[   2]---> BDD-cost:  127
0.09/0.12	c ---[   1]---> BDD-cost:  127
0.09/0.12	c ---[   0]---> BDD-cost:  127
0.09/0.13	c ==================================[MINISAT+]==================================
0.09/0.13	c | Conflicts | Original         | Learnt                           | Progress |
0.09/0.13	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.09/0.13	c ==============================================================================
0.09/0.13	c |         0 |   19025    53220 |    6341       0        0     nan |  0.000 % |
0.09/0.14	c |       100 |   19025    53220 |    6975     100    22495   224.9 |  0.521 % |
0.09/0.17	c |       252 |   19025    53220 |    7672     252    57653   228.8 |  0.521 % |
0.19/0.23	c |       479 |   19025    53220 |    8439     479   142680   297.9 |  0.521 % |
0.29/0.32	c |       817 |   19025    53220 |    9283     817   257799   315.5 |  0.521 % |
0.39/0.44	c |      1324 |   19025    53220 |   10212    1324   393175   297.0 |  0.521 % |
0.59/0.62	c |      2083 |   19025    53220 |   11233    2083   639365   306.9 |  0.521 % |
1.00/1.01	c |      3223 |   19025    53220 |   12356    3223  1112713   345.2 |  0.521 % |
1.69/1.79	c |      4936 |   19025    53220 |   13592    4936  2146671   434.9 |  0.521 % |
2.88/2.95	c |      7499 |   19025    53220 |   14951    7499  3577704   477.1 |  0.521 % |
4.59/4.63	c |     11343 |   19025    53220 |   16446   11343  5272155   464.8 |  0.521 % |
7.59/7.67	c |     17110 |   19025    53220 |   18091   17110  8073625   471.9 |  0.521 % |
13.69/13.73	c |     25759 |   19025    53220 |   19900   25759 15069901   585.0 |  0.521 % |
26.78/26.80	c |     38733 |   19025    53220 |   21890   24733 21283372   860.5 |  0.521 % |
52.18/52.25	c |     58194 |   19025    53220 |   24079   30907 26389906   853.8 |  0.521 % |
70.67/70.70	c |     87389 |   19025    53220 |   26487   20503 12566415   612.9 |  0.521 % |
114.37/114.44	c |    131180 |   19025    53220 |   29136   17682 13600685   769.2 |  0.521 % |
160.56/160.62	c |    196864 |   19025    53220 |   32050   32452 16729965   515.5 |  0.521 % |
260.74/260.84	c |    295391 |   19025    53220 |   35255   30338 21535356   709.8 |  0.521 % |
437.25/437.43	c |    443180 |   19025    53220 |   38780   22400 21111578   942.5 |  0.521 % |
761.90/762.11	c |    664864 |   19025    53220 |   42659   39701 40453422  1019.0 |  0.521 % |
1117.44/1117.78	c |    997392 |   19025    53220 |   46924   45740 31736087   693.8 |  0.521 % |
1726.75/1727.10	c |   1496182 |   19025    53220 |   51617   16761  8458258   504.6 |  0.521 % |
1800.05/1800.40	c 
1800.05/1800.40	c *** TERMINATED ***
1800.05/1800.40	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3721370-1338555884/watcher-3721370-1338555884 -o /tmp/evaluation-result-3721370-1338555884/solver-3721370-1338555884 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721370-1338555884.opb 

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: 1.95 2.01 1.99 3/174 15597
/proc/meminfo: memFree=28099652/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=1268 CPUtime=0 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 179 0 0 0 0 0 0 0 20 0 1 0 321713889 1298432 137 33554432000 134512640 135395479 4293450368 4293449336 135031278 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 317 137 74 216 0 99 0

[startup+0.082711 s]
/proc/loadavg: 1.95 2.01 1.99 3/174 15597
/proc/meminfo: memFree=28099652/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=2240 CPUtime=0.08 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 445 0 0 0 8 0 0 0 20 0 1 0 321713889 2293760 403 33554432000 134512640 135395479 4293450368 4293430196 134530448 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 560 403 88 216 0 342 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2240

[startup+0.100209 s]
/proc/loadavg: 1.95 2.01 1.99 3/174 15597
/proc/meminfo: memFree=28099652/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=2416 CPUtime=0.09 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 461 0 0 0 9 0 0 0 20 0 1 0 321713889 2473984 419 33554432000 134512640 135395479 4293450368 4293436092 135005844 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 604 419 88 216 0 386 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2416

[startup+0.300177 s]
/proc/loadavg: 1.95 2.01 1.99 3/174 15597
/proc/meminfo: memFree=28099652/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=4632 CPUtime=0.29 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 1017 0 0 0 29 0 0 0 20 0 1 0 321713889 4743168 975 33554432000 134512640 135395479 4293450368 4293448240 134573849 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 1158 975 106 216 0 940 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4632

[startup+0.700174 s]
/proc/loadavg: 1.95 2.01 1.99 3/174 15597
/proc/meminfo: memFree=28099652/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=6740 CPUtime=0.69 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 1557 0 0 0 69 0 0 0 20 0 1 0 321713889 6901760 1515 33554432000 134512640 135395479 4293450368 4293448240 134573950 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 1685 1515 106 216 0 1467 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6740

[startup+1.50018 s]
/proc/loadavg: 1.95 2.01 1.99 3/175 15598
/proc/meminfo: memFree=28093328/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=10956 CPUtime=1.49 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 2607 0 0 0 149 0 0 0 20 0 1 0 321713889 11218944 2565 33554432000 134512640 135395479 4293450368 4293448336 134576754 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 2739 2565 106 216 0 2521 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10956

[startup+3.10019 s]
/proc/loadavg: 1.95 2.01 1.99 3/175 15598
/proc/meminfo: memFree=28087176/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=19132 CPUtime=3.09 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 4644 0 0 0 308 1 0 0 20 0 1 0 321713889 19591168 4602 33554432000 134512640 135395479 4293450368 4293448240 134573723 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 4783 4603 106 216 0 4565 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19132

[startup+6.30018 s]
/proc/loadavg: 1.96 2.01 1.99 3/175 15598
/proc/meminfo: memFree=28072296/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=32588 CPUtime=6.29 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 8013 0 0 0 628 1 0 0 20 0 1 0 321713889 33370112 7971 33554432000 134512640 135395479 4293450368 4293448240 134573851 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 8147 7971 106 216 0 7929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32588

[startup+12.7002 s]
/proc/loadavg: 1.96 2.01 1.99 3/175 15598
/proc/meminfo: memFree=28042824/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=61056 CPUtime=12.68 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 15141 0 0 0 1266 2 0 0 20 0 1 0 321713889 62521344 15099 33554432000 134512640 135395479 4293450368 4293448720 134580965 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 15264 15099 106 216 0 15046 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 61056

[startup+25.5002 s]
/proc/loadavg: 1.97 2.01 1.99 3/175 15598
/proc/meminfo: memFree=28016412/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=86084 CPUtime=25.48 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 21383 0 0 0 2545 3 0 0 20 0 1 0 321713889 88150016 21341 33554432000 134512640 135395479 4293450368 4293448720 134580965 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 21521 21341 106 216 0 21303 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 86084

[startup+51.1002 s]
/proc/loadavg: 1.98 2.01 1.99 3/175 15598
/proc/meminfo: memFree=27991116/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=111040 CPUtime=51.08 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 27593 0 0 0 5103 5 0 0 20 0 1 0 321713889 113704960 27551 33554432000 134512640 135395479 4293450368 4293448720 134581053 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/15597/statm: 27760 27551 106 216 0 27542 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 111040

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.99 3/175 15598
/proc/meminfo: memFree=27988512/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=112484 CPUtime=102.27 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 27985 0 0 0 10222 5 0 0 20 0 1 0 321713889 115183616 27943 33554432000 134512640 135395479 4293450368 4293448720 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 28121 27943 106 216 0 27903 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 112484

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/175 15598
/proc/meminfo: memFree=27988388/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=112484 CPUtime=162.26 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 27988 0 0 0 16221 5 0 0 20 0 1 0 321713889 115183616 27946 33554432000 134512640 135395479 4293450368 4293448688 134573334 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 28121 27946 106 216 0 27903 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 112484

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/175 15599
/proc/meminfo: memFree=27977784/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=122520 CPUtime=222.24 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 30491 0 0 0 22219 5 0 0 20 0 1 0 321713889 125460480 30449 33554432000 134512640 135395479 4293450368 4293448720 134580923 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 30630 30449 106 216 0 30412 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 122520

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/175 15599
/proc/meminfo: memFree=27951904/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=148316 CPUtime=282.23 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 36919 0 0 0 28216 7 0 0 20 0 1 0 321713889 151875584 36872 33554432000 134512640 135395479 4293450368 4293448720 134580915 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 37079 36872 106 216 0 36861 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 148316

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/176 15651
/proc/meminfo: memFree=28007852/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=168616 CPUtime=342.19 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 42029 0 0 0 34210 9 0 0 20 0 1 0 321713889 172662784 41952 33554432000 134512640 135395479 4293450368 4293448720 134580950 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 42154 41952 106 216 0 41936 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 168616

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/175 15651
/proc/meminfo: memFree=27977012/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=196016 CPUtime=402.16 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 48905 0 0 0 40206 10 0 0 20 0 1 0 321713889 200720384 48822 33554432000 134512640 135395479 4293450368 4293448720 134580947 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 49004 48822 106 216 0 48786 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 196016

[startup+462.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 15651
/proc/meminfo: memFree=27976544/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=196104 CPUtime=462.15 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 49104 0 0 0 46205 10 0 0 20 0 1 0 321713889 200810496 48862 33554432000 134512640 135395479 4293450368 4293448240 134573868 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 49026 48862 106 216 0 48808 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 196104

[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/175 15652
/proc/meminfo: memFree=27975956/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=196100 CPUtime=522.14 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 49104 0 0 0 52204 10 0 0 20 0 1 0 321713889 200806400 48861 33554432000 134512640 135395479 4293450368 4293448240 134574442 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 49025 48861 106 216 0 48807 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 196100

[startup+582.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/175 15652
/proc/meminfo: memFree=27952700/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=219716 CPUtime=582.14 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 55001 0 0 0 58202 12 0 0 20 0 1 0 321713889 224989184 54758 33554432000 134512640 135395479 4293450368 4293448720 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 54929 54758 106 216 0 54711 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 219716

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15653
/proc/meminfo: memFree=27926348/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=822.09 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61192 0 0 0 82195 14 0 0 20 0 1 0 321713889 249905152 60844 33554432000 134512640 135395479 4293450368 4293448720 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60844 106 216 0 60794 0
Current children cumulated CPU time (s) 822.09
Current children cumulated vsize (KiB) 244048

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15653
/proc/meminfo: memFree=27926160/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=882.08 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61192 0 0 0 88194 14 0 0 20 0 1 0 321713889 249905152 60844 33554432000 134512640 135395479 4293450368 4293448720 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60844 106 216 0 60794 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 244048

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15656
/proc/meminfo: memFree=27925408/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=942.07 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61192 0 0 0 94193 14 0 0 20 0 1 0 321713889 249905152 60844 33554432000 134512640 135395479 4293450368 4293448720 134580929 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60844 106 216 0 60794 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 244048

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15656
/proc/meminfo: memFree=27925292/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1002.06 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61192 0 0 0 100192 14 0 0 20 0 1 0 321713889 249905152 60844 33554432000 134512640 135395479 4293450368 4293448240 134573950 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60844 106 216 0 60794 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 244048

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15656
/proc/meminfo: memFree=27925292/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1062.05 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61192 0 0 0 106191 14 0 0 20 0 1 0 321713889 249905152 60844 33554432000 134512640 135395479 4293450368 4293448240 134573890 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60844 106 216 0 60794 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 244048

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15657
/proc/meminfo: memFree=27924920/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1122.04 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61195 0 0 0 112190 14 0 0 20 0 1 0 321713889 249905152 60847 33554432000 134512640 135395479 4293450368 4293448416 134583990 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60847 106 216 0 60794 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 244048

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15657
/proc/meminfo: memFree=27924548/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1182.03 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 118189 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448336 134579673 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 244048

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15657
/proc/meminfo: memFree=27924300/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1242.03 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 124189 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448720 134580923 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 244048

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15657
/proc/meminfo: memFree=27923740/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1302.02 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 130188 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448720 134580923 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 244048

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15657
/proc/meminfo: memFree=27923492/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1362.01 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 136187 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448720 134581488 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 244048

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15658
/proc/meminfo: memFree=27923368/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1422 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 142186 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448720 134580938 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 244048

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15658
/proc/meminfo: memFree=27923120/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1481.99 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 148185 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448720 134581036 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 244048

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15661
/proc/meminfo: memFree=27922740/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1541.98 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 154184 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448720 134580965 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 244048

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15661
/proc/meminfo: memFree=27922004/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1601.97 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 160183 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448720 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 244048

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15662
/proc/meminfo: memFree=27921684/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1661.96 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 166182 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448720 134580950 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 244048

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15663
/proc/meminfo: memFree=27921444/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1721.95 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61196 0 0 0 172181 14 0 0 20 0 1 0 321713889 249905152 60848 33554432000 134512640 135395479 4293450368 4293448720 134580915 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60848 106 216 0 60794 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 244048

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15663
/proc/meminfo: memFree=27920824/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1781.94 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61201 0 0 0 178180 14 0 0 20 0 1 0 321713889 249905152 60853 33554432000 134512640 135395479 4293450368 4293448720 134580947 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60853 106 216 0 60794 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 244048



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 15663
/proc/meminfo: memFree=27920824/32873852 swapFree=7624/7624
[pid=15597] ppid=15595 vsize=244048 CPUtime=1800.05 cores=0,2,4,6
/proc/15597/stat : 15597 (minisat+) R 15595 15597 15194 0 -1 4202496 61201 0 0 0 179991 14 0 0 20 0 1 0 321713889 249905152 60853 33554432000 134512640 135395479 4293450368 4293448720 134580959 0 0 4096 16386 0 0 0 17 2 0 0 0 0 0
/proc/15597/statm: 61012 60853 106 216 0 60794 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 244048

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

Solver just ended. Dumping a history of the last processes samples

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.91
CPU system time (s): 0.144977
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 244408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.144977
maximum resident set size= 243736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61202
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= 111
involuntary context switches= 1940

runsolver used 3.50947 second user time and 8.39572 second system time

The end

Launcher Data 

Begin job on node131 at 2012-06-01 15:04:44
IDJOB=3721370
IDBENCH=2581
IDSOLVER=2306
FILE ID=node131/3721370-1338555884
RUNJOBID= node131-1338552574-15210
PBS_JOBID= 14635853
Free space on /tmp= 71400 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-cardinality-65-60.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721370-1338555884/watcher-3721370-1338555884 -o /tmp/evaluation-result-3721370-1338555884/solver-3721370-1338555884 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721370-1338555884.opb            

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

MD5SUM BENCH= 6f6d5bf9df98767681bd16885050de4b
RANDOM SEED=60184181

node131.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.805
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.61
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.91
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.805
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	: 5331.92
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.805
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	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28100824 kB
Buffers:          529428 kB
Cached:          2914360 kB
SwapCached:         2348 kB
Active:          1791372 kB
Inactive:        2123908 kB
Active(anon):     467444 kB
Inactive(anon):     3676 kB
Active(file):    1323928 kB
Inactive(file):  2120232 kB
Unevictable:        7624 kB
Mlocked:            7624 kB
SwapTotal:      67108856 kB
SwapFree:       67099088 kB
Dirty:              2380 kB
Writeback:             4 kB
AnonPages:        475704 kB
Mapped:            14696 kB
Shmem:                 0 kB
Slab:             718176 kB
SReclaimable:     160520 kB
SUnreclaim:       557656 kB
KernelStack:        1400 kB
PageTables:         4884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     591744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    450560 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721370-1338555884.opb

Free space on /tmp at the end= 71396 MiB
End job on node131 at 2012-06-01 15:34:47