Trace number 3462555

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
bsolo 3.2OPT3 985.341 985.307

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb
MD5SUM39b4faf02952fa93fd33b15cbf6e7d18
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.139978
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables108
Total number of constraints9
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints9
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

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-3462555-1307181211.opb
0.00/0.00	c File size is 5689 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0 s
0.00/0.00	c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694
0.00/0.00	c Obj. Vars: 9 (2.08333 % of total variables)
0.00/0.00	c Pre-processing Time: 0.002 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    432      661     2763    4     2377    3689      0      0 0.00
0.00/0.00	c Switching off lower bounding mode.
5.79/5.84	c      103    432      856    16053   18     2801    4058    195   6058 0.02
5.79/5.84	c      254    432     1113    32975   29     3362    4464    452   5521 0.05
5.79/5.84	c      479    432     1524    60446   39     4462    4911    863   5841 0.08
5.79/5.84	c      817    432     2175   106228   48     6261    5403   1514   5305 0.15
5.79/5.84	c     1325    432     3135   171827   54     8861    5944   2474   5175 0.26
5.79/5.84	c     2088    432     4641   278749   60    13003    6539   3980   4901 0.43
5.79/5.84	c     3234    432     6873   433160   63    18751    7193   6212   4238 0.76
5.79/5.84	c     4955    432     6488   400154   61    16990    7913   5827   3521 1.41
5.79/5.84	c     7540    432     7307   441916   60    18321    8705   6646   2876 2.62
5.79/5.84	c    11420    432     5851   337864   57    15123    9576   5190   2658 4.29
5.79/5.84	o 25
56.40/56.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
56.40/56.41	c    16382    432     5450   359660   65    13966    3708   4789   2798 5.85
56.40/56.41	c    16483    421     2715   157273   57     7208    4079   2054   2804 5.88
56.40/56.41	c    16733    421     3198   188718   59     8511    4487   2537   2825 5.92
56.40/56.41	c    17209    421     4121   249883   60    10896    4936   3460   2855 6.03
56.40/56.41	c    18023    421     3147   174584   55     8484    5430   2486   2883 6.25
56.40/56.41	c    19343    421     5697   342270   60    14985    5974   5036   2884 6.71
56.40/56.41	c    21424    421     6614   393985   59    17140    6572   5953   2869 7.47
56.40/56.41	c    24650    421     5508   399507   72    14521    7230   4847   2874 8.58
56.40/56.41	c    29587    421     7533   447400   59    20462    7954   6872   2971 9.96
56.40/56.41	c    37094    421     5885   344558   58    15798    8750   5224   2927 12.67
56.40/56.41	c    48457    388     8725   491215   56    23501    9626   8064   3014 16.07
56.40/56.41	c    65602    388     7313   410426   56    19471   10589   6652   2843 23.07
56.40/56.41	c    91421    388    11292   701870   62    29059   11648  10631   2771 32.99
56.40/56.41	c   130253    388    10792   623710   57    27898   12813  10131   2463 52.87
56.40/56.41	o 5
59.69/59.78	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
59.69/59.78	c   137969    388    11878   815095   68    30037    3699  11217   2445 56.41
59.69/59.78	c   138069    366     2694   147047   54     6951    4069   2033   2443 56.51
59.69/59.78	c   138320    366     3187   184172   57     8338    4476   2526   2446 56.55
59.69/59.78	c   138796    366     4123   248632   60    10868    4924   3462   2450 56.64
59.69/59.78	c   139610    366     3134   179387   57     8445    5417   2473   2455 56.86
59.69/59.78	c   140930    366     5685   337330   59    15206    5959   5024   2459 57.30
59.69/59.78	c   143012    366     6609   403998   61    17508    6555   5948   2470 57.89
59.69/59.78	c   146237    366     5589   353124   63    14813    7211   4928   2482 58.91
59.69/59.78	o 3
985.32/985.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
985.32/985.30	c   149160    366     7271   486911   66    18328    3696   6610   2495 59.78
985.32/985.30	c   149262    343     2716   159941   58     7204    4066   2055   2495 59.81
985.32/985.30	c   149513    343     3186   191708   60     8448    4473   2525   2497 59.86
985.32/985.30	c   149988    343     4081   254689   62    10561    4921   3420   2501 59.96
985.32/985.30	c   150801    343     5505   371333   67    13645    5414   4844   2507 60.15
985.32/985.30	c   152121    343     5186   324095   62    13154    5956   4525   2513 60.53
985.32/985.30	c   154202    343     6040   356778   59    15530    6552   5379   2514 61.32
985.32/985.30	c   157426    343     5346   306687   57    13857    7208   4685   2512 62.67
985.32/985.30	c   162363    343     7068   410086   58    18191    7929   6407   2502 64.88
985.32/985.30	c   169869    343     4637   273729   59    11516    8722   3976   2482 68.43
985.32/985.30	c   181232    343     7191   553950   77    16564    9595   6530   2483 72.98
985.32/985.30	c   198376    343     9096   531116   58    24058   10555   8435   2486 79.77
985.32/985.30	c   224196    343     7833   503496   64    20147   11611   7172   2460 91.10
985.32/985.30	c   263030    343     9108   511818   56    24489   12773   8447   2412 109.01
985.32/985.30	c   321382    343    11796   818744   69    30575   14051  11135   2283 140.77
985.32/985.30	c   409015    343     8599   542763   63    21814   15457   7938   2147 190.43
985.32/985.30	c   540569    343    12467   687114   55    32190   17003  11806   2027 266.62
985.32/985.30	c   738001    343    16855  1125031   66    44035   18704  16194   1915 385.24
985.32/985.30	c  1034253    342    10197   723217   70    23932   20575   9536   1818 568.85
985.32/985.30	c  1478735    331    13332   738326   55    36162   22633  12671   1658 891.39
985.32/985.30	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 x11 -x12 x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 x26 -x27 x28 -x29 x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 x40 -x41 -x42 x43 x44 x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 x54 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x82 -x83 -x84 -x85 -x86 x87 x88 -x89 -x90 x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 
985.32/985.30	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
985.32/985.30	c   52  1589891  11231  1618003    19949  1000931  19288   1613 985.34
985.32/985.30	c Objective: 3
985.32/985.30	s OPTIMUM FOUND
985.32/985.30	c Total time: 985.338 s

