Trace number 3742061

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.22 1800.55

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/
normalized-TateBritain_K98.opb
MD5SUM0d56c20200c8726f988a44319a68d2e3
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 benchmark165.396
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6664
Total number of constraints6862
Number of constraints which are clauses6764
Number of constraints which are cardinality constraints (but not clauses)98
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint98
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 99
Number of bits of the biggest sum of numbers7
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-3742061-1338766728.opb
0.00/0.00	c File size is 426862 bytes.
0.00/0.04	c Highest Coefficient sum: 99
0.00/0.04	c Parsing was ok!!
0.00/0.04	c Total parsing time: 0.036 s
0.00/0.04	c Var: 6664 Constr: 6862 6764/98/0 Lit: 42789 Watch. Lit: 20190
0.00/0.04	c Obj. Vars: 0 (0 % of total variables)
1.18/1.23	c Pre-processing Time: 1.232 s
1.18/1.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.18/1.23	c        0   5916     6170    39711    6    18577   96260      0      0 1.23
1.18/1.23	c Switching off LPR mode.
1800.06/1800.40	c      101   5916     6271    44506    7    18779  105887    101     80 1.26
1800.06/1800.40	c      251   5916     6421    54663    8    19079  116476    251    190 1.32
1800.06/1800.40	c      476   5916     6646    79421   11    19529  128124    476    345 1.38
1800.06/1800.40	c      815   5916     6985   103786   14    20207  140937    815    545 1.49
1800.06/1800.40	c     1325   5916     7495   163613   21    21227  155031   1325    813 1.63
1800.06/1800.40	c     2088   5916     8258   251797   30    22753  170535   2088   1090 1.92
1800.06/1800.40	c     3234   5916     9404   473233   50    25045  187589   3234   1320 2.45
1800.06/1800.40	c     4955   5916    11125   746458   67    28487  206348   4955   1471 3.37
1800.06/1800.40	c     7539   5916    13709  1207894   88    33655  226983   7539   1573 4.79
1800.06/1800.40	c    11418   5916    17588  1923041  109    41413  249682  11418   1600 7.13
1800.06/1800.40	c    17240   5916    23410  3303097  141    53057  274651  17240   1426 12.09
1800.06/1800.40	c    25979   5916    32149  5169147  160    70535  302117  25979   1215 21.38
1800.06/1800.40	c    39092   5916    45262 17189294  379    96761  332329  39092    653 59.81
1800.06/1800.40	c    58763   5916    64933 32763463  504   136103  365562  58763    414 141.87
1800.06/1800.40	c    88274   5916    94444 54168662  573   195125  402119  88274    308 286.53
1800.06/1800.40	c   132544   5916   138714 87864930  633   283665  442331 132544    227 582.47
1800.06/1800.40	c   198954   5916   205124 208724013 1017   416485  486565 198954    116 1703.18
1800.06/1800.40	c Caught signal: 15
1800.06/1800.40	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.40	c   17   207261 103084  2614302   213431 215998801 207261    115 1800.07
1800.06/1800.40	s UNKNOWN
1800.06/1800.40	c Total time: 1800.07 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-3742061-1338766728/watcher-3742061-1338766728 -o /tmp/evaluation-result-3742061-1338766728/solver-3742061-1338766728 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742061-1338766728.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: 1.91 1.98 1.99 3/176 13331
/proc/meminfo: memFree=27030440/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2660 CPUtime=0 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 342798708 2723840 47 33554432000 134512640 135840783 4293152400 4293150436 10466244 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 665 47 37 325 0 32 0

