Trace number 3707720

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
bsolo 3.2? 1798.02 1798.49

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
MD5SUM9100923ff6d9c8d4da1b288858ed91b3
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark17.0534
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables200
Total number of constraints302
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
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 40
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6124
Sum of products size (including duplicates)12248
Number of different products3062
Sum of products size6124

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 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 Instance file HOME/instance-3707720-1338184121.opb
0.00/0.00	c File size is 79218 bytes.
0.00/0.01	c Highest Coefficient sum: 200
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.013 s
0.00/0.01	c Var: 6324 Constr: 12551 6224/203/6124 Lit: 43568 Watch. Lit: 37187
0.00/0.01	c Obj. Vars: 0 (0 % of total variables)
7.59/7.67	c Pre-processing Time: 7.67 s
7.59/7.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
7.59/7.67	c        0   6324    12551    43568    3    37187  103242      0      0 7.67
7.59/7.67	c Switching off lower bounding mode.
1797.92/1798.47	c      100   6324    12657    52229    4    37438  113567    106     12 7.71
1797.92/1798.47	c      250   6324    12815    65365    5    37754  124924    264     32 7.76
1797.92/1798.47	c      476   6324    13050    87262    6    38224  137417    499     60 7.83
1797.92/1798.47	c      815   6324    13407   114534    8    38938  151159    856    102 7.94
1797.92/1798.47	c     1323   6324    13936   144390   10    40049  166275   1385    162 8.16
1797.92/1798.47	c     2086   6324    14744   192843   13    41665  182903   2193    244 8.52
1797.92/1798.47	c     3234   6324    15943   270284   16    44393  201194   3392    361 8.95
1797.92/1798.47	c     4955   6324    17750   390171   21    48481  221314   5199    513 9.65
1797.92/1798.47	c     7539   6324    20440   570482   27    53955  243446   7889    701 10.75
1797.92/1798.47	c    11419   6324    24482   847833   34    62909  267791  11931    915 12.48
1797.92/1798.47	c    17241   6324    30555  1277997   41    75573  294571  18004   1126 15.31
1797.92/1798.47	c    25978   6324    39726  1896882   47    96650  324029  27175   1278 20.32
1797.92/1798.47	c    39088   6324    53570  2834259   52   127007  356432  41019   1329 29.41
1797.92/1798.47	c    58759   6324    74188  4236686   57   169949  392076  61637   1190 49.34
1797.92/1798.47	c    88269   6324   105723  6497377   61   234619  431284  93172    888 99.37
1797.92/1798.47	c   132539   6324   152388  9729696   63   330618  474413 139837    674 196.45
1797.92/1798.47	c   198949   6324   223272 14852696   66   473664  521855 210721    503 395.27
1797.92/1798.47	c   298570   6324   329314 23248713   70   688612  574041 316763    341 873.42
1797.92/1798.47	c Resources Exceeded
1797.92/1798.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.92/1798.47	c   18   444952 180503  1992805   485041 36784257 472490    247 1798.01
1797.92/1798.47	s UNKNOWN
1797.92/1798.47	c Total time: 1798.01 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-3707720-1338184121/watcher-3707720-1338184121 -o /tmp/evaluation-result-3707720-1338184121/solver-3707720-1338184121 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707720-1338184121.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: 1.94 1.99 1.99 3/175 10018
/proc/meminfo: memFree=30272512/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=11288 CPUtime=0 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 392 0 0 0 0 0 0 0 20 0 1 0 284536996 11558912 345 33554432000 134512640 137138936 4287454320 4287452472 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 2822 345 176 642 0 2158 0

[startup+0.088447 s]
/proc/loadavg: 1.94 1.99 1.99 3/175 10018
/proc/meminfo: memFree=30272512/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=14032 CPUtime=0.08 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 1137 0 0 0 8 0 0 0 20 0 1 0 284536996 14368768 1070 33554432000 134512640 137138936 4287454320 4287377120 134543488 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 3508 1070 185 642 0 2864 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 14032

[startup+0.100278 s]
/proc/loadavg: 1.94 1.99 1.99 3/175 10018
/proc/meminfo: memFree=30272512/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=14032 CPUtime=0.09 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 1137 0 0 0 9 0 0 0 20 0 1 0 284536996 14368768 1070 33554432000 134512640 137138936 4287454320 4287376644 136500245 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 3508 1070 185 642 0 2864 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14032

