Trace number 3743521

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

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX60_K67_cod1.opb
MD5SUM45095495cbc234ce584c9f2f0e8c1a12
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-9842
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 25674
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 14379486
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 14379486
Number of bits of the biggest sum of numbers24
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.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-3743521-1338784775.opb
0.00/0.00	c File size is 2773307 bytes.
0.00/0.02	c Coefficients are big enough for not using lower bounding.
0.19/0.27	c Highest Coefficient sum: 1.43795e+07
0.19/0.27	c Parsing was ok!!
0.19/0.27	c Total parsing time: 0.273 s
0.19/0.29	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161315
0.19/0.29	c Obj. Vars: 25674 (63.4694 % of total variables)
26.68/26.74	c Pre-processing Time: 26.731 s
1800.10/1800.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.10/1800.61	c        0  27534    33499   187590    5   137747  622567      0      0 26.73
1800.10/1800.61	c      102  27534    33601   228728    6   137979  684824    102      3 26.96
1800.10/1800.61	c      252  27534    33751   234926    6   138277  753307    252      9 27.27
1800.10/1800.61	c      478  27534    33977   255425    7   138728  828638    478     17 27.81
1800.10/1800.61	c      816  27534    34315   310468    9   139407  911502    816     28 28.81
1800.10/1800.61	c     1324  27534    34823   365163   10   140423  500000   1324     43 30.16
1800.10/1800.61	c     2088  27534    35587   451172   12   141951  550001   2088     64 32.24
1800.10/1800.61	c     3235  27534    36734   585148   15   144242  605002   3235     91 35.28
1800.10/1800.61	c     4959  27534    38458   871571   22   147693  665503   4959     96 51.25
1800.10/1800.61	c     7543  27534    41042  1199773   29   152861  732054   7543    127 59.33
1800.10/1800.61	c    11423  27534    44922  1783655   39   160621  805260  11423    163 69.97
1800.10/1800.61	c    17245  27534    50744  2737907   53   172264  885787  17245    191 90.11
1800.10/1800.61	c    25984  27534    59483  4114938   69   189742  974366  25984    215 120.58
1800.10/1800.61	c    39094  27534    72593  8652681  119   215959  500000  39094    196 199.31
1800.10/1800.61	c    58765  27534    92264 11760918  127   255304  550001  58765    227 258.53
1800.10/1800.61	c    88275  27534   121774 19526672  160   314322  605002  88275    230 383.55
1800.10/1800.61	c   132546  27534   166045 31164028  187   402863  665503 132546    204 647.24
1800.10/1800.61	c   198956  27534   232455 53900142  231   535681  732054 198956    145 1366.17
1800.10/1800.61	c Caught signal: 15
1800.10/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.61	c   17   231733  80789   540892   265232 62852579 231733    128 1800.11
1800.10/1800.61	s UNKNOWN
1800.10/1800.61	c Total time: 1800.11 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-3743521-1338784775/watcher-3743521-1338784775 -o /tmp/evaluation-result-3743521-1338784775/solver-3743521-1338784775 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743521-1338784775.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: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=15220 CPUtime=0 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 474 0 0 0 0 0 0 0 20 0 1 0 344606023 15585280 410 33554432000 134512640 135840783 4293493984 4293492688 7742759 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 3805 410 326 325 0 2063 0

[startup+0.037112 s]
/proc/loadavg: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=9784 CPUtime=0.02 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 1210 0 0 0 2 0 0 0 20 0 1 0 344606023 10018816 1106 33554432000 134512640 135840783 4293493984 4293492976 134525286 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 2446 1106 418 325 0 704 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9784

[startup+0.100217 s]
/proc/loadavg: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=11700 CPUtime=0.09 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 1868 0 0 0 9 0 0 0 20 0 1 0 344606023 11980800 1764 33554432000 134512640 135840783 4293493984 4293492852 7737446 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 2925 1764 586 325 0 1183 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11700

[startup+0.300195 s]
/proc/loadavg: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20612 CPUtime=0.29 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5204 0 0 0 28 1 0 0 20 0 1 0 344606023 21106688 4292 33554432000 134512640 135840783 4293493984 4293007584 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5153 4292 342 325 0 4089 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20612

[startup+0.700178 s]
/proc/loadavg: 0.98 1.57 1.83 2/176 30047
/proc/meminfo: memFree=28680500/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20612 CPUtime=0.69 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5204 0 0 0 68 1 0 0 20 0 1 0 344606023 21106688 4292 33554432000 134512640 135840783 4293493984 4293007584 134551186 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5153 4292 342 325 0 4089 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20612

