Trace number 3742859

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.02 1798.33

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX120_K67_cod1.opb
MD5SUMb9a8630bbf7b957f842f31a8ccfab571
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-564
Best CPU time to get the best result obtained on this benchmark1797.58
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 32076
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 116160
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 160566
Number of bits of the biggest sum of numbers18
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-3742859-1338788823.opb
0.00/0.00	c File size is 2784365 bytes.
0.19/0.25	c Highest Coefficient sum: 160566
0.19/0.25	c Parsing was ok!!
0.19/0.25	c Total parsing time: 0.251 s
0.19/0.26	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161258
0.19/0.26	c Obj. Vars: 32076 (79.2959 % of total variables)
25.88/25.94	c Pre-processing Time: 25.935 s
25.88/25.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
25.88/25.94	c        0  33129    33499   187590    5   137690  622567      0      0 25.93
25.88/25.94	c Switching off lower bounding mode.
1797.98/1798.32	c      101  33129    33600   243093    7   137953  684824    101      3 29.28
1797.98/1798.32	c      252  33129    33754   248557    7   138383  753307    255      7 31.65
1797.98/1798.32	c      478  33129    33991   288786    8   138859  828638    492     12 38.02
1797.98/1798.32	c      816  33129    34362   334204    9   139697  911502    863     18 45.20
1797.98/1798.32	c     1324  33129    34913   399552   11   140864  500000   1414     23 56.45
1797.98/1798.32	c     2089  33129    35737   486979   13   142785  550001   2238     29 71.94
1797.98/1798.32	c     3236  33129    36937   644279   17   145296  605002   3438     33 96.66
1797.98/1798.32	c     4957  33129    38772   847474   21   149346  665503   5273     37 131.92
1797.98/1798.32	c     7541  33129    41458  1209087   29   155071  732054   7959     39 189.85
1797.98/1798.32	c    11420  33129    45564  1689611   37   163467  805260  12065     42 270.73
1797.98/1798.32	c    17243  33129    51651  2373378   45   175741  885787  18152     42 405.68
1797.98/1798.32	c    25981  33129    60750  3580984   58   194640  974366  27251     42 616.08
1797.98/1798.32	c    39091  33129    74259  5584155   75   222377  500000  40760     40 970.69
1797.98/1798.32	c    58762  33129    94260  8465569   89   262686  550001  60761     36 1590.76
1797.98/1798.32	c Resources Exceeded
1797.98/1798.32	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.32	c   14    65948  20641   124544   101567  9316678  68068     36 1798.02
1797.98/1798.32	s UNKNOWN
1797.98/1798.32	c Total time: 1798.02 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-3742859-1338788823/watcher-3742859-1338788823 -o /tmp/evaluation-result-3742859-1338788823/solver-3742859-1338788823 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3742859-1338788823.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.00 2.00 1.95 3/176 12230
/proc/meminfo: memFree=31188776/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=21760 CPUtime=0 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 394 0 0 0 0 0 0 0 20 0 1 0 345010838 22282240 348 33554432000 134512640 137136520 4290266544 4290264896 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 5440 349 185 641 0 4116 0

