Trace number 3743143

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB07: bsolo 3.0.17? (TO) 1800.08 1800.42

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_unif_50null20mast_rapportOE2.0_TMAX120_K192_cod2.opb
MD5SUM7e1ba98da2a2cea04a0e7f6c87cec7d2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-4565
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 892
Biggest coefficient in the objective function 1000
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 624831
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 1000
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 624831
Number of bits of the biggest sum of numbers20
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-3743143-1338777743.opb
0.00/0.00	c File size is 28226981 bytes.
3.59/3.60	c Highest Coefficient sum: 624831
3.59/3.60	c Parsing was ok!!
3.59/3.60	c Total parsing time: 3.597 s
3.79/3.83	c Var: 400896 Constr: 402763 400785/1977/1 Lit: 2338937 Watch. Lit: 1260388
3.79/3.83	c Obj. Vars: 892 (0.222502 % of total variables)
182.96/183.00	c Pre-processing Time: 182.973 s
182.96/183.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.96/183.02	c        0 399937   401643  2331966    5  1257025  500000      0      0 182.97
182.96/183.02	c Switching off LPR mode.
1800.06/1800.40	c      100 399841   401743  2432426    6  1257228  550001    100      0 184.78
1800.06/1800.40	c      250 399841   401893  2450147    6  1257570  605002    250      1 185.48
1800.06/1800.40	c      476 399841   402119  2462457    6  1258058  665503    476      2 192.35
1800.06/1800.40	c      814 399841   402457  2534095    6  1258735  732054    814      3 210.14
1800.06/1800.40	c     1323 399822   402966  2635975    6  1259752  805260   1323      5 221.82
1800.06/1800.40	c     2086 399822   403729  2835811    7  1261278  885787   2086      8 250.56
1800.06/1800.40	c     3232 399822   404875  3031321    7  1263570  974366   3232     11 288.12
1800.06/1800.40	c     4953 399822   406596  3496155    8  1267011  500000   4953     14 347.19
1800.06/1800.40	c     7539 399822   409182  3661994    8  1272184  550001   7539     16 448.90
1800.06/1800.40	c    11418 399822   413061  4919751   11  1279941  605002  11418     17 654.42
1800.06/1800.40	c    17240 399822   418883  7220665   17  1291586  665503  17240     18 946.55
1800.06/1800.40	c    25978 399822   427621 11333391   26  1309061  732054  25978     20 1285.47
1800.06/1800.40	c    39088 399822   440731 15810503   35  1335282  805260  39088     25 1529.31
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   13    48966  30245  4146456   450609 23050954  48966     27 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-3743143-1338777743/watcher-3743143-1338777743 -o /tmp/evaluation-result-3743143-1338777743/solver-3743143-1338777743 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3743143-1338777743.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14959
/proc/meminfo: memFree=26675392/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=4476 CPUtime=0 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4194304 207 0 0 0 0 0 0 0 20 0 1 0 343898797 4583424 158 33554432000 134512640 135840783 4289679792 4289679132 10769752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 1119 158 136 325 0 39 0

