Trace number 3740985

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.06 1800.63

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-48.opb
MD5SUMbcbd6cca7644150bcdcbd185d4571ad6
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, 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 benchmark155.412
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9956
Total number of constraints224622
Number of constraints which are clauses201792
Number of constraints which are cardinality constraints (but not clauses)738
Number of constraints which are nor clauses,nor cardinality constraints22092
Minimum length of a constraint1
Maximum length of a constraint231
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 232
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

0.00/0.00	c bsolo beta version 3.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-3740985-1338754732.opb
0.00/0.00	c File size is 9423124 bytes.
0.69/0.70	c Highest Coefficient sum: 232
0.69/0.70	c Parsing was ok!!
0.69/0.70	c Total parsing time: 0.697 s
0.69/0.74	c Var: 9956 Constr: 225010 202202/716/22092 Lit: 869276 Watch. Lit: 453938
0.69/0.74	c Obj. Vars: 0 (0 % of total variables)
9.48/9.57	c Pre-processing Time: 9.568 s
9.48/9.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
9.48/9.58	c        0   9242   205130   799950    3   435912  294220      0      0 9.57
9.48/9.58	c Switching off LPR mode.
1800.03/1800.61	c      103   9242   205233   803176    3   436083  323643    103     10 9.59
1800.03/1800.61	c      255   9242   205385   806633    3   430763  356008    255     26 9.77
1800.03/1800.61	c      482   9242   205612   814101    3   431214  391609    482     49 9.83
1800.03/1800.61	c      820   9242   205950   824745    4   430436  430770    820     80 10.13
1800.03/1800.61	c     1331   9242   206461   844719    4   431422  473848   1331    129 10.29
1800.03/1800.61	c     2094   9242   207224   858804    4   431627  521233   2094    188 11.13
1800.03/1800.61	c     3241   9242   208371   900881    4   433930  573357   3241    278 11.63
1800.03/1800.61	c     4962   9242   210092   947200    4   437516  630693   4962    399 12.43
1800.03/1800.61	c     7547   9242   212677  1048313    4   442586  693763   7547    546 13.81
1800.03/1800.61	c    11426   9242   216556  1230873    5   449973  763140  11426    760 15.02
1800.03/1800.61	c    17250   9242   222380  1470400    6   461480  839455  17250    865 19.93
1800.03/1800.61	c    25987   9242   231117  2035549    8   480779  923401  25987   1112 23.36
1800.03/1800.61	c    39099   9242   244229  3446138   14   506253  500000  39099   1060 36.86
1800.03/1800.61	c    58769   9242   263899  5180822   19   544923  550001  58769   1196 49.11
1800.03/1800.61	c    88280   9241   293410  6648780   22   602170  605002  88280    801 110.19
1800.03/1800.61	c   132550   9241   337680  9567254   28   691541  665503 132550    916 144.57
1800.03/1800.61	c   198960   9241   404090 13804961   34   824756  732054 198960    621 320.13
1800.03/1800.61	c   298581   9238   503711 21893157   43  1023544  805260 298581    394 756.75
1800.03/1800.61	c   448016   9237   653146 58300585   89  1326737  885787 448016    359 1245.10
1800.03/1800.61	c Caught signal: 15
1800.03/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.61	c   19   620757 294637  5956426   825887 84293721 620757    344 1800.04
1800.03/1800.61	s UNKNOWN
1800.03/1800.61	c Total time: 1800.04 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-3740985-1338754732/watcher-3740985-1338754732 -o /tmp/evaluation-result-3740985-1338754732/solver-3740985-1338754732 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3740985-1338754732.opb 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 12601
/proc/meminfo: memFree=27510984/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4194304 94 0 0 0 0 0 0 0 20 0 1 0 341599095 2723840 47 33554432000 134512640 135840783 4291725872 4291723908 10466244 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 665 47 37 325 0 32 0