[startup+1.50022 s]
/proc/loadavg: 0.98 1.57 1.83 3/177 30048
/proc/meminfo: memFree=28649468/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20744 CPUtime=1.49 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5235 0 0 0 148 1 0 0 20 0 1 0 344606023 21241856 4323 33554432000 134512640 135840783 4293493984 4293007536 134550863 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20744

[startup+3.10023 s]
/proc/loadavg: 0.98 1.57 1.83 3/177 30048
/proc/meminfo: memFree=28648244/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20744 CPUtime=3.09 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5235 0 0 0 308 1 0 0 20 0 1 0 344606023 21241856 4323 33554432000 134512640 135840783 4293493984 4293007536 134551356 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20744

[startup+6.30023 s]
/proc/loadavg: 1.06 1.57 1.83 3/177 30048
/proc/meminfo: memFree=28647856/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=20744 CPUtime=6.28 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5237 0 0 0 627 1 0 0 20 0 1 0 344606023 21241856 4323 33554432000 134512640 135840783 4293493984 4293007644 3633104 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5186 4323 342 325 0 4122 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20744

[startup+12.7002 s]
/proc/loadavg: 1.14 1.58 1.83 3/177 30048
/proc/meminfo: memFree=28647000/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=21404 CPUtime=12.68 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5401 0 0 0 1267 1 0 0 20 0 1 0 344606023 21917696 4487 33554432000 134512640 135840783 4293493984 4293007456 7745102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5351 4487 342 325 0 4287 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21404

[startup+25.5002 s]
/proc/loadavg: 1.33 1.60 1.83 3/177 30048
/proc/meminfo: memFree=28635460/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=21404 CPUtime=25.47 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 5405 0 0 0 2545 2 0 0 20 0 1 0 344606023 21917696 4487 33554432000 134512640 135840783 4293493984 4293007536 134551182 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 5351 4487 342 325 0 4287 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 21404

[startup+51.1002 s]
/proc/loadavg: 1.56 1.63 1.83 3/178 30051
/proc/meminfo: memFree=28594316/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=29408 CPUtime=51.06 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 8090 0 0 0 5102 4 0 0 20 0 1 0 344606023 30113792 6497 33554432000 134512640 135840783 4293493984 4293493280 134572687 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/30047/statm: 7352 6497 347 325 0 6288 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 29408

[startup+102.306 s]
/proc/loadavg: 1.81 1.69 1.83 3/177 30051
/proc/meminfo: memFree=28502936/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=62416 CPUtime=102.25 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 16337 0 0 0 10219 6 0 0 20 0 1 0 344606023 63913984 14728 33554432000 134512640 135840783 4293493984 4293493344 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 15604 14728 347 325 0 14540 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 62416

[startup+162.3 s]
/proc/loadavg: 1.93 1.74 1.84 3/177 30051
/proc/meminfo: memFree=28395540/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=107520 CPUtime=162.22 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 27604 0 0 0 16213 9 0 0 20 0 1 0 344606023 110100480 25995 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 26880 25995 347 325 0 25816 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 107520

[startup+222.3 s]
/proc/loadavg: 2.04 1.80 1.85 3/177 30051
/proc/meminfo: memFree=28306660/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=147988 CPUtime=222.22 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 37727 0 0 0 22211 11 0 0 20 0 1 0 344606023 151539712 36118 33554432000 134512640 135840783 4293493984 4293493280 134572687 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 36997 36118 347 325 0 35933 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 147988

[startup+282.3 s]
/proc/loadavg: 2.07 1.85 1.86 3/177 30052
/proc/meminfo: memFree=28232020/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=198088 CPUtime=282.21 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 50256 0 0 0 28207 14 0 0 20 0 1 0 344606023 202842112 48647 33554432000 134512640 135840783 4293493984 4293493296 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 49522 48647 347 325 0 48458 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 198088

[startup+342.3 s]
/proc/loadavg: 2.03 1.87 1.87 3/177 30052
/proc/meminfo: memFree=28160256/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=244620 CPUtime=342.18 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 61936 0 0 0 34201 17 0 0 20 0 1 0 344606023 250490880 60289 33554432000 134512640 135840783 4293493984 4293493296 134551315 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 61155 60289 347 325 0 60091 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 244620

[startup+402.3 s]
/proc/loadavg: 2.01 1.89 1.87 3/177 30052
/proc/meminfo: memFree=28091836/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=284880 CPUtime=402.15 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 72049 0 0 0 40195 20 0 0 20 0 1 0 344606023 291717120 70358 33554432000 134512640 135840783 4293493984 4293493344 134551081 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 71220 70358 347 325 0 70156 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 284880