[startup+0.104746 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14959
/proc/meminfo: memFree=26675392/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=36800 CPUtime=0.09 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 1926 0 0 0 9 0 0 0 20 0 1 0 343898797 37683200 1823 33554432000 134512640 135840783 4289679792 4289678672 4317169 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 9200 1824 599 325 0 1244 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 36800

[startup+0.200293 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14959
/proc/meminfo: memFree=26675392/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=40280 CPUtime=0.19 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 3082 0 0 0 19 0 0 0 20 0 1 0 343898797 41246720 2900 33554432000 134512640 135840783 4289679792 4289678784 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 10070 2900 857 325 0 2114 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 40280

[startup+0.300279 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14959
/proc/meminfo: memFree=26675392/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=43636 CPUtime=0.28 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 4221 0 0 0 28 0 0 0 20 0 1 0 343898797 44683264 3990 33554432000 134512640 135840783 4289679792 4289678784 134525286 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 10909 3991 1113 325 0 2953 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 43636

[startup+0.700269 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14959
/proc/meminfo: memFree=26675392/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=56352 CPUtime=0.68 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 8624 0 0 0 67 1 0 0 20 0 1 0 343898797 57704448 8140 33554432000 134512640 135840783 4289679792 4289678464 11330855 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 14088 8140 2081 325 0 6132 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 56352

[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14960
/proc/meminfo: memFree=26634192/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=83412 CPUtime=1.48 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 17515 0 0 0 146 2 0 0 20 0 1 0 343898797 85413888 16524 33554432000 134512640 135840783 4289679792 4289678480 11330737 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 20853 16524 3766 325 0 12897 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83412

[startup+3.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14960
/proc/meminfo: memFree=26600524/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=115940 CPUtime=3.09 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 28669 0 0 0 304 5 0 0 20 0 1 0 343898797 118722560 27178 33554432000 134512640 135840783 4289679792 4289678784 134525046 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 28985 27178 6507 325 0 21029 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 115940

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14960
/proc/meminfo: memFree=26511728/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=166152 CPUtime=6.28 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 45070 0 0 0 620 8 0 0 20 0 1 0 343898797 170139648 39639 33554432000 134512640 135840783 4289679792 4284867792 11328772 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 41538 39639 342 325 0 40474 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 166152

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14960
/proc/meminfo: memFree=26507280/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=166152 CPUtime=12.68 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 45070 0 0 0 1260 8 0 0 20 0 1 0 343898797 170139648 39639 33554432000 134512640 135840783 4289679792 4284867732 11317500 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 41538 39639 342 325 0 40474 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 166152

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14960
/proc/meminfo: memFree=26496872/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=166152 CPUtime=25.48 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 45070 0 0 0 2540 8 0 0 20 0 1 0 343898797 170139648 39639 33554432000 134512640 135840783 4289679792 4284868016 134550817 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 41538 39639 342 325 0 40474 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 166152

[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 14960
/proc/meminfo: memFree=26476908/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=166152 CPUtime=51.07 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 45073 0 0 0 5099 8 0 0 20 0 1 0 343898797 170139648 39642 33554432000 134512640 135840783 4289679792 4284868224 134567665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 41538 39642 342 325 0 40474 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 166152

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 14960
/proc/meminfo: memFree=26438032/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=166152 CPUtime=102.28 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 45073 0 0 0 10219 9 0 0 20 0 1 0 343898797 170139648 39642 33554432000 134512640 135840783 4289679792 4284868116 4317140 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 41538 39642 342 325 0 40474 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 166152

[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 14961
/proc/meminfo: memFree=26405944/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=166284 CPUtime=162.26 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 45081 0 0 0 16216 10 0 0 20 0 1 0 343898797 170274816 39650 33554432000 134512640 135840783 4289679792 4284867732 11317500 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 41571 39650 342 325 0 40507 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 166284

[startup+222.306 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 14961
/proc/meminfo: memFree=26366292/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=168368 CPUtime=222.26 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 47001 0 0 0 22215 11 0 0 20 0 1 0 343898797 172408832 40616 33554432000 134512640 135840783 4289679792 4289679024 134574669 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 42092 40616 346 325 0 41028 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 168368

[startup+282.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/177 14961
/proc/meminfo: memFree=26327880/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=171468 CPUtime=282.24 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 47792 0 0 0 28213 11 0 0 20 0 1 0 343898797 175583232 41407 33554432000 134512640 135840783 4289679792 4289678820 11317602 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 42867 41407 346 325 0 41803 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 171468

[startup+342.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/177 14961
/proc/meminfo: memFree=26276944/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=175836 CPUtime=342.23 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 48882 0 0 0 34211 12 0 0 20 0 1 0 343898797 180056064 42497 33554432000 134512640 135840783 4289679792 4289678928 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 43959 42497 346 325 0 42895 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 175836

[startup+402.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 14961
/proc/meminfo: memFree=26259364/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=177836 CPUtime=402.22 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 49373 0 0 0 40210 12 0 0 20 0 1 0 343898797 182104064 42988 33554432000 134512640 135840783 4289679792 4289678880 11328772 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 44459 42988 346 325 0 43395 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 177836

[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 14965
/proc/meminfo: memFree=26242496/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=178900 CPUtime=462.22 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 49651 0 0 0 46209 13 0 0 20 0 1 0 343898797 183193600 43266 33554432000 134512640 135840783 4289679792 4289678820 11317503 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 44725 43266 346 325 0 43661 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 178900

[startup+522.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/177 14965
/proc/meminfo: memFree=26224700/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=181148 CPUtime=522.21 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 50220 0 0 0 52208 13 0 0 20 0 1 0 343898797 185495552 43835 33554432000 134512640 135840783 4289679792 4289678928 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 45287 43835 346 325 0 44223 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 181148

[startup+582.3 s]
/proc/loadavg: 2.09 2.05 2.00 3/177 14965
/proc/meminfo: memFree=26197156/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=190140 CPUtime=582.17 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 52477 0 0 0 58203 14 0 0 20 0 1 0 343898797 194703360 46060 33554432000 134512640 135840783 4289679792 4289679088 134571798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 47535 46060 346 325 0 46471 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 190140

[startup+642.3 s]

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

[startup+882.306 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14966
/proc/meminfo: memFree=26070652/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=209220 CPUtime=882.12 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 57269 0 0 0 88196 16 0 0 20 0 1 0 343898797 214241280 51174 33554432000 134512640 135840783 4289679792 4289671076 11317508 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 52305 51174 346 325 0 51241 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 209220

[startup+942.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 14966
/proc/meminfo: memFree=26031840/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=222044 CPUtime=942.1 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 60488 0 0 0 94194 16 0 0 20 0 1 0 343898797 227373056 54393 33554432000 134512640 135840783 4289679792 4289679152 134551330 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 55511 54393 346 325 0 54447 0
Current children cumulated CPU time (s) 942.1
Current children cumulated vsize (KiB) 222044

[startup+1002.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 15005
/proc/meminfo: memFree=26947004/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=226832 CPUtime=1002.09 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 61676 0 0 0 100192 17 0 0 20 0 1 0 343898797 232275968 55581 33554432000 134512640 135840783 4289679792 4289679144 3930278 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 56708 55581 346 325 0 55644 0
Current children cumulated CPU time (s) 1002.09
Current children cumulated vsize (KiB) 226832

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15009
/proc/meminfo: memFree=26941664/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=232820 CPUtime=1062.08 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 63169 0 0 0 106191 17 0 0 20 0 1 0 343898797 238407680 57074 33554432000 134512640 135840783 4289679792 4289679088 134571798 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 58205 57074 346 325 0 57141 0
Current children cumulated CPU time (s) 1062.08
Current children cumulated vsize (KiB) 232820

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15032
/proc/meminfo: memFree=26931192/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=243504 CPUtime=1122.07 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 65862 0 0 0 112189 18 0 0 20 0 1 0 343898797 249348096 59754 33554432000 134512640 135840783 4289679792 4289679152 134551065 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 60876 59754 346 325 0 59812 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 243504

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15032
/proc/meminfo: memFree=26911692/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=256880 CPUtime=1182.06 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 69192 0 0 0 118187 19 0 0 20 0 1 0 343898797 263045120 63084 33554432000 134512640 135840783 4289679792 4289670980 11317602 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 64220 63084 346 325 0 63156 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 256880

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15032
/proc/meminfo: memFree=26886800/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=271884 CPUtime=1242.05 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 72951 0 0 0 124186 19 0 0 20 0 1 0 343898797 278409216 66843 33554432000 134512640 135840783 4289679792 4289679152 134551285 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 67971 66843 346 325 0 66907 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 271884

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15032
/proc/meminfo: memFree=26875764/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=279328 CPUtime=1302.04 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 74825 0 0 0 130184 20 0 0 20 0 1 0 343898797 286031872 68717 33554432000 134512640 135840783 4289679792 4289671136 11328772 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 69832 68717 346 325 0 68768 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 279328

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15033
/proc/meminfo: memFree=26864376/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=290020 CPUtime=1362.03 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 77505 0 0 0 136182 21 0 0 20 0 1 0 343898797 296980480 71382 33554432000 134512640 135840783 4289679792 4289679088 134572665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 72505 71382 346 325 0 71441 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 290020

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15033
/proc/meminfo: memFree=26848680/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=305744 CPUtime=1422.02 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 81445 0 0 0 142180 22 0 0 20 0 1 0 343898797 313081856 75322 33554432000 134512640 135840783 4289679792 4289678880 11328772 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 76436 75322 346 325 0 75372 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 305744

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15033
/proc/meminfo: memFree=26832548/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=319904 CPUtime=1482.01 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 84977 0 0 0 148178 23 0 0 20 0 1 0 343898797 327581696 78854 33554432000 134512640 135840783 4289679792 4289679028 11336267 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 79976 78854 346 325 0 78912 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 319904

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15033
/proc/meminfo: memFree=26811096/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=340640 CPUtime=1542.01 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 90174 0 0 0 154176 25 0 0 20 0 1 0 343898797 348815360 84051 33554432000 134512640 135840783 4289679792 4289679152 134551084 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 85160 84051 346 325 0 84096 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 340640

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15033
/proc/meminfo: memFree=26800308/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=351564 CPUtime=1602 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 92883 0 0 0 160174 26 0 0 20 0 1 0 343898797 360001536 86760 33554432000 134512640 135840783 4289679792 4289679028 11336267 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 87891 86760 346 325 0 86827 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 351564

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 15037
/proc/meminfo: memFree=26794620/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=356948 CPUtime=1661.98 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 94246 0 0 0 166171 27 0 0 20 0 1 0 343898797 365514752 88115 33554432000 134512640 135840783 4289679792 4289679152 134550779 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 89237 88115 346 325 0 88173 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 356948

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15037
/proc/meminfo: memFree=26780024/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=371708 CPUtime=1721.97 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 97931 0 0 0 172169 28 0 0 20 0 1 0 343898797 380628992 91795 33554432000 134512640 135840783 4289679792 4289678880 11328772 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 92927 91795 346 325 0 91863 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 371708

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15037
/proc/meminfo: memFree=26733028/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=418272 CPUtime=1781.96 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 109596 0 0 0 178166 30 0 0 20 0 1 0 343898797 428310528 103460 33554432000 134512640 135840783 4289679792 4289679088 134571829 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 104568 103460 346 325 0 103504 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 418272



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15037
/proc/meminfo: memFree=26722672/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=428548 CPUtime=1800.06 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 112148 0 0 0 179976 30 0 0 20 0 1 0 343898797 438833152 106012 33554432000 134512640 135840783 4289679792 4289678928 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 107137 106012 346 325 0 106073 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 428548

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

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15037
/proc/meminfo: memFree=26722672/32873844 swapFree=6608/6608
[pid=14959] ppid=14957 vsize=428548 CPUtime=1800.06 cores=0,2,4,6
/proc/14959/stat : 14959 (bsolo3.0.17) R 14957 14959 12501 0 -1 4202496 112148 0 0 0 179976 30 0 0 20 0 1 0 343898797 438833152 106012 33554432000 134512640 135840783 4289679792 4289678928 11328414 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14959/statm: 107137 106012 346 325 0 106073 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 428548

Child status: 15
Real time (s): 1800.42
CPU time (s): 1800.08
CPU user time (s): 1799.76
CPU system time (s): 0.314952
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 428548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.314952
maximum resident set size= 424048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 112151
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= 109
involuntary context switches= 2112

runsolver used 3.13052 second user time and 9.08362 second system time

The end

Launcher Data 

Begin job on node140 at 2012-06-04 04:42:24
IDJOB=3743143
IDBENCH=90863
IDSOLVER=2318
FILE ID=node140/3743143-1338777743
RUNJOBID= node140-1338749243-12517
PBS_JOBID= 14636796
Free space on /tmp= 70580 MiB

SOLVER NAME= PB07: bsolo 3.0.17
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_unif_50null20mast_rapportOE2.0_TMAX120_K192_cod2.opb
COMMAND LINE= bsolo3.0.17 -mMEMLIMIT BENCHNAME            
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743143-1338777743/watcher-3743143-1338777743 -o /tmp/evaluation-result-3743143-1338777743/solver-3743143-1338777743 -C 1800 -W 1900 -M 15500  bsolo3.0.17 -m15500 HOME/instance-3743143-1338777743.opb            

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

MD5SUM BENCH= 7e1ba98da2a2cea04a0e7f6c87cec7d2
RANDOM SEED=2097564765

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.094
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.094
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.094
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		: 2667.094
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.88
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.094
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		: 2667.094
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:        26675392 kB
Buffers:          523964 kB
Cached:          4049524 kB
SwapCached:         1620 kB
Active:          2256852 kB
Inactive:        3007776 kB
Active(anon):     683388 kB
Inactive(anon):     9476 kB
Active(file):    1573464 kB
Inactive(file):  2998300 kB
Unevictable:        6608 kB
Mlocked:            6608 kB
SwapTotal:      67108856 kB
SwapFree:       67105264 kB
Dirty:             34012 kB
Writeback:             0 kB
AnonPages:        698004 kB
Mapped:            11800 kB
Shmem:                 8 kB
Slab:             792708 kB
SReclaimable:     234352 kB
SUnreclaim:       558356 kB
KernelStack:        1448 kB
PageTables:         5560 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     806320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    256000 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= 70552 MiB
End job on node140 at 2012-06-04 05:12:26