Trace number 3707674

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.65

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K164.opb
MD5SUM57b7e746b37944d021e8febe16059957
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 variables19516
Total number of constraints19846
Number of constraints which are clauses19682
Number of constraints which are cardinality constraints (but not clauses)164
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint164
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 165
Number of bits of the biggest sum of numbers8
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.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-3707674-1338234297.opb
0.00/0.00	c File size is 1342841 bytes.
0.09/0.10	c Highest Coefficient sum: 165
0.09/0.10	c Parsing was ok!!
0.09/0.10	c Total parsing time: 0.103 s
0.09/0.11	c Var: 19516 Constr: 19846 19682/164/0 Lit: 127662 Watch. Lit: 58878
0.09/0.11	c Obj. Vars: 0 (0 % of total variables)
8.79/8.82	c Pre-processing Time: 8.813 s
8.79/8.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.79/8.82	c        0  17973    18409   121220    6    55584  166514      0      0 8.81
8.79/8.82	c Switching off lower bounding mode.
1797.96/1798.64	c      100  17973    18522   133760    7    57040  183166    113     11 8.91
1797.96/1798.64	c      250  17973    18705   145986    7    58629  201483    296     27 9.12
1797.96/1798.64	c      475  17973    18970   168233    8    60124  221632    561     50 9.47
1797.96/1798.64	c      813  17973    19422   196751   10    64014  243796   1013     80 10.05
1797.96/1798.64	c     1321  17973    20056   256862   12    68882  268176   1647    119 11.08
1797.96/1798.64	c     2084  17973    20986   361141   17    75137  294994   2577    167 12.46
1797.96/1798.64	c     3231  17973    22334   595388   26    83767  324494   3925    224 14.38
1797.96/1798.64	c     4953  17973    24278   882350   36    92767  356944   5869    280 17.63
1797.96/1798.64	c     7537  17973    27322  1467561   53   109428  392639   8913    326 23.07
1797.96/1798.64	c    11417  17973    31861  2551108   80   129528  431903  13452    346 32.98
1797.96/1798.64	c    17239  17973    38555  4469275  115   157119  475094  20146    349 49.39
1797.96/1798.64	c    25976  17973    48605  6945032  142   200642  522604  30196    327 79.42
1797.96/1798.64	c    39086  17973    63594 11623527  182   270886  574865  45185    275 141.66
1797.96/1798.64	c    58757  17973    86423 21751395  251   381147  632352  68014    239 245.58
1797.96/1798.64	c    88268  17973   120317 34217896  284   516994  695588 101908    186 472.24
1797.96/1798.64	c   132538  17973   171857 58755197  341   741641  765147 153448    140 945.09
1797.96/1798.64	c Reducing formula size due to memory constraints
1797.96/1798.64	c Memory Limit: 1000.00 MB  Used: 1019.45 MB
1797.96/1798.64	c Resources Exceeded
1797.96/1798.64	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.64	c   16   185711 120445 10814828    72099 78635124  53690    103 1798.01
1797.96/1798.64	s UNKNOWN
1797.96/1798.64	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-3707674-1338234297/watcher-3707674-1338234297 -o /tmp/evaluation-result-3707674-1338234297/solver-3707674-1338234297 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707674-1338234297.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.00 2.00 2.00 3/176 7814
/proc/meminfo: memFree=27759708/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=20204 CPUtime=0 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 348 0 0 0 0 0 0 0 20 0 1 0 289555120 20688896 302 33554432000 134512640 137138936 4288997040 4288993368 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 5051 302 176 642 0 4079 0