[startup+462.3 s]
/proc/loadavg: 2.00 1.91 1.88 3/177 30052
/proc/meminfo: memFree=28029284/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=326292 CPUtime=462.13 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 82436 0 0 0 46190 23 0 0 20 0 1 0 344606023 334123008 80718 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 81573 80718 347 325 0 80509 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 326292

[startup+522.3 s]
/proc/loadavg: 2.00 1.92 1.89 3/177 30052
/proc/meminfo: memFree=27968896/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=359584 CPUtime=522.12 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 90741 0 0 0 52186 26 0 0 20 0 1 0 344606023 368214016 89023 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 89896 89023 347 325 0 88832 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 359584

[startup+582.3 s]
/proc/loadavg: 2.00 1.94 1.89 3/177 30053
/proc/meminfo: memFree=27905780/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=395236 CPUtime=582.11 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 99651 0 0 0 58184 27 0 0 20 0 1 0 344606023 404721664 97933 33554432000 134512640 135840783 4293493984 4293493344 134551365 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 98809 97933 347 325 0 97745 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 395236

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.01 1.97 1.91 3/177 30056
/proc/meminfo: memFree=27585392/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=541972 CPUtime=822.07 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 136339 0 0 0 82167 40 0 0 20 0 1 0 344606023 554979328 134621 33554432000 134512640 135840783 4293493984 4293493344 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 135493 134621 347 325 0 134429 0
Current children cumulated CPU time (s) 822.07
Current children cumulated vsize (KiB) 541972

