Trace number 3742581

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.74

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K132.opb
MD5SUM88bbbc51beb841161685a00fb4d24f63
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15708
Total number of constraints15974
Number of constraints which are clauses15842
Number of constraints which are cardinality constraints (but not clauses)132
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint132
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 133
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-3742581-1338772597.opb
0.00/0.00	c File size is 1066367 bytes.
0.08/0.10	c Highest Coefficient sum: 133
0.08/0.10	c Parsing was ok!!
0.08/0.10	c Total parsing time: 0.097 s
0.08/0.11	c Var: 15708 Constr: 15974 15842/132/0 Lit: 102670 Watch. Lit: 47390
0.08/0.11	c Obj. Vars: 0 (0 % of total variables)
6.68/6.76	c Pre-processing Time: 6.752 s
6.68/6.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
6.68/6.76	c        0  14197    14569    96452    6    44160  133245      0      0 6.75
6.68/6.76	c Switching off LPR mode.
1800.03/1800.71	c      100  14197    14669   101673    6    44360  146570    100     14 6.79
1800.03/1800.71	c      250  14197    14819   114804    7    44660  161228    250     36 6.89
1800.03/1800.71	c      476  14197    15045   132499    8    45112  177351    476     67 7.05
1800.03/1800.71	c      814  14197    15383   162344   10    45788  195087    814    111 7.33
1800.03/1800.71	c     1324  14197    15893   236746   14    46808  214596   1324    174 7.59
1800.03/1800.71	c     2087  14197    16656   326668   19    48334  236056   2087    249 8.38
1800.03/1800.71	c     3233  14197    17802   517259   29    50626  259662   3233    349 9.24
1800.03/1800.71	c     4954  14197    19523   929669   47    54068  285629   4954    462 10.71
1800.03/1800.71	c     7539  14197    22108  1337749   60    59238  314192   7539    555 13.58
1800.03/1800.71	c    11418  14197    25987  2519519   96    66996  345612  11418    617 18.48
1800.03/1800.71	c    17240  14197    31809  4204450  132    78640  380174  17240    630 27.36
1800.03/1800.71	c    25978  14197    40547  8416900  207    96116  418192  25978    577 44.97
1800.03/1800.71	c    39088  14197    53657 16206873  302   122336  460012  39088    509 76.73
1800.03/1800.71	c    58758  14197    73327 28652228  390   161676  506014  58758    402 145.98
1800.03/1800.71	c    88268  14197   102837 60431212  587   220696  556616  88268    267 329.39
1800.03/1800.71	c   132538  14197   147107 104176327  708   309236  612278 132538    179 738.21
1800.03/1800.71	c Caught signal: 15
1800.03/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.03/1800.71	c   16   188641 107731  4169394   203210 212079131 188641    104 1800.04
1800.03/1800.71	s UNKNOWN
1800.03/1800.71	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-3742581-1338772597/watcher-3742581-1338772597 -o /tmp/evaluation-result-3742581-1338772597/solver-3742581-1338772597 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3742581-1338772597.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: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4194304 127 0 0 0 0 0 0 0 20 0 1 0 343388205 4583424 80 33554432000 134512640 135840783 4290367568 4290366908 1542104 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 1119 99 80 325 0 39 0

