Trace number 3721462

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_7_60_2.opb
MD5SUM6c673f615af1912eadc68b4290958076
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables61
Total number of constraints15
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints14
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1648
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4944
Number of bits of the biggest sum of numbers13
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.00	c Converting 14 PB-constraints to clauses...
0.00/0.00	c   -- Unit propagations: (none)
0.00/0.00	c   -- Detecting intervals from adjacent constraints: #######
0.00/0.00	c   -- Clauses(.)/Splits(s): (none)
0.00/0.00	c ---[  12]---> Adder-cost: 322   maxlim: 1345   bits: 12/11
0.00/0.02	c ---[  10]---> Adder-cost: 366   maxlim: 1648   bits: 12/11
0.00/0.04	c ---[   8]---> Adder-cost: 374   maxlim: 1538   bits: 12/11
0.00/0.05	c ---[   6]---> Adder-cost: 350   maxlim: 1496   bits: 12/11
0.00/0.07	c ---[   4]---> Adder-cost: 348   maxlim: 1633   bits: 12/11
0.00/0.09	c ---[   2]---> Adder-cost: 388   maxlim: 1638   bits: 12/11
0.09/0.11	c ---[   0]---> Adder-cost: 352   maxlim: 1457   bits: 12/11
0.09/0.14	c ==================================[MINISAT+]==================================
0.09/0.14	c | Conflicts | Original         | Learnt                           | Progress |
0.09/0.14	c |           | Clauses Literals |     Max Clauses Literals     LPC |          |
0.09/0.14	c ==============================================================================
0.09/0.14	c |         0 |   16949    60275 |    5649       0        0     nan |  0.000 % |
0.09/0.14	c |       100 |   16933    60223 |    6213      98      341     3.5 |  6.217 % |
0.09/0.14	c |       251 |   16925    60197 |    6835     248     1124     4.5 |  6.255 % |
0.09/0.15	c |       477 |   16925    60197 |    7518     474     3221     6.8 |  6.255 % |
0.09/0.16	c |       815 |   16925    60197 |    8270     812     7643     9.4 |  6.255 % |
0.09/0.19	c |      1322 |   16925    60197 |    9097    1319    20625    15.6 |  6.255 % |
0.19/0.23	c |      2081 |   16925    60197 |   10007    2078    37301    18.0 |  6.255 % |
0.29/0.30	c |      3220 |   16925    60197 |   11008    3217    69716    21.7 |  6.255 % |
0.29/0.39	c |      4928 |   16925    60197 |   12109    4925   113193    23.0 |  6.255 % |
0.59/0.63	c |      7490 |   16925    60197 |   13320    7487   217939    29.1 |  6.255 % |
0.79/0.88	c |     11335 |   16925    60197 |   14652   11332   328356    29.0 |  6.255 % |
1.49/1.55	c |     17101 |   16925    60197 |   16117    9617   304873    31.7 |  6.255 % |
2.29/2.37	c |     25752 |   16925    60197 |   17728   10028   295041    29.4 |  6.255 % |
3.89/3.97	c |     38726 |   16925    60197 |   19501   13844   493816    35.7 |  6.255 % |
6.09/6.17	c |     58189 |   16917    60171 |   21452   13300   436863    32.8 |  6.293 % |
10.39/10.47	c |     87381 |   16917    60171 |   23597   20613   898577    43.6 |  6.293 % |
16.99/17.07	c |    131171 |   16917    60171 |   25957   16582   629626    38.0 |  6.293 % |
28.78/28.89	c |    196857 |   16917    60171 |   28552   16008   708314    44.2 |  6.293 % |
45.38/45.46	c |    295383 |   16909    60145 |   31407   25677  1084316    42.2 |  6.331 % |
71.38/71.40	c |    443173 |   16903    60127 |   34548   27094  1087596    40.1 |  6.368 % |
111.86/111.93	c |    664856 |   16903    60127 |   38003   30533  1301887    42.6 |  6.368 % |
169.26/169.37	c |    997382 |   16903    60127 |   41804   26734  1035862    38.7 |  6.368 % |
259.64/259.71	c |   1496170 |   16895    60101 |   45984   41309  1775088    43.0 |  6.406 % |
411.72/411.81	c |   2244352 |   16895    60101 |   50582   32956  1329290    40.3 |  6.406 % |
650.68/650.82	c |   3366626 |   16887    60075 |   55641   29603  1365944    46.1 |  6.444 % |
1007.12/1007.37	c |   5050037 |   16881    60057 |   61205   19036   785271    41.3 |  6.482 % |
1535.44/1535.78	c |   7575153 |   16873    60031 |   67325   26340  1030960    39.1 |  6.520 % |
1800.01/1800.30	c 
1800.01/1800.30	c *** TERMINATED ***
1800.01/1800.30	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-3721462-1338556237/watcher-3721462-1338556237 -o /tmp/evaluation-result-3721462-1338556237/solver-3721462-1338556237 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721462-1338556237.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: 2.10 2.04 1.93 3/179 29389
/proc/meminfo: memFree=29265504/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=1132 CPUtime=0 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 169 0 0 0 0 0 0 0 20 0 1 0 321748517 1159168 126 33554432000 134512640 135395479 4290393504 4290374440 135007481 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 283 126 87 216 0 65 0