[startup+882.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27501072/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=567588 CPUtime=882.06 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 142740 0 0 0 88164 42 0 0 20 0 1 0 344606023 581210112 141022 33554432000 134512640 135840783 4293493984 4293493336 3246288 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 141897 141022 347 325 0 140833 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 567588

[startup+942.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27430652/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=586708 CPUtime=942.04 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 147535 0 0 0 94160 44 0 0 20 0 1 0 344606023 600788992 145792 33554432000 134512640 135840783 4293493984 4293472304 134586540 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 146677 145792 347 325 0 145613 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 586708

[startup+1002.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27373020/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=607732 CPUtime=1001.98 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 152835 0 0 0 100153 45 0 0 20 0 1 0 344606023 622317568 151052 33554432000 134512640 135840783 4293493984 4293493344 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 151933 151052 347 325 0 150869 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 607732

[startup+1062.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27319480/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=624860 CPUtime=1061.94 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 157179 0 0 0 106147 47 0 0 20 0 1 0 344606023 639856640 155353 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 156215 155353 347 325 0 155151 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 624860

[startup+1122.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30057
/proc/meminfo: memFree=27266816/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=645164 CPUtime=1121.89 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 162288 0 0 0 112141 48 0 0 20 0 1 0 344606023 660647936 160421 33554432000 134512640 135840783 4293493984 4293493344 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 161291 160421 347 325 0 160227 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 645164

[startup+1182.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/176 30057
/proc/meminfo: memFree=27217100/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=665524 CPUtime=1181.88 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 167378 0 0 0 118138 50 0 0 20 0 1 0 344606023 681496576 165511 33554432000 134512640 135840783 4293493984 4293493344 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 166381 165511 347 325 0 165317 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 665524

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 30061
/proc/meminfo: memFree=27170088/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=684468 CPUtime=1241.88 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 172120 0 0 0 124135 53 0 0 20 0 1 0 344606023 700895232 170253 33554432000 134512640 135840783 4293493984 4293493344 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 171117 170253 347 325 0 170053 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 684468

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/178 30084
/proc/meminfo: memFree=27122224/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=708276 CPUtime=1301.87 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 178080 0 0 0 130133 54 0 0 20 0 1 0 344606023 725274624 176213 33554432000 134512640 135840783 4293493984 4293493120 7741938 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 177069 176213 347 325 0 176005 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 708276

[startup+1362.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30084
/proc/meminfo: memFree=27086520/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=724448 CPUtime=1361.85 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 182119 0 0 0 136130 55 0 0 20 0 1 0 344606023 741834752 180252 33554432000 134512640 135840783 4293493984 4293493344 134551324 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 181112 180252 347 325 0 180048 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 724448

[startup+1422.31 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30084
/proc/meminfo: memFree=27047564/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=740820 CPUtime=1421.85 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 186206 0 0 0 142128 57 0 0 20 0 1 0 344606023 758599680 184339 33554432000 134512640 135840783 4293493984 4293493344 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 185205 184339 347 325 0 184141 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 740820

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/176 30084
/proc/meminfo: memFree=27006804/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=754140 CPUtime=1481.84 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 189533 0 0 0 148126 58 0 0 20 0 1 0 344606023 772239360 187666 33554432000 134512640 135840783 4293493984 4293493344 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 188535 187666 347 325 0 187471 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 754140

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30086
/proc/meminfo: memFree=26979420/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=767320 CPUtime=1541.83 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 192835 0 0 0 154123 60 0 0 20 0 1 0 344606023 785735680 190968 33554432000 134512640 135840783 4293493984 4293493344 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 191830 190968 347 325 0 190766 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 767320

[startup+1602.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30086
/proc/meminfo: memFree=26952168/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=782720 CPUtime=1601.81 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 196687 0 0 0 160121 60 0 0 20 0 1 0 344606023 801505280 194820 33554432000 134512640 135840783 4293493984 4293493344 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 195680 194820 347 325 0 194616 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 782720

[startup+1662.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30086
/proc/meminfo: memFree=26924172/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=799040 CPUtime=1661.81 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 200770 0 0 0 166119 62 0 0 20 0 1 0 344606023 818216960 198903 33554432000 134512640 135840783 4293493984 4293493344 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 199760 198903 347 325 0 198696 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 799040

[startup+1722.3 s]
/proc/loadavg: 2.00 1.97 1.91 3/177 30086
/proc/meminfo: memFree=26893400/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=819796 CPUtime=1721.8 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 205940 0 0 0 172117 63 0 0 20 0 1 0 344606023 839471104 204073 33554432000 134512640 135840783 4293493984 4293493344 134550902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 204949 204073 347 325 0 203885 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 819796

[startup+1782.3 s]
/proc/loadavg: 2.07 1.99 1.91 3/177 30086
/proc/meminfo: memFree=26859424/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=839312 CPUtime=1781.79 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 210823 0 0 0 178114 65 0 0 20 0 1 0 344606023 859455488 208956 33554432000 134512640 135840783 4293493984 4293493344 134550896 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 209828 208956 347 325 0 208764 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 839312



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 1.99 1.91 3/177 30087
/proc/meminfo: memFree=26852108/32873844 swapFree=6872/6872
[pid=30047] ppid=30045 vsize=843044 CPUtime=1800.1 cores=0,2,4,6
/proc/30047/stat : 30047 (bsolo3.0.17) R 30045 30047 30003 0 -1 4202496 211764 0 0 0 179945 65 0 0 20 0 1 0 344606023 863277056 209897 33554432000 134512640 135840783 4293493984 4293493344 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/30047/statm: 210761 209897 347 325 0 209697 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 843044

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

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

Child status: 15
Real time (s): 1800.63
CPU time (s): 1800.13
CPU user time (s): 1799.45
CPU system time (s): 0.675897
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 843044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.675897
maximum resident set size= 839588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211767
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= 292
involuntary context switches= 2189

runsolver used 3.41148 second user time and 8.71368 second system time

The end

Launcher Data 

Begin job on node106 at 2012-06-04 06:39:35
IDJOB=3743521
IDBENCH=91523
IDSOLVER=2318
FILE ID=node106/3743521-1338784775
RUNJOBID= node106-1338784775-30019
PBS_JOBID= 14636852
Free space on /tmp= 70856 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_unif_20null10mast_rapportOE1.0_TMAX60_K67_cod1.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743521-1338784775/watcher-3743521-1338784775 -o /tmp/evaluation-result-3743521-1338784775/solver-3743521-1338784775 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3743521-1338784775.opb            

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

MD5SUM BENCH= 45095495cbc234ce584c9f2f0e8c1a12
RANDOM SEED=2124575222

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
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.065
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:        28681424 kB
Buffers:          329856 kB
Cached:          3002936 kB
SwapCached:         2004 kB
Active:          1052064 kB
Inactive:        2285256 kB
Active(anon):       2188 kB
Inactive(anon):     4984 kB
Active(file):    1049876 kB
Inactive(file):  2280272 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100580 kB
Dirty:             18272 kB
Writeback:             0 kB
AnonPages:          9972 kB
Mapped:             8172 kB
Shmem:                 0 kB
Slab:             714168 kB
SReclaimable:     155912 kB
SUnreclaim:       558256 kB
KernelStack:        1376 kB
PageTables:         3912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     103984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70848 MiB
End job on node106 at 2012-06-04 07:09:38