[startup+0.101213 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7814
/proc/meminfo: memFree=27759708/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=16192 CPUtime=0.09 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 1604 0 0 0 9 0 0 0 20 0 1 0 289555120 16580608 1558 33554432000 134512640 137138936 4288997040 4288993896 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 4048 1558 481 642 0 3076 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16192

[startup+0.200251 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7814
/proc/meminfo: memFree=27759708/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=18236 CPUtime=0.19 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 2425 0 0 0 19 0 0 0 20 0 1 0 289555120 18673664 2051 33554432000 134512640 137138936 4288997040 4288761360 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 4559 2051 184 642 0 3915 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 18236

[startup+0.300244 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7814
/proc/meminfo: memFree=27759708/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=18236 CPUtime=0.29 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 2425 0 0 0 29 0 0 0 20 0 1 0 289555120 18673664 2051 33554432000 134512640 137138936 4288997040 4288761548 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 4559 2051 184 642 0 3915 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18236

[startup+0.70022 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7814
/proc/meminfo: memFree=27759708/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=18236 CPUtime=0.69 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 2427 0 0 0 69 0 0 0 20 0 1 0 289555120 18673664 2053 33554432000 134512640 137138936 4288997040 4288761284 136511136 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 4559 2053 184 642 0 3915 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18236

[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7815
/proc/meminfo: memFree=27751880/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=18236 CPUtime=1.49 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 2428 0 0 0 149 0 0 0 20 0 1 0 289555120 18673664 2054 33554432000 134512640 137138936 4288997040 4288761548 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 4559 2054 184 642 0 3915 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18236

[startup+3.10017 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7815
/proc/meminfo: memFree=27751508/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=18236 CPUtime=3.09 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 2429 0 0 0 309 0 0 0 20 0 1 0 289555120 18673664 2055 33554432000 134512640 137138936 4288997040 4288761548 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 4559 2055 184 642 0 3915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18236

[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 7815
/proc/meminfo: memFree=27751744/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=18236 CPUtime=6.28 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 2432 0 0 0 628 0 0 0 20 0 1 0 289555120 18673664 2056 33554432000 134512640 137138936 4288997040 4288761548 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 4559 2056 184 642 0 3915 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18236

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7816
/proc/meminfo: memFree=27737492/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=22716 CPUtime=12.68 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 3759 0 0 0 1251 17 0 0 20 0 1 0 289555120 23261184 3190 33554432000 134512640 137138936 4288997040 4288995968 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 5679 3190 192 642 0 5035 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22716

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7816
/proc/meminfo: memFree=27689536/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=40900 CPUtime=25.48 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 8315 0 0 0 2507 41 0 0 20 0 1 0 289555120 41881600 7746 33554432000 134512640 137138936 4288997040 4288995464 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 10225 7746 192 642 0 9581 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40900

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7816
/proc/meminfo: memFree=27604756/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=79396 CPUtime=51.08 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 17932 0 0 0 5041 67 0 0 20 0 1 0 289555120 81301504 17363 33554432000 134512640 137138936 4288997040 4288995968 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 19849 17363 192 642 0 19205 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 79396

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7816
/proc/meminfo: memFree=27470756/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=132132 CPUtime=102.27 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 31117 0 0 0 10113 114 0 0 20 0 1 0 289555120 135303168 30548 33554432000 134512640 137138936 4288997040 4288995936 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 33033 30548 192 642 0 32389 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 132132

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7816
/proc/meminfo: memFree=27325704/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=191380 CPUtime=162.26 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 45929 0 0 0 16064 162 0 0 20 0 1 0 289555120 195973120 45360 33554432000 134512640 137138936 4288997040 4288995968 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 47845 45360 192 642 0 47201 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 191380

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7816
/proc/meminfo: memFree=27167508/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=272476 CPUtime=222.26 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 66214 0 0 0 22036 190 0 0 20 0 1 0 289555120 279015424 65645 33554432000 134512640 137138936 4288997040 4288995792 134575040 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 68119 65645 192 642 0 67475 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 272476

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7816
/proc/meminfo: memFree=27039024/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=331548 CPUtime=282.21 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 81017 0 0 0 28004 217 0 0 20 0 1 0 289555120 339505152 80412 33554432000 134512640 137138936 4288997040 4288996156 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 82887 80412 192 642 0 82243 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 331548

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7820
/proc/meminfo: memFree=26928636/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=377588 CPUtime=342.15 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 92582 0 0 0 33978 237 0 0 20 0 1 0 289555120 386650112 91929 33554432000 134512640 137138936 4288997040 4288995632 134550933 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 94397 91929 192 642 0 93753 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 377588

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7820
/proc/meminfo: memFree=26841728/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=421648 CPUtime=402.11 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 103632 0 0 0 39954 257 0 0 20 0 1 0 289555120 431767552 102937 33554432000 134512640 137138936 4288997040 4288995464 134606944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 105412 102937 192 642 0 104768 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 421648

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7820
/proc/meminfo: memFree=26753356/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=456136 CPUtime=462.07 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 112326 0 0 0 45927 280 0 0 20 0 1 0 289555120 467083264 111589 33554432000 134512640 137138936 4288997040 4288995536 134618118 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 114034 111589 192 642 0 113390 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 456136

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7820
/proc/meminfo: memFree=26668824/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=504520 CPUtime=522.01 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 124439 0 0 0 51905 296 0 0 20 0 1 0 289555120 516628480 123655 33554432000 134512640 137138936 4288997040 4288996156 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 126130 123655 192 642 0 125486 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 504520

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7820
/proc/meminfo: memFree=26553772/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=527628 CPUtime=581.99 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 130231 0 0 0 57885 314 0 0 20 0 1 0 289555120 540291072 129435 33554432000 134512640 137138936 4288997040 4288995968 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 131907 129435 192 642 0 131263 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 527628

[startup+642.3 s]

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

/proc/meminfo: memFree=25903468/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=840020 CPUtime=1061.92 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 208326 0 0 0 105775 417 0 0 20 0 1 0 289555120 860180480 207530 33554432000 134512640 137138936 4288997040 4288995584 134607587 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 210005 207530 192 642 0 209361 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 840020

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7848
/proc/meminfo: memFree=25853028/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=890008 CPUtime=1121.92 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 220838 0 0 0 111765 427 0 0 20 0 1 0 289555120 911368192 220042 33554432000 134512640 137138936 4288997040 4288996156 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 222502 220042 192 642 0 221858 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 890008

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7848
/proc/meminfo: memFree=25814752/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=930676 CPUtime=1181.9 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 231002 0 0 0 117750 440 0 0 20 0 1 0 289555120 953012224 230206 33554432000 134512640 137138936 4288997040 4288995464 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 232669 230206 192 642 0 232025 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 930676

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 7849
/proc/meminfo: memFree=25766516/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=976048 CPUtime=1241.89 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 242347 0 0 0 123737 452 0 0 20 0 1 0 289555120 999473152 241551 33554432000 134512640 137138936 4288997040 4288995968 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 244012 241551 192 642 0 243368 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 976048

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 7849
/proc/meminfo: memFree=25691620/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1051624 CPUtime=1301.89 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 261245 0 0 0 129729 460 0 0 20 0 1 0 289555120 1076862976 260449 33554432000 134512640 137138936 4288997040 4288995536 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 262906 260449 192 642 0 262262 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1051624

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 7849
/proc/meminfo: memFree=25683808/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1057464 CPUtime=1361.88 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 262889 0 0 0 135727 461 0 0 20 0 1 0 289555120 1082843136 261909 33554432000 134512640 137138936 4288997040 4288995968 134542330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 264366 261909 192 642 0 263722 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1057464

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7849
/proc/meminfo: memFree=25683808/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1057464 CPUtime=1421.87 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 262889 0 0 0 141724 463 0 0 20 0 1 0 289555120 1082843136 261909 33554432000 134512640 137138936 4288997040 4288995464 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 264366 261909 192 642 0 263722 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1057464

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7849
/proc/meminfo: memFree=25683932/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1057464 CPUtime=1481.85 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 262889 0 0 0 147719 466 0 0 20 0 1 0 289555120 1082843136 261909 33554432000 134512640 137138936 4288997040 4288995268 136500388 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 264366 261909 192 642 0 263722 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1057464

[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.01 3/178 7853
/proc/meminfo: memFree=25683168/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1057464 CPUtime=1541.83 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 262922 0 0 0 153713 470 0 0 20 0 1 0 289555120 1082843136 261909 33554432000 134512640 137138936 4288997040 4288995464 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 264366 261909 192 642 0 263722 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1057464

[startup+1602.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 7853
/proc/meminfo: memFree=25683216/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1057464 CPUtime=1601.79 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 262953 0 0 0 159705 474 0 0 20 0 1 0 289555120 1082843136 261909 33554432000 134512640 137138936 4288997040 4288995968 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 264366 261909 192 642 0 263722 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1057464

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 7853
/proc/meminfo: memFree=25683624/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1057464 CPUtime=1661.76 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 262983 0 0 0 165702 474 0 0 20 0 1 0 289555120 1082843136 261909 33554432000 134512640 137138936 4288997040 4288995936 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 264366 261909 192 642 0 263722 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1057464

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 7853
/proc/meminfo: memFree=25683528/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1057464 CPUtime=1721.72 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 263022 0 0 0 171696 476 0 0 20 0 1 0 289555120 1082843136 261909 33554432000 134512640 137138936 4288997040 4288995892 136511209 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 264366 261909 192 642 0 263722 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1057464

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7853
/proc/meminfo: memFree=25614116/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1102048 CPUtime=1781.68 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 274192 0 0 0 177688 480 0 0 20 0 1 0 289555120 1128497152 273037 33554432000 134512640 137138936 4288997040 4288995968 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 275512 273037 192 642 0 274868 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 1102048

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

[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7853
/proc/meminfo: memFree=25614844/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1102048 CPUtime=1791.37 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 274199 0 0 0 178657 480 0 0 20 0 1 0 289555120 1128497152 273037 33554432000 134512640 137138936 4288997040 4288995536 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 275512 273037 192 642 0 274868 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 1102048

[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7853
/proc/meminfo: memFree=25614844/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1102204 CPUtime=1794.57 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 274262 0 0 0 178977 480 0 0 20 0 1 0 289555120 1128656896 273100 33554432000 134512640 137138936 4288997040 4288995584 134607568 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 275551 273100 192 642 0 274907 0
Current children cumulated CPU time (s) 1794.57
Current children cumulated vsize (KiB) 1102204

[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7853
/proc/meminfo: memFree=25614100/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1102828 CPUtime=1796.16 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 274416 0 0 0 179136 480 0 0 20 0 1 0 289555120 1129295872 273246 33554432000 134512640 137138936 4288997040 4288995968 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 275707 273246 192 642 0 275063 0
Current children cumulated CPU time (s) 1796.16
Current children cumulated vsize (KiB) 1102828

[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7853
/proc/meminfo: memFree=25613836/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1102828 CPUtime=1796.96 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 274416 0 0 0 179216 480 0 0 20 0 1 0 289555120 1129295872 273246 33554432000 134512640 137138936 4288997040 4288995556 134550981 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 275707 273246 192 642 0 275063 0
Current children cumulated CPU time (s) 1796.96
Current children cumulated vsize (KiB) 1102828

[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7853
/proc/meminfo: memFree=25613836/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1102828 CPUtime=1797.76 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 274416 0 0 0 179296 480 0 0 20 0 1 0 289555120 1129295872 273246 33554432000 134512640 137138936 4288997040 4288995968 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 275707 273246 192 642 0 275063 0
Current children cumulated CPU time (s) 1797.76
Current children cumulated vsize (KiB) 1102828

[startup+1798.61 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7853
/proc/meminfo: memFree=25613836/32873648 swapFree=7104/7104
[pid=7814] ppid=7812 vsize=1102828 CPUtime=1797.96 cores=1,3,5,7
/proc/7814/stat : 7814 (bsolo) R 7812 7814 7472 0 -1 4202496 274432 0 0 0 179316 480 0 0 20 0 1 0 289555120 1129295872 273262 33554432000 134512640 137138936 4288997040 4288995968 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7814/statm: 275707 273262 192 642 0 275063 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 1102828

Child status: 0
Real time (s): 1798.65
CPU time (s): 1798.02
CPU user time (s): 1793.21
CPU system time (s): 4.81727
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 1102828

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.21
system time used= 4.81727
maximum resident set size= 1093048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274432
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= 424
involuntary context switches= 1836

runsolver used 3.75843 second user time and 8.50571 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-28 21:44:57
IDJOB=3707674
IDBENCH=90170
IDSOLVER=2286
FILE ID=node127/3707674-1338234297
RUNJOBID= node127-1338228900-7489
PBS_JOBID= 14624640
Free space on /tmp= 71100 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K164.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707674-1338234297/watcher-3707674-1338234297 -o /tmp/evaluation-result-3707674-1338234297/solver-3707674-1338234297 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707674-1338234297.opb

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

MD5SUM BENCH= 57b7e746b37944d021e8febe16059957
RANDOM SEED=1132170582

node127.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.348
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	: 5332.69
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.348
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.348
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.94
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.348
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		: 2666.348
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		: 2666.348
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.348
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.348
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:       32873648 kB
MemFree:        27762948 kB
Buffers:          500304 kB
Cached:          3710180 kB
SwapCached:            0 kB
Active:          1343400 kB
Inactive:        2882484 kB
Active(anon):      17348 kB
Inactive(anon):        0 kB
Active(file):    1326052 kB
Inactive(file):  2882484 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9724 kB
Writeback:             0 kB
AnonPages:         98184 kB
Mapped:            15904 kB
Shmem:               200 kB
Slab:             745696 kB
SReclaimable:     190072 kB
SUnreclaim:       555624 kB
KernelStack:        1480 kB
PageTables:         4320 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     137028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71104 MiB
End job on node127 at 2012-05-28 22:14:55