Verifier Data 

OK	3

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462555-1307181211/watcher-3462555-1307181211 -o /tmp/evaluation-result-3462555-1307181211/solver-3462555-1307181211 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462555-1307181211.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.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=10924 CPUtime=0 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 353 0 0 0 0 0 0 0 25 0 1 0 908351743 11186176 305 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 2731 306 192 642 0 2087 0

[startup+0.0835021 s]
/proc/loadavg: 2.00 2.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=11704 CPUtime=0.08 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 540 0 0 0 8 0 0 0 25 0 1 0 908351743 11984896 492 33554432000 134512640 137138936 4294270096 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 2926 492 192 642 0 2282 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11704

[startup+0.100491 s]
/proc/loadavg: 2.00 2.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=11828 CPUtime=0.09 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 561 0 0 0 9 0 0 0 25 0 1 0 908351743 12111872 513 33554432000 134512640 137138936 4294270096 18446744073709551615 134598922 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 2957 513 192 642 0 2313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11828

[startup+0.300471 s]
/proc/loadavg: 2.00 2.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=13908 CPUtime=0.29 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 1095 0 0 0 29 0 0 0 25 0 1 0 908351743 14241792 1047 33554432000 134512640 137138936 4294270096 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 3477 1047 192 642 0 2833 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13908

[startup+0.700392 s]
/proc/loadavg: 2.00 2.03 2.00 2/443 26182
/proc/meminfo: memFree=29729112/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=16868 CPUtime=0.69 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 1821 0 0 0 68 1 0 0 25 0 1 0 908351743 17272832 1773 33554432000 134512640 137138936 4294270096 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 4217 1773 192 642 0 3573 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16868