[startup+0.092227 s]
/proc/loadavg: 2.10 2.04 1.93 3/179 29389
/proc/meminfo: memFree=29265504/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=1556 CPUtime=0.09 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 288 0 0 0 9 0 0 0 20 0 1 0 321748517 1593344 245 33554432000 134512640 135395479 4290393504 4290380640 134838342 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 389 245 106 216 0 171 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1556

[startup+0.100219 s]
/proc/loadavg: 2.10 2.04 1.93 3/179 29389
/proc/meminfo: memFree=29265504/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=1556 CPUtime=0.09 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 288 0 0 0 9 0 0 0 20 0 1 0 321748517 1593344 245 33554432000 134512640 135395479 4290393504 4290391060 135005282 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 389 245 106 216 0 171 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1556

[startup+0.300204 s]
/proc/loadavg: 2.10 2.04 1.93 3/179 29389
/proc/meminfo: memFree=29265504/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=2936 CPUtime=0.29 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 629 0 0 0 29 0 0 0 20 0 1 0 321748517 3006464 586 33554432000 134512640 135395479 4290393504 4290391840 134581234 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 734 586 122 216 0 516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2936

[startup+0.700164 s]
/proc/loadavg: 2.10 2.04 1.93 3/179 29389
/proc/meminfo: memFree=29265504/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=3860 CPUtime=0.69 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 864 0 0 0 69 0 0 0 20 0 1 0 321748517 3952640 821 33554432000 134512640 135395479 4290393504 4290391856 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 965 821 122 216 0 747 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3860

[startup+1.50016 s]
/proc/loadavg: 2.10 2.04 1.93 3/180 29390
/proc/meminfo: memFree=29262412/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=4912 CPUtime=1.49 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 1137 0 0 0 149 0 0 0 20 0 1 0 321748517 5029888 1094 33554432000 134512640 135395479 4290393504 4290391856 134580732 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 1228 1094 122 216 0 1010 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4912

[startup+3.10015 s]
/proc/loadavg: 2.10 2.04 1.93 3/180 29390
/proc/meminfo: memFree=29261420/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=5440 CPUtime=3.09 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 1269 0 0 0 309 0 0 0 20 0 1 0 321748517 5570560 1226 33554432000 134512640 135395479 4290393504 4290391856 134581494 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 1360 1226 122 216 0 1142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5440

[startup+6.30018 s]
/proc/loadavg: 2.17 2.05 1.93 3/180 29390
/proc/meminfo: memFree=29260056/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=6388 CPUtime=6.29 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 1491 0 0 0 629 0 0 0 20 0 1 0 321748517 6541312 1448 33554432000 134512640 135395479 4290393504 4290391552 134584041 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 1597 1448 122 216 0 1379 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6388

[startup+12.7002 s]
/proc/loadavg: 2.15 2.05 1.93 3/180 29390
/proc/meminfo: memFree=29257864/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=8092 CPUtime=12.69 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 1927 0 0 0 1269 0 0 0 20 0 1 0 321748517 8286208 1884 33554432000 134512640 135395479 4290393504 4290391472 134579871 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 2023 1884 122 216 0 1805 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 8092

[startup+25.5002 s]
/proc/loadavg: 2.19 2.06 1.94 3/179 29390
/proc/meminfo: memFree=29256516/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=9536 CPUtime=25.48 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 2281 0 0 0 2548 0 0 0 20 0 1 0 321748517 9764864 2238 33554432000 134512640 135395479 4290393504 4290391844 134581226 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 2384 2238 122 216 0 2166 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 9536