[startup+0.027144 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 12601
/proc/meminfo: memFree=27510984/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=14576 CPUtime=0.01 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 717 0 0 0 1 0 0 0 20 0 1 0 341599095 14925824 654 33554432000 134512640 135840783 4291725872 4291724576 2856231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 3644 655 387 325 0 279 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 14576

[startup+0.100145 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 12601
/proc/meminfo: memFree=27510984/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=17852 CPUtime=0.09 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 1784 0 0 0 9 0 0 0 20 0 1 0 341599095 18280448 1721 33554432000 134512640 135840783 4291725872 4291724864 134525198 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 4463 1721 640 325 0 1098 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17852

[startup+0.300183 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 12601
/proc/meminfo: memFree=27510984/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=25900 CPUtime=0.28 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 4455 0 0 0 28 0 0 0 20 0 1 0 341599095 26521600 4392 33554432000 134512640 135840783 4291725872 4291724576 2856231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 6475 4392 1303 325 0 3110 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25900

[startup+0.700183 s]
/proc/loadavg: 2.03 2.01 2.00 3/176 12601
/proc/meminfo: memFree=27510984/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=41596 CPUtime=0.69 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 9691 0 0 0 68 1 0 0 20 0 1 0 341599095 42594304 9628 33554432000 134512640 135840783 4291725872 4291724704 2856231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 10399 9628 2607 325 0 7034 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41596

[startup+1.50024 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12602
/proc/meminfo: memFree=27460748/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=55148 CPUtime=1.49 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 15395 0 0 0 146 3 0 0 20 0 1 0 341599095 56471552 13031 33554432000 134512640 135840783 4291725872 4291605340 2384944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 13787 13031 346 325 0 12723 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55148

[startup+3.10018 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12602
/proc/meminfo: memFree=27460376/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=55148 CPUtime=3.08 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 15398 0 0 0 304 4 0 0 20 0 1 0 341599095 56471552 13034 33554432000 134512640 135840783 4291725872 4291605340 2384944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 13787 13034 346 325 0 12723 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 55148

[startup+6.30025 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12602
/proc/meminfo: memFree=27460572/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=55148 CPUtime=6.28 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 15403 0 0 0 623 5 0 0 20 0 1 0 341599095 56471552 13039 33554432000 134512640 135840783 4291725872 4291605340 2384944 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 13787 13039 346 325 0 12723 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 55148

[startup+12.7002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12602
/proc/meminfo: memFree=27461292/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=54052 CPUtime=12.68 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 15417 0 0 0 1261 7 0 0 20 0 1 0 341599095 55349248 12774 33554432000 134512640 135840783 4291725872 4291725232 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 13513 12774 349 325 0 12449 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54052

[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12602
/proc/meminfo: memFree=27454100/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=60948 CPUtime=25.48 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 17111 0 0 0 2540 8 0 0 20 0 1 0 341599095 62410752 14468 33554432000 134512640 135840783 4291725872 4291725232 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 15237 14468 349 325 0 14173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60948

[startup+51.1002 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12602
/proc/meminfo: memFree=27401428/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=104372 CPUtime=51.07 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 27991 0 0 0 5095 12 0 0 20 0 1 0 341599095 106876928 25335 33554432000 134512640 135840783 4291725872 4291725232 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 26093 25335 349 325 0 25029 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 104372

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12605
/proc/meminfo: memFree=27351108/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=124012 CPUtime=102.23 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 32937 0 0 0 10208 15 0 0 20 0 1 0 341599095 126988288 30255 33554432000 134512640 135840783 4291725872 4291725232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 31003 30255 349 325 0 29939 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 124012

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12606
/proc/meminfo: memFree=27293600/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=171468 CPUtime=162.21 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 44798 0 0 0 16202 19 0 0 20 0 1 0 341599095 175583232 42112 33554432000 134512640 135840783 4291725872 4291725232 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 42867 42112 349 325 0 41803 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 171468

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12606
/proc/meminfo: memFree=27273496/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=185532 CPUtime=222.2 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 48321 0 0 0 22198 22 0 0 20 0 1 0 341599095 189984768 45635 33554432000 134512640 135840783 4291725872 4291725232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 46383 45635 349 325 0 45319 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 185532

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12607
/proc/meminfo: memFree=27192284/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=217728 CPUtime=282.17 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 56413 0 0 0 28191 26 0 0 20 0 1 0 341599095 222953472 53693 33554432000 134512640 135840783 4291725872 4291725232 134551061 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 54432 53693 349 325 0 53368 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 217728

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12607
/proc/meminfo: memFree=27162872/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=232708 CPUtime=342.14 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 60183 0 0 0 34186 28 0 0 20 0 1 0 341599095 238292992 57449 33554432000 134512640 135840783 4291725872 4291725232 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 58177 57449 349 325 0 57113 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 232708

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12607
/proc/meminfo: memFree=27100744/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=245952 CPUtime=402.14 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 63479 0 0 0 40183 31 0 0 20 0 1 0 341599095 251854848 60745 33554432000 134512640 135840783 4291725872 4291725232 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 61488 60745 349 325 0 60424 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 245952

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12608
/proc/meminfo: memFree=27073344/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=258528 CPUtime=462.13 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 66610 0 0 0 46180 33 0 0 20 0 1 0 341599095 264732672 63876 33554432000 134512640 135840783 4291725872 4291725232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 64632 63876 349 325 0 63568 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 258528

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12608
/proc/meminfo: memFree=27054868/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=271244 CPUtime=522.11 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 69811 0 0 0 52177 34 0 0 20 0 1 0 341599095 277753856 67077 33554432000 134512640 135840783 4291725872 4291725232 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 67811 67077 349 325 0 66747 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 271244

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12608
/proc/meminfo: memFree=27036128/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=284364 CPUtime=582.11 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 73106 0 0 0 58173 38 0 0 20 0 1 0 341599095 291188736 70364 33554432000 134512640 135840783 4291725872 4291722400 2856231 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 71091 70364 349 325 0 70027 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 284364

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12612
/proc/meminfo: memFree=26947080/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=349144 CPUtime=822.04 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 89310 0 0 0 82157 47 0 0 20 0 1 0 341599095 357523456 86536 33554432000 134512640 135840783 4291725872 4291725232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 87286 86536 349 325 0 86222 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 349144

[startup+882.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 12613
/proc/meminfo: memFree=26921528/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=368092 CPUtime=882.03 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 94063 0 0 0 88154 49 0 0 20 0 1 0 341599095 376926208 91289 33554432000 134512640 135840783 4291725872 4291725184 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 92023 91289 349 325 0 90959 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 368092

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12613
/proc/meminfo: memFree=26839200/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=446188 CPUtime=942.02 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 113578 0 0 0 94147 55 0 0 20 0 1 0 341599095 456896512 110804 33554432000 134512640 135840783 4291725872 4291725232 134551414 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 111547 110804 349 325 0 110483 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 446188

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 12613
/proc/meminfo: memFree=26770820/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=510412 CPUtime=1002 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 129650 0 0 0 100140 60 0 0 20 0 1 0 341599095 522661888 126850 33554432000 134512640 135840783 4291725872 4291725232 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 127603 126850 349 325 0 126539 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 510412

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12614
/proc/meminfo: memFree=26671924/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=606832 CPUtime=1061.95 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 153808 0 0 0 106129 66 0 0 20 0 1 0 341599095 621395968 150963 33554432000 134512640 135840783 4291725872 4291725184 134550902 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 151708 150963 349 325 0 150644 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 606832

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12614
/proc/meminfo: memFree=26595696/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=677248 CPUtime=1121.91 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 171466 0 0 0 112120 71 0 0 20 0 1 0 341599095 693501952 168574 33554432000 134512640 135840783 4291725872 4291725232 134551076 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 169312 168574 349 325 0 168248 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 677248

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12614
/proc/meminfo: memFree=26525416/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=745368 CPUtime=1181.86 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 188542 0 0 0 118110 76 0 0 20 0 1 0 341599095 763256832 185604 33554432000 134512640 135840783 4291725872 4291708352 134547671 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 186342 185604 349 325 0 185278 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 745368

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 12614
/proc/meminfo: memFree=26449928/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=813300 CPUtime=1241.83 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 205575 0 0 0 124100 83 0 0 20 0 1 0 341599095 832819200 202590 33554432000 134512640 135840783 4291725872 4291725232 134551273 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 203325 202590 349 325 0 202261 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 813300

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12617
/proc/meminfo: memFree=26398744/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=860580 CPUtime=1301.81 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 217434 0 0 0 130092 89 0 0 20 0 1 0 341599095 881233920 214415 33554432000 134512640 135840783 4291725872 4291724944 134574600 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 215145 214415 349 325 0 214081 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 860580

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12618
/proc/meminfo: memFree=26325584/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=905204 CPUtime=1361.78 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 228590 0 0 0 136084 94 0 0 20 0 1 0 341599095 926928896 225568 33554432000 134512640 135840783 4291725872 4291725184 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 226301 225568 349 325 0 225237 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 905204

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12618
/proc/meminfo: memFree=26245108/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=952948 CPUtime=1421.78 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 240524 0 0 0 142079 99 0 0 20 0 1 0 341599095 975818752 237502 33554432000 134512640 135840783 4291725872 4291725232 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 238237 237502 349 325 0 237173 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 952948

[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 12618
/proc/meminfo: memFree=26166656/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=1002828 CPUtime=1481.77 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 252982 0 0 0 148073 104 0 0 20 0 1 0 341599095 1026895872 249960 33554432000 134512640 135840783 4291725872 4291725232 134550808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 250707 249960 349 325 0 249643 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1002828

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12618
/proc/meminfo: memFree=26102332/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=1036448 CPUtime=1541.76 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 261383 0 0 0 154069 107 0 0 20 0 1 0 341599095 1061322752 258361 33554432000 134512640 135840783 4291725872 4291725232 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 259112 258361 349 325 0 258048 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1036448

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12618
/proc/meminfo: memFree=26047332/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=1063832 CPUtime=1601.75 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 268253 0 0 0 160063 112 0 0 20 0 1 0 341599095 1089363968 265231 33554432000 134512640 135840783 4291725872 4291725232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 265958 265231 349 325 0 264894 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1063832

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12619
/proc/meminfo: memFree=25989920/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=1091128 CPUtime=1661.74 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 275061 0 0 0 166059 115 0 0 20 0 1 0 341599095 1117315072 272039 33554432000 134512640 135840783 4291725872 4291725232 134550764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 272782 272039 349 325 0 271718 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1091128

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12619
/proc/meminfo: memFree=25923456/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=1132924 CPUtime=1721.73 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 285507 0 0 0 172054 119 0 0 20 0 1 0 341599095 1160114176 282485 33554432000 134512640 135840783 4291725872 4291725184 134551104 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 283231 282485 349 325 0 282167 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1132924

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12619
/proc/meminfo: memFree=25863564/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=1165384 CPUtime=1781.72 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 293634 0 0 0 178050 122 0 0 20 0 1 0 341599095 1193353216 290612 33554432000 134512640 135840783 4291725872 4291725232 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 291346 290612 349 325 0 290282 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 1165384



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12658
/proc/meminfo: memFree=26367356/32873648 swapFree=7112/7112
[pid=12601] ppid=12599 vsize=1173060 CPUtime=1800.03 cores=1,3,5,7
/proc/12601/stat : 12601 (bsolo3.0.17) R 12599 12601 11604 0 -1 4202496 295551 0 0 0 179879 124 0 0 20 0 1 0 341599095 1201213440 292529 33554432000 134512640 135840783 4291725872 4291725232 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12601/statm: 293265 292529 349 325 0 292201 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1173060

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.06
CPU user time (s): 1798.8
CPU system time (s): 1.26581
CPU usage (%): 99.9682
Max. virtual memory (cumulated for all children) (KiB): 1173060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.8
system time used= 1.26581
maximum resident set size= 1170116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 295554
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= 407
involuntary context switches= 1839

runsolver used 3.54146 second user time and 9.65353 second system time

The end

Launcher Data

Begin job on node126 at 2012-06-03 22:18:52
IDJOB=3740985
IDBENCH=89726
IDSOLVER=2318
FILE ID=node126/3740985-1338754732
RUNJOBID= node126-1338747103-11621
PBS_JOBID= 14636777
Free space on /tmp= 70768 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-48.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740985-1338754732/watcher-3740985-1338754732 -o /tmp/evaluation-result-3740985-1338754732/solver-3740985-1338754732 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3740985-1338754732.opb            

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

MD5SUM BENCH= bcbd6cca7644150bcdcbd185d4571ad6
RANDOM SEED=870241070

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27511620 kB
Buffers:          428992 kB
Cached:          4000180 kB
SwapCached:         9476 kB
Active:          1650152 kB
Inactive:        2847824 kB
Active(anon):      58784 kB
Inactive(anon):    12168 kB
Active(file):    1591368 kB
Inactive(file):  2835656 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67094928 kB
Dirty:             31820 kB
Writeback:             0 kB
AnonPages:         67176 kB
Mapped:            10988 kB
Shmem:                 0 kB
Slab:             727136 kB
SReclaimable:     170396 kB
SUnreclaim:       556740 kB
KernelStack:        1472 kB
PageTables:         3864 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     182060 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70736 MiB
End job on node126 at 2012-06-03 22:48:55