Trace number 3707633

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

Name/DEC-SMALLINT-LIN/lopes/
normalized-47.opb
MD5SUM17efc5fe25abdce41d8265867254d297
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 variables10052
Total number of constraints226117
Number of constraints which are clauses203168
Number of constraints which are cardinality constraints (but not clauses)731
Number of constraints which are nor clauses,nor cardinality constraints22218
Minimum length of a constraint1
Maximum length of a constraint231
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 232
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-3707633-1338213545.opb
0.00/0.00	c File size is 9516230 bytes.
0.59/0.65	c Highest Coefficient sum: 232
0.59/0.65	c Parsing was ok!!
0.59/0.65	c Total parsing time: 0.652 s
0.59/0.69	c Var: 10052 Constr: 226496 203557/721/22218 Lit: 874697 Watch. Lit: 456978
0.59/0.69	c Obj. Vars: 0 (0 % of total variables)
11.00/11.06	c Pre-processing Time: 11.065 s
11.00/11.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.00/11.07	c        0   9776   218236   844935    3   462624  301700      0      0 11.06
11.00/11.07	c Switching off lower bounding mode.
1797.93/1798.48	c      101   9776   218438   852991    3   462555  331871    202      9 11.12
1797.93/1798.48	c      251   9776   218730   862943    3   460099  365059    494     22 11.28
1797.93/1798.48	c      477   9776   219150   886658    4   457701  401565    914     41 11.49
1797.93/1798.48	c      815   9776   219786   903203    4   456244  441722   1550     67 12.00
1797.93/1798.48	c     1323   9776   220769   930173    4   457167  485895   2533    105 12.49
1797.93/1798.48	c     2086   9776   222260   979917    4   459787  534485   4024    155 13.41
1797.93/1798.48	c     3232   9776   224470  1067211    4   464284  587934   6234    215 15.02
1797.93/1798.48	c     4955   9776   227898  1227642    5   470998  646728   9662    294 16.80
1797.93/1798.48	c     7539   9776   232783  1383600    5   481134  711401  14547    387 19.48
1797.93/1798.48	c    11418   9776   240308  1871840    7   497029  782542  22072    489 23.32
1797.93/1798.48	c    17242   9776   251956  2458478    9   520247  860797  33720    517 33.31
1797.93/1798.48	c    25979   9776   269341  3298565   12   554265  946877  51105    459 56.54
1797.93/1798.48	c    39089   9775   293322  4448721   15   601670  500000  75086    350 111.66
1797.93/1798.48	c    58760   9774   326350  6136470   18   668066  550001 108114    270 217.37
1797.93/1798.48	c    88270   9773   377698  8824811   23   769966  605002 159462    194 453.24
1797.93/1798.48	c   132540   9773   460705 13837128   30   936154  665503 242469    250 529.19
1797.93/1798.48	c   198950   9772   586838 21588485   36  1188834  732054 368602    215 922.51
1797.93/1798.48	c   298570   9771   774475 36312208   46  1564231  805260 556239    208 1434.42
1797.93/1798.48	c Resources Exceeded
1797.93/1798.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1798.48	c   18   329072 110812  2465030   823394 39793095 605158    183 1798.02
1797.93/1798.48	s UNKNOWN
1797.93/1798.48	c Total time: 1798.02 s

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3707633-1338213545/watcher-3707633-1338213545 -o /tmp/evaluation-result-3707633-1338213545/solver-3707633-1338213545 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707633-1338213545.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26746
/proc/meminfo: memFree=29917092/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=20224 CPUtime=0 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 313 0 0 0 0 0 0 0 20 0 1 0 287483103 20709376 267 33554432000 134512640 137138936 4290691216 4290689432 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26746/statm: 5056 267 180 642 0 2088 0