[startup+51.1002 s]
/proc/loadavg: 2.13 2.06 1.94 3/179 29390
/proc/meminfo: memFree=29255400/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=10752 CPUtime=51.08 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 2592 0 0 0 5107 1 0 0 20 0 1 0 321748517 11010048 2549 33554432000 134512640 135395479 4290393504 4290391856 134580765 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 2688 2549 122 216 0 2470 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 10752

[startup+102.306 s]
/proc/loadavg: 1.97 2.03 1.93 3/179 29487
/proc/meminfo: memFree=29398632/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=13032 CPUtime=102.27 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 3155 0 0 0 10226 1 0 0 20 0 1 0 321748517 13344768 3118 33554432000 134512640 135395479 4290393504 4290391760 134568472 0 0 4096 16386 0 0 0 17 0 0 0 0 0 0
/proc/29389/statm: 3258 3118 122 216 0 3040 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 13032

[startup+162.3 s]
/proc/loadavg: 2.04 2.04 1.94 3/179 29487
/proc/meminfo: memFree=28717316/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=14128 CPUtime=162.25 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 3417 0 0 0 16224 1 0 0 20 0 1 0 321748517 14467072 3380 33554432000 134512640 135395479 4290393504 4290391856 134580975 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 3532 3380 122 216 0 3314 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14128

[startup+222.3 s]
/proc/loadavg: 2.08 2.04 1.94 3/179 29488
/proc/meminfo: memFree=28713748/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=15732 CPUtime=222.24 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 3781 0 0 0 22223 1 0 0 20 0 1 0 321748517 16109568 3744 33554432000 134512640 135395479 4290393504 4290391824 134573328 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 3933 3744 122 216 0 3715 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 15732

[startup+282.3 s]
/proc/loadavg: 2.11 2.05 1.95 3/179 29488
/proc/meminfo: memFree=28711684/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=17500 CPUtime=282.24 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 4224 0 0 0 28222 2 0 0 20 0 1 0 321748517 17920000 4187 33554432000 134512640 135395479 4290393504 4290391856 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 4375 4187 122 216 0 4157 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 17500

[startup+342.3 s]
/proc/loadavg: 2.11 2.05 1.95 3/179 29488
/proc/meminfo: memFree=28710580/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=18388 CPUtime=342.23 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 4433 0 0 0 34221 2 0 0 20 0 1 0 321748517 18829312 4396 33554432000 134512640 135395479 4290393504 4290391856 134580856 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 4597 4396 122 216 0 4379 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 18388

[startup+402.3 s]
/proc/loadavg: 2.04 2.04 1.95 3/179 29488
/proc/meminfo: memFree=28709596/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=19344 CPUtime=402.22 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 4675 0 0 0 40220 2 0 0 20 0 1 0 321748517 19808256 4638 33554432000 134512640 135395479 4290393504 4290391856 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 4836 4638 122 216 0 4618 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 19344

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/179 29488
/proc/meminfo: memFree=28708908/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=19936 CPUtime=462.21 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 4798 0 0 0 46219 2 0 0 20 0 1 0 321748517 20414464 4761 33554432000 134512640 135395479 4290393504 4290391856 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 4984 4761 122 216 0 4766 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 19936

[startup+522.3 s]
/proc/loadavg: 2.07 2.04 1.96 3/179 29489
/proc/meminfo: memFree=28708756/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=20080 CPUtime=522.2 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 4860 0 0 0 52218 2 0 0 20 0 1 0 321748517 20561920 4823 33554432000 134512640 135395479 4290393504 4290391856 134580965 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 5020 4823 122 216 0 4802 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 20080

[startup+582.3 s]
/proc/loadavg: 2.02 2.03 1.96 3/180 29492
/proc/meminfo: memFree=28707208/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=21000 CPUtime=582.19 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 5052 0 0 0 58217 2 0 0 20 0 1 0 321748517 21504000 5015 33554432000 134512640 135395479 4290393504 4290391856 134581436 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 5250 5015 122 216 0 5032 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 21000

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.10 2.06 1.98 3/179 29493
/proc/meminfo: memFree=28703920/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=24032 CPUtime=882.14 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 5792 0 0 0 88212 2 0 0 20 0 1 0 321748517 24608768 5818 33554432000 134512640 135395479 4290393504 4290391856 134580825 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6008 5818 122 216 0 5790 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 24032

