Trace number 3708205

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2? 1798.03 1798.53

General information on the benchmark

Name/OPT-SMALLINT-LIN/flexray/
normalized-fx49.opb
MD5SUMe08af5097f76b1d4e2b0ba1d8a42ed5a
Bench CategoryOPT-SMALLINT-LIN (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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2130
Total number of constraints2495
Number of constraints which are clauses2125
Number of constraints which are cardinality constraints (but not clauses)50
Number of constraints which are nor clauses,nor cardinality constraints320
Minimum length of a constraint2
Maximum length of a constraint320
Number of terms in the objective function 5
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5
Number of bits of the sum of numbers in the objective function 3
Biggest number in a constraint 42
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 636
Number of bits of the biggest sum of numbers10
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-3708205-1338187449.opb
0.00/0.00	c File size is 208560 bytes.
0.00/0.01	c Highest Coefficient sum: 636
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.016 s
0.00/0.01	c Var: 2130 Constr: 2544 2174/50/320 Lit: 24185 Watch. Lit: 21198
0.00/0.01	c Obj. Vars: 5 (0.234742 % of total variables)
0.49/0.56	c Pre-processing Time: 0.561 s
0.49/0.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.49/0.56	c        0   2125      418    19930   47    17583   46019      0      0 0.56
0.49/0.56	c Switching off lower bounding mode.
1797.90/1798.50	c      101   2125      525    24494   46    17797   50621    107    171 0.59
1797.90/1798.50	c      252   2125      681    35299   51    18173   55684    263    399 0.63
1797.90/1798.50	c      478   2125      909    56234   61    18613   61253    491    674 0.71
1797.90/1798.50	c      816   2125     1265    89756   70    19341   67379    847   1014 0.80
1797.90/1798.50	c     1324   2125     1773    99510   56    20389   74117   1355   1325 1.00
1797.90/1798.50	c     2088   2125     2582   201191   77    21975   81529   2164   1678 1.24
1797.90/1798.50	c     3238   2125     3809   308429   80    24429   89682   3391   1943 1.67
1797.90/1798.50	c     4959   2125     5715   804009  140    28312   98651   5297   1693 2.93
1797.90/1798.50	c     7543   2125     8545   983889  115    34022  108517   8127   1873 4.03
1797.90/1798.50	c    11426   2125    12915  1850636  143    42902  119369  12497   1361 8.39
1797.90/1798.50	c    17248   2125    19331  2682847  138    56877  131306  18913   1438 11.99
1797.90/1798.50	c    25988   2125    29488  4003196  135    78410  144437  29070   1314 19.77
1797.90/1798.50	c    39098   2125    44312  7726625  174   111357  158881  43894    915 42.70
1797.90/1798.50	c    58768   2125    68079 13147446  193   164223  174770  67661    670 87.62
1797.90/1798.50	c    88279   2125   101918 25606939  251   238925  192248 101500    402 219.38
1797.90/1798.50	c   132549   2125   154789 41124558  265   358506  211473 154371    318 416.48
1797.90/1798.50	c   198960   2125    37834  8747583  231   102698  232621  37416    291 683.03
1797.90/1798.50	c   298582   2125   157581 44912572  285   367362  255884 157163    270 1102.76
1797.90/1798.50	c Resources Exceeded
1797.90/1798.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.90/1798.50	c   18   378664 152493  2415670   255155 72221611 254737    210 1798.00
1797.90/1798.50	s UNKNOWN
1797.90/1798.50	c Total time: 1798 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-3708205-1338187449/watcher-3708205-1338187449 -o /tmp/evaluation-result-3708205-1338187449/solver-3708205-1338187449 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708205-1338187449.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 26945
/proc/meminfo: memFree=26655252/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=11280 CPUtime=0 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 364 0 0 0 0 0 0 0 20 0 1 0 284873460 11550720 318 33554432000 134512640 137138936 4293374848 4293372536 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 2820 319 183 642 0 2125 0

[startup+0.0706119 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26945
/proc/meminfo: memFree=26655252/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=11996 CPUtime=0.06 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 648 0 0 0 6 0 0 0 20 0 1 0 284873460 12283904 551 33554432000 134512640 137138936 4293374848 4293347776 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 2999 551 184 642 0 2355 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11996

[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26945
/proc/meminfo: memFree=26655252/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=11996 CPUtime=0.09 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 648 0 0 0 9 0 0 0 20 0 1 0 284873460 12283904 551 33554432000 134512640 137138936 4293374848 4293347964 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 2999 551 184 642 0 2355 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11996

[startup+0.300222 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26945
/proc/meminfo: memFree=26655252/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=12060 CPUtime=0.29 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 666 0 0 0 29 0 0 0 20 0 1 0 284873460 12349440 569 33554432000 134512640 137138936 4293374848 4293347756 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 3015 569 185 642 0 2371 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12060

[startup+0.700225 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26945
/proc/meminfo: memFree=26655252/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=12364 CPUtime=0.69 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 748 0 0 0 69 0 0 0 20 0 1 0 284873460 12660736 651 33554432000 134512640 137138936 4293374848 4293373128 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 3091 651 192 642 0 2447 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12364

[startup+1.50023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=26652384/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=15060 CPUtime=1.49 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 1433 0 0 0 148 1 0 0 20 0 1 0 284873460 15421440 1336 33554432000 134512640 137138936 4293374848 4293373964 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 3765 1336 192 642 0 3121 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15060

[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=26646176/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=22568 CPUtime=3.08 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 3303 0 0 0 307 1 0 0 20 0 1 0 284873460 23109632 3206 33554432000 134512640 137138936 4293374848 4293373964 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 5642 3206 192 642 0 4998 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 22568

[startup+6.30024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=26633900/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=32196 CPUtime=6.29 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 5705 0 0 0 627 2 0 0 20 0 1 0 284873460 32968704 5608 33554432000 134512640 137138936 4293374848 4293373776 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 8049 5608 192 642 0 7405 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32196

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=26614084/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=49064 CPUtime=12.68 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 9922 0 0 0 1263 5 0 0 20 0 1 0 284873460 50241536 9825 33554432000 134512640 137138936 4293374848 4293373964 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 12266 9825 192 642 0 11622 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49064

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=26577628/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=82172 CPUtime=25.49 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 18197 0 0 0 2536 13 0 0 20 0 1 0 284873460 84144128 18100 33554432000 134512640 137138936 4293374848 4293373964 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 20543 18100 192 642 0 19899 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82172

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26946
/proc/meminfo: memFree=26522696/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=131548 CPUtime=51.08 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 30557 0 0 0 5088 20 0 0 20 0 1 0 284873460 134705152 30460 33554432000 134512640 137138936 4293374848 4293373776 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 32887 30460 192 642 0 32243 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 131548

[startup+102.307 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26947
/proc/meminfo: memFree=26432052/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=208752 CPUtime=102.28 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 49858 0 0 0 10195 33 0 0 20 0 1 0 284873460 213762048 49761 33554432000 134512640 137138936 4293374848 4293373776 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 52188 49761 192 642 0 51544 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 208752

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26947
/proc/meminfo: memFree=26346740/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=286840 CPUtime=162.26 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 69362 0 0 0 16181 45 0 0 20 0 1 0 284873460 293724160 69265 33554432000 134512640 137138936 4293374848 4293373364 134551319 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 71710 69265 192 642 0 71066 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 286840

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26947
/proc/meminfo: memFree=26204636/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=351352 CPUtime=222.26 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 85499 0 0 0 22174 52 0 0 20 0 1 0 284873460 359784448 85402 33554432000 134512640 137138936 4293374848 4293373776 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 87838 85402 192 642 0 87194 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 351352

[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 26947
/proc/meminfo: memFree=26031532/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=399404 CPUtime=282.24 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 97510 0 0 0 28160 64 0 0 20 0 1 0 284873460 408989696 97413 33554432000 134512640 137138936 4293374848 4293373964 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 99851 97413 192 642 0 99207 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 399404

[startup+342.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/177 26947
/proc/meminfo: memFree=25866444/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=479692 CPUtime=342.23 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 117590 0 0 0 34148 75 0 0 20 0 1 0 284873460 491204608 117493 33554432000 134512640 137138936 4293374848 4293373776 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 119923 117493 192 642 0 119279 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 479692

[startup+402.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/178 26951
/proc/meminfo: memFree=25744572/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=538204 CPUtime=402.23 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 132222 0 0 0 40139 84 0 0 20 0 1 0 284873460 551120896 132125 33554432000 134512640 137138936 4293374848 4293373776 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 134551 132125 192 642 0 133907 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 538204

[startup+462.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 26951
/proc/meminfo: memFree=25633380/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=583880 CPUtime=462.22 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 143634 0 0 0 46125 97 0 0 20 0 1 0 284873460 597893120 143537 33554432000 134512640 137138936 4293374848 4293373964 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 145970 143537 192 642 0 145326 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 583880

[startup+522.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/177 26951
/proc/meminfo: memFree=25532596/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=622332 CPUtime=522.21 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 153248 0 0 0 52105 116 0 0 20 0 1 0 284873460 637267968 153151 33554432000 134512640 137138936 4293374848 4293373776 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 155583 153151 192 642 0 154939 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 622332

[startup+582.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/177 26951
/proc/meminfo: memFree=25463804/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=652700 CPUtime=582.2 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 160824 0 0 0 58090 130 0 0 20 0 1 0 284873460 668364800 160727 33554432000 134512640 137138936 4293374848 4293373776 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 163175 160727 192 642 0 162531 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 652700

[startup+642.3 s]

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

/proc/meminfo: memFree=25454616/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=682068 CPUtime=1061.9 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 168697 0 0 0 106010 180 0 0 20 0 1 0 284873460 698437632 168085 33554432000 134512640 137138936 4293374848 4293373708 136521049 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 170517 168085 192 642 0 169873 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 682068

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26979
/proc/meminfo: memFree=25454748/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=682068 CPUtime=1121.89 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 168697 0 0 0 112006 183 0 0 20 0 1 0 284873460 698437632 168085 33554432000 134512640 137138936 4293374848 4293373776 134542805 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 170517 168085 192 642 0 169873 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 682068

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26979
/proc/meminfo: memFree=25455624/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=682068 CPUtime=1181.89 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 168697 0 0 0 118002 187 0 0 20 0 1 0 284873460 698437632 168085 33554432000 134512640 137138936 4293374848 4293373776 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 170517 168085 192 642 0 169873 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 682068

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26980
/proc/meminfo: memFree=25441480/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=696492 CPUtime=1241.88 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 172297 0 0 0 123991 197 0 0 20 0 1 0 284873460 713207808 171685 33554432000 134512640 137138936 4293374848 4293373952 134543413 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 174123 171685 192 642 0 173479 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 696492

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26981
/proc/meminfo: memFree=25405024/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=732772 CPUtime=1301.88 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 181380 0 0 0 129981 207 0 0 20 0 1 0 284873460 750358528 180768 33554432000 134512640 137138936 4293374848 4293373776 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 183193 180768 192 642 0 182549 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 732772

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26981
/proc/meminfo: memFree=25373404/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=764688 CPUtime=1361.86 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 189356 0 0 0 135972 214 0 0 20 0 1 0 284873460 783040512 188744 33554432000 134512640 137138936 4293374848 4293373776 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 191172 188744 192 642 0 190528 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 764688

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26981
/proc/meminfo: memFree=25341784/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=796108 CPUtime=1421.86 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 197214 0 0 0 141964 222 0 0 20 0 1 0 284873460 815214592 196602 33554432000 134512640 137138936 4293374848 4293373744 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 199027 196602 192 642 0 198383 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 796108

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 27019
/proc/meminfo: memFree=26327400/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=828136 CPUtime=1481.84 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 205213 0 0 0 147953 231 0 0 20 0 1 0 284873460 848011264 204601 33554432000 134512640 137138936 4293374848 4293373600 134575052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 207034 204601 192 642 0 206390 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 828136

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27057
/proc/meminfo: memFree=26288208/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=866856 CPUtime=1541.83 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 214900 0 0 0 153944 239 0 0 20 0 1 0 284873460 887660544 214288 33554432000 134512640 137138936 4293374848 4293373776 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 216714 214288 192 642 0 216070 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 866856

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 27061
/proc/meminfo: memFree=26260184/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=894580 CPUtime=1601.82 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 221805 0 0 0 159937 245 0 0 20 0 1 0 284873460 916049920 221193 33554432000 134512640 137138936 4293374848 4293373776 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 223645 221193 192 642 0 223001 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 894580

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27061
/proc/meminfo: memFree=26232292/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=916732 CPUtime=1661.82 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 227346 0 0 0 165931 251 0 0 20 0 1 0 284873460 938733568 226734 33554432000 134512640 137138936 4293374848 4293373776 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 229183 226734 192 642 0 228539 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 916732

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27061
/proc/meminfo: memFree=26206748/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=936596 CPUtime=1721.8 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 232340 0 0 0 171925 255 0 0 20 0 1 0 284873460 959074304 231728 33554432000 134512640 137138936 4293374848 4293373776 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 234149 231728 192 642 0 233505 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 936596

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27099
/proc/meminfo: memFree=26196084/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=955756 CPUtime=1781.79 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 237119 0 0 0 177919 260 0 0 20 0 1 0 284873460 978694144 236507 33554432000 134512640 137138936 4293374848 4293373776 134542327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 238939 236507 192 642 0 238295 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 955756

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 27099
/proc/meminfo: memFree=26195836/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=958516 CPUtime=1791.4 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 237814 0 0 0 178880 260 0 0 20 0 1 0 284873460 981520384 237202 33554432000 134512640 137138936 4293374848 4293373776 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 239629 237202 192 642 0 238985 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 958516

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27099
/proc/meminfo: memFree=26192612/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=959288 CPUtime=1794.6 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 238005 0 0 0 179199 261 0 0 20 0 1 0 284873460 982310912 237393 33554432000 134512640 137138936 4293374848 4293373776 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 239822 237393 192 642 0 239178 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (KiB) 959288

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27099
/proc/meminfo: memFree=26193108/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=959764 CPUtime=1796.19 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 238120 0 0 0 179358 261 0 0 20 0 1 0 284873460 982798336 237508 33554432000 134512640 137138936 4293374848 4293373776 134542307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 239941 237508 192 642 0 239297 0
Current children cumulated CPU time (s) 1796.19
Current children cumulated vsize (KiB) 959764

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27099
/proc/meminfo: memFree=26192612/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=960012 CPUtime=1796.99 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 238182 0 0 0 179438 261 0 0 20 0 1 0 284873460 983052288 237570 33554432000 134512640 137138936 4293374848 4293373776 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 240003 237570 192 642 0 239359 0
Current children cumulated CPU time (s) 1796.99
Current children cumulated vsize (KiB) 960012

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27099
/proc/meminfo: memFree=26192612/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=960276 CPUtime=1797.79 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202496 238258 0 0 0 179518 261 0 0 20 0 1 0 284873460 983322624 237646 33554432000 134512640 137138936 4293374848 4293373768 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 240069 237646 192 642 0 239425 0
Current children cumulated CPU time (s) 1797.79
Current children cumulated vsize (KiB) 960276

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27099
/proc/meminfo: memFree=26191124/32873844 swapFree=6088/6088
[pid=26945] ppid=26943 vsize=0 CPUtime=1798 cores=1,3,5,7
/proc/26945/stat : 26945 (bsolo) R 26943 26945 24287 0 -1 4202500 238270 0 0 0 179538 262 0 0 20 0 1 0 284873460 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26945/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.03
CPU user time (s): 1795.39
CPU system time (s): 2.6406
CPU usage (%): 99.9723
Max. virtual memory (cumulated for all children) (KiB): 960380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.39
system time used= 2.6406
maximum resident set size= 950632
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 238270
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= 310
involuntary context switches= 1842

runsolver used 3.46247 second user time and 9.8385 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-28 08:44:09
IDJOB=3708205
IDBENCH=71848
IDSOLVER=2286
FILE ID=node108/3708205-1338187449
RUNJOBID= node108-1338158223-24304
PBS_JOBID= 14624538
Free space on /tmp= 71724 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB09/normalized-PB09/OPT-SMALLINT-LIN/flexray/normalized-fx49.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3708205-1338187449/watcher-3708205-1338187449 -o /tmp/evaluation-result-3708205-1338187449/solver-3708205-1338187449 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708205-1338187449.opb

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

MD5SUM BENCH= e08af5097f76b1d4e2b0ba1d8a42ed5a
RANDOM SEED=1066631665

node108.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.273
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.54
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.273
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.273
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		: 2666.273
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.273
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.273
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.55
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.273
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.90
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.273
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:        26655244 kB
Buffers:          323284 kB
Cached:          4582396 kB
SwapCached:            0 kB
Active:          1164992 kB
Inactive:        4255796 kB
Active(anon):     514152 kB
Inactive(anon):        0 kB
Active(file):     650840 kB
Inactive(file):  4255796 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3868 kB
Writeback:             0 kB
AnonPages:        519328 kB
Mapped:            15032 kB
Shmem:               200 kB
Slab:             656852 kB
SReclaimable:      98844 kB
SUnreclaim:       558008 kB
KernelStack:        1480 kB
PageTables:         5172 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     630860 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    493568 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= 71720 MiB
End job on node108 at 2012-05-28 09:14:07