Trace number 3707685

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
bsolo 3.2? 1798 1798.62

General information on the benchmark

Name/DEC-SMALLINT-LIN/sroussel/
ShortestPathNG/normalized-NG_K199.opb
MD5SUM2cd10947adfbc402d943437a9cfa9f95
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 variables23681
Total number of constraints24081
Number of constraints which are clauses23882
Number of constraints which are cardinality constraints (but not clauses)199
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint199
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 200
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.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos 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 Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3707685-1338232498.opb
0.00/0.00	c File size is 1645508 bytes.
0.09/0.13	c Highest Coefficient sum: 200
0.09/0.13	c Parsing was ok!!
0.09/0.13	c Total parsing time: 0.132 s
0.09/0.14	c Var: 23681 Constr: 24081 23882/199/0 Lit: 154997 Watch. Lit: 71443
0.09/0.14	c Obj. Vars: 0 (0 % of total variables)
10.90/10.96	c Pre-processing Time: 10.959 s
10.90/10.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.90/10.96	c        0  22103    22609   148310    6    68079  202903      0      0 10.96
10.90/10.96	c Switching off lower bounding mode.
1797.97/1798.62	c      101  22103    22718   157259    6    68960  223194    109      9 11.04
1797.97/1798.62	c      251  22103    22889   187047    8    70435  245514    280     22 11.21
1797.97/1798.62	c      476  22103    23137   213850    9    71608  270066    528     41 11.50
1797.97/1798.62	c      814  22103    23562   242909   10    74886  297073    953     67 12.08
1797.97/1798.62	c     1322  22103    24207   309887   12    80200  326781   1598    100 13.10
1797.97/1798.62	c     2088  22103    25142   428431   17    86543  359460   2533    141 14.75
1797.97/1798.62	c     3234  22103    26498   611567   23    95324  395407   3889    192 16.81
1797.97/1798.62	c     4955  22103    28611   832300   29   109408  434948   6002    242 20.44
1797.97/1798.62	c     7539  22103    31800  1362599   42   125704  478443   9191    285 26.37
1797.97/1798.62	c    11418  22103    36399  2154777   59   150379  526288  13790    314 36.34
1797.97/1798.62	c    17242  22103    43485  3750247   86   185672  578917  20876    316 54.42
1797.97/1798.62	c    25980  22103    53828  6778010  125   234093  636809  31219    305 84.95
1797.97/1798.62	c    39091  22103    69307 11482507  165   301466  700490  46698    287 136.05
1797.97/1798.62	c    58762  22103    92287 20185162  218   403483  770540  69678    235 249.86
1797.97/1798.62	c    88272  22103   126755 31481228  248   551820  847595 104146    181 487.35
1797.97/1798.62	c   132542  22103   178699 50051419  280   765076  932355 156090    145 910.36
1797.97/1798.62	c Reducing formula size due to memory constraints
1797.97/1798.62	c Memory Limit: 1000.00 MB  Used: 1001.85 MB
1797.97/1798.62	c   198952  22103    70179 13844336  197   260079   63947  47570    118 1674.05
1797.97/1798.62	c Resources Exceeded
1797.97/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.62	c   17   221121 148050 20308032    52462  6193553  29853    122 1798.00
1797.97/1798.62	s UNKNOWN
1797.97/1798.62	c Total time: 1798 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-3707685-1338232498/watcher-3707685-1338232498 -o /tmp/evaluation-result-3707685-1338232498/solver-3707685-1338232498 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707685-1338232498.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 7718
/proc/meminfo: memFree=27765740/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=20636 CPUtime=0 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 381 0 0 0 0 0 0 0 20 0 1 0 289375232 21131264 335 33554432000 134512640 137138936 4294722816 4294721168 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 5159 336 179 642 0 4113 0