[startup+942.3 s]
/proc/loadavg: 2.17 2.08 2.00 3/179 29493
/proc/meminfo: memFree=28703300/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=24164 CPUtime=942.13 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 5829 0 0 0 94211 2 0 0 20 0 1 0 321748517 24743936 5855 33554432000 134512640 135395479 4290393504 4290391856 134580945 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6041 5855 122 216 0 5823 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 24164

[startup+1002.3 s]
/proc/loadavg: 2.13 2.08 2.00 3/179 29493
/proc/meminfo: memFree=28702928/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=24472 CPUtime=1002.12 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 5890 0 0 0 100210 2 0 0 20 0 1 0 321748517 25059328 5916 33554432000 134512640 135395479 4290393504 4290391856 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6118 5916 122 216 0 5900 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 24472

[startup+1062.3 s]
/proc/loadavg: 2.11 2.08 2.00 3/179 29493
/proc/meminfo: memFree=28702432/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=25004 CPUtime=1062.12 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 5981 0 0 0 106210 2 0 0 20 0 1 0 321748517 25604096 6007 33554432000 134512640 135395479 4290393504 4290391376 134574149 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6251 6007 122 216 0 6033 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 25004

[startup+1122.3 s]
/proc/loadavg: 2.16 2.09 2.01 3/179 29494
/proc/meminfo: memFree=28700320/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=26680 CPUtime=1122.1 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6395 0 0 0 112208 2 0 0 20 0 1 0 321748517 27320320 6482 33554432000 134512640 135395479 4290393504 4290391856 134581436 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6670 6482 122 216 0 6452 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 26680

[startup+1182.3 s]
/proc/loadavg: 2.12 2.09 2.01 3/180 29497
/proc/meminfo: memFree=28700064/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=26844 CPUtime=1182.09 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6426 0 0 0 118207 2 0 0 20 0 1 0 321748517 27488256 6513 33554432000 134512640 135395479 4290393504 4290391856 134580932 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6711 6513 122 216 0 6493 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 26844

[startup+1242.3 s]
/proc/loadavg: 2.11 2.09 2.01 3/179 29497
/proc/meminfo: memFree=28699328/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=26984 CPUtime=1242.08 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6451 0 0 0 124206 2 0 0 20 0 1 0 321748517 27631616 6538 33554432000 134512640 135395479 4290393504 4290391856 134581053 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6746 6538 122 216 0 6528 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 26984

[startup+1302.3 s]
/proc/loadavg: 2.11 2.08 2.01 3/179 29497
/proc/meminfo: memFree=28699080/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=27152 CPUtime=1302.08 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6491 0 0 0 130206 2 0 0 20 0 1 0 321748517 27803648 6578 33554432000 134512640 135395479 4290393504 4290391376 134574256 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6788 6578 122 216 0 6570 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 27152