[startup+0.0906051 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=8896 CPUtime=0.07 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 1474 0 0 0 7 0 0 0 20 0 1 0 343388205 9109504 1411 33554432000 134512640 135840783 4290367568 4290366768 134526991 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2224 1411 548 325 0 899 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8896

[startup+0.100224 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=9028 CPUtime=0.08 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 1530 0 0 0 8 0 0 0 20 0 1 0 343388205 9244672 1467 33554432000 134512640 135840783 4290367568 4290366552 1782238 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2257 1467 571 325 0 932 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9028

[startup+0.300185 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=0.28 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2168 0 0 0 28 0 0 0 20 0 1 0 343388205 10797056 1844 33554432000 134512640 135840783 4290367568 4290178048 134550884 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2636 1844 342 325 0 1572 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 10544

[startup+0.700176 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 10956
/proc/meminfo: memFree=30102444/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=0.68 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2170 0 0 0 68 0 0 0 20 0 1 0 343388205 10797056 1846 33554432000 134512640 135840783 4290367568 4290178048 134550767 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2636 1846 342 325 0 1572 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 10544

[startup+1.50018 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30094972/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=1.48 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2170 0 0 0 148 0 0 0 20 0 1 0 343388205 10797056 1846 33554432000 134512640 135840783 4290367568 4290177824 2100106 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2636 1846 342 325 0 1572 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10544

[startup+3.10018 s]
/proc/loadavg: 1.92 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30092492/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=3.08 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2172 0 0 0 308 0 0 0 20 0 1 0 343388205 10797056 1848 33554432000 134512640 135840783 4290367568 4290178160 134583456 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 2636 1848 342 325 0 1572 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 10544

[startup+6.30022 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30089028/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=10544 CPUtime=6.28 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 2173 0 0 0 628 0 0 0 20 0 1 0 343388205 10797056 1849 33554432000 134512640 135840783 4290367568 4290178188 6943792 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 2636 1849 342 325 0 1572 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 10544

[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30072048/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=24452 CPUtime=12.68 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 5801 0 0 0 1267 1 0 0 20 0 1 0 343388205 25038848 5353 33554432000 134512640 135840783 4290367568 4290366928 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 6113 5353 347 325 0 5049 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24452

[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/178 10957
/proc/meminfo: memFree=30033616/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=59244 CPUtime=25.48 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 14487 0 0 0 2545 3 0 0 20 0 1 0 343388205 60665856 14039 33554432000 134512640 135840783 4290367568 4290366928 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 14811 14039 347 325 0 13747 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59244

[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.99 3/178 10957
/proc/meminfo: memFree=29948428/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=139856 CPUtime=51.08 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 34646 0 0 0 5102 6 0 0 20 0 1 0 343388205 143212544 34198 33554432000 134512640 135840783 4290367568 4290366928 134551093 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 34964 34198 347 325 0 33900 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 139856

[startup+102.306 s]
/proc/loadavg: 1.98 1.98 1.99 3/178 10957
/proc/meminfo: memFree=29771728/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=281812 CPUtime=102.27 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 70152 0 0 0 10214 13 0 0 20 0 1 0 343388205 288575488 69704 33554432000 134512640 135840783 4290367568 4290366928 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 70453 69704 347 325 0 69389 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 281812

[startup+162.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/178 10957
/proc/meminfo: memFree=29613752/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=405256 CPUtime=162.26 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 101017 0 0 0 16207 19 0 0 20 0 1 0 343388205 414982144 100569 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 101314 100569 347 325 0 100250 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 405256

[startup+222.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 10960
/proc/meminfo: memFree=29458992/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=514804 CPUtime=222.25 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 128399 0 0 0 22199 26 0 0 20 0 1 0 343388205 527159296 127951 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 128701 127951 347 325 0 127637 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 514804

[startup+282.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/178 10961
/proc/meminfo: memFree=29248076/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=682764 CPUtime=282.24 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 170380 0 0 0 28191 33 0 0 20 0 1 0 343388205 699150336 169932 33554432000 134512640 135840783 4290367568 4290366928 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 170691 169932 347 325 0 169627 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 682764

[startup+342.3 s]
/proc/loadavg: 2.08 2.01 2.00 3/178 11000
/proc/meminfo: memFree=30284640/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=805396 CPUtime=342.21 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 201080 0 0 0 34181 40 0 0 20 0 1 0 343388205 824725504 200622 33554432000 134512640 135840783 4290367568 4290366928 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 201349 200622 347 325 0 200285 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 805396

[startup+402.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 11000
/proc/meminfo: memFree=30118632/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=884420 CPUtime=402.17 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 220863 0 0 0 40173 44 0 0 20 0 1 0 343388205 905646080 220374 33554432000 134512640 135840783 4290367568 4290366928 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 221105 220374 347 325 0 220041 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 884420

[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/178 11000
/proc/meminfo: memFree=29957584/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=960436 CPUtime=462.14 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 239907 0 0 0 46166 48 0 0 20 0 1 0 343388205 983486464 239378 33554432000 134512640 135840783 4290367568 4290366928 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 240109 239378 347 325 0 239045 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 960436

[startup+522.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/178 11038
/proc/meminfo: memFree=30054596/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1051928 CPUtime=522.1 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 262802 0 0 0 52157 53 0 0 20 0 1 0 343388205 1077174272 262237 33554432000 134512640 135840783 4290367568 4290366880 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 262982 262237 347 325 0 261918 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 1051928

[startup+582.3 s]
/proc/loadavg: 2.17 2.07 2.01 3/178 11039
/proc/meminfo: memFree=29877908/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1139700 CPUtime=582.08 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 284787 0 0 0 58151 57 0 0 20 0 1 0 343388205 1167052800 284188 33554432000 134512640 135840783 4290367568 4290366928 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 284925 284188 347 325 0 283861 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 1139700

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/178 11043
/proc/meminfo: memFree=29207332/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1590856 CPUtime=881.94 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 397710 0 0 0 88112 82 0 0 20 0 1 0 343388205 1629036544 396976 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 397714 396976 347 325 0 396650 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 1590856

[startup+942.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/178 11043
/proc/meminfo: memFree=29070976/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1695204 CPUtime=941.93 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 423836 0 0 0 94104 89 0 0 20 0 1 0 343388205 1735888896 423075 33554432000 134512640 135840783 4290367568 4290366928 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 423801 423075 347 325 0 422737 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 1695204

[startup+1002.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 11043
/proc/meminfo: memFree=28959884/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1775708 CPUtime=1001.9 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 443975 0 0 0 100097 93 0 0 20 0 1 0 343388205 1818324992 443182 33554432000 134512640 135840783 4290367568 4290366928 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 443927 443182 347 325 0 442863 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 1775708

[startup+1062.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/178 11043
/proc/meminfo: memFree=28829232/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1875612 CPUtime=1061.89 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 468999 0 0 0 106091 98 0 0 20 0 1 0 343388205 1920626688 468185 33554432000 134512640 135840783 4290367568 4290366928 134551175 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 468903 468185 347 325 0 467839 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 1875612

[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/178 11043
/proc/meminfo: memFree=28718388/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=1958100 CPUtime=1121.86 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 489654 0 0 0 112083 103 0 0 20 0 1 0 343388205 2005094400 488811 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 489525 488811 347 325 0 488461 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 1958100

[startup+1182.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 11043
/proc/meminfo: memFree=28597292/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2053344 CPUtime=1181.83 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 513483 0 0 0 118076 107 0 0 20 0 1 0 343388205 2102624256 512612 33554432000 134512640 135840783 4290367568 4290366928 134550863 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 513336 512612 347 325 0 512272 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 2053344

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 11044
/proc/meminfo: memFree=28500328/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2123004 CPUtime=1241.81 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 530912 0 0 0 124070 111 0 0 20 0 1 0 343388205 2173956096 530017 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 530751 530017 347 325 0 529687 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 2123004

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 11044
/proc/meminfo: memFree=28407356/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2186356 CPUtime=1301.8 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 546772 0 0 0 130066 114 0 0 20 0 1 0 343388205 2238828544 545859 33554432000 134512640 135840783 4290367568 4290366928 134550910 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 546589 545859 347 325 0 545525 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 2186356

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11044
/proc/meminfo: memFree=28304976/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2264188 CPUtime=1361.77 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 566247 0 0 0 136058 119 0 0 20 0 1 0 343388205 2318528512 565308 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/10956/statm: 566047 565308 347 325 0 564983 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 2264188

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11047
/proc/meminfo: memFree=28204664/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2336640 CPUtime=1421.75 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 584395 0 0 0 142052 123 0 0 20 0 1 0 343388205 2392719360 583438 33554432000 134512640 135840783 4290367568 4290366928 134551063 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 584160 583438 347 325 0 583096 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 2336640

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11047
/proc/meminfo: memFree=28107376/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2415412 CPUtime=1481.72 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 604106 0 0 0 148045 127 0 0 20 0 1 0 343388205 2473381888 603117 33554432000 134512640 135840783 4290367568 4290366928 134550878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 603853 603117 347 325 0 602789 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 2415412

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11048
/proc/meminfo: memFree=28021084/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2479324 CPUtime=1541.7 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 620122 0 0 0 154040 130 0 0 20 0 1 0 343388205 2538827776 619113 33554432000 134512640 135840783 4290367568 4290366928 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 619831 619113 347 325 0 618767 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 2479324

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 11049
/proc/meminfo: memFree=27934072/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2547244 CPUtime=1601.68 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 637106 0 0 0 160035 133 0 0 20 0 1 0 343388205 2608377856 636077 33554432000 134512640 135840783 4290367568 4290366928 134550904 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 636811 636077 347 325 0 635747 0
Current children cumulated CPU time (s) 1601.68
Current children cumulated vsize (KiB) 2547244

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11049
/proc/meminfo: memFree=27856608/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2604448 CPUtime=1661.66 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 651440 0 0 0 166030 136 0 0 20 0 1 0 343388205 2666954752 650388 33554432000 134512640 135840783 4290367568 4290366928 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 651112 650388 347 325 0 650048 0
Current children cumulated CPU time (s) 1661.66
Current children cumulated vsize (KiB) 2604448

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 11049
/proc/meminfo: memFree=27773680/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2664076 CPUtime=1721.64 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 666368 0 0 0 172025 139 0 0 20 0 1 0 343388205 2728013824 665294 33554432000 134512640 135840783 4290367568 4290366928 134551048 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 666019 665294 347 325 0 664955 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 2664076

[startup+1782.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 11251
/proc/meminfo: memFree=27704252/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2710544 CPUtime=1781.62 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 677987 0 0 0 178020 142 0 0 20 0 1 0 343388205 2775597056 676891 33554432000 134512640 135840783 4290367568 4290366928 134550893 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 677636 676891 347 325 0 676572 0
Current children cumulated CPU time (s) 1781.62
Current children cumulated vsize (KiB) 2710544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 11252
/proc/meminfo: memFree=27684016/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2723640 CPUtime=1800.03 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 681266 0 0 0 179860 143 0 0 20 0 1 0 343388205 2789007360 680166 33554432000 134512640 135840783 4290367568 4290366880 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 680910 680166 347 325 0 679846 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2723640

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

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

[startup+1800.71 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 11252
/proc/meminfo: memFree=27684016/32873844 swapFree=8656/8656
[pid=10956] ppid=10954 vsize=2723640 CPUtime=1800.03 cores=0,2,4,6
/proc/10956/stat : 10956 (bsolo3.0.17) R 10954 10956 9396 0 -1 4202496 681266 0 0 0 179860 143 0 0 20 0 1 0 343388205 2789007360 680166 33554432000 134512640 135840783 4290367568 4290366880 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/10956/statm: 680910 680166 347 325 0 679846 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 2723640

Child status: 15
Real time (s): 1800.74
CPU time (s): 1800.06
CPU user time (s): 1798.61
CPU system time (s): 1.45578
CPU usage (%): 99.9625
Max. virtual memory (cumulated for all children) (KiB): 2723640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.61
system time used= 1.45578
maximum resident set size= 2720664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 681269
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= 729
involuntary context switches= 1890

runsolver used 3.12252 second user time and 9.2016 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-04 03:16:37
IDJOB=3742581
IDBENCH=90214
IDSOLVER=2318
FILE ID=node102/3742581-1338772597
RUNJOBID= node102-1338747648-9412
PBS_JOBID= 14636781
Free space on /tmp= 71168 MiB

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

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

MD5SUM BENCH= 88bbbc51beb841161685a00fb4d24f63
RANDOM SEED=1213440070

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30102336 kB
Buffers:          212048 kB
Cached:           652752 kB
SwapCached:         5520 kB
Active:          1381420 kB
Inactive:         616400 kB
Active(anon):    1129648 kB
Inactive(anon):     5604 kB
Active(file):     251772 kB
Inactive(file):   610796 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097276 kB
Dirty:              7800 kB
Writeback:             0 kB
AnonPages:       1136712 kB
Mapped:            10400 kB
Shmem:                 0 kB
Slab:             629444 kB
SReclaimable:      70692 kB
SUnreclaim:       558752 kB
KernelStack:        1472 kB
PageTables:         6368 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1251944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1019904 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= 71160 MiB
End job on node102 at 2012-06-04 03:46:39