[startup+1.50025 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26183
/proc/meminfo: memFree=29727764/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=18288 CPUtime=1.49 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2174 0 0 0 148 1 0 0 25 0 1 0 908351743 18726912 2126 33554432000 134512640 137138936 4294270096 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 4572 2126 192 642 0 3928 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18288

[startup+3.10093 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26183
/proc/meminfo: memFree=29724044/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=19196 CPUtime=3.09 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2402 0 0 0 308 1 0 0 25 0 1 0 908351743 19656704 2354 33554432000 134512640 137138936 4294270096 18446744073709551615 134539347 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 4799 2355 192 642 0 4155 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19196

[startup+6.30033 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26184
/proc/meminfo: memFree=29717224/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=20744 CPUtime=6.3 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2796 0 0 0 627 3 0 0 25 0 1 0 908351743 21241856 2748 33554432000 134512640 137138936 4294270096 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 5186 2748 192 642 0 4542 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 20744

[startup+12.7011 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26184
/proc/meminfo: memFree=29696156/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=20744 CPUtime=12.7 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2796 0 0 0 1265 5 0 0 25 0 1 0 908351743 21241856 2748 33554432000 134512640 137138936 4294270096 18446744073709551615 136504249 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 5186 2748 192 642 0 4542 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 20744

[startup+25.5007 s]
/proc/loadavg: 2.00 2.03 2.00 3/444 26184
/proc/meminfo: memFree=29694692/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=20876 CPUtime=25.49 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 2837 0 0 0 2541 8 0 0 25 0 1 0 908351743 21377024 2789 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 5219 2789 192 642 0 4575 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20876

[startup+51.1009 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26185
/proc/meminfo: memFree=29723476/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=22688 CPUtime=51.09 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 3290 0 0 0 5095 14 0 0 25 0 1 0 908351743 23232512 3242 33554432000 134512640 137138936 4294270096 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 5672 3242 192 642 0 5028 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22688

[startup+102.316 s]
/proc/loadavg: 2.00 2.02 2.00 3/444 26186
/proc/meminfo: memFree=29717500/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=24672 CPUtime=102.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 3792 0 0 0 10205 26 0 0 25 0 1 0 908351743 25264128 3743 33554432000 134512640 137138936 4294270096 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 6168 3743 192 642 0 5524 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 24672

[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26188
/proc/meminfo: memFree=29688212/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=26532 CPUtime=162.29 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 4239 0 0 0 16192 37 0 0 25 0 1 0 908351743 27168768 4190 33554432000 134512640 137138936 4294270096 18446744073709551615 134615997 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 6633 4190 192 642 0 5989 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 26532

[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26189
/proc/meminfo: memFree=29686940/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=26888 CPUtime=222.3 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 4332 0 0 0 22182 48 0 0 25 0 1 0 908351743 27533312 4283 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 6722 4283 192 642 0 6078 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 26888

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26191
/proc/meminfo: memFree=29712452/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=28992 CPUtime=282.3 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 4872 0 0 0 28170 60 0 0 25 0 1 0 908351743 29687808 4823 33554432000 134512640 137138936 4294270096 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 7248 4823 192 642 0 6604 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 28992

[startup+342.301 s]
/proc/loadavg: 2.03 2.01 2.00 3/444 26220
/proc/meminfo: memFree=29796704/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=29216 CPUtime=342.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 4916 0 0 0 34161 70 0 0 25 0 1 0 908351743 29917184 4867 33554432000 134512640 137138936 4294270096 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 7304 4867 192 642 0 6660 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 29216

[startup+402.301 s]
/proc/loadavg: 2.01 2.01 2.00 3/444 26221
/proc/meminfo: memFree=29795292/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=30564 CPUtime=402.3 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5253 0 0 0 40153 77 0 0 25 0 1 0 908351743 31297536 5204 33554432000 134512640 137138936 4294270096 18446744073709551615 134607001 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 7641 5204 192 642 0 6997 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 30564

[startup+462.301 s]
/proc/loadavg: 2.14 2.03 2.01 3/444 26233
/proc/meminfo: memFree=29793764/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=30548 CPUtime=462.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5253 0 0 0 46147 84 0 0 25 0 1 0 908351743 31281152 5204 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 7637 5204 192 642 0 6993 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 30548

[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.00 4/444 26234
/proc/meminfo: memFree=29788356/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33284 CPUtime=522.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5936 0 0 0 52141 90 0 0 25 0 1 0 908351743 34082816 5887 33554432000 134512640 137138936 4294270096 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8321 5887 192 642 0 7677 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 33284

[startup+582.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/444 26236
/proc/meminfo: memFree=29788204/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=582.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 58133 98 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 33276

[startup+642.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26238
/proc/meminfo: memFree=29788176/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=642.33 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 64126 107 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 33276

[startup+702.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/444 26239
/proc/meminfo: memFree=29788132/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=702.31 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 70117 114 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 136520979 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 33276

[startup+762.317 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26241
/proc/meminfo: memFree=29788232/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=762.34 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 76110 124 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 134599660 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 33276

[startup+822.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26242
/proc/meminfo: memFree=29786228/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=822.33 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 82099 134 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 33276

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26245
/proc/meminfo: memFree=29785088/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33276 CPUtime=882.33 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5938 0 0 0 88091 142 0 0 25 0 1 0 908351743 34074624 5889 33554432000 134512640 137138936 4294270096 18446744073709551615 135984582 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8319 5889 192 642 0 7675 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 33276

[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26247
/proc/meminfo: memFree=29784812/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=942.33 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 94084 149 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 33280

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

[startup+947.116 s]
/proc/loadavg: 2.00 2.00 2.00 3/444 26247
/proc/meminfo: memFree=29784812/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=947.14 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 94565 149 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 947.14
Current children cumulated vsize (KiB) 33280

[startup+972.701 s]
/proc/loadavg: 2.20 2.05 2.01 3/444 26247
/proc/meminfo: memFree=29784680/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=972.73 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 97120 153 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134618218 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 972.73
Current children cumulated vsize (KiB) 33280

[startup+979.1 s]
/proc/loadavg: 2.17 2.05 2.01 3/444 26248
/proc/meminfo: memFree=29784804/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=979.13 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 97760 153 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 979.13
Current children cumulated vsize (KiB) 33280

[startup+982.317 s]
/proc/loadavg: 2.17 2.05 2.01 3/444 26248
/proc/meminfo: memFree=29784680/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=982.34 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98081 153 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 982.34
Current children cumulated vsize (KiB) 33280

[startup+983.9 s]
/proc/loadavg: 2.17 2.05 2.01 3/444 26248
/proc/meminfo: memFree=29784792/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=983.93 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98239 154 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134600314 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 983.93
Current children cumulated vsize (KiB) 33280

[startup+984.7 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 26248
/proc/meminfo: memFree=29784792/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=984.73 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98319 154 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134575204 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 984.73
Current children cumulated vsize (KiB) 33280

[startup+985.1 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 26248
/proc/meminfo: memFree=29784792/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=985.12 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98358 154 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 985.12
Current children cumulated vsize (KiB) 33280

[startup+985.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/444 26248
/proc/meminfo: memFree=29784792/32950928 swapFree=52246700/67111528
[pid=26182] ppid=26179 vsize=33280 CPUtime=985.32 cores=1,3,5,7
/proc/26182/stat : 26182 (bsolo) R 26179 26182 23545 0 -1 4202496 5939 0 0 0 98378 154 0 0 25 0 1 0 908351743 34078720 5890 33554432000 134512640 137138936 4294270096 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26182/statm: 8320 5890 192 642 0 7676 0
Current children cumulated CPU time (s) 985.32
Current children cumulated vsize (KiB) 33280

Child status: 0
Real time (s): 985.307
CPU time (s): 985.341
CPU user time (s): 983.791
CPU system time (s): 1.54976
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 33284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 983.791
system time used= 1.54976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5940
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= 5
involuntary context switches= 1470

runsolver used 4.13037 second user time and 10.2044 second system time

The end

Launcher Data 

Begin job on node114 at 2011-06-04 11:53:31
IDJOB=3462555
IDBENCH=47971
IDSOLVER=1955
FILE ID=node114/3462555-1307181211
RUNJOBID= node114-1307174967-25431
PBS_JOBID= 13508824
Free space on /tmp= 73932 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=347-P1=137-P2=419-P3=449-P4=47-B.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462555-1307181211/watcher-3462555-1307181211 -o /tmp/evaluation-result-3462555-1307181211/solver-3462555-1307181211 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462555-1307181211.opb

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

MD5SUM BENCH= 39b4faf02952fa93fd33b15cbf6e7d18
RANDOM SEED=1639021752

node114.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.69
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.848
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29729764 kB
Buffers:        321644 kB
Cached:         484292 kB
SwapCached:      10712 kB
Active:        2467072 kB
Inactive:       481500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29729764 kB
SwapTotal:    67111528 kB
SwapFree:     52246700 kB
Dirty:            4044 kB
Writeback:           0 kB
AnonPages:     2139904 kB
Mapped:          22388 kB
Slab:           142228 kB
PageTables:      62608 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 108291836 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73932 MiB
End job on node114 at 2011-06-04 12:09:56