[startup+0.0715811 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26746
/proc/meminfo: memFree=29917092/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=23232 CPUtime=0.07 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 1291 0 0 0 7 0 0 0 20 0 1 0 287483103 23789568 1245 33554432000 134512640 137138936 4290691216 4290689480 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26746/statm: 5808 1245 410 642 0 2840 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 23232

[startup+0.100224 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26746
/proc/meminfo: memFree=29917092/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=24460 CPUtime=0.09 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 1732 0 0 0 9 0 0 0 20 0 1 0 287483103 25047040 1686 33554432000 134512640 137138936 4290691216 4290689744 134517520 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26746/statm: 6115 1686 519 642 0 3147 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24460

[startup+0.300192 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26746
/proc/meminfo: memFree=29917092/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=33192 CPUtime=0.29 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 4642 0 0 0 29 0 0 0 20 0 1 0 287483103 33988608 4596 33554432000 134512640 137138936 4290691216 4290689432 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26746/statm: 8298 4596 1243 642 0 5330 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33192

[startup+0.700191 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26746
/proc/meminfo: memFree=29917092/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=50784 CPUtime=0.69 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 12584 0 0 0 68 1 0 0 20 0 1 0 287483103 52002816 10214 33554432000 134512640 137138936 4290691216 4290569292 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26746/statm: 12696 10214 184 642 0 12052 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50784

[startup+1.50022 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26747
/proc/meminfo: memFree=29863516/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=64392 CPUtime=1.49 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 16005 0 0 0 146 3 0 0 20 0 1 0 287483103 65937408 13635 33554432000 134512640 137138936 4290691216 4290569100 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26746/statm: 16098 13635 186 642 0 15454 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 64392

[startup+3.10022 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26747
/proc/meminfo: memFree=29862648/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=64392 CPUtime=3.09 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 16008 0 0 0 304 5 0 0 20 0 1 0 287483103 65937408 13638 33554432000 134512640 137138936 4290691216 4290569056 134540164 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/26746/statm: 16098 13638 186 642 0 15454 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 64392

[startup+6.30026 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30212740/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=64392 CPUtime=6.29 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 16012 0 0 0 621 8 0 0 20 0 1 0 287483103 65937408 13642 33554432000 134512640 137138936 4290691216 4290569100 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 16098 13642 186 642 0 15454 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 64392

[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30213740/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=63196 CPUtime=12.69 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 16029 0 0 0 1247 22 0 0 20 0 1 0 287483103 64712704 13361 33554432000 134512640 137138936 4290691216 4290690332 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 15799 13361 192 642 0 15155 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 63196

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30210624/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=67540 CPUtime=25.47 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 17100 0 0 0 2498 49 0 0 20 0 1 0 287483103 69160960 14430 33554432000 134512640 137138936 4290691216 4290690320 134543407 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 16885 14430 192 642 0 16241 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 67540

[startup+51.1003 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30177484/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=84104 CPUtime=51.06 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 21278 0 0 0 5053 53 0 0 20 0 1 0 287483103 86122496 18592 33554432000 134512640 137138936 4290691216 4290690144 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 21026 18592 192 642 0 20382 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 84104

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 26789
/proc/meminfo: memFree=30140156/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=101484 CPUtime=102.25 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 25630 0 0 0 10164 61 0 0 20 0 1 0 287483103 103919616 22942 33554432000 134512640 137138936 4290691216 4290690144 134542503 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 25371 22942 192 642 0 24727 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 101484

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 26812
/proc/meminfo: memFree=30068888/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=116760 CPUtime=162.24 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 29423 0 0 0 16157 67 0 0 20 0 1 0 287483103 119562240 26735 33554432000 134512640 137138936 4290691216 4290690144 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 29190 26735 192 642 0 28546 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 116760

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26812
/proc/meminfo: memFree=30042016/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=130284 CPUtime=222.22 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 32845 0 0 0 22151 71 0 0 20 0 1 0 287483103 133410816 30140 33554432000 134512640 137138936 4290691216 4290690144 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 32571 30140 192 642 0 31927 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 130284

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26812
/proc/meminfo: memFree=30001736/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=138460 CPUtime=282.2 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 34886 0 0 0 28147 73 0 0 20 0 1 0 287483103 141783040 32181 33554432000 134512640 137138936 4290691216 4290690144 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 34615 32181 192 642 0 33971 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 138460

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26812
/proc/meminfo: memFree=29982704/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=149384 CPUtime=342.2 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 37620 0 0 0 34144 76 0 0 20 0 1 0 287483103 152969216 34915 33554432000 134512640 137138936 4290691216 4290690144 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 37346 34915 192 642 0 36702 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 149384

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29961352/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=162812 CPUtime=402.18 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 40985 0 0 0 40138 80 0 0 20 0 1 0 287483103 166719488 38268 33554432000 134512640 137138936 4290691216 4290690144 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 40703 38268 192 642 0 40059 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 162812

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29937832/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=180032 CPUtime=462.16 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 45280 0 0 0 46131 85 0 0 20 0 1 0 287483103 184352768 42711 33554432000 134512640 137138936 4290691216 4290690144 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 45008 42711 192 642 0 44364 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 180032

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29873848/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=237752 CPUtime=522.15 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 59732 0 0 0 52120 95 0 0 20 0 1 0 287483103 243458048 57163 33554432000 134512640 137138936 4290691216 4290690144 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 59438 57163 192 642 0 58794 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 237752

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29856028/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=250992 CPUtime=582.15 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 63020 0 0 0 58117 98 0 0 20 0 1 0 287483103 257015808 60451 33554432000 134512640 137138936 4290691216 4290690144 134542503 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 62748 60451 192 642 0 62104 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 250992

[startup+642.3 s]

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

/proc/meminfo: memFree=29567540/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=431008 CPUtime=1121.99 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 108161 0 0 0 112063 136 0 0 20 0 1 0 287483103 441352192 105483 33554432000 134512640 137138936 4290691216 4290690144 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 107752 105483 192 642 0 107108 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 431008

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26818
/proc/meminfo: memFree=29508896/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=459204 CPUtime=1181.96 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 115209 0 0 0 118054 142 0 0 20 0 1 0 287483103 470224896 112504 33554432000 134512640 137138936 4290691216 4290690144 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 114801 112504 192 642 0 114157 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 459204

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26818
/proc/meminfo: memFree=29452600/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=484124 CPUtime=1241.95 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 121439 0 0 0 124046 149 0 0 20 0 1 0 287483103 495742976 118734 33554432000 134512640 137138936 4290691216 4290690144 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 121031 118734 192 642 0 120387 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 484124

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26822
/proc/meminfo: memFree=29392080/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=518464 CPUtime=1301.95 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 130045 0 0 0 130039 156 0 0 20 0 1 0 287483103 530907136 127340 33554432000 134512640 137138936 4290691216 4290690332 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 129616 127340 192 642 0 128972 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 518464

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26822
/proc/meminfo: memFree=29346640/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=534148 CPUtime=1361.93 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 133967 0 0 0 136034 159 0 0 20 0 1 0 287483103 546967552 131262 33554432000 134512640 137138936 4290691216 4290690112 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 133537 131262 192 642 0 132893 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 534148

[startup+1422.31 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26822
/proc/meminfo: memFree=29293968/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=561180 CPUtime=1421.93 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 140703 0 0 0 142027 166 0 0 20 0 1 0 287483103 574648320 137998 33554432000 134512640 137138936 4290691216 4290690144 134542187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 140295 137998 192 642 0 139651 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 561180

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26822
/proc/meminfo: memFree=29269724/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=572964 CPUtime=1481.91 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 143649 0 0 0 148023 168 0 0 20 0 1 0 287483103 586715136 140944 33554432000 134512640 137138936 4290691216 4290690144 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 143241 140944 192 642 0 142597 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 572964

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26822
/proc/meminfo: memFree=29247528/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=590468 CPUtime=1541.91 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 148043 0 0 0 154019 172 0 0 20 0 1 0 287483103 604639232 145338 33554432000 134512640 137138936 4290691216 4290690144 134542252 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 147617 145338 192 642 0 146973 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 590468

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29232276/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=602032 CPUtime=1601.89 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 150916 0 0 0 160014 175 0 0 20 0 1 0 287483103 616480768 148211 33554432000 134512640 137138936 4290691216 4290690144 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 150508 148211 192 642 0 149864 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 602032

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29221860/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=606968 CPUtime=1661.88 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 152170 0 0 0 166011 177 0 0 20 0 1 0 287483103 621535232 149465 33554432000 134512640 137138936 4290691216 4290690144 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 151742 149465 192 642 0 151098 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 606968

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26823
/proc/meminfo: memFree=29213304/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=610416 CPUtime=1721.88 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 153032 0 0 0 172008 180 0 0 20 0 1 0 287483103 625065984 150327 33554432000 134512640 137138936 4290691216 4290690144 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 152604 150327 192 642 0 151960 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 610416

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26823
/proc/meminfo: memFree=29203608/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=614516 CPUtime=1781.84 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 154106 0 0 0 178003 181 0 0 20 0 1 0 287483103 629264384 151358 33554432000 134512640 137138936 4290691216 4290690144 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 153629 151358 192 642 0 152985 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 614516

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

[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26823
/proc/meminfo: memFree=29202228/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=615364 CPUtime=1791.44 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 154320 0 0 0 178963 181 0 0 20 0 1 0 287483103 630132736 151564 33554432000 134512640 137138936 4290691216 4290690144 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 153841 151564 192 642 0 153197 0
Current children cumulated CPU time (s) 1791.44
Current children cumulated vsize (KiB) 615364

[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29202088/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=615696 CPUtime=1794.63 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 154391 0 0 0 179282 181 0 0 20 0 1 0 287483103 630472704 151627 33554432000 134512640 137138936 4290691216 4290690144 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 153924 151627 192 642 0 153280 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 615696

[startup+1796.7 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29201964/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=615700 CPUtime=1796.23 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 154391 0 0 0 179442 181 0 0 20 0 1 0 287483103 630476800 151627 33554432000 134512640 137138936 4290691216 4290690144 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 153925 151627 192 642 0 153281 0
Current children cumulated CPU time (s) 1796.23
Current children cumulated vsize (KiB) 615700

[startup+1797.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29201840/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=615700 CPUtime=1797.03 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 154412 0 0 0 179522 181 0 0 20 0 1 0 287483103 630476800 151648 33554432000 134512640 137138936 4290691216 4290690144 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 153925 151648 192 642 0 153281 0
Current children cumulated CPU time (s) 1797.03
Current children cumulated vsize (KiB) 615700

[startup+1797.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29201840/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=615700 CPUtime=1797.43 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 154413 0 0 0 179562 181 0 0 20 0 1 0 287483103 630476800 151649 33554432000 134512640 137138936 4290691216 4290689972 136502633 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 153925 151649 192 642 0 153281 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (KiB) 615700

[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29201840/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=615864 CPUtime=1797.82 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 154433 0 0 0 179601 181 0 0 20 0 1 0 287483103 630644736 151669 33554432000 134512640 137138936 4290691216 4290690144 134542307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 153966 151669 192 642 0 153322 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 615864

[startup+1798.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29201716/32873844 swapFree=7108/7108
[pid=26746] ppid=26744 vsize=615864 CPUtime=1797.93 cores=0,2,4,6
/proc/26746/stat : 26746 (bsolo) R 26744 26746 23491 0 -1 4202496 154433 0 0 0 179612 181 0 0 20 0 1 0 287483103 630644736 151669 33554432000 134512640 137138936 4290691216 4290690144 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/26746/statm: 153966 151669 192 642 0 153322 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 615864

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.2
system time used= 1.81972
maximum resident set size= 606676
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154433
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= 271
involuntary context switches= 2046

runsolver used 4.18936 second user time and 11.1523 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-28 15:59:06
IDJOB=3707633
IDBENCH=89714
IDSOLVER=2286
FILE ID=node102/3707633-1338213545
RUNJOBID= node102-1338207119-25577
PBS_JOBID= 14624595
Free space on /tmp= 71512 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-47.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707633-1338213545/watcher-3707633-1338213545 -o /tmp/evaluation-result-3707633-1338213545/solver-3707633-1338213545 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707633-1338213545.opb

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

MD5SUM BENCH= 17efc5fe25abdce41d8265867254d297
RANDOM SEED=1142841413

node102.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29917356 kB
Buffers:          393748 kB
Cached:          1307088 kB
SwapCached:            0 kB
Active:          1394020 kB
Inactive:         723464 kB
Active(anon):     408196 kB
Inactive(anon):    11036 kB
Active(file):     985824 kB
Inactive(file):   712428 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             13256 kB
Writeback:             0 kB
AnonPages:        423712 kB
Mapped:            15088 kB
Shmem:               200 kB
Slab:             698604 kB
SReclaimable:     141008 kB
SUnreclaim:       557596 kB
KernelStack:        1464 kB
PageTables:         4984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     535956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    368640 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= 71504 MiB
End job on node102 at 2012-05-28 16:29:04