Trace number 3743515

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.03 1800.62

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_0null0mast_rapportOE1.0_TMAX120_K67_cod3.opb
MD5SUMf4a8ab58a5e98ecbfcbb94262b6fde02
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-140701
Best CPU time to get the best result obtained on this benchmark1800.07
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 32076
Biggest coefficient in the objective function 6765
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 32885952
Number of bits of the sum of numbers in the objective function 25
Biggest number in a constraint 6765
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 32885952
Number of bits of the biggest sum of numbers25
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-3743515-1338784085.opb
0.00/0.00	c File size is 2827461 bytes.
0.00/0.03	c Coefficients are big enough for not using lower bounding.
0.19/0.28	c Highest Coefficient sum: 3.2886e+07
0.19/0.28	c Parsing was ok!!
0.19/0.28	c Total parsing time: 0.274 s
0.19/0.29	c Var: 40451 Constr: 40950 40396/553/1 Lit: 221883 Watch. Lit: 161254
0.19/0.29	c Obj. Vars: 32076 (79.2959 % of total variables)
26.28/26.40	c Pre-processing Time: 26.393 s
1800.01/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.01/1800.60	c        0  32883    33499   187590    5   137686  622567      0      0 26.39
1800.01/1800.60	c      101  32883    33600   220705    6   137945  684824    101      3 26.65
1800.01/1800.60	c      251  32883    33750   222359    6   138210  753307    251      9 26.95
1800.01/1800.60	c      477  32883    33976   236872    6   138702  828638    477     17 27.68
1800.01/1800.60	c      818  32883    34317   271212    7   139382  911502    818     28 29.00
1800.01/1800.60	c     1327  32883    34826   323250    9   140399  500000   1327     43 30.68
1800.01/1800.60	c     2091  32883    35590   370488   10   141919  550001   2091     63 32.82
1800.01/1800.60	c     3239  32883    36738   557887   15   144217  605002   3239     88 36.54
1800.01/1800.60	c     4961  32883    38460   759964   19   147654  665503   4961    117 42.05
1800.01/1800.60	c     7546  32883    41045  1218044   29   152829  732054   7546    148 50.89
1800.01/1800.60	c    11427  32883    44926  2043602   45   160588  805260  11427    176 64.61
1800.01/1800.60	c    17249  32883    50748  2938438   57   172235  885787  17249    206 83.35
1800.01/1800.60	c    25986  32883    59485  4283228   72   189709  974366  25986    227 113.99
1800.01/1800.60	c    39096  32883    72595  6481338   89   215927  500000  39096    229 170.33
1800.01/1800.60	c    58766  32883    92265 10518164  113   255271  550001  58766    239 245.43
1800.01/1800.60	c    88276  32883   121775 18674153  153   314287  605002  88276    217 405.22
1800.01/1800.60	c   132547  32883   166046 24868766  149   402835  665503 132547    213 621.16
1800.01/1800.60	c   198958  32883   232457 44874272  193   535649  732054 198958    150 1319.37
1800.01/1800.60	c Caught signal: 15
1800.01/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.01/1800.60	c   17   255428  81028   514589   288927 57114338 255428    141 1800.02
1800.01/1800.60	s UNKNOWN
1800.01/1800.60	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-3743515-1338784085/watcher-3743515-1338784085 -o /tmp/evaluation-result-3743515-1338784085/solver-3743515-1338784085 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743515-1338784085.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.42 2.35 3/176 17422
/proc/meminfo: memFree=30798860/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=4412 CPUtime=0 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 320 0 0 0 0 0 0 0 20 0 1 0 344533440 4517888 257 33554432000 134512640 135840783 4292617744 4292617224 6374016 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 1136 264 234 325 0 72 0

[startup+0.100712 s]
/proc/loadavg: 2.01 2.42 2.35 3/176 17422
/proc/meminfo: memFree=30798860/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=12060 CPUtime=0.09 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 1935 0 0 0 9 0 0 0 20 0 1 0 344533440 12349440 1753 33554432000 134512640 135840783 4292617744 4292616736 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 3015 1753 564 325 0 1260 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12060

[startup+0.20034 s]
/proc/loadavg: 2.01 2.42 2.35 3/176 17422
/proc/meminfo: memFree=30798860/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=14920 CPUtime=0.19 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 2894 0 0 0 19 0 0 0 20 0 1 0 344533440 15278080 2713 33554432000 134512640 135840783 4292617744 4292616560 10212647 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 3730 2713 821 325 0 1975 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 14920

[startup+0.300336 s]
/proc/loadavg: 2.01 2.42 2.35 3/176 17422
/proc/meminfo: memFree=30798860/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=20588 CPUtime=0.28 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 5228 0 0 0 28 0 0 0 20 0 1 0 344533440 21082112 4292 33554432000 134512640 135840783 4292617744 4292131344 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 5147 4292 342 325 0 4083 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 20588