[startup+0.0536251 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 13331
/proc/meminfo: memFree=27030440/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=7056 CPUtime=0.04 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 1171 0 0 0 4 0 0 0 20 0 1 0 342798708 7225344 1002 33554432000 134512640 135840783 4293152400 4293071548 2130992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 1764 1002 342 325 0 700 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7056

[startup+0.100222 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 13331
/proc/meminfo: memFree=27030440/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=7056 CPUtime=0.09 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 1172 0 0 0 9 0 0 0 20 0 1 0 342798708 7225344 1003 33554432000 134512640 135840783 4293152400 4293071548 2130992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 1764 1003 342 325 0 700 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7056

[startup+0.300178 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 13331
/proc/meminfo: memFree=27030440/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=7056 CPUtime=0.29 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 1174 0 0 0 29 0 0 0 20 0 1 0 342798708 7225344 1005 33554432000 134512640 135840783 4293152400 4293071548 2130992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 1764 1005 342 325 0 700 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7056

[startup+0.700178 s]
/proc/loadavg: 1.91 1.98 1.99 3/176 13331
/proc/meminfo: memFree=27030440/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=7056 CPUtime=0.68 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 1174 0 0 0 68 0 0 0 20 0 1 0 342798708 7225344 1005 33554432000 134512640 135840783 4293152400 4293071548 2130992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 1764 1005 342 325 0 700 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7056

[startup+1.50018 s]
/proc/loadavg: 1.91 1.98 1.99 3/177 13332
/proc/meminfo: memFree=27024472/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=7880 CPUtime=1.48 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 1506 0 0 0 148 0 0 0 20 0 1 0 342798708 8069120 1225 33554432000 134512640 135840783 4293152400 4293151644 2130992 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 1970 1225 347 325 0 906 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 7880

[startup+3.10019 s]
/proc/loadavg: 1.91 1.98 1.99 3/177 13332
/proc/meminfo: memFree=27015420/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=15520 CPUtime=3.08 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 3424 0 0 0 307 1 0 0 20 0 1 0 342798708 15892480 3143 33554432000 134512640 135840783 4293152400 4293151760 134550910 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 3880 3143 347 325 0 2816 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15520

[startup+6.30024 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 13332
/proc/meminfo: memFree=26982848/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=29196 CPUtime=6.28 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 6856 0 0 0 626 2 0 0 20 0 1 0 342798708 29896704 6575 33554432000 134512640 135840783 4293152400 4293151760 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 7299 6575 347 325 0 6235 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 29196

[startup+12.7002 s]
/proc/loadavg: 1.93 1.98 1.99 3/177 13332
/proc/meminfo: memFree=26927580/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=51508 CPUtime=12.69 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 12422 0 0 0 1265 4 0 0 20 0 1 0 342798708 52744192 12141 33554432000 134512640 135840783 4293152400 4293151760 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 12877 12141 347 325 0 11813 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 51508

[startup+25.5002 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 13333
/proc/meminfo: memFree=26842268/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=87096 CPUtime=25.48 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 21322 0 0 0 2542 6 0 0 20 0 1 0 342798708 89186304 21041 33554432000 134512640 135840783 4293152400 4293151920 134552000 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 21774 21041 347 325 0 20710 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87096

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/177 13333
/proc/meminfo: memFree=26639476/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=196360 CPUtime=51.07 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 48651 0 0 0 5095 12 0 0 20 0 1 0 342798708 201072640 48370 33554432000 134512640 135840783 4293152400 4293151696 134571798 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 49090 48370 347 325 0 48026 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 196360

[startup+102.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 13336
/proc/meminfo: memFree=26339948/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=343232 CPUtime=102.28 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 85362 0 0 0 10208 20 0 0 20 0 1 0 342798708 351469568 85081 33554432000 134512640 135840783 4293152400 4293132384 134586822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 85808 85081 347 325 0 84744 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 343232

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 13336
/proc/meminfo: memFree=26095952/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=480232 CPUtime=162.26 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 119608 0 0 0 16198 28 0 0 20 0 1 0 342798708 491757568 119327 33554432000 134512640 135840783 4293152400 4293151472 10976158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 120058 119327 347 325 0 118994 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 480232

[startup+222.307 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 13336
/proc/meminfo: memFree=25962316/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=564388 CPUtime=222.25 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 140637 0 0 0 22190 35 0 0 20 0 1 0 342798708 577933312 140356 33554432000 134512640 135840783 4293152400 4293151760 134550887 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 141097 140356 347 325 0 140033 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 564388

[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 13337
/proc/meminfo: memFree=25695188/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=692436 CPUtime=282.24 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 172664 0 0 0 28181 43 0 0 20 0 1 0 342798708 709054464 172383 33554432000 134512640 135840783 4293152400 4293151760 134550907 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 173109 172383 347 325 0 172045 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 692436

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13338
/proc/meminfo: memFree=25471276/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=780460 CPUtime=342.23 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 194672 0 0 0 34173 50 0 0 20 0 1 0 342798708 799191040 194391 33554432000 134512640 135840783 4293152400 4293151760 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 195115 194391 347 325 0 194051 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 780460

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13338
/proc/meminfo: memFree=25328208/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=856084 CPUtime=402.22 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 213561 0 0 0 40167 55 0 0 20 0 1 0 342798708 876630016 213280 33554432000 134512640 135840783 4293152400 4293151760 134551052 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 214021 213280 347 325 0 212957 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 856084

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13338
/proc/meminfo: memFree=25214316/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=921140 CPUtime=462.21 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 229834 0 0 0 46160 61 0 0 20 0 1 0 342798708 943247360 229553 33554432000 134512640 135840783 4293152400 4293151712 134551312 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 230285 229553 347 325 0 229221 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 921140

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13338
/proc/meminfo: memFree=25057152/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=1001616 CPUtime=522.2 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 249941 0 0 0 52152 68 0 0 20 0 1 0 342798708 1025654784 249660 33554432000 134512640 135840783 4293152400 4293151760 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 250404 249660 347 325 0 249340 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1001616

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13338
/proc/meminfo: memFree=24842536/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=1136988 CPUtime=582.2 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 283794 0 0 0 58142 78 0 0 20 0 1 0 342798708 1164275712 283513 33554432000 134512640 135840783 4293152400 4293151760 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 284247 283513 347 325 0 283183 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1136988

[startup+642.3 s]

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

[startup+882.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13342
/proc/meminfo: memFree=24090164/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=1661664 CPUtime=882.16 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 414962 0 0 0 88110 106 0 0 20 0 1 0 342798708 1701543936 414681 33554432000 134512640 135840783 4293152400 4293151760 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 415416 414681 347 325 0 414352 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 1661664

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13343
/proc/meminfo: memFree=23957016/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=1750532 CPUtime=942.14 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 437186 0 0 0 94102 112 0 0 20 0 1 0 342798708 1792544768 436905 33554432000 134512640 135840783 4293152400 4293151760 134551063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 437633 436905 347 325 0 436569 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 1750532

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13343
/proc/meminfo: memFree=23757528/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=1854064 CPUtime=1002.13 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 463075 0 0 0 100095 118 0 0 20 0 1 0 342798708 1898561536 462794 33554432000 134512640 135840783 4293152400 4293151760 134551048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 463516 462794 347 325 0 462452 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 1854064

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13343
/proc/meminfo: memFree=23598092/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=1930420 CPUtime=1062.13 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 482157 0 0 0 106091 122 0 0 20 0 1 0 342798708 1976750080 481876 33554432000 134512640 135840783 4293152400 4293151704 8853676 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 482605 481876 347 325 0 481541 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 1930420

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13343
/proc/meminfo: memFree=23454284/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=1996536 CPUtime=1122.11 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 498676 0 0 0 112085 126 0 0 20 0 1 0 342798708 2044452864 498395 33554432000 134512640 135840783 4293152400 4293151760 134551058 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 499134 498395 347 325 0 498070 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1996536

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 13343
/proc/meminfo: memFree=23312280/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2071916 CPUtime=1182.1 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 517520 0 0 0 118079 131 0 0 20 0 1 0 342798708 2121641984 517239 33554432000 134512640 135840783 4293152400 4293151760 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 517979 517239 347 325 0 516915 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2071916

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13344
/proc/meminfo: memFree=23190828/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2145896 CPUtime=1242.1 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 536036 0 0 0 124074 136 0 0 20 0 1 0 342798708 2197397504 535755 33554432000 134512640 135840783 4293152400 4293151760 134550893 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 536474 535755 347 325 0 535410 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 2145896

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 13347
/proc/meminfo: memFree=23000784/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2242152 CPUtime=1302.09 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 560092 0 0 0 130068 141 0 0 20 0 1 0 342798708 2295963648 559811 33554432000 134512640 135840783 4293152400 4293151760 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 560538 559811 347 325 0 559474 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2242152

[startup+1362.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 13370
/proc/meminfo: memFree=22821560/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2321728 CPUtime=1362.08 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 579984 0 0 0 136063 145 0 0 20 0 1 0 342798708 2377449472 579703 33554432000 134512640 135840783 4293152400 4293151760 134550872 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 580432 579703 347 325 0 579368 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 2321728

[startup+1422.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 13370
/proc/meminfo: memFree=22661264/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2395792 CPUtime=1422.08 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 598508 0 0 0 142058 150 0 0 20 0 1 0 342798708 2453291008 598227 33554432000 134512640 135840783 4293152400 4293151760 134551330 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 598948 598227 347 325 0 597884 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2395792

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 13370
/proc/meminfo: memFree=22555484/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2454328 CPUtime=1482.06 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 613143 0 0 0 148053 153 0 0 20 0 1 0 342798708 2513231872 612862 33554432000 134512640 135840783 4293152400 4293151760 134551646 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 613582 612862 347 325 0 612518 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2454328

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13370
/proc/meminfo: memFree=22428784/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2516884 CPUtime=1542.06 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 628758 0 0 0 154049 157 0 0 20 0 1 0 342798708 2577289216 628477 33554432000 134512640 135840783 4293152400 4293151760 134551084 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 629221 628477 347 325 0 628157 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2516884

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 13371
/proc/meminfo: memFree=22296232/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2578824 CPUtime=1602.04 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 644254 0 0 0 160044 160 0 0 20 0 1 0 342798708 2640715776 643974 33554432000 134512640 135840783 4293152400 4293151760 134550863 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 644706 643974 347 325 0 643642 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2578824

[startup+1662.3 s]
/proc/loadavg: 2.13 2.04 2.01 3/177 13371
/proc/meminfo: memFree=22164572/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2635524 CPUtime=1662.01 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 658462 0 0 0 166037 164 0 0 20 0 1 0 342798708 2698776576 658150 33554432000 134512640 135840783 4293152400 4293151472 10976158 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 658881 658150 347 325 0 657817 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 2635524

[startup+1722.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 13410
/proc/meminfo: memFree=24594976/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2688788 CPUtime=1721.99 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 671815 0 0 0 172032 167 0 0 20 0 1 0 342798708 2753318912 671477 33554432000 134512640 135840783 4293152400 4293151760 134550804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 672197 671477 347 325 0 671133 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 2688788

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 13410
/proc/meminfo: memFree=24329396/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2749420 CPUtime=1781.96 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 686997 0 0 0 178024 172 0 0 20 0 1 0 342798708 2815406080 686623 33554432000 134512640 135840783 4293152400 4293151760 134550820 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 687355 686623 347 325 0 686291 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 2749420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13410
/proc/meminfo: memFree=24246284/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=2772716 CPUtime=1800.06 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202496 692832 0 0 0 179833 173 0 0 20 0 1 0 342798708 2839261184 692446 33554432000 134512640 135840783 4293152400 4293151760 134550779 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 693179 692446 347 325 0 692115 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 2772716

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

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

[startup+1800.51 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 13410
/proc/meminfo: memFree=24246284/32873648 swapFree=7112/7112
[pid=13331] ppid=13329 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/13331/stat : 13331 (bsolo3.0.17) R 13329 13331 11604 0 -1 4202500 692835 0 0 0 179833 183 0 0 20 0 1 0 342798708 0 0 33554432000 0 0 0 0 0 0 16384 4096 16384 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.55
CPU time (s): 1800.22
CPU user time (s): 1798.34
CPU system time (s): 1.87771
CPU usage (%): 99.9814
Max. virtual memory (cumulated for all children) (KiB): 2772716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.34
system time used= 1.87771
maximum resident set size= 2769784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 692835
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= 127
involuntary context switches= 1850

runsolver used 3.71143 second user time and 9.48456 second system time

The end

Launcher Data

Begin job on node126 at 2012-06-04 01:38:48
IDJOB=3742061
IDBENCH=90129
IDSOLVER=2318
FILE ID=node126/3742061-1338766728
RUNJOBID= node126-1338747103-11621
PBS_JOBID= 14636777
Free space on /tmp= 70784 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K98.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3742061-1338766728/watcher-3742061-1338766728 -o /tmp/evaluation-result-3742061-1338766728/solver-3742061-1338766728 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3742061-1338766728.opb            

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

MD5SUM BENCH= 0d56c20200c8726f988a44319a68d2e3
RANDOM SEED=1389687274

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:        27031456 kB
Buffers:          445280 kB
Cached:          4035776 kB
SwapCached:         9484 kB
Active:          2065280 kB
Inactive:        2900188 kB
Active(anon):     474500 kB
Inactive(anon):    12264 kB
Active(file):    1590780 kB
Inactive(file):  2887924 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67095016 kB
Dirty:              7016 kB
Writeback:             0 kB
AnonPages:        482716 kB
Mapped:            11064 kB
Shmem:                 0 kB
Slab:             738416 kB
SReclaimable:     182848 kB
SUnreclaim:       555568 kB
KernelStack:        1464 kB
PageTables:         4924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     597548 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= 70776 MiB
End job on node126 at 2012-06-04 02:08:50