[startup+0.300227 s]
/proc/loadavg: 1.94 1.99 1.99 3/175 10018
/proc/meminfo: memFree=30272512/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=14032 CPUtime=0.29 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 1138 0 0 0 29 0 0 0 20 0 1 0 284536996 14368768 1071 33554432000 134512640 137138936 4287454320 4287376944 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 3508 1071 185 642 0 2864 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14032

[startup+0.700225 s]
/proc/loadavg: 1.94 1.99 1.99 3/175 10018
/proc/meminfo: memFree=30272512/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=14032 CPUtime=0.69 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 1138 0 0 0 69 0 0 0 20 0 1 0 284536996 14368768 1071 33554432000 134512640 137138936 4287454320 4287376944 134542978 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 3508 1071 185 642 0 2864 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14032

[startup+1.50023 s]
/proc/loadavg: 1.94 1.99 1.99 3/176 10019
/proc/meminfo: memFree=30268768/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=14032 CPUtime=1.49 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 1139 0 0 0 149 0 0 0 20 0 1 0 284536996 14368768 1072 33554432000 134512640 137138936 4287454320 4287376944 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 3508 1072 185 642 0 2864 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14032

[startup+3.10023 s]
/proc/loadavg: 1.94 1.99 1.99 3/176 10019
/proc/meminfo: memFree=30268396/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=14032 CPUtime=3.09 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 1139 0 0 0 309 0 0 0 20 0 1 0 284536996 14368768 1072 33554432000 134512640 137138936 4287454320 4287376944 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 3508 1072 185 642 0 2864 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14032

[startup+6.30023 s]
/proc/loadavg: 1.94 1.99 1.99 3/176 10019
/proc/meminfo: memFree=30268148/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=14032 CPUtime=6.29 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 1139 0 0 0 629 0 0 0 20 0 1 0 284536996 14368768 1072 33554432000 134512640 137138936 4287454320 4287377132 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 3508 1072 185 642 0 2864 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14032

[startup+12.7003 s]
/proc/loadavg: 1.95 1.99 1.99 3/175 10019
/proc/meminfo: memFree=30257524/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=26392 CPUtime=12.68 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 4496 0 0 0 1264 4 0 0 20 0 1 0 284536996 27025408 4167 33554432000 134512640 137138936 4287454320 4287452928 134552486 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 6598 4167 192 642 0 5954 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26392

[startup+25.5003 s]
/proc/loadavg: 1.96 1.99 1.99 3/176 10020
/proc/meminfo: memFree=30233832/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=49348 CPUtime=25.49 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 10232 0 0 0 2536 13 0 0 20 0 1 0 284536996 50532352 9903 33554432000 134512640 137138936 4287454320 4287452548 136500283 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 12337 9903 192 642 0 11693 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 49348

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/177 10021
/proc/meminfo: memFree=30206544/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=76604 CPUtime=51.08 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 17060 0 0 0 5085 23 0 0 20 0 1 0 284536996 78442496 16731 33554432000 134512640 137138936 4287454320 4287452984 136504423 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 19151 16731 192 642 0 18507 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 76604

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 10024
/proc/meminfo: memFree=30173304/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=108760 CPUtime=102.28 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 25098 0 0 0 10194 34 0 0 20 0 1 0 284536996 111370240 24769 33554432000 134512640 137138936 4287454320 4287453436 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 27190 24769 192 642 0 26546 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 108760

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10024
/proc/meminfo: memFree=30143428/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=138704 CPUtime=162.27 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 32571 0 0 0 16178 49 0 0 20 0 1 0 284536996 142032896 32242 33554432000 134512640 137138936 4287454320 4287453248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 34676 32242 192 642 0 34032 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 138704

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10062
/proc/meminfo: memFree=30924548/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=164048 CPUtime=222.21 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 38954 0 0 0 22160 61 0 0 20 0 1 0 284536996 167985152 38577 33554432000 134512640 137138936 4287454320 4287453032 136505666 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 41012 38577 192 642 0 40368 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 164048

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10062
/proc/meminfo: memFree=30712248/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=188036 CPUtime=282.16 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 44985 0 0 0 28146 70 0 0 20 0 1 0 284536996 192548864 44575 33554432000 134512640 137138936 4287454320 4287453248 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 47009 44575 192 642 0 46365 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 188036

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10063
/proc/meminfo: memFree=30515736/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=210764 CPUtime=342.15 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 50683 0 0 0 34135 80 0 0 20 0 1 0 284536996 215822336 50273 33554432000 134512640 137138936 4287454320 4287453248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 52691 50273 192 642 0 52047 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 210764

