Trace number 3738008

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
PB07: bsolo 3.0.17? (TO) 1800.02 1800.41

General information on the benchmark

Namenormalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/
manquinho/dbsg/normalized-dbsg_200_25_3_15.opb
MD5SUM6d36c2461bcbe18a397b3deab9e30c2d
Bench CategoryDEC-SMALLINT-NLC (no optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.208967
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables400
Total number of constraints602
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
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 15
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12432
Sum of products size (including duplicates)24864
Number of different products6216
Sum of products size12432

Solver Data

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Memory Limit set to 15500 MB
0.00/0.00	c Instance file HOME/instance-3738008-1338731878.opb
0.00/0.00	c File size is 166877 bytes.
0.00/0.04	c Highest Coefficient sum: 400
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.032 s
0.00/0.04	c Var: 12832 Constr: 25467 12632/403/12432 Lit: 88424 Watch. Lit: 75410
0.00/0.04	c Obj. Vars: 0 (0 % of total variables)
17.97/18.00	c Pre-processing Time: 17.988 s
17.97/18.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
17.97/18.00	c        0  12832    25467    88424    3    75410  209119      0      0 17.99
17.97/18.00	c Switching off LPR mode.
1800.01/1800.40	c      161  12832    25628   137344    5    75732  230031    161      8 18.12
1800.01/1800.40	c      362  12832    25829   195048    7    76134  253035    362     19 18.43
1800.01/1800.40	c      605  12832    26072   286686   10    76620  278339    605     32 18.52
1800.01/1800.40	c      947  12832    26414   413539   15    77304  306173    947     50 18.76
1800.01/1800.40	c     1472  12832    26939   604491   22    78354  336791   1472     76 19.36
1800.01/1800.40	c     2238  12832    27705   894934   32    79886  370471   2238    112 19.88
1800.01/1800.40	c     3389  12832    28856  1325642   45    82188  407519   3389    159 21.22
1800.01/1800.40	c     5110  12832    30577  1967124   64    85630  448271   5110    202 25.20
1800.01/1800.40	c     7702  12832    33169  2935961   88    90814  493099   7702    220 34.97
1800.01/1800.40	c    11581  12832    37048  4358185  117    98572  542409  11581    198 58.20
1800.01/1800.40	c    17422  12832    42889  6480401  151   110254  596650  17422    148 117.38
1800.01/1800.40	c    26159  12832    51626  9652791  186   127728  656316  26159    135 193.03
1800.01/1800.40	c    39279  12832    64746 14257413  220   153968  721948  39279     90 435.93
1800.01/1800.40	c    58949  12832    84416 21197717  251   193308  794143  58949     53 1105.70
1800.01/1800.40	c Caught signal: 15
1800.01/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.40	c   14    73922   6044   153329    99389 26404261  73922     41 1800.02
1800.01/1800.40	s UNKNOWN
1800.01/1800.40	c Total time: 1800.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-3738008-1338731878/watcher-3738008-1338731878 -o /tmp/evaluation-result-3738008-1338731878/solver-3738008-1338731878 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3738008-1338731878.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.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4194304 150 0 0 0 0 0 0 0 20 0 1 0 339313626 4583424 101 33554432000 134512640 135840783 4292151120 4292150040 5760631 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 1119 119 100 325 0 39 0

[startup+0.0146849 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=5536 CPUtime=0 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 639 0 0 0 0 0 0 0 20 0 1 0 339313626 5668864 575 33554432000 134512640 135840783 4292151120 4292148992 6057064 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 1384 576 336 325 0 279 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5536

[startup+0.100217 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11356 CPUtime=0.09 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2187 0 0 0 9 0 0 0 20 0 1 0 339313626 11628544 2082 33554432000 134512640 135840783 4292151120 4291996224 134583067 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2839 2082 343 325 0 1775 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11356

[startup+0.300191 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11356 CPUtime=0.29 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2188 0 0 0 29 0 0 0 20 0 1 0 339313626 11628544 2083 33554432000 134512640 135840783 4292151120 4291996112 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2839 2083 343 325 0 1775 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11356

[startup+0.700188 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 19788
/proc/meminfo: memFree=29943548/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11356 CPUtime=0.69 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2189 0 0 0 69 0 0 0 20 0 1 0 339313626 11628544 2084 33554432000 134512640 135840783 4292151120 4291995888 6327198 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2839 2084 343 325 0 1775 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11356

[startup+1.50019 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19789
/proc/meminfo: memFree=29935860/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11480 CPUtime=1.48 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2191 0 0 0 148 0 0 0 20 0 1 0 339313626 11755520 2086 33554432000 134512640 135840783 4292151120 4291996224 134583074 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2870 2086 343 325 0 1806 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11480

[startup+3.10018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19789
/proc/meminfo: memFree=29935488/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11480 CPUtime=3.08 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2191 0 0 0 308 0 0 0 20 0 1 0 339313626 11755520 2086 33554432000 134512640 135840783 4292151120 4291996112 134550791 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2870 2086 343 325 0 1806 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 11480

[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19789
/proc/meminfo: memFree=29935240/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11476 CPUtime=6.28 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2191 0 0 0 628 0 0 0 20 0 1 0 339313626 11751424 2086 33554432000 134512640 135840783 4292151120 4291996224 134583456 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2869 2086 343 325 0 1805 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 11476

[startup+12.701 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 19789
/proc/meminfo: memFree=29933892/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=11476 CPUtime=12.68 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 2191 0 0 0 1268 0 0 0 20 0 1 0 339313626 11751424 2086 33554432000 134512640 135840783 4292151120 4291996252 12006448 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 2869 2086 343 325 0 1805 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 11476

[startup+25.5003 s]
/proc/loadavg: 1.92 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30478004/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=36332 CPUtime=25.48 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 8848 0 0 0 2545 3 0 0 20 0 1 0 339313626 37203968 8352 33554432000 134512640 135840783 4292151120 4292150480 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/19788/statm: 9083 8352 347 325 0 8019 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 36332

[startup+51.1011 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 19866
/proc/meminfo: memFree=30409044/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=62228 CPUtime=51.06 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 15323 0 0 0 5100 6 0 0 20 0 1 0 339313626 63721472 14803 33554432000 134512640 135840783 4292151120 4292150480 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 15557 14803 347 325 0 14493 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 62228

[startup+102.3 s]
/proc/loadavg: 1.98 1.99 1.99 3/177 19867
/proc/meminfo: memFree=30324476/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=91028 CPUtime=102.25 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 22530 0 0 0 10216 9 0 0 20 0 1 0 339313626 93212672 22006 33554432000 134512640 135840783 4292151120 4292150480 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 22757 22006 347 325 0 21693 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 91028

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 19870
/proc/meminfo: memFree=30256432/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=127752 CPUtime=162.23 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 31710 0 0 0 16212 11 0 0 20 0 1 0 339313626 130818048 31186 33554432000 134512640 135840783 4292151120 4292150480 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 31938 31186 347 325 0 30874 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 127752

[startup+222.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/178 19892
/proc/meminfo: memFree=30217940/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=145588 CPUtime=222.22 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 36195 0 0 0 22208 14 0 0 20 0 1 0 339313626 149082112 35645 33554432000 134512640 135840783 4292151120 4292150432 134550913 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 36397 35645 347 325 0 35333 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 145588

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19892
/proc/meminfo: memFree=30186240/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=158272 CPUtime=282.18 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 39400 0 0 0 28203 15 0 0 20 0 1 0 339313626 162070528 38836 33554432000 134512640 135840783 4292151120 4292150480 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 39568 38836 347 325 0 38504 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 158272

[startup+342.301 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19892
/proc/meminfo: memFree=30148512/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=178748 CPUtime=342.18 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 44524 0 0 0 34200 18 0 0 20 0 1 0 339313626 183037952 43960 33554432000 134512640 135840783 4292151120 4292150480 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 44687 43960 347 325 0 43623 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 178748

[startup+402.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30126112/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=189712 CPUtime=402.17 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 47245 0 0 0 40198 19 0 0 20 0 1 0 339313626 194265088 46681 33554432000 134512640 135840783 4292151120 4292150480 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 47428 46681 347 325 0 46364 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 189712

[startup+462.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30102036/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=201604 CPUtime=462.16 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 50220 0 0 0 46196 20 0 0 20 0 1 0 339313626 206442496 49656 33554432000 134512640 135840783 4292151120 4292150480 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 50401 49656 347 325 0 49337 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 201604

[startup+522.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30072836/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=214024 CPUtime=522.14 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 53362 0 0 0 52192 22 0 0 20 0 1 0 339313626 219160576 52768 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 53506 52768 347 325 0 52442 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 214024

[startup+582.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19893
/proc/meminfo: memFree=30049400/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=226308 CPUtime=582.12 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 56419 0 0 0 58189 23 0 0 20 0 1 0 339313626 231739392 55825 33554432000 134512640 135840783 4292151120 4292150424 2492624 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 56577 55825 347 325 0 55513 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 226308

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19897
/proc/meminfo: memFree=29966556/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=260260 CPUtime=882.07 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 64937 0 0 0 88180 27 0 0 20 0 1 0 339313626 266506240 64322 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 65065 64322 347 325 0 64001 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 260260

[startup+942.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 19897
/proc/meminfo: memFree=29953412/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=266472 CPUtime=942.05 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 66489 0 0 0 94177 28 0 0 20 0 1 0 339313626 272867328 65874 33554432000 134512640 135840783 4292151120 4292150480 134551400 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 66618 65874 347 325 0 65554 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 266472

[startup+1002.3 s]
/proc/loadavg: 2.03 2.00 2.00 3/177 19897
/proc/meminfo: memFree=29940640/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=272944 CPUtime=1002.04 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 68114 0 0 0 100175 29 0 0 20 0 1 0 339313626 279494656 67499 33554432000 134512640 135840783 4292151120 4292150480 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 68236 67499 347 325 0 67172 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 272944

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 19898
/proc/meminfo: memFree=29925900/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=280872 CPUtime=1062.04 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 70077 0 0 0 106173 31 0 0 20 0 1 0 339313626 287612928 69462 33554432000 134512640 135840783 4292151120 4292150480 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 70218 69462 347 325 0 69154 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 280872

[startup+1122.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 19898
/proc/meminfo: memFree=29907760/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=291704 CPUtime=1122.02 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 72802 0 0 0 112170 32 0 0 20 0 1 0 339313626 298704896 72187 33554432000 134512640 135840783 4292151120 4292150480 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 72926 72187 347 325 0 71862 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 291704

[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 19898
/proc/meminfo: memFree=29893748/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=298972 CPUtime=1182.02 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 74603 0 0 0 118169 33 0 0 20 0 1 0 339313626 306147328 73988 33554432000 134512640 135840783 4292151120 4292150480 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 74743 73988 347 325 0 73679 0
Current children cumulated CPU time (s) 1182.02
Current children cumulated vsize (KiB) 298972

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19898
/proc/meminfo: memFree=29877728/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=307160 CPUtime=1242 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 76677 0 0 0 124166 34 0 0 20 0 1 0 339313626 314531840 76040 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 76790 76040 347 325 0 75726 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 307160

[startup+1302.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 19898
/proc/meminfo: memFree=29865452/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=312844 CPUtime=1301.99 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 78110 0 0 0 130164 35 0 0 20 0 1 0 339313626 320352256 77473 33554432000 134512640 135840783 4292151120 4292150480 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 78211 77473 347 325 0 77147 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 312844

[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/178 19902
/proc/meminfo: memFree=29856292/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=318128 CPUtime=1361.98 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 79433 0 0 0 136162 36 0 0 20 0 1 0 339313626 325763072 78796 33554432000 134512640 135840783 4292151120 4292150480 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 79532 78796 347 325 0 78468 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 318128

[startup+1422.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 19902
/proc/meminfo: memFree=29847000/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=322884 CPUtime=1421.98 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 80628 0 0 0 142161 37 0 0 20 0 1 0 339313626 330633216 79991 33554432000 134512640 135840783 4292151120 4292150480 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 80721 79991 347 325 0 79657 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 322884

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 19902
/proc/meminfo: memFree=29836604/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=327772 CPUtime=1481.96 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 81830 0 0 0 148159 37 0 0 20 0 1 0 339313626 335638528 81193 33554432000 134512640 135840783 4292151120 4292150480 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 81943 81193 347 325 0 80879 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 327772

[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19902
/proc/meminfo: memFree=29826792/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=332660 CPUtime=1541.96 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 83049 0 0 0 154158 38 0 0 20 0 1 0 339313626 340643840 82412 33554432000 134512640 135840783 4292151120 4292150480 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 83165 82412 347 325 0 82101 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 332660

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 19902
/proc/meminfo: memFree=29814020/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=337680 CPUtime=1601.94 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 84313 0 0 0 160156 38 0 0 20 0 1 0 339313626 345784320 83676 33554432000 134512640 135840783 4292151120 4292150480 134551186 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 84420 83676 347 325 0 83356 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 337680

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19903
/proc/meminfo: memFree=29798080/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=341908 CPUtime=1661.93 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 85380 0 0 0 166155 38 0 0 20 0 1 0 339313626 350113792 84740 33554432000 134512640 135840783 4292151120 4292150480 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 85477 84740 347 325 0 84413 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 341908

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 19903
/proc/meminfo: memFree=29789368/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=346136 CPUtime=1721.91 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 86447 0 0 0 172152 39 0 0 20 0 1 0 339313626 354443264 85792 33554432000 134512640 135840783 4292151120 4292150480 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 86534 85792 347 325 0 85470 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 346136

[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 19903
/proc/meminfo: memFree=29773868/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=353004 CPUtime=1781.91 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 88166 0 0 0 178151 40 0 0 20 0 1 0 339313626 361476096 87511 33554432000 134512640 135840783 4292151120 4292150480 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 88251 87511 347 325 0 87187 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 353004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19903
/proc/meminfo: memFree=29770644/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=354196 CPUtime=1800.01 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 88464 0 0 0 179961 40 0 0 20 0 1 0 339313626 362696704 87809 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 88549 87809 347 325 0 87485 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 354196

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.4 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 19903
/proc/meminfo: memFree=29770644/32873648 swapFree=6860/6860
[pid=19788] ppid=19786 vsize=354196 CPUtime=1800.01 cores=0,2,4,6
/proc/19788/stat : 19788 (bsolo3.0.17) R 19786 19788 18429 0 -1 4202496 88464 0 0 0 179961 40 0 0 20 0 1 0 339313626 362696704 87809 33554432000 134512640 135840783 4292151120 4292150480 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/19788/statm: 88549 87809 347 325 0 87485 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 354196

Child status: 15
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.61
CPU system time (s): 0.411937
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 354196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.61
system time used= 0.411937
maximum resident set size= 351236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88467
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= 171
involuntary context switches= 1911

runsolver used 3.3115 second user time and 9.41357 second system time

The end

Launcher Data

Begin job on node124 at 2012-06-03 15:57:58
IDJOB=3738008
IDBENCH=48373
IDSOLVER=2318
FILE ID=node124/3738008-1338731878
RUNJOBID= node124-1338713740-18445
PBS_JOBID= 14636741
Free space on /tmp= 70704 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB07/normalized-PB07/SATUNSAT-SMALLINT-NLC/submittedPB07/manquinho/dbsg/normalized-dbsg_200_25_3_15.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3738008-1338731878/watcher-3738008-1338731878 -o /tmp/evaluation-result-3738008-1338731878/solver-3738008-1338731878 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3738008-1338731878.opb            

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

MD5SUM BENCH= 6d36c2461bcbe18a397b3deab9e30c2d
RANDOM SEED=342851085

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29944456 kB
Buffers:          201468 kB
Cached:          1378756 kB
SwapCached:         8268 kB
Active:           977256 kB
Inactive:        1184284 kB
Active(anon):     575336 kB
Inactive(anon):     8240 kB
Active(file):     401920 kB
Inactive(file):  1176044 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67091596 kB
Dirty:              6608 kB
Writeback:             0 kB
AnonPages:        580500 kB
Mapped:            10356 kB
Shmem:                 0 kB
Slab:             629872 kB
SReclaimable:      74440 kB
SUnreclaim:       555432 kB
KernelStack:        1456 kB
PageTables:         5148 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     696664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    448512 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= 70696 MiB
End job on node124 at 2012-06-03 16:28:00