[startup+1362.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/179 29497
/proc/meminfo: memFree=28698832/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=27292 CPUtime=1362.07 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6507 0 0 0 136205 2 0 0 20 0 1 0 321748517 27947008 6594 33554432000 134512640 135395479 4290393504 4290391856 134580945 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6823 6594 122 216 0 6605 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 27292

[startup+1422.31 s]
/proc/loadavg: 2.17 2.10 2.01 3/179 29498
/proc/meminfo: memFree=28698212/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=27292 CPUtime=1422.06 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6524 0 0 0 142204 2 0 0 20 0 1 0 321748517 27947008 6611 33554432000 134512640 135395479 4290393504 4290391844 134581226 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6823 6611 122 216 0 6605 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 27292

[startup+1482.3 s]
/proc/loadavg: 2.13 2.09 2.01 3/179 29498
/proc/meminfo: memFree=28697964/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=27292 CPUtime=1482.05 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6524 0 0 0 148203 2 0 0 20 0 1 0 321748517 27947008 6611 33554432000 134512640 135395479 4290393504 4290391856 134580753 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6823 6611 122 216 0 6605 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 27292

[startup+1542.3 s]
/proc/loadavg: 2.17 2.11 2.02 3/179 29498
/proc/meminfo: memFree=28698088/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=27436 CPUtime=1542.04 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6539 0 0 0 154202 2 0 0 20 0 1 0 321748517 28094464 6626 33554432000 134512640 135395479 4290393504 4290391856 134580896 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 6859 6626 122 216 0 6641 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 27436

[startup+1602.3 s]
/proc/loadavg: 2.06 2.08 2.01 3/179 29498
/proc/meminfo: memFree=28694056/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=28936 CPUtime=1602.03 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6925 0 0 0 160200 3 0 0 20 0 1 0 321748517 29630464 7012 33554432000 134512640 135395479 4290393504 4290391856 134580765 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 7234 7012 122 216 0 7016 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 28936

[startup+1662.3 s]
/proc/loadavg: 2.02 2.07 2.00 3/179 29498
/proc/meminfo: memFree=28693868/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=28936 CPUtime=1662.02 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6926 0 0 0 166199 3 0 0 20 0 1 0 321748517 29630464 7036 33554432000 134512640 135395479 4290393504 4290391856 134580825 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 7234 7036 122 216 0 7016 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 28936

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/179 29499
/proc/meminfo: memFree=28693620/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=29112 CPUtime=1722.01 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 6972 0 0 0 172198 3 0 0 20 0 1 0 321748517 29810688 7082 33554432000 134512640 135395479 4290393504 4290391856 134580756 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 7278 7082 122 216 0 7060 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 29112

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/180 29502
/proc/meminfo: memFree=28692992/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=29492 CPUtime=1782.01 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 7027 0 0 0 178198 3 0 0 20 0 1 0 321748517 30199808 7137 33554432000 134512640 135395479 4290393504 4290391856 134581451 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 7373 7137 122 216 0 7155 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 29492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/180 29502
/proc/meminfo: memFree=28692868/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=29492 CPUtime=1800.01 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 7042 0 0 0 179998 3 0 0 20 0 1 0 321748517 30199808 7152 33554432000 134512640 135395479 4290393504 4290391856 134580801 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 7373 7152 122 216 0 7155 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 29492

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

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/180 29502
/proc/meminfo: memFree=28692868/32873844 swapFree=7620/7620
[pid=29389] ppid=29387 vsize=29492 CPUtime=1800.01 cores=0,2,4,6
/proc/29389/stat : 29389 (minisat+) R 29387 29389 29031 0 -1 4202496 7042 0 0 0 179998 3 0 0 20 0 1 0 321748517 30199808 7152 33554432000 134512640 135395479 4290393504 4290391856 134580801 0 0 4096 16386 0 0 0 17 4 0 0 0 0 0
/proc/29389/statm: 7373 7152 122 216 0 7155 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 29492

Child status: 0
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.98
CPU system time (s): 0.035994
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 29492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.98
system time used= 0.035994
maximum resident set size= 28612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7043
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= 13
involuntary context switches= 2080

runsolver used 3.19451 second user time and 8.80166 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-01 15:10:37
IDJOB=3721462
IDBENCH=2894
IDSOLVER=2306
FILE ID=node135/3721462-1338556237
RUNJOBID= node135-1338552573-29047
PBS_JOBID= 14635849
Free space on /tmp= 71000 MiB

SOLVER NAME= minisat+ 1.14
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_2.opb
COMMAND LINE= HOME/minisat+ BENCHNAME            
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721462-1338556237/watcher-3721462-1338556237 -o /tmp/evaluation-result-3721462-1338556237/solver-3721462-1338556237 -C 1800 -W 1900 -M 15500  HOME/minisat+ HOME/instance-3721462-1338556237.opb            

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

MD5SUM BENCH= 6c673f615af1912eadc68b4290958076
RANDOM SEED=1507793954

node135.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.820
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.64
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.820
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.57
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.820
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.820
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.820
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.54
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.820
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.820
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	: 5238.35
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.820
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:       32873844 kB
MemFree:        29265692 kB
Buffers:          294980 kB
Cached:          2295964 kB
SwapCached:         1692 kB
Active:          1211412 kB
Inactive:        1576624 kB
Active(anon):     187724 kB
Inactive(anon):    11988 kB
Active(file):    1023688 kB
Inactive(file):  1564636 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105720 kB
Dirty:              2356 kB
Writeback:             0 kB
AnonPages:        202896 kB
Mapped:            10832 kB
Shmem:               132 kB
Slab:             683136 kB
SReclaimable:     125212 kB
SUnreclaim:       557924 kB
KernelStack:        1496 kB
PageTables:         3968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     312276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    178176 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-3721462-1338556237.opb

Free space on /tmp at the end= 70992 MiB
End job on node135 at 2012-06-01 15:40:40