Trace number 3738383

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
PB09: bsolo 3.1? 1798.05 1798.89

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx97.opb
MD5SUM22116bd56344f7c7bb7157cc5841f631
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables8424
Total number of constraints9089
Number of constraints which are clauses8415
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints576
Minimum length of a constraint2
Maximum length of a constraint576
Number of terms in the objective function 9
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 9
Number of bits of the sum of numbers in the objective function 4
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1199
Number of bits of the biggest sum of numbers11
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 bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3738383-1338740740.opb
0.00/0.00	c File size is 792041 bytes.
0.03/0.07	c Highest Coefficient sum: 1199
0.03/0.07	c Parsing was ok!!
0.03/0.07	c Total parsing time: 0.07 s
0.03/0.07	c Var: 8424 Constr: 9186 8512/98/576 Lit: 89541 Watch. Lit: 78440
0.03/0.07	c Obj. Vars: 9 (0.106838 % of total variables)
6.99/7.07	c Pre-processing Time: 7.073 s
6.99/7.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.99/7.07	c        0   8415      770    72702   94    64481  165230      0      0 7.07
6.99/7.07	c Switching off lower bounding mode.
1797.95/1798.87	c      100   8415      870    76736   88    64282  181754    100     14 7.14
1797.95/1798.87	c      251   8415     1022   103954  101    64410  199930    252     34 7.23
1797.95/1798.87	c      477   8415     1249   132526  106    65047  219924    479     64 7.45
1797.95/1798.87	c      815   8415     1595   313393  196    65912  241917    825    105 7.75
1797.95/1798.87	c     1323   8415     2104   368173  174    66946  266109   1334    160 8.24
1797.95/1798.87	c     2087   8415     2898   484831  167    68486  292720   2128    233 8.93
1797.95/1798.87	c     3233   8415     4081   754063  184    71553  321993   3311    333 9.70
1797.95/1798.87	c     4954   8415     5944   931665  156    75263  354193   5174    439 11.28
1797.95/1798.87	c     7540   8415     8629  1903893  220    80906  389613   7859    549 13.73
1797.95/1798.87	c    11419   8415    12547  2098437  167    88679  428575  11777    669 17.07
1797.95/1798.87	c    17241   8415    18564  4806418  258   102132  471433  17794    647 26.61
1797.95/1798.87	c    25978   8415    27803  6367691  229   120612  518577  27033    708 36.67
1797.95/1798.87	c    39090   8415    41793 13361716  319   173220  570435  41023    549 71.11
1797.95/1798.87	c    58761   8415    62848 15569678  247   216375  627479  62078    639 91.89
1797.95/1798.87	c    88272   8415    95394 48783886  511   305291  690227  94624    293 300.53
1797.95/1798.87	c   132543   8415   142843 53000424  371   400387  759250 142073    331 400.31
1797.95/1798.87	c   198953   8415   216853 104242635  480   564335  835176 216083    221 897.42
1797.95/1798.87	c   298574   8415   329911 158875878  481   834474  918694 329141    221 1348.44
1797.95/1798.87	c Resources Exceeded
1797.95/1798.87	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.95/1798.87	c   18   357312 103189  2791277   413811 173739512 413041    198 1798.03
1797.95/1798.87	s UNKNOWN
1797.95/1798.87	c Total time: 1798.03 s

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-3738383-1338740740/watcher-3738383-1338740740 -o /tmp/evaluation-result-3738383-1338740740/solver-3738383-1338740740 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3738383-1338740740.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.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=11844 CPUtime=0 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 340198791 12128256 337 33554432000 134512640 137136520 4293150208 4293148488 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 2961 337 189 641 0 2123 0