[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 10063
/proc/meminfo: memFree=30354068/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=229992 CPUtime=402.15 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 55473 0 0 0 40125 90 0 0 20 0 1 0 284536996 235511808 55063 33554432000 134512640 137138936 4287454320 4287453248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 57498 55063 192 642 0 56854 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 229992

[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 10063
/proc/meminfo: memFree=30192896/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=247020 CPUtime=462.13 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 59744 0 0 0 46116 97 0 0 20 0 1 0 284536996 252948480 59334 33554432000 134512640 137138936 4287454320 4287453216 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 61755 59334 192 642 0 61111 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 247020

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10063
/proc/meminfo: memFree=30027012/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=262148 CPUtime=522.13 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 63526 0 0 0 52109 104 0 0 20 0 1 0 284536996 268439552 63116 33554432000 134512640 137138936 4287454320 4287453248 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 65537 63116 192 642 0 64893 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 262148

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10063
/proc/meminfo: memFree=30012284/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=276612 CPUtime=582.12 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 67141 0 0 0 58100 112 0 0 20 0 1 0 284536996 283250688 66731 33554432000 134512640 137138936 4287454320 4287453248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 69153 66731 192 642 0 68509 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 276612

[startup+642.3 s]

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

/proc/meminfo: memFree=29879468/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=408876 CPUtime=1121.95 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 100281 0 0 0 112030 165 0 0 20 0 1 0 284536996 418689024 99784 33554432000 134512640 137138936 4287454320 4287453248 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 102219 99784 192 642 0 101575 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 408876

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10090
/proc/meminfo: memFree=29864780/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=423548 CPUtime=1181.91 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 103992 0 0 0 118021 170 0 0 20 0 1 0 284536996 433713152 103467 33554432000 134512640 137138936 4287454320 4287453248 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 105887 103467 192 642 0 105243 0
Current children cumulated CPU time (s) 1181.91
Current children cumulated vsize (KiB) 423548

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10091
/proc/meminfo: memFree=29851636/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=436388 CPUtime=1241.91 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 107207 0 0 0 124017 174 0 0 20 0 1 0 284536996 446861312 106682 33554432000 134512640 137138936 4287454320 4287453248 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 109097 106682 192 642 0 108453 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 436388

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10094
/proc/meminfo: memFree=29840344/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=447400 CPUtime=1301.9 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 109940 0 0 0 130012 178 0 0 20 0 1 0 284536996 458137600 109415 33554432000 134512640 137138936 4287454320 4287453248 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 111850 109415 192 642 0 111206 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 447400

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10094
/proc/meminfo: memFree=29832292/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=455540 CPUtime=1361.89 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 111995 0 0 0 136008 181 0 0 20 0 1 0 284536996 466472960 111470 33554432000 134512640 137138936 4287454320 4287453248 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 113885 111470 192 642 0 113241 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 455540

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10094
/proc/meminfo: memFree=29819768/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=468008 CPUtime=1421.89 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 115092 0 0 0 142003 186 0 0 20 0 1 0 284536996 479240192 114567 33554432000 134512640 137138936 4287454320 4287453248 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 117002 114567 192 642 0 116358 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 468008

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10094
/proc/meminfo: memFree=29807120/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=480780 CPUtime=1481.88 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 118294 0 0 0 147998 190 0 0 20 0 1 0 284536996 492318720 117769 33554432000 134512640 137138936 4287454320 4287453248 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 120195 117769 192 642 0 119551 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 480780

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 10095
/proc/meminfo: memFree=29798192/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=489628 CPUtime=1541.86 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 120512 0 0 0 153994 192 0 0 20 0 1 0 284536996 501379072 119987 33554432000 134512640 137138936 4287454320 4287453248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 122407 119987 192 642 0 121763 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 489628

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10095
/proc/meminfo: memFree=29786784/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=501244 CPUtime=1601.85 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 123415 0 0 0 159989 196 0 0 20 0 1 0 284536996 513273856 122890 33554432000 134512640 137138936 4287454320 4287453248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 125311 122890 192 642 0 124667 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 501244

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29775128/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=512872 CPUtime=1661.84 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 126310 0 0 0 165985 199 0 0 20 0 1 0 284536996 525180928 125785 33554432000 134512640 137138936 4287454320 4287453248 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 128218 125785 192 642 0 127574 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 512872

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29762480/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=525544 CPUtime=1721.83 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 129476 0 0 0 171980 203 0 0 20 0 1 0 284536996 538157056 128951 33554432000 134512640 137138936 4287454320 4287453248 134542497 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 131386 128951 192 642 0 130742 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 525544

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29751816/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=535816 CPUtime=1781.83 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 132059 0 0 0 177976 207 0 0 20 0 1 0 284536996 548675584 131534 33554432000 134512640 137138936 4287454320 4287453248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 133954 131534 192 642 0 133310 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 535816

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29750700/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=537096 CPUtime=1791.43 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 132364 0 0 0 178936 207 0 0 20 0 1 0 284536996 549986304 131839 33554432000 134512640 137138936 4287454320 4287453248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 134274 131839 192 642 0 133630 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 537096

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29750080/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=537644 CPUtime=1794.63 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 132515 0 0 0 179256 207 0 0 20 0 1 0 284536996 550547456 131990 33554432000 134512640 137138936 4287454320 4287453248 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 134411 131990 192 642 0 133767 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 537644

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29749956/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=537796 CPUtime=1796.22 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 132550 0 0 0 179415 207 0 0 20 0 1 0 284536996 550703104 132025 33554432000 134512640 137138936 4287454320 4287453248 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 134449 132025 192 642 0 133805 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 537796

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29749956/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=538000 CPUtime=1797.02 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 132590 0 0 0 179495 207 0 0 20 0 1 0 284536996 550912000 132065 33554432000 134512640 137138936 4287454320 4287453248 134542469 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 134500 132065 192 642 0 133856 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 538000

[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29749956/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=538000 CPUtime=1797.42 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 132604 0 0 0 179535 207 0 0 20 0 1 0 284536996 550912000 132079 33554432000 134512640 137138936 4287454320 4287453236 136296964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 134500 132079 192 642 0 133856 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (KiB) 538000

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29749956/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=538112 CPUtime=1797.82 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 132621 0 0 0 179575 207 0 0 20 0 1 0 284536996 551026688 132096 33554432000 134512640 137138936 4287454320 4287453248 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 134528 132096 192 642 0 133884 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 538112

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29749708/32873844 swapFree=7112/7112
[pid=10018] ppid=10016 vsize=538112 CPUtime=1797.92 cores=1,3,5,7
/proc/10018/stat : 10018 (bsolo) R 10016 10018 7024 0 -1 4202496 132634 0 0 0 179585 207 0 0 20 0 1 0 284536996 551026688 132109 33554432000 134512640 137138936 4287454320 4287453216 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/10018/statm: 134528 132109 192 642 0 133884 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 538112

Child status: 0
Real time (s): 1798.49
CPU time (s): 1798.02
CPU user time (s): 1795.93
CPU system time (s): 2.09168
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 538112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.93
system time used= 2.09168
maximum resident set size= 528436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132634
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= 199
involuntary context switches= 1847

runsolver used 3.53146 second user time and 8.09077 second system time

The end

Launcher Data 

Begin job on node142 at 2012-05-28 07:48:41
IDJOB=3707720
IDBENCH=48320
IDSOLVER=2286
FILE ID=node142/3707720-1338184121
RUNJOBID= node142-1338150692-7041
PBS_JOBID= 14624520
Free space on /tmp= 71692 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_100_25_5_40.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707720-1338184121/watcher-3707720-1338184121 -o /tmp/evaluation-result-3707720-1338184121/solver-3707720-1338184121 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707720-1338184121.opb

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

MD5SUM BENCH= 9100923ff6d9c8d4da1b288858ed91b3
RANDOM SEED=778427837

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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	: 5391.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.776
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		: 2666.776
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:        30272776 kB
Buffers:          337440 kB
Cached:           387068 kB
SwapCached:            0 kB
Active:          1529972 kB
Inactive:         246804 kB
Active(anon):    1042952 kB
Inactive(anon):    11212 kB
Active(file):     487020 kB
Inactive(file):   235592 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3912 kB
Writeback:             0 kB
AnonPages:       1058440 kB
Mapped:            12288 kB
Shmem:               200 kB
Slab:             682292 kB
SReclaimable:     124596 kB
SUnreclaim:       557696 kB
KernelStack:        1448 kB
PageTables:         5872 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1173100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1032192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node142 at 2012-05-28 08:18:40