[startup+0.024608 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 7718
/proc/meminfo: memFree=27765740/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=14356 CPUtime=0.02 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 844 0 0 0 2 0 0 0 20 0 1 0 289375232 14700544 758 33554432000 134512640 137138936 4294722816 4294721344 134517403 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 3589 758 237 642 0 2543 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14356

[startup+0.10015 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 7718
/proc/meminfo: memFree=27765740/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=16952 CPUtime=0.09 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 1756 0 0 0 9 0 0 0 20 0 1 0 289375232 17358848 1670 33554432000 134512640 137138936 4294722816 4294721344 134517643 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 4238 1670 473 642 0 3192 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16952

[startup+0.300156 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 7718
/proc/meminfo: memFree=27765740/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=20000 CPUtime=0.29 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 2936 0 0 0 29 0 0 0 20 0 1 0 289375232 20480000 2448 33554432000 134512640 137138936 4294722816 4294437308 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 5000 2448 184 642 0 4356 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20000

[startup+0.700145 s]
/proc/loadavg: 2.00 2.00 2.00 2/174 7718
/proc/meminfo: memFree=27765740/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=20000 CPUtime=0.69 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 2936 0 0 0 69 0 0 0 20 0 1 0 289375232 20480000 2448 33554432000 134512640 137138936 4294722816 4294437308 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 5000 2448 184 642 0 4356 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20000

[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7724
/proc/meminfo: memFree=27749812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=20000 CPUtime=1.49 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 2938 0 0 0 149 0 0 0 20 0 1 0 289375232 20480000 2450 33554432000 134512640 137138936 4294722816 4294437120 134542351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 5000 2450 184 642 0 4356 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20000

[startup+3.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7724
/proc/meminfo: memFree=27748936/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=20000 CPUtime=3.09 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 2938 0 0 0 309 0 0 0 20 0 1 0 289375232 20480000 2450 33554432000 134512640 137138936 4294722816 4294437308 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 5000 2450 184 642 0 4356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20000

[startup+6.3002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7724
/proc/meminfo: memFree=27748180/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=20000 CPUtime=6.29 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 2942 0 0 0 628 1 0 0 20 0 1 0 289375232 20480000 2451 33554432000 134512640 137138936 4294722816 4294436904 136504355 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 5000 2451 184 642 0 4356 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20000

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7724
/proc/meminfo: memFree=27736140/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=22240 CPUtime=12.69 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 3765 0 0 0 1257 12 0 0 20 0 1 0 289375232 22773760 3041 33554432000 134512640 137138936 4294722816 4294721240 134607236 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 5560 3041 192 642 0 4916 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22240

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7724
/proc/meminfo: memFree=27705492/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=35004 CPUtime=25.49 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 6961 0 0 0 2495 54 0 0 20 0 1 0 289375232 35844096 6237 33554432000 134512640 137138936 4294722816 4294721568 134575759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 8751 6237 192 642 0 8107 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35004

[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7724
/proc/meminfo: memFree=27625812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=65628 CPUtime=51.08 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 14614 0 0 0 5005 103 0 0 20 0 1 0 289375232 67203072 13890 33554432000 134512640 137138936 4294722816 4294721744 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 16407 13890 192 642 0 15763 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 65628

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7724
/proc/meminfo: memFree=27461432/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=137312 CPUtime=102.28 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 32537 0 0 0 10073 155 0 0 20 0 1 0 289375232 140607488 31813 33554432000 134512640 137138936 4294722816 4294721744 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 34328 31813 192 642 0 33684 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 137312

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7724
/proc/meminfo: memFree=27329648/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=197408 CPUtime=162.27 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 47563 0 0 0 16023 204 0 0 20 0 1 0 289375232 202145792 46839 33554432000 134512640 137138936 4294722816 4294721744 134542752 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 49352 46839 192 642 0 48708 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 197408

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7724
/proc/meminfo: memFree=27193612/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=264272 CPUtime=222.23 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 64316 0 0 0 21993 230 0 0 20 0 1 0 289375232 270614528 63564 33554432000 134512640 137138936 4294722816 4294721932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 66068 63564 192 642 0 65424 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 264272

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7725
/proc/meminfo: memFree=27064784/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=309032 CPUtime=282.19 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 75546 0 0 0 27955 264 0 0 20 0 1 0 289375232 316448768 74749 33554432000 134512640 137138936 4294722816 4294721348 136511215 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 77258 74749 192 642 0 76614 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 309032

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7728
/proc/meminfo: memFree=26947560/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=347464 CPUtime=342.13 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 85199 0 0 0 33919 294 0 0 20 0 1 0 289375232 355803136 84357 33554432000 134512640 137138936 4294722816 4294721744 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 86866 84357 192 642 0 86222 0
Current children cumulated CPU time (s) 342.13
Current children cumulated vsize (KiB) 347464

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7728
/proc/meminfo: memFree=26840460/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=381324 CPUtime=402.09 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 93708 0 0 0 39884 325 0 0 20 0 1 0 289375232 390475776 92822 33554432000 134512640 137138936 4294722816 4294721744 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 95331 92822 192 642 0 94687 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 381324

[startup+462.3 s]
/proc/loadavg: 2.10 2.03 2.00 3/177 7728
/proc/meminfo: memFree=26743560/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=420780 CPUtime=462.08 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 103576 0 0 0 45858 350 0 0 20 0 1 0 289375232 430878720 102686 33554432000 134512640 137138936 4294722816 4294716016 134573759 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 105195 102686 192 642 0 104551 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 420780

[startup+522.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 7728
/proc/meminfo: memFree=26582980/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=462156 CPUtime=522.06 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 113925 0 0 0 51830 376 0 0 20 0 1 0 289375232 473247744 113035 33554432000 134512640 137138936 4294722816 4294721568 134578548 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 115539 113035 192 642 0 114895 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 462156

[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/176 7728
/proc/meminfo: memFree=26473292/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=496256 CPUtime=582.06 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 122453 0 0 0 57803 403 0 0 20 0 1 0 289375232 508166144 121563 33554432000 134512640 137138936 4294722816 4294721568 134578233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 124064 121563 192 642 0 123420 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 496256

[startup+642.3 s]

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

/proc/meminfo: memFree=25935880/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=798216 CPUtime=1121.97 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 197936 0 0 0 111630 567 0 0 20 0 1 0 289375232 817373184 197046 33554432000 134512640 137138936 4294722816 4294721744 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 199554 197046 192 642 0 198910 0
Current children cumulated CPU time (s) 1121.97
Current children cumulated vsize (KiB) 798216

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7734
/proc/meminfo: memFree=25914184/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=819544 CPUtime=1181.97 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 203289 0 0 0 117615 582 0 0 20 0 1 0 289375232 839213056 202399 33554432000 134512640 137138936 4294722816 4294721744 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 204886 202399 192 642 0 204242 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 819544

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7735
/proc/meminfo: memFree=25877232/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=856116 CPUtime=1241.95 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 212419 0 0 0 123600 595 0 0 20 0 1 0 289375232 876662784 211529 33554432000 134512640 137138936 4294722816 4294721744 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 214029 211529 192 642 0 213385 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 856116

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7735
/proc/meminfo: memFree=25850676/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=881448 CPUtime=1301.95 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 218753 0 0 0 129589 606 0 0 20 0 1 0 289375232 902602752 217854 33554432000 134512640 137138936 4294722816 4294721744 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 220362 217854 192 642 0 219718 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 881448

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7735
/proc/meminfo: memFree=25819968/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=912856 CPUtime=1361.9 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 226645 0 0 0 135569 621 0 0 20 0 1 0 289375232 934764544 225706 33554432000 134512640 137138936 4294722816 4294721744 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 228214 225706 192 642 0 227570 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 912856

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7735
/proc/meminfo: memFree=25786144/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=945760 CPUtime=1421.87 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 234909 0 0 0 141554 633 0 0 20 0 1 0 289375232 968458240 233932 33554432000 134512640 137138936 4294722816 4294721744 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 236440 233932 192 642 0 235796 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 945760

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7735
/proc/meminfo: memFree=25754124/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=979072 CPUtime=1481.81 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 243279 0 0 0 147535 646 0 0 20 0 1 0 289375232 1002569728 242260 33554432000 134512640 137138936 4294722816 4294721744 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 244768 242260 192 642 0 244124 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 979072

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 7739
/proc/meminfo: memFree=25726692/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1006068 CPUtime=1541.78 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 250066 0 0 0 153518 660 0 0 20 0 1 0 289375232 1030213632 249009 33554432000 134512640 137138936 4294722816 4294721240 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 251517 249009 192 642 0 250873 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1006068

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691912/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1601.75 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258904 0 0 0 159501 674 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721240 134606864 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1040432

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691444/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1661.71 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258945 0 0 0 165455 716 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1040432

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25692680/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1721.68 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258969 0 0 0 171402 766 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1040432

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1781.67 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258969 0 0 0 177365 802 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721744 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1040432

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1791.27 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258969 0 0 0 178319 808 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721240 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1791.27
Current children cumulated vsize (KiB) 1040432

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1794.47 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258969 0 0 0 178635 812 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1794.47
Current children cumulated vsize (KiB) 1040432

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1796.07 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258969 0 0 0 178793 814 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721312 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 1040432

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1796.87 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258969 0 0 0 178873 814 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721360 134618924 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 1040432

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1797.67 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258969 0 0 0 178953 814 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721744 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 1040432

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1797.88 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258969 0 0 0 178973 815 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721932 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 1040432

[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 7739
/proc/meminfo: memFree=25691812/32873648 swapFree=7104/7104
[pid=7718] ppid=7716 vsize=1040432 CPUtime=1797.97 cores=1,3,5,7
/proc/7718/stat : 7718 (bsolo) R 7716 7718 7472 0 -1 4202496 258969 0 0 0 178982 815 0 0 20 0 1 0 289375232 1065402368 257600 33554432000 134512640 137138936 4294722816 4294721564 136296960 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/7718/statm: 260108 257600 192 642 0 259464 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 1040432

Child status: 0
Real time (s): 1798.62
CPU time (s): 1798
CPU user time (s): 1789.85
CPU system time (s): 8.15576
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 1041280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.85
system time used= 8.15576
maximum resident set size= 1031248
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258969
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= 441
involuntary context switches= 1835

runsolver used 2.50862 second user time and 7.30689 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-28 21:14:58
IDJOB=3707685
IDBENCH=90145
IDSOLVER=2286
FILE ID=node127/3707685-1338232498
RUNJOBID= node127-1338228900-7489
PBS_JOBID= 14624640
Free space on /tmp= 71104 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB12/normalized-PB12/DEC-SMALLINT-LIN/sroussel/ShortestPathNG/normalized-NG_K199.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3707685-1338232498/watcher-3707685-1338232498 -o /tmp/evaluation-result-3707685-1338232498/solver-3707685-1338232498 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3707685-1338232498.opb

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

MD5SUM BENCH= 2cd10947adfbc402d943437a9cfa9f95
RANDOM SEED=709814269

node127.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.348
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.69
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.348
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.348
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.94
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.348
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.348
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		: 2666.348
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.348
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		: 2666.348
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:       32873648 kB
MemFree:        27766648 kB
Buffers:          500200 kB
Cached:          3710156 kB
SwapCached:            0 kB
Active:          1336332 kB
Inactive:        2885724 kB
Active(anon):      13896 kB
Inactive(anon):        0 kB
Active(file):    1322436 kB
Inactive(file):  2885724 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9720 kB
Writeback:             0 kB
AnonPages:         90032 kB
Mapped:            13964 kB
Shmem:               200 kB
Slab:             745616 kB
SReclaimable:     190036 kB
SUnreclaim:       555580 kB
KernelStack:        1472 kB
PageTables:         4192 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104140 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 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= 71104 MiB
End job on node127 at 2012-05-28 21:44:57