[startup+0.0225521 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 12230
/proc/meminfo: memFree=31188776/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=23280 CPUtime=0.02 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 857 0 0 0 2 0 0 0 20 0 1 0 345010838 23838720 771 33554432000 134512640 137136520 4290266544 4290265064 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 5820 782 238 641 0 4496 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23280

[startup+0.100254 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 12230
/proc/meminfo: memFree=31188776/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=18524 CPUtime=0.09 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 1907 0 0 0 9 0 0 0 20 0 1 0 345010838 18968576 1742 33554432000 134512640 137136520 4290266544 4290265056 136575102 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 4631 1742 463 641 0 3307 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18524

[startup+0.30024 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 12230
/proc/meminfo: memFree=31188776/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=27012 CPUtime=0.29 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 5110 0 0 0 29 0 0 0 20 0 1 0 345010838 27660288 4202 33554432000 134512640 137136520 4290266544 4289779820 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 6753 4202 189 641 0 6109 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27012

[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 1.95 3/176 12230
/proc/meminfo: memFree=31188776/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=27012 CPUtime=0.68 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 5110 0 0 0 68 0 0 0 20 0 1 0 345010838 27660288 4202 33554432000 134512640 137136520 4290266544 4289779820 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 6753 4202 189 641 0 6109 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 27012

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12231
/proc/meminfo: memFree=31169900/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=27144 CPUtime=1.49 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 5141 0 0 0 148 1 0 0 20 0 1 0 345010838 27795456 4233 33554432000 134512640 137136520 4290266544 4289779416 136502359 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 6786 4233 189 641 0 6142 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27144

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12231
/proc/meminfo: memFree=31169636/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=27144 CPUtime=3.09 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 5141 0 0 0 308 1 0 0 20 0 1 0 345010838 27795456 4233 33554432000 134512640 137136520 4290266544 4289779632 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 6786 4233 189 641 0 6142 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27144

[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 1.95 3/177 12231
/proc/meminfo: memFree=31169032/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=27144 CPUtime=6.29 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 5141 0 0 0 628 1 0 0 20 0 1 0 345010838 27795456 4233 33554432000 134512640 137136520 4290266544 4289779820 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 6786 4233 189 641 0 6142 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27144

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 1.96 3/177 12231
/proc/meminfo: memFree=31168020/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=27804 CPUtime=12.69 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 5304 0 0 0 1267 2 0 0 20 0 1 0 345010838 28471296 4396 33554432000 134512640 137136520 4290266544 4289779632 134543784 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 6951 4396 189 641 0 6307 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27804

[startup+25.5002 s]
/proc/loadavg: 2.06 2.02 1.96 3/177 12231
/proc/meminfo: memFree=31168212/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=29980 CPUtime=25.48 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 6009 0 0 0 2545 3 0 0 20 0 1 0 345010838 30699520 4898 33554432000 134512640 137136520 4290266544 4289779616 134540636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 7495 4898 193 641 0 6851 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 29980

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 1.96 3/177 12231
/proc/meminfo: memFree=31164500/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=29908 CPUtime=51.08 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 338639 0 0 0 5057 51 0 0 20 0 1 0 345010838 30625792 4922 33554432000 134512640 137136520 4290266544 4290265660 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 7477 4922 198 641 0 6833 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 29908

[startup+102.306 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 12231
/proc/meminfo: memFree=31156124/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=34896 CPUtime=102.27 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 992758 0 0 0 10088 139 0 0 20 0 1 0 345010838 35733504 6169 33554432000 134512640 137136520 4290266544 4290265472 134544140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 8724 6169 198 641 0 8080 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34896

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12231
/proc/meminfo: memFree=31143956/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=40944 CPUtime=162.26 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 1770553 0 0 0 15985 241 0 0 20 0 1 0 345010838 41926656 7554 33554432000 134512640 137136520 4290266544 4290264888 134598574 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 10236 7554 198 641 0 9592 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 40944

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 12235
/proc/meminfo: memFree=31136936/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=45196 CPUtime=222.25 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 2570403 0 0 0 21880 345 0 0 20 0 1 0 345010838 46280704 8713 33554432000 134512640 137136520 4290266544 4290265148 134552033 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 11299 8713 198 641 0 10655 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45196

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12235
/proc/meminfo: memFree=31128628/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=49312 CPUtime=282.24 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 3342901 0 0 0 27776 448 0 0 20 0 1 0 345010838 50495488 9742 33554432000 134512640 137136520 4290266544 4290265084 136293435 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 12328 9742 198 641 0 11684 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 49312

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12235
/proc/meminfo: memFree=31120308/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=54480 CPUtime=342.23 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 4081187 0 0 0 33668 555 0 0 20 0 1 0 345010838 55787520 11003 33554432000 134512640 137136520 4290266544 4290265072 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 13620 11003 198 641 0 12976 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 54480

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 12235
/proc/meminfo: memFree=31113232/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=58724 CPUtime=402.22 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 4859727 0 0 0 39557 665 0 0 20 0 1 0 345010838 60133376 12095 33554432000 134512640 137136520 4290266544 4290265076 134551888 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 14681 12095 198 641 0 14037 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 58724

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 12235
/proc/meminfo: memFree=31105108/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=62128 CPUtime=462.21 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 5612102 0 0 0 45453 768 0 0 20 0 1 0 345010838 63619072 12945 33554432000 134512640 137136520 4290266544 4290265128 135982492 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 15532 12945 198 641 0 14888 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 62128

[startup+522.3 s]
/proc/loadavg: 2.05 2.01 1.96 3/177 12237
/proc/meminfo: memFree=31095668/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=67952 CPUtime=522.2 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 6331109 0 0 0 51359 861 0 0 20 0 1 0 345010838 69582848 14402 33554432000 134512640 137136520 4290266544 4290265140 136499620 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 16988 14402 198 641 0 16344 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 67952

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/177 12237
/proc/meminfo: memFree=31061312/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=72144 CPUtime=582.19 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 7037262 0 0 0 57259 960 0 0 20 0 1 0 345010838 73875456 15449 33554432000 134512640 137136520 4290266544 4290265136 134616481 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 18036 15449 198 641 0 17392 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 72144

[startup+642.3 s]

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

/proc/meminfo: memFree=30911856/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=107676 CPUtime=1062.1 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 12313662 0 0 0 104512 1698 0 0 20 0 1 0 345010838 110260224 24333 33554432000 134512640 137136520 4290266544 4290265076 134551149 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 26919 24333 198 641 0 26275 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 107676

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/176 12263
/proc/meminfo: memFree=30892064/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=110488 CPUtime=1122.1 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 12907924 0 0 0 110431 1779 0 0 20 0 1 0 345010838 113139712 25036 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 27622 25036 198 641 0 26978 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 110488

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12264
/proc/meminfo: memFree=30875368/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=115756 CPUtime=1182.08 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 13424904 0 0 0 116351 1857 0 0 20 0 1 0 345010838 118534144 26353 33554432000 134512640 137136520 4290266544 4290265076 134551767 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 28939 26353 198 641 0 28295 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 115756

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12264
/proc/meminfo: memFree=30864256/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=118844 CPUtime=1242.07 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 13958310 0 0 0 122273 1934 0 0 20 0 1 0 345010838 121696256 27157 33554432000 134512640 137136520 4290266544 4290265172 134616727 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 29711 27157 198 641 0 29067 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 118844

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12264
/proc/meminfo: memFree=30856196/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=122612 CPUtime=1302.07 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 14537163 0 0 0 128191 2016 0 0 20 0 1 0 345010838 125554688 28067 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 30653 28067 198 641 0 30009 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 122612

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12264
/proc/meminfo: memFree=30846748/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=126568 CPUtime=1362.05 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 15166819 0 0 0 134093 2112 0 0 20 0 1 0 345010838 129605632 29056 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 31642 29056 198 641 0 30998 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 126568

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 12267
/proc/meminfo: memFree=30837812/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=129908 CPUtime=1422.05 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 15710396 0 0 0 140019 2186 0 0 20 0 1 0 345010838 133025792 29923 33554432000 134512640 137136520 4290266544 4290265216 134616842 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 32477 29923 198 641 0 31833 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 129908

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 12268
/proc/meminfo: memFree=30829436/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=133888 CPUtime=1482.03 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 16342571 0 0 0 145924 2279 0 0 20 0 1 0 345010838 137101312 30886 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 33472 30886 198 641 0 32828 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 133888

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12268
/proc/meminfo: memFree=30818524/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=138248 CPUtime=1542.02 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 16949614 0 0 0 151834 2368 0 0 20 0 1 0 345010838 141565952 31976 33554432000 134512640 137136520 4290266544 4290265076 134551354 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 34562 31976 198 641 0 33918 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 138248

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12268
/proc/meminfo: memFree=30806096/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=142408 CPUtime=1602.02 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 17432508 0 0 0 157758 2444 0 0 20 0 1 0 345010838 145825792 33016 33554432000 134512640 137136520 4290266544 4290265168 134554330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 35602 33016 198 641 0 34958 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 142408

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12268
/proc/meminfo: memFree=30798656/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=145656 CPUtime=1662 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 18091941 0 0 0 163663 2537 0 0 20 0 1 0 345010838 149151744 33828 33554432000 134512640 137136520 4290266544 4290265076 134551198 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 36414 33828 198 641 0 35770 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 145656

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12268
/proc/meminfo: memFree=30785992/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=148512 CPUtime=1721.99 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 18686842 0 0 0 169578 2621 0 0 20 0 1 0 345010838 152076288 34542 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 37128 34542 198 641 0 36484 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 148512

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12269
/proc/meminfo: memFree=30778428/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=150956 CPUtime=1781.98 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 19347050 0 0 0 175483 2715 0 0 20 0 1 0 345010838 154578944 35185 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 37739 35185 198 641 0 37095 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 150956

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12269
/proc/meminfo: memFree=30778056/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=151776 CPUtime=1791.59 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 19438970 0 0 0 176430 2729 0 0 20 0 1 0 345010838 155418624 35389 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 37944 35389 198 641 0 37300 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 151776

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12269
/proc/meminfo: memFree=30778180/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=152160 CPUtime=1794.78 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 19470802 0 0 0 176745 2733 0 0 20 0 1 0 345010838 155811840 35454 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 38040 35454 198 641 0 37396 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 152160

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12269
/proc/meminfo: memFree=30777808/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=152160 CPUtime=1796.38 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 19484906 0 0 0 176903 2735 0 0 20 0 1 0 345010838 155811840 35454 33554432000 134512640 137136520 4290266544 4290265232 134607060 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 38040 35454 198 641 0 37396 0
Current children cumulated CPU time (s) 1796.38
Current children cumulated vsize (KiB) 152160

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12269
/proc/meminfo: memFree=30778180/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=152160 CPUtime=1797.18 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 19491716 0 0 0 176982 2736 0 0 20 0 1 0 345010838 155811840 35454 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 38040 35454 198 641 0 37396 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (KiB) 152160

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12269
/proc/meminfo: memFree=30778180/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=151776 CPUtime=1797.58 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 19494495 0 0 0 177022 2736 0 0 20 0 1 0 345010838 155418624 35390 33554432000 134512640 137136520 4290266544 4290265140 136509072 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 37944 35390 198 641 0 37300 0
Current children cumulated CPU time (s) 1797.58
Current children cumulated vsize (KiB) 151776

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 12269
/proc/meminfo: memFree=30778180/32873844 swapFree=8656/8656
[pid=12230] ppid=12228 vsize=151776 CPUtime=1797.98 cores=0,2,4,6
/proc/12230/stat : 12230 (bsolo) R 12228 12230 11815 0 -1 4202496 19499070 0 0 0 177061 2737 0 0 20 0 1 0 345010838 155418624 35390 33554432000 134512640 137136520 4290266544 4290265136 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/12230/statm: 37944 35390 198 641 0 37300 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 151776

Child status: 0
Real time (s): 1798.33
CPU time (s): 1798.02
CPU user time (s): 1770.64
CPU system time (s): 27.3818
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 153184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.64
system time used= 27.3818
maximum resident set size= 142968
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19499391
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= 54
involuntary context switches= 1899

runsolver used 2.6336 second user time and 7.18191 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-04 07:47:03
IDJOB=3742859
IDBENCH=90381
IDSOLVER=2320
FILE ID=node102/3742859-1338788823
RUNJOBID= node102-1338783426-11831
PBS_JOBID= 14636839
Free space on /tmp= 71168 MiB

SOLVER NAME= PB09: bsolo 3.1
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_0null0mast_rapportOE2.0_TMAX120_K67_cod1.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742859-1338788823/watcher-3742859-1338788823 -o /tmp/evaluation-result-3742859-1338788823/solver-3742859-1338788823 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 -m15500 HOME/instance-3742859-1338788823.opb

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

MD5SUM BENCH= b9a8630bbf7b957f842f31a8ccfab571
RANDOM SEED=1730173564

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
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		: 2667.178
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		: 2667.178
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		: 2667.178
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	: 5438.54
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		: 2667.178
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.91
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		: 2667.178
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31197288 kB
Buffers:          217676 kB
Cached:           669624 kB
SwapCached:         5520 kB
Active:           273000 kB
Inactive:         632180 kB
Active(anon):      13956 kB
Inactive(anon):     5604 kB
Active(file):     259044 kB
Inactive(file):   626576 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097276 kB
Dirty:             13216 kB
Writeback:             0 kB
AnonPages:        233896 kB
Mapped:            12108 kB
Shmem:                 0 kB
Slab:             629784 kB
SReclaimable:      70892 kB
SUnreclaim:       558892 kB
KernelStack:        1480 kB
PageTables:         4096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     142764 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    212992 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-3742859-1338788823.opb

Free space on /tmp at the end= 71168 MiB
End job on node102 at 2012-06-04 08:17:02