[startup+0.033234 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=13196 CPUtime=0.03 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 772 0 0 0 3 0 0 0 20 0 1 0 340198791 13512704 725 33554432000 134512640 137136520 4293150208 4293147304 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3299 725 264 641 0 2461 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13196

[startup+0.100223 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15604 CPUtime=0.09 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1690 0 0 0 9 0 0 0 20 0 1 0 340198791 15978496 1449 33554432000 134512640 137136520 4293150208 4293047820 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3901 1449 189 641 0 3257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15604

[startup+0.300219 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15604 CPUtime=0.29 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1690 0 0 0 29 0 0 0 20 0 1 0 340198791 15978496 1449 33554432000 134512640 137136520 4293150208 4293047632 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3901 1449 189 641 0 3257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15604

[startup+0.700217 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15604 CPUtime=0.69 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1690 0 0 0 69 0 0 0 20 0 1 0 340198791 15978496 1449 33554432000 134512640 137136520 4293150208 4293047632 134544384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3901 1449 189 641 0 3257 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15604

[startup+1.50022 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17721
/proc/meminfo: memFree=29084012/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15604 CPUtime=1.49 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1690 0 0 0 149 0 0 0 20 0 1 0 340198791 15978496 1449 33554432000 134512640 137136520 4293150208 4293047632 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3901 1449 189 641 0 3257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15604

[startup+3.10022 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17721
/proc/meminfo: memFree=29080516/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15816 CPUtime=3.09 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1791 0 0 0 309 0 0 0 20 0 1 0 340198791 16195584 1484 33554432000 134512640 137136520 4293150208 4293047612 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3954 1484 191 641 0 3310 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15816

[startup+6.30022 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17721
/proc/meminfo: memFree=29074208/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15816 CPUtime=6.29 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1791 0 0 0 628 1 0 0 20 0 1 0 340198791 16195584 1484 33554432000 134512640 137136520 4293150208 4293047544 134532433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3954 1484 191 641 0 3310 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15816

[startup+12.7001 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17721
/proc/meminfo: memFree=29050144/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=32508 CPUtime=12.68 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 6073 0 0 0 1259 9 0 0 20 0 1 0 340198791 33288192 5705 33554432000 134512640 137136520 4293150208 4293149324 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 8127 5705 198 641 0 7483 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32508

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17721
/proc/meminfo: memFree=28987136/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=72660 CPUtime=25.49 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 16496 0 0 0 2518 31 0 0 20 0 1 0 340198791 74403840 15721 33554432000 134512640 137136520 4293150208 4293148736 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 18165 15722 198 641 0 17521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72660

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17721
/proc/meminfo: memFree=28849200/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=147840 CPUtime=51.09 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 35360 0 0 0 5072 37 0 0 20 0 1 0 340198791 151388160 34526 33554432000 134512640 137136520 4293150208 4293149136 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 36960 34526 198 641 0 36316 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 147840

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=28661756/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=236976 CPUtime=102.28 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 57732 0 0 0 10170 58 0 0 20 0 1 0 340198791 242663424 56818 33554432000 134512640 137136520 4293150208 4293149136 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 59244 56818 198 641 0 58600 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 236976

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=28422836/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=405604 CPUtime=162.27 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 105757 0 0 0 16156 71 0 0 20 0 1 0 340198791 415338496 98961 33554432000 134512640 137136520 4293150208 4293149136 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 101401 98961 198 641 0 100757 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 405604

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=28228556/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=522988 CPUtime=222.26 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 138959 0 0 0 22144 82 0 0 20 0 1 0 340198791 535539712 128326 33554432000 134512640 137136520 4293150208 4293149136 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 130747 128326 198 641 0 130103 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 522988

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 17725
/proc/meminfo: memFree=28078496/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=620380 CPUtime=282.25 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 166322 0 0 0 28132 93 0 0 20 0 1 0 340198791 635269120 152686 33554432000 134512640 137136520 4293150208 4293148976 134573092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 155095 152686 198 641 0 154451 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 620380

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17725
/proc/meminfo: memFree=27950316/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=676132 CPUtime=342.2 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 181160 0 0 0 34120 100 0 0 20 0 1 0 340198791 692359168 166595 33554432000 134512640 137136520 4293150208 4293149136 134543921 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 169033 166595 198 641 0 168389 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 676132

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27856724/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=708204 CPUtime=402.16 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 189234 0 0 0 40105 111 0 0 20 0 1 0 340198791 725200896 174627 33554432000 134512640 137136520 4293150208 4293149136 134544562 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 177051 174627 198 641 0 176407 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 708204

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27657608/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=857852 CPUtime=462.12 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 226678 0 0 0 46089 123 0 0 20 0 1 0 340198791 878440448 212028 33554432000 134512640 137136520 4293150208 4293149136 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 214463 212028 198 641 0 213819 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 857852

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27504744/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=967440 CPUtime=522.09 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 254110 0 0 0 52077 132 0 0 20 0 1 0 340198791 990658560 239431 33554432000 134512640 137136520 4293150208 4293149104 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 241860 239431 198 641 0 241216 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 967440

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27406564/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1049216 CPUtime=582.07 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 274578 0 0 0 58068 139 0 0 20 0 1 0 340198791 1074397184 259883 33554432000 134512640 137136520 4293150208 4293149136 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 262304 259883 198 641 0 261660 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 1049216

[startup+642.3 s]

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

/proc/meminfo: memFree=26832944/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1623724 CPUtime=1121.79 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 418782 0 0 0 111966 213 0 0 20 0 1 0 340198791 1662693376 403506 33554432000 134512640 137136520 4293150208 4293148892 136501953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 405931 403506 198 641 0 405287 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 1623724

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26664952/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1791764 CPUtime=1181.74 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 460952 0 0 0 117948 226 0 0 20 0 1 0 340198791 1834766336 445511 33554432000 134512640 137136520 4293150208 4293149136 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 447941 445511 198 641 0 447297 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1791764

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26581900/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1872152 CPUtime=1241.7 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 481278 0 0 0 123932 238 0 0 20 0 1 0 340198791 1917083648 465629 33554432000 134512640 137136520 4293150208 4293148848 134606742 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 468038 465629 198 641 0 467394 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 1872152

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26456316/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1964276 CPUtime=1301.67 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 504473 0 0 0 129917 250 0 0 20 0 1 0 340198791 2011418624 488645 33554432000 134512640 137136520 4293150208 4293149324 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 491069 488645 198 641 0 490425 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 1964276

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17732
/proc/meminfo: memFree=26303824/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2086740 CPUtime=1361.63 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 535304 0 0 0 135903 260 0 0 20 0 1 0 340198791 2136821760 519262 33554432000 134512640 137136520 4293150208 4293148976 134571159 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 521685 519262 198 641 0 521041 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 2086740

[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 17732
/proc/meminfo: memFree=26234536/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2121956 CPUtime=1421.6 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 544161 0 0 0 141895 265 0 0 20 0 1 0 340198791 2172882944 528078 33554432000 134512640 137136520 4293150208 4293149136 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 530489 528078 198 641 0 529845 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 2121956

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 17735
/proc/meminfo: memFree=26171564/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2154988 CPUtime=1481.56 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 552421 0 0 0 147886 270 0 0 20 0 1 0 340198791 2206707712 536315 33554432000 134512640 137136520 4293150208 4293149136 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 538747 536315 198 641 0 538103 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 2154988

[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17735
/proc/meminfo: memFree=26113692/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2181660 CPUtime=1541.54 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 559101 0 0 0 153880 274 0 0 20 0 1 0 340198791 2234019840 542974 33554432000 134512640 137136520 4293150208 4293149136 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 545415 542974 198 641 0 544771 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 2181660

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17735
/proc/meminfo: memFree=26064740/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2205036 CPUtime=1601.48 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 565013 0 0 0 159871 277 0 0 20 0 1 0 340198791 2257956864 548838 33554432000 134512640 137136520 4293150208 4293149136 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 551259 548838 198 641 0 550615 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 2205036

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17736
/proc/meminfo: memFree=26014320/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2225656 CPUtime=1661.47 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 570176 0 0 0 165867 280 0 0 20 0 1 0 340198791 2279071744 553994 33554432000 134512640 137136520 4293150208 4293149104 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 556414 553994 198 641 0 555770 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 2225656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17736
/proc/meminfo: memFree=25974392/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2239860 CPUtime=1721.46 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 573727 0 0 0 171864 282 0 0 20 0 1 0 340198791 2293616640 557545 33554432000 134512640 137136520 4293150208 4293149136 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 559965 557545 198 641 0 559321 0
Current children cumulated CPU time (s) 1721.46
Current children cumulated vsize (KiB) 2239860

[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17736
/proc/meminfo: memFree=25930744/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2256308 CPUtime=1781.45 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 577836 0 0 0 177851 294 0 0 20 0 1 0 340198791 2310459392 561654 33554432000 134512640 137136520 4293150208 4293149136 134544080 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 564077 561654 198 641 0 563433 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 2256308

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

[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26862052/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2265200 CPUtime=1791.06 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 580200 0 0 0 178809 297 0 0 20 0 1 0 340198791 2319564800 563864 33554432000 134512640 137136520 4293150208 4293149136 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 566300 563864 198 641 0 565656 0
Current children cumulated CPU time (s) 1791.06
Current children cumulated vsize (KiB) 2265200

[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26850520/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2269148 CPUtime=1794.26 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581283 0 0 0 179129 297 0 0 20 0 1 0 340198791 2323607552 564877 33554432000 134512640 137136520 4293150208 4293149136 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567287 564877 198 641 0 566643 0
Current children cumulated CPU time (s) 1794.26
Current children cumulated vsize (KiB) 2269148

[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26847352/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2270632 CPUtime=1795.85 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581624 0 0 0 179288 297 0 0 20 0 1 0 340198791 2325127168 565218 33554432000 134512640 137136520 4293150208 4293149136 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567658 565218 198 641 0 567014 0
Current children cumulated CPU time (s) 1795.85
Current children cumulated vsize (KiB) 2270632

[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26844376/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2271056 CPUtime=1796.65 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581729 0 0 0 179368 297 0 0 20 0 1 0 340198791 2325561344 565323 33554432000 134512640 137136520 4293150208 4293149136 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567764 565323 198 641 0 567120 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 2271056

[startup+1798.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26844376/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2271564 CPUtime=1797.45 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581876 0 0 0 179448 297 0 0 20 0 1 0 340198791 2326081536 565450 33554432000 134512640 137136520 4293150208 4293149324 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567891 565450 198 641 0 567247 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 2271564

[startup+1798.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26842392/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2271844 CPUtime=1797.85 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581976 0 0 0 179488 297 0 0 20 0 1 0 340198791 2326368256 565550 33554432000 134512640 137136520 4293150208 4293149136 134543965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567961 565550 198 641 0 567317 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 2271844

[startup+1798.8 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26842392/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2271844 CPUtime=1797.95 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581976 0 0 0 179498 297 0 0 20 0 1 0 340198791 2326368256 565550 33554432000 134512640 137136520 4293150208 4293149136 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567961 565550 198 641 0 567317 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 2271844

Child status: 0
Real time (s): 1798.89
CPU time (s): 1798.05
CPU user time (s): 1795.06
CPU system time (s): 2.98754
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 2271844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 2.98754
maximum resident set size= 2262240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581987
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= 800
involuntary context switches= 2194

runsolver used 3.61145 second user time and 9.50855 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-03 18:25:40
IDJOB=3738383
IDBENCH=71849
IDSOLVER=2320
FILE ID=node135/3738383-1338740740
RUNJOBID= node135-1338712994-13137
PBS_JOBID= 14636721
Free space on /tmp= 70976 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx97.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738383-1338740740/watcher-3738383-1338740740 -o /tmp/evaluation-result-3738383-1338740740/solver-3738383-1338740740 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3738383-1338740740.opb

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

MD5SUM BENCH= 22116bd56344f7c7bb7157cc5841f631
RANDOM SEED=250400760

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:        29092816 kB
Buffers:          374908 kB
Cached:          2504944 kB
SwapCached:         1672 kB
Active:          1223748 kB
Inactive:        1709064 kB
Active(anon):      42744 kB
Inactive(anon):    12036 kB
Active(file):    1181004 kB
Inactive(file):  1697028 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67105800 kB
Dirty:              9044 kB
Writeback:             4 kB
AnonPages:         58468 kB
Mapped:            11312 kB
Shmem:               132 kB
Slab:             708572 kB
SReclaimable:     150056 kB
SUnreclaim:       558516 kB
KernelStack:        1472 kB
PageTables:         3612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     173760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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-3738383-1338740740.opb

Free space on /tmp at the end= 70972 MiB
End job on node135 at 2012-06-03 18:55:39