[startup+0.700238 s]
/proc/loadavg: 2.01 2.42 2.35 3/176 17422
/proc/meminfo: memFree=30798860/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=20588 CPUtime=0.69 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 5228 0 0 0 68 1 0 0 20 0 1 0 344533440 21082112 4292 33554432000 134512640 135840783 4292617744 4292131436 15705136 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 5147 4292 342 325 0 4083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20588

[startup+1.50025 s]
/proc/loadavg: 2.01 2.42 2.35 3/177 17423
/proc/meminfo: memFree=30782708/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=20588 CPUtime=1.49 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 5228 0 0 0 148 1 0 0 20 0 1 0 344533440 21082112 4292 33554432000 134512640 135840783 4292617744 4292131436 15705136 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 5147 4292 342 325 0 4083 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20588

[startup+3.10033 s]
/proc/loadavg: 2.01 2.42 2.35 3/177 17423
/proc/meminfo: memFree=30781468/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=20720 CPUtime=3.09 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 5260 0 0 0 308 1 0 0 20 0 1 0 344533440 21217280 4324 33554432000 134512640 135840783 4292617744 4292130964 10199378 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 5180 4324 342 325 0 4116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20720

[startup+6.30024 s]
/proc/loadavg: 2.01 2.41 2.35 3/177 17423
/proc/meminfo: memFree=30779856/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=20720 CPUtime=6.28 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 5260 0 0 0 627 1 0 0 20 0 1 0 344533440 21217280 4324 33554432000 134512640 135840783 4292617744 4292131436 15705136 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 5180 4324 342 325 0 4116 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 20720

[startup+12.7003 s]
/proc/loadavg: 2.00 2.41 2.35 3/177 17423
/proc/meminfo: memFree=30776632/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=21380 CPUtime=12.69 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 5421 0 0 0 1267 2 0 0 20 0 1 0 344533440 21893120 4485 33554432000 134512640 135840783 4292617744 4292131504 134567665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 5345 4485 342 325 0 4281 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21380

[startup+25.5003 s]
/proc/loadavg: 2.00 2.39 2.34 3/177 17423
/proc/meminfo: memFree=30768916/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=21380 CPUtime=25.48 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 5423 0 0 0 2546 2 0 0 20 0 1 0 344533440 21893120 4487 33554432000 134512640 135840783 4292617744 4292131344 134550872 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 5345 4487 342 325 0 4281 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21380

[startup+51.1003 s]
/proc/loadavg: 2.00 2.35 2.33 3/177 17424
/proc/meminfo: memFree=30746424/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=34300 CPUtime=51.08 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 9311 0 0 0 5103 5 0 0 20 0 1 0 344533440 35123200 7700 33554432000 134512640 135840783 4292617744 4292617104 134551321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 8575 7700 347 325 0 7511 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34300

[startup+102.3 s]
/proc/loadavg: 2.00 2.30 2.31 3/177 17424
/proc/meminfo: memFree=30692528/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=67692 CPUtime=102.28 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 17658 0 0 0 10222 6 0 0 20 0 1 0 344533440 69316608 16047 33554432000 134512640 135840783 4292617744 4292617040 134572633 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 16923 16047 347 325 0 15859 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 67692

[startup+162.3 s]
/proc/loadavg: 2.00 2.24 2.29 3/178 17427
/proc/meminfo: memFree=30637644/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=101452 CPUtime=162.26 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 26112 0 0 0 16218 8 0 0 20 0 1 0 344533440 103886848 24501 33554432000 134512640 135840783 4292617744 4292617104 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 25363 24501 347 325 0 24299 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 101452

[startup+222.307 s]
/proc/loadavg: 2.00 2.19 2.27 3/177 17427
/proc/meminfo: memFree=30566256/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=142904 CPUtime=222.21 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 36522 0 0 0 22211 10 0 0 20 0 1 0 344533440 146333696 34869 33554432000 134512640 135840783 4292617744 4292617104 134551063 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 35726 34869 347 325 0 34662 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 142904

[startup+282.3 s]
/proc/loadavg: 2.00 2.16 2.25 3/177 17427
/proc/meminfo: memFree=30504240/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=189252 CPUtime=282.16 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 48125 0 0 0 28202 14 0 0 20 0 1 0 344533440 193794048 46518 33554432000 134512640 135840783 4292617744 4292617104 134551324 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 47313 46518 347 325 0 46249 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 189252

[startup+342.3 s]
/proc/loadavg: 2.00 2.12 2.23 3/177 17427
/proc/meminfo: memFree=30452408/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=226904 CPUtime=342.16 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 57542 0 0 0 34200 16 0 0 20 0 1 0 344533440 232349696 55935 33554432000 134512640 135840783 4292617744 4292617104 134551186 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 56726 55935 347 325 0 55662 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 226904

