Trace number 3740922

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
PB09: bsolo 3.1? 1798.14 1798.97

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-180.opb
MD5SUM8c3fe83338b70253b33b876e52e7c579
Bench CategoryDEC-SMALLINT-LIN (no 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 FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables311827
Total number of constraints7317246
Number of constraints which are clauses6573583
Number of constraints which are cardinality constraints (but not clauses)22922
Number of constraints which are nor clauses,nor cardinality constraints720741
Minimum length of a constraint2
Maximum length of a constraint2457
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2458
Number of bits of the biggest sum of numbers12
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-3740922-1338762907.opb
0.00/0.00	c File size is 356362030 bytes.
28.29/28.32	c Highest Coefficient sum: 2458
28.29/28.32	c Parsing was ok!!
28.29/28.32	c Total parsing time: 28.32 s
29.49/29.60	c Var: 311827 Constr: 7328728 6585064/22923/720741 Lit: 28330824 Watch. Lit: 14783716
29.49/29.60	c Obj. Vars: 0 (0 % of total variables)
209.63/209.72	c Pre-processing Time: 209.66 s
209.73/209.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
209.73/209.84	c        0 311827  7328728 28330824    3 15504457  500000      0      0 209.66
209.73/209.84	c Switching off lower bounding mode.
1798.06/1798.95	c      101 311827  7328906 28638303    3 15491743  550001    178      0 211.45
1798.06/1798.95	c      251 311827  7329206 28668284    3 15468659  605002    478      1 213.01
1798.06/1798.95	c      477 311827  7329657 28726671    3 15470952  665503    929      2 215.99
1798.06/1798.95	c      815 311827  7330333 28885771    3 15472194  732054   1605      3 219.76
1798.06/1798.95	c     1323 311827  7331349 29238479    3 15474184  805260   2621      5 223.96
1798.06/1798.95	c     2087 311827  7332877 29697861    4 15475723  885787   4149      8 236.27
1798.06/1798.95	c     3235 311827  7335173 30327733    4 15472408  974366   6445     11 279.67
1798.06/1798.95	c     4956 311827  7338615 31655164    4 15473935  500000   9887     14 340.71
1798.06/1798.95	c     7541 311827  7343785 36440589    4 15481663  550001  15057     19 387.54
1798.06/1798.95	c    11420 311827  7351540 42563743    5 15489377  605002  22812     24 469.63
1798.06/1798.95	c    17242 311827  7363184 48577037    6 15511295  665503  34456     31 555.32
1798.06/1798.95	c    25979 311827  7380658 60148245    8 15541969  732054  51930     35 725.09
1798.06/1798.95	c    39091 311827  7406882 86981403   11 15587702  805260  78154     38 1026.48
1798.06/1798.95	c    58762 311827  7446224 130124617   17 15662062  885787 117496     37 1556.34
1798.06/1798.95	c Resources Exceeded
1798.06/1798.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.06/1798.95	c   14    68157  21828  5378204  7465014 151983465 136286     37 1798.12
1798.06/1798.95	s UNKNOWN
1798.06/1798.95	c Total time: 1798.12 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-3740922-1338762907/watcher-3740922-1338762907 -o /tmp/evaluation-result-3740922-1338762907/solver-3740922-1338762907 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3740922-1338762907.opb 

running on 4 cores: 1,3,5,7

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.08 2.03 2.00 3/176 31210
/proc/meminfo: memFree=26715760/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=358940 CPUtime=0 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 342417283 367554560 283 33554432000 134512640 137136520 4291692800 4291691000 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 89735 284 186 641 0 2088 0

[startup+0.0943471 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 31210
/proc/meminfo: memFree=26715760/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=363172 CPUtime=0.09 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 1717 0 0 0 9 0 0 0 20 0 1 0 342417283 371888128 1671 33554432000 134512640 137136520 4291692800 4291691000 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 90793 1671 519 641 0 3146 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 363172

[startup+0.100175 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 31210
/proc/meminfo: memFree=26715760/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=363448 CPUtime=0.09 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 1808 0 0 0 9 0 0 0 20 0 1 0 342417283 372170752 1762 33554432000 134512640 137136520 4291692800 4291691000 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 90862 1762 542 641 0 3215 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 363448

[startup+0.300122 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 31210
/proc/meminfo: memFree=26715760/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=372044 CPUtime=0.29 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 4677 0 0 0 29 0 0 0 20 0 1 0 342417283 380973056 4631 33554432000 134512640 137136520 4291692800 4291691000 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 93011 4631 1256 641 0 5364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 372044

[startup+0.700119 s]
/proc/loadavg: 2.08 2.03 2.00 3/176 31210
/proc/meminfo: memFree=26715760/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=389164 CPUtime=0.69 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 10366 0 0 0 68 1 0 0 20 0 1 0 342417283 398503936 10320 33554432000 134512640 137136520 4291692800 4291691000 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 97291 10320 2678 641 0 9644 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 389164

[startup+1.50011 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 31211
/proc/meminfo: memFree=26671260/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=421436 CPUtime=1.49 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 21351 0 0 0 146 3 0 0 20 0 1 0 342417283 431550464 21265 33554432000 134512640 137136520 4291692800 4291691032 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 105359 21266 5569 641 0 17712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 421436

[startup+3.10019 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 31211
/proc/meminfo: memFree=26636648/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=479940 CPUtime=3.09 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 41308 0 0 0 303 6 0 0 20 0 1 0 342417283 491458560 41143 33554432000 134512640 137136520 4291692800 4291691328 134517592 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 119985 41144 10839 641 0 32338 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 479940

[startup+6.30024 s]
/proc/loadavg: 2.15 2.04 2.01 3/177 31211
/proc/meminfo: memFree=26515276/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=592296 CPUtime=6.29 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 79666 0 0 0 617 12 0 0 20 0 1 0 342417283 606511104 79452 33554432000 134512640 137136520 4291692800 4291691064 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 148074 79452 21011 641 0 60427 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 592296

[startup+12.7001 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 31211
/proc/meminfo: memFree=26278204/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=812180 CPUtime=12.69 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 155801 0 0 0 1248 21 0 0 20 0 1 0 342417283 831672320 155333 33554432000 134512640 137136520 4291692800 4291691280 136575102 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 203045 155335 41924 641 0 115398 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 812180

[startup+25.5001 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 31211
/proc/meminfo: memFree=25873220/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1191768 CPUtime=25.48 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 288126 0 0 0 2509 39 0 0 20 0 1 0 342417283 1220370432 287152 33554432000 134512640 137136520 4291692800 4291691000 136504651 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 297942 287152 78912 641 0 210295 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1191768

[startup+51.1003 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 31211
/proc/meminfo: memFree=24912284/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1777460 CPUtime=51.07 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 525444 0 0 0 5018 89 0 0 20 0 1 0 342417283 1820119040 440945 33554432000 134512640 137136520 4291692800 4287949328 134540163 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 444365 440945 191 641 0 443721 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1777460

[startup+102.307 s]
/proc/loadavg: 2.13 2.06 2.01 3/177 31211
/proc/meminfo: memFree=24874368/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1777592 CPUtime=102.26 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 525484 0 0 0 10118 108 0 0 20 0 1 0 342417283 1820254208 440961 33554432000 134512640 137136520 4291692800 4287949372 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 444398 440961 191 641 0 443754 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1777592

[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 31211
/proc/meminfo: memFree=24862880/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1777592 CPUtime=162.24 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 525514 0 0 0 16098 126 0 0 20 0 1 0 342417283 1820254208 440974 33554432000 134512640 137136520 4291692800 4287949328 134540200 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 444398 440974 191 641 0 443754 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 1777592

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 31212
/proc/meminfo: memFree=24866624/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1760688 CPUtime=222.21 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 525588 0 0 0 22079 142 0 0 20 0 1 0 342417283 1802944512 437303 33554432000 134512640 137136520 4291692800 4291691728 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 440172 437303 197 641 0 439528 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1760688

[startup+282.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 31212
/proc/meminfo: memFree=24859972/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1760704 CPUtime=282.18 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 526243 0 0 0 28053 165 0 0 20 0 1 0 342417283 1802960896 437307 33554432000 134512640 137136520 4291692800 4291691568 134573545 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 440176 437307 197 641 0 439532 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 1760704

[startup+342.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 31215
/proc/meminfo: memFree=24851932/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1760716 CPUtime=342.15 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 526286 0 0 0 34031 184 0 0 20 0 1 0 342417283 1802973184 437311 33554432000 134512640 137136520 4291692800 4291691568 134576684 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 440179 437311 197 641 0 439535 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 1760716

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 31215
/proc/meminfo: memFree=24846032/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1760740 CPUtime=402.11 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 526335 0 0 0 40011 200 0 0 20 0 1 0 342417283 1802997760 437317 33554432000 134512640 137136520 4291692800 4291691696 134543819 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 440185 437317 197 641 0 439541 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 1760740

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31215
/proc/meminfo: memFree=24840108/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1760764 CPUtime=462.07 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 526993 0 0 0 45972 235 0 0 20 0 1 0 342417283 1803022336 437324 33554432000 134512640 137136520 4291692800 4291691568 134576272 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 440191 437324 197 641 0 439547 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 1760764

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31216
/proc/meminfo: memFree=24831952/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1760796 CPUtime=522.04 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 527046 0 0 0 51952 252 0 0 20 0 1 0 342417283 1803055104 437333 33554432000 134512640 137136520 4291692800 4291691728 134543865 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 440199 437333 197 641 0 439555 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 1760796

[startup+582.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31216
/proc/meminfo: memFree=24828136/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=1760824 CPUtime=582 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 527092 0 0 0 57948 252 0 0 20 0 1 0 342417283 1803083776 437340 33554432000 134512640 137136520 4291692800 4291691568 134571159 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 440206 437340 197 641 0 439562 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 1760824

[startup+642.3 s]

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

/proc/meminfo: memFree=24467164/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2088820 CPUtime=1061.78 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 8610645 0 0 0 104414 1764 0 0 20 0 1 0 342417283 2138951680 519340 33554432000 134512640 137136520 4291692800 4291691568 134576192 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 522205 519340 197 641 0 521561 0
Current children cumulated CPU time (s) 1061.78
Current children cumulated vsize (KiB) 2088820

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31221
/proc/meminfo: memFree=24425532/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2125736 CPUtime=1121.75 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 9884431 0 0 0 110160 2015 0 0 20 0 1 0 342417283 2176753664 528568 33554432000 134512640 137136520 4291692800 4291691696 134544402 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 531434 528568 197 641 0 530790 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 2125736

[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31221
/proc/meminfo: memFree=24352400/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2196084 CPUtime=1181.72 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 11507529 0 0 0 115855 2317 0 0 20 0 1 0 342417283 2248790016 546130 33554432000 134512640 137136520 4291692800 4291691728 134543948 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 549021 546130 197 641 0 548377 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 2196084

[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31221
/proc/meminfo: memFree=24271580/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2273196 CPUtime=1241.69 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 13148221 0 0 0 121557 2612 0 0 20 0 1 0 342417283 2327752704 565421 33554432000 134512640 137136520 4291692800 4291691696 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 568299 565421 197 641 0 567655 0
Current children cumulated CPU time (s) 1241.69
Current children cumulated vsize (KiB) 2273196

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31221
/proc/meminfo: memFree=24187288/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2356336 CPUtime=1301.66 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 14657790 0 0 0 127281 2885 0 0 20 0 1 0 342417283 2412888064 585951 33554432000 134512640 137136520 4291692800 4291691568 134571152 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 589084 585959 197 641 0 588440 0
Current children cumulated CPU time (s) 1301.66
Current children cumulated vsize (KiB) 2356336

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31221
/proc/meminfo: memFree=24114280/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2427248 CPUtime=1361.63 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 16149560 0 0 0 133001 3162 0 0 20 0 1 0 342417283 2485501952 603936 33554432000 134512640 137136520 4291692800 4291691476 136501957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 606812 603936 197 641 0 606168 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 2427248

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31222
/proc/meminfo: memFree=24045860/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2492460 CPUtime=1421.6 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 17468235 0 0 0 138755 3405 0 0 20 0 1 0 342417283 2552279040 620225 33554432000 134512640 137136520 4291692800 4291691568 134573554 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 623115 620225 197 641 0 622471 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 2492460

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31222
/proc/meminfo: memFree=23977440/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2555960 CPUtime=1481.57 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 18782842 0 0 0 144513 3644 0 0 20 0 1 0 342417283 2617303040 636111 33554432000 134512640 137136520 4291692800 4291691512 136502137 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 638990 636111 197 641 0 638346 0
Current children cumulated CPU time (s) 1481.57
Current children cumulated vsize (KiB) 2555960

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31225
/proc/meminfo: memFree=23912244/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2617008 CPUtime=1541.54 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 20002290 0 0 0 150288 3866 0 0 20 0 1 0 342417283 2679816192 651392 33554432000 134512640 137136520 4291692800 4291691728 134543957 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 654252 651392 197 641 0 653608 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 2617008

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31248
/proc/meminfo: memFree=23847136/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2681816 CPUtime=1601.52 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 21397212 0 0 0 156033 4119 0 0 20 0 1 0 342417283 2746179584 667080 33554432000 134512640 137136520 4291692800 4291691568 134571152 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 670454 667105 197 641 0 669810 0
Current children cumulated CPU time (s) 1601.52
Current children cumulated vsize (KiB) 2681816

[startup+1662.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31248
/proc/meminfo: memFree=23777856/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2744680 CPUtime=1661.49 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 22743253 0 0 0 161780 4369 0 0 20 0 1 0 342417283 2810552320 683300 33554432000 134512640 137136520 4291692800 4291691916 136568305 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 686170 683300 197 641 0 685526 0
Current children cumulated CPU time (s) 1661.49
Current children cumulated vsize (KiB) 2744680

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31249
/proc/meminfo: memFree=23699304/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2819236 CPUtime=1721.47 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 24238112 0 0 0 167504 4643 0 0 20 0 1 0 342417283 2886897664 702372 33554432000 134512640 137136520 4291692800 4291691728 134543831 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 704809 702372 197 641 0 704165 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 2819236

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31249
/proc/meminfo: memFree=23627776/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2887928 CPUtime=1781.46 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 25641180 0 0 0 173252 4894 0 0 20 0 1 0 342417283 2957238272 719520 33554432000 134512640 137136520 4291692800 4291691728 134543965 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 721982 719520 197 641 0 721338 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 2887928

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 2/171 31276
/proc/meminfo: memFree=23875156/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2904164 CPUtime=1791.06 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 25911820 0 0 0 174166 4940 0 0 20 0 1 0 342417283 2973863936 723590 33554432000 134512640 137136520 4291692800 4291691568 134573545 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 726041 723590 197 641 0 725397 0
Current children cumulated CPU time (s) 1791.06
Current children cumulated vsize (KiB) 2904164

[startup+1795.1 s]
/proc/loadavg: 1.92 1.99 1.99 2/171 31276
/proc/meminfo: memFree=23869736/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2908260 CPUtime=1794.27 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 25995804 0 0 0 174471 4956 0 0 20 0 1 0 342417283 2978058240 724614 33554432000 134512640 137136520 4291692800 4291691568 134573541 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 727065 724614 197 641 0 726421 0
Current children cumulated CPU time (s) 1794.27
Current children cumulated vsize (KiB) 2908260

[startup+1796.7 s]
/proc/loadavg: 1.92 1.99 1.99 2/171 31276
/proc/meminfo: memFree=23869612/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2910284 CPUtime=1795.85 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 26035968 0 0 0 174622 4963 0 0 20 0 1 0 342417283 2980130816 725128 33554432000 134512640 137136520 4291692800 4291691440 134606731 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 727571 725128 197 641 0 726927 0
Current children cumulated CPU time (s) 1795.85
Current children cumulated vsize (KiB) 2910284

[startup+1798.3 s]
/proc/loadavg: 1.85 1.97 1.99 2/171 31276
/proc/meminfo: memFree=23868496/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2912064 CPUtime=1797.46 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 26070346 0 0 0 174777 4969 0 0 20 0 1 0 342417283 2981953536 725347 33554432000 134512640 137136520 4291692800 4291691568 134571152 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 728016 725368 197 641 0 727372 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 2912064

[startup+1798.7 s]
/proc/loadavg: 1.85 1.97 1.99 2/171 31276
/proc/meminfo: memFree=23867504/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2910020 CPUtime=1797.85 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 26078597 0 0 0 174815 4970 0 0 20 0 1 0 342417283 2979860480 725057 33554432000 134512640 137136520 4291692800 4291691480 136571969 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 727505 725057 197 641 0 726861 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 2910020

[startup+1798.9 s]
/proc/loadavg: 1.85 1.97 1.99 2/171 31276
/proc/meminfo: memFree=23867504/32873660 swapFree=7120/7120
[pid=31210] ppid=31208 vsize=2910288 CPUtime=1798.06 cores=1,3,5,7
/proc/31210/stat : 31210 (bsolo) R 31208 31210 25443 0 -1 4202496 26082921 0 0 0 174835 4971 0 0 20 0 1 0 342417283 2980134912 725111 33554432000 134512640 137136520 4291692800 4291691728 134544148 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/31210/statm: 727572 725111 197 641 0 726928 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 2910288

Child status: 0
Real time (s): 1798.97
CPU time (s): 1798.14
CPU user time (s): 1748.4
CPU system time (s): 49.7384
CPU usage (%): 99.9537
Max. virtual memory (cumulated for all children) (KiB): 2912064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1748.4
system time used= 49.7384
maximum resident set size= 2902916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26083540
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= 927
involuntary context switches= 1863

runsolver used 4.55831 second user time and 11.3723 second system time

The end

Launcher Data 

Begin job on node117 at 2012-06-04 00:35:15
IDJOB=3740922
IDBENCH=89691
IDSOLVER=2320
FILE ID=node117/3740922-1338762907
RUNJOBID= node117-1338762907-31169
PBS_JOBID= 14636766
Free space on /tmp= 68772 MiB

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

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

MD5SUM BENCH= 8c3fe83338b70253b33b876e52e7c579
RANDOM SEED=2013289572

node117.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.148
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.29
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.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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.148
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.95
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.148
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.148
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.148
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.148
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:       32873660 kB
MemFree:        26716428 kB
Buffers:          633560 kB
Cached:          4546140 kB
SwapCached:          776 kB
Active:          2745008 kB
Inactive:        2484512 kB
Active(anon):      35536 kB
Inactive(anon):     9972 kB
Active(file):    2709472 kB
Inactive(file):  2474540 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67107012 kB
Dirty:            363168 kB
Writeback:             0 kB
AnonPages:         51736 kB
Mapped:            12980 kB
Shmem:                80 kB
Slab:             791220 kB
SReclaimable:     230984 kB
SUnreclaim:       560236 kB
KernelStack:        1448 kB
PageTables:         4140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545684 kB
Committed_AS:     166552 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3740922-1338762907.opb

Free space on /tmp at the end= 68780 MiB
End job on node117 at 2012-06-04 01:05:14