[startup+402.3 s]
/proc/loadavg: 2.00 2.10 2.21 3/177 17428
/proc/meminfo: memFree=30402064/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=263888 CPUtime=402.14 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 66789 0 0 0 40196 18 0 0 20 0 1 0 344533440 270221312 65182 33554432000 134512640 135840783 4292617744 4292617104 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 65972 65182 347 325 0 64908 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 263888

[startup+462.3 s]
/proc/loadavg: 2.00 2.08 2.20 3/178 17429
/proc/meminfo: memFree=30359204/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=295340 CPUtime=462.14 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 74656 0 0 0 46193 21 0 0 20 0 1 0 344533440 302428160 73049 33554432000 134512640 135840783 4292617744 4292617104 134551312 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 73835 73049 347 325 0 72771 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 295340

[startup+522.3 s]
/proc/loadavg: 2.00 2.06 2.18 3/177 17429
/proc/meminfo: memFree=30326772/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=316420 CPUtime=522.13 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 79938 0 0 0 52190 23 0 0 20 0 1 0 344533440 324014080 78331 33554432000 134512640 135840783 4292617744 4292617104 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 79105 78331 347 325 0 78041 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 316420

[startup+582.3 s]
/proc/loadavg: 2.06 2.06 2.17 3/177 17429
/proc/meminfo: memFree=30294284/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=336036 CPUtime=582.12 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 84837 0 0 0 58187 25 0 0 20 0 1 0 344533440 344100864 83230 33554432000 134512640 135840783 4292617744 4292617104 134551347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 84009 83230 347 325 0 82945 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 336036

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.02 2.11 3/177 17433
/proc/meminfo: memFree=30080724/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=463660 CPUtime=881.97 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 116847 0 0 0 88160 37 0 0 20 0 1 0 344533440 474787840 115135 33554432000 134512640 135840783 4292617744 4292617104 134550804 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 115915 115135 347 325 0 114851 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 463660

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.10 3/177 17433
/proc/meminfo: memFree=30032612/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=488368 CPUtime=941.96 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 123027 0 0 0 94157 39 0 0 20 0 1 0 344533440 500088832 121315 33554432000 134512640 135840783 4292617744 4292617104 134550902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 122092 121315 347 325 0 121028 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 488368

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 17434
/proc/meminfo: memFree=29994896/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=509148 CPUtime=1001.95 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 128213 0 0 0 100154 41 0 0 20 0 1 0 344533440 521367552 126501 33554432000 134512640 135840783 4292617744 4292617104 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 127287 126501 347 325 0 126223 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 509148

[startup+1062.3 s]
/proc/loadavg: 2.06 2.02 2.09 3/177 17434
/proc/meminfo: memFree=29953508/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=529644 CPUtime=1061.94 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 133331 0 0 0 106151 43 0 0 20 0 1 0 344533440 542355456 131619 33554432000 134512640 135840783 4292617744 4292617104 134550893 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 132411 131619 347 325 0 131347 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 529644

[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.08 3/177 17434
/proc/meminfo: memFree=29914392/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=549300 CPUtime=1121.94 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 138268 0 0 0 112148 46 0 0 20 0 1 0 344533440 562483200 136556 33554432000 134512640 135840783 4292617744 4292617104 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 137325 136556 347 325 0 136261 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 549300

[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.08 3/177 17434
/proc/meminfo: memFree=29886988/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=570152 CPUtime=1181.93 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 143469 0 0 0 118145 48 0 0 20 0 1 0 344533440 583835648 141757 33554432000 134512640 135840783 4292617744 4292617056 134551104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 142538 141757 347 325 0 141474 0
Current children cumulated CPU time (s) 1181.93
Current children cumulated vsize (KiB) 570152

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 17434
/proc/meminfo: memFree=29848672/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=589256 CPUtime=1241.92 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 148250 0 0 0 124142 50 0 0 20 0 1 0 344533440 603398144 146538 33554432000 134512640 135840783 4292617744 4292617104 134551347 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 147314 146538 347 325 0 146250 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 589256

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.07 3/177 17435
/proc/meminfo: memFree=29801676/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=606756 CPUtime=1301.91 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 152630 0 0 0 130140 51 0 0 20 0 1 0 344533440 621318144 150918 33554432000 134512640 135840783 4292617744 4292617104 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 151689 150918 347 325 0 150625 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 606756

[startup+1362.3 s]
/proc/loadavg: 2.06 2.01 2.07 3/178 17438
/proc/meminfo: memFree=29752092/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=623692 CPUtime=1361.88 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 156855 0 0 0 136136 52 0 0 20 0 1 0 344533440 638660608 155125 33554432000 134512640 135840783 4292617744 4292617104 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 155923 155125 347 325 0 154859 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 623692

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.06 3/177 17477
/proc/meminfo: memFree=30357660/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=644436 CPUtime=1421.83 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 162088 0 0 0 142129 54 0 0 20 0 1 0 344533440 659902464 160311 33554432000 134512640 135840783 4292617744 4292617104 134550782 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 161109 160311 347 325 0 160045 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 644436

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 17477
/proc/meminfo: memFree=30322472/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=669968 CPUtime=1481.77 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 168517 0 0 0 148122 55 0 0 20 0 1 0 344533440 686047232 166693 33554432000 134512640 135840783 4292617744 4292617104 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 167492 166693 347 325 0 166428 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 669968

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 17477
/proc/meminfo: memFree=30285628/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=693792 CPUtime=1541.75 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 174508 0 0 0 154117 58 0 0 20 0 1 0 344533440 710443008 172665 33554432000 134512640 135840783 4292617744 4292617104 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 173448 172665 347 325 0 172384 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 693792

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17478
/proc/meminfo: memFree=30246568/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=716272 CPUtime=1601.74 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 180129 0 0 0 160114 60 0 0 20 0 1 0 344533440 733462528 178286 33554432000 134512640 135840783 4292617744 4292617104 134551175 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 179068 178286 347 325 0 178004 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 716272

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17478
/proc/meminfo: memFree=30213708/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=737280 CPUtime=1661.72 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 185388 0 0 0 166111 61 0 0 20 0 1 0 344533440 754974720 183545 33554432000 134512640 135840783 4292617744 4292617104 134550863 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 184320 183545 347 325 0 183256 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 737280

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 17478
/proc/meminfo: memFree=30175764/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=756344 CPUtime=1721.72 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 190158 0 0 0 172109 63 0 0 20 0 1 0 344533440 774496256 188315 33554432000 134512640 135840783 4292617744 4292617104 134551058 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 189086 188315 347 325 0 188022 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 756344

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.03 3/177 17478
/proc/meminfo: memFree=30142904/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=770028 CPUtime=1781.71 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 193579 0 0 0 178107 64 0 0 20 0 1 0 344533440 788508672 191736 33554432000 134512640 135840783 4292617744 4292617040 134572087 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 192507 191736 347 325 0 191443 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 770028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.03 2.01 2.03 3/177 17478
/proc/meminfo: memFree=30135712/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=773732 CPUtime=1800.01 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 194483 0 0 0 179937 64 0 0 20 0 1 0 344533440 792301568 192640 33554432000 134512640 135840783 4292617744 4292617104 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 193433 192640 347 325 0 192369 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 773732

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

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

[startup+1800.6 s]
/proc/loadavg: 2.03 2.01 2.03 3/177 17478
/proc/meminfo: memFree=30135712/32873844 swapFree=7116/7116
[pid=17422] ppid=17420 vsize=773732 CPUtime=1800.01 cores=0,2,4,6
/proc/17422/stat : 17422 (bsolo3.0.17) R 17420 17422 16841 0 -1 4202496 194483 0 0 0 179937 64 0 0 20 0 1 0 344533440 792301568 192640 33554432000 134512640 135840783 4292617744 4292617104 134550878 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17422/statm: 193433 192640 347 325 0 192369 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 773732

Child status: 15
Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1799.38
CPU system time (s): 0.6529
CPU usage (%): 99.9675
Max. virtual memory (cumulated for all children) (KiB): 773732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.6529
maximum resident set size= 770560
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 194486
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= 335
involuntary context switches= 1861

runsolver used 3.00954 second user time and 9.57554 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-04 06:28:05
IDJOB=3743515
IDBENCH=91510
IDSOLVER=2318
FILE ID=node146/3743515-1338784085
RUNJOBID= node146-1338775068-16857
PBS_JOBID= 14636828
Free space on /tmp= 70896 MiB

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

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

MD5SUM BENCH= f4a8ab58a5e98ecbfcbb94262b6fde02
RANDOM SEED=633651026

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.034
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.034
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.034
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.034
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30799232 kB
Buffers:          340568 kB
Cached:           677884 kB
SwapCached:         1792 kB
Active:           735288 kB
Inactive:         513288 kB
Active(anon):     230812 kB
Inactive(anon):     1664 kB
Active(file):     504476 kB
Inactive(file):   511624 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67099888 kB
Dirty:              9264 kB
Writeback:             0 kB
AnonPages:        236304 kB
Mapped:            10288 kB
Shmem:                 0 kB
Slab:             683644 kB
SReclaimable:     123572 kB
SUnreclaim:       560072 kB
KernelStack:        1456 kB
PageTables:         4300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     352424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 70888 MiB
End job on node146 at 2012-06-04 06:58:08