Trace number 432818

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, and are wall clock time (not CPU 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.0.17SAT (TO)15746 1800.09 1802.72

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15363
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/432818-1177950235/instance-432818-1177950235.opb
0.00/0.00	c File size is 50269 bytes.
0.00/0.01	c Highest Coefficient sum: 74742
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.009 s
0.00/0.01	c Var: 163 Constr: 73 0/3/70 Lit: 5326 Watch. Lit: 548
0.00/0.01	c Obj. Vars: 163 (100 % of total variables)
0.00/0.01	c Pre-processing Time: 0.013 s
0.00/0.02	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.02	c        0    163       73     5326   72      548   10705      0      0 0.01
0.00/0.02	c Initial Lower Bound: 13312
0.00/0.02	c Initial Path Cost: 0
0.00/0.02	o 20480	0.023
0.09/0.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.19	c        0    163       74     5489   74      693   11031      1      0 0.02
0.09/0.19	o 16897	0.195 * 
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c        0    163       75     5652   75      893   11357      2      0 0.20
0.29/0.33	o 16385	0.331 * 
0.69/0.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.69/0.77	c        0    163       76     5815   76      944   11683      3      0 0.33
0.69/0.77	o 16384	0.77 * 
1.49/1.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.49/1.54	c       66    163      207    15023   72     1691   11683    134     85 0.77
1.49/1.54	c      167    163      409    27034   66     1980   12852    336    126 1.31
1.49/1.54	o 16364	1.536 * 
2.89/2.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.89/2.94	c      168    163      412    27323   66     1979   11683    339    109 1.54
2.89/2.94	c      269    163      614    37458   61     2425   12852    541    124 2.16
2.89/2.94	o 16354	2.944 * 
4.79/4.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
4.79/4.87	c      413    163      903    53442   59     3332   11683    830    140 2.94
4.79/4.87	c      515    163     1107    66754   60     3628   12852   1034    146 3.51
4.79/4.87	c      766    163     1609    92263   57     4447   14138   1536    163 4.69
4.79/4.87	o 16129	4.867 * 
26.88/26.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
26.88/26.90	c      766    163     1610    92426   57     4693   11683   1537    157 4.87
26.88/26.90	c      867    163     1812   101073   55     4983   12852   1739    158 5.46
26.88/26.90	c     1119    163     2315   126327   54     5951   14138   2242    167 6.68
26.88/26.90	c     1596    163     3267   173152   53     7931   15552   3194    177 8.99
26.88/26.90	c     2409    163     4893   282212   57    10933   17108   4820    187 12.83
26.88/26.90	c     3731    163     7537   489962   65    16285   18819   7464    207 17.96
26.88/26.90	c     5812    163    11692   800324   68    24732   20701  11619    221 26.26
26.88/26.90	o 16001	26.893 * 
27.88/27.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
27.88/27.93	c     5923    163    11912   815826   68    25500   11683  11839    220 26.89
27.88/27.93	c     6029    163     6128   412634   67    12942   12852   6055    217 27.67
27.88/27.93	o 15875	27.92 * 
43.67/43.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.67/43.71	c     6030    163     6131   412873   67    13208   11031   6058    215 27.92
43.67/43.71	c     6130    163     6331   423727   66    13492   12135   6258    214 28.60
43.67/43.71	c     6381    163     6833   449294   65    14376   13349   6760    212 30.01
43.67/43.71	c     6858    163     7787   512853   65    16228   14684   7714    209 32.69
43.67/43.71	c     7674    163     9419   589198   62    19472   16153   9346    207 36.93
43.67/43.71	c     8995    163    12061   762968   63    24726   17769  11988    207 43.34
43.67/43.71	o 15873	43.698 * 
50.78/50.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
50.78/50.84	c     9034    163    12129   768712   63    25199   11031  12056    206 43.70
50.78/50.84	c     9136    163     5794   379419   65    12211   12135   5721    204 44.60
50.78/50.84	c     9387    163     6296   405676   64    13143   13349   6223    204 45.99
50.78/50.84	c     9863    163     7248   450577   62    15029   14684   7175    203 48.57
50.78/50.84	o 15872	50.826 * 
139.04/139.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
139.04/139.10	c    10270    163     8063   487357   60    16738   11031   7990    202 50.83
139.04/139.10	c    10370    163     8263   498630   60    17128   12135   8190    201 51.51
139.04/139.10	c    10623    163     8769   516453   58    18150   13349   8696    200 53.00
139.04/139.10	c    11098    163     9719   581644   59    20033   14684   9646    200 55.41
139.04/139.10	c    11911    163    11345   675232   59    23400   16153  11272    199 59.63
139.04/139.10	c    13231    163    13985   821180   58    28585   17769  13912    199 66.48
139.04/139.10	c    15316    163     9213   508577   55    18987   19546   9140    197 77.72
139.04/139.10	c    18540    163    13943   991565   71    28921   21501  13870    209 88.71
139.04/139.10	c    23476    163    12988   813317   62    26510   23652  12915    201 116.28
139.04/139.10	o 15812	139.052 * 
142.44/142.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
142.44/142.57	c    27435    163    20907  1173119   56    42812   11031  20834    197 139.05
142.44/142.57	c    27535    163     5790   264015   45    12210   12135   5717    195 140.52
142.44/142.57	c    27787    163     6294   292204   46    13187   13349   6221    195 142.14
142.44/142.57	o 15774	142.527 * 
216.72/216.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
216.72/216.87	c    27809    163     6337   294856   46    13489   11031   6264    195 142.53
216.72/216.87	c    27910    163     6539   306383   46    13761   12135   6466    194 143.32
216.72/216.87	c    28162    163     7043   328717   46    14741   13349   6970    194 145.00
216.72/216.87	c    28638    163     7995   380157   47    16588   14684   7922    193 147.92
216.72/216.87	c    29452    163     9623   452219   46    19821   16153   9550    192 152.91
216.72/216.87	c    30773    163    12240   616774   50    25273   17769  12167    192 160.10
216.72/216.87	c    32855    163    16400   938237   57    33526   19546  16327    193 169.88
216.72/216.87	c    36079    163    13007   769501   59    26547   21501  12934    192 187.59
216.72/216.87	c    41015    163    11999   705133   58    24515   23652  11926    190 215.30
216.72/216.87	o 15764	216.801 * 
933.97/934.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
933.97/934.33	c    41347    163    12639   775433   61    26372   11031  12566    190 216.80
933.97/934.33	c    41449    163     5793   307863   53    12376   12135   5720    190 217.65
933.97/934.33	c    41699    163     6293   340793   54    13219   13349   6220    190 219.12
933.97/934.33	c    42175    163     7245   380092   52    15107   14684   7172    189 222.14
933.97/934.33	c    42991    163     8877   460281   51    18270   16153   8804    189 226.88
933.97/934.33	c    44319    163    11533   573732   49    23575   17769  11460    188 234.61
933.97/934.33	c    46402    163    15699   791373   50    31889   19546  15626    188 245.84
933.97/934.33	c    49630    163    12319   683105   55    25172   21501  12246    188 263.15
933.97/934.33	c    54567    163    11310   610167   53    23105   23652  11237    187 291.05
933.97/934.33	c    62073    163    13389   692002   51    27269   26018  13316    186 332.68
933.97/934.33	c    73434    163    20917  1048781   50    42334   28620  20844    183 399.96
933.97/934.33	c    90578    163    19447  1008289   51    39402   31483  19374    179 504.67
933.97/934.33	c   116398    163    27616  2647521   95    56131   34632  27543    180 643.28
933.97/934.33	c   155232    163    11236   697677   62    22953   38096  11163    172 898.13
933.97/934.33	o 15748	934.007 * 
1668.31/1668.99	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1668.31/1668.99	c   161012    163    21363  1271970   59    44246   11031  21290    172 934.01
1668.31/1668.99	c   161112    163     5790   311922   53    12498   12135   5717    172 936.65
1668.31/1668.99	c   161362    163     6290   336986   53    13256   13349   6217    171 938.40
1668.31/1668.99	c   161837    163     7240   380173   52    15013   14684   7167    171 941.48
1668.31/1668.99	c   162652    163     8870   458021   51    18259   16153   8797    171 946.67
1668.31/1668.99	c   163973    163    11512   591434   51    23546   17769  11439    171 954.09
1668.31/1668.99	c   166056    163    15678   838119   53    31858   19546  15605    171 965.67
1668.31/1668.99	c   169281    163    12273   796623   64    25090   21501  12200    172 984.18
1668.31/1668.99	c   174217    163    11249   770936   68    22978   23652  11176    172 1011.51
1668.31/1668.99	c   181725    163    12732  1110084   87    26177   26018  12659    173 1045.84
1668.31/1668.99	c   193086    163    20280  1334828   65    41065   28620  20207    174 1109.16
1668.31/1668.99	c   210239    163    18937  1318232   69    39157   31483  18864    174 1207.84
1668.41/1669.08	c   236058    163    29583  1797463   60    59651   34632  29510    173 1360.71
1668.41/1669.08	c   274890    163    12755   795302   62    26001   38096  12682    171 1604.92
1668.41/1669.08	o 15746	1668.41 * 
1800.08/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.08/1800.70	c   286039    163    35054  2007112   57    71391   11031  34981    171 1668.41
1800.08/1800.70	c   286140    163     5792   345248   59    12479   12135   5719    171 1672.69
1800.08/1800.70	c   286394    163     6300   375802   59    13308   13349   6227    171 1674.38
1800.08/1800.70	c   286873    163     7258   434979   59    15075   14684   7185    171 1677.40
1800.08/1800.70	c   287687    163     8886   519376   58    18284   16153   8813    170 1682.61
1800.08/1800.70	c   289008    163    11528   646539   56    23571   17769  11455    170 1690.37
1800.08/1800.70	c   291090    163    15692   898604   57    31877   19546  15619    171 1701.95
1800.08/1800.70	c   294316    163    12297   758445   61    25105   21501  12224    171 1718.85
1800.08/1800.70	c   299257    163    11300   711211   62    23352   23652  11227    171 1746.57
1800.08/1800.70	c   306766    163    13328   828649   62    27219   26018  13255    171 1787.15
1800.08/1800.70	c Caught signal: 15
1800.08/1800.70	v x1 -x12 -x23 x34 -x45 -x116 -x161 -x162 -x163 x2 -x3 -x4 -x5 x6 x7 -x8 x9 x10 -x11 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22
1800.08/1800.70	v -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x35 x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 x51 -x52
1800.08/1800.70	v x53 x54 x55 x56 x57 -x58 -x59 -x60 -x61 x62 x63 -x64 -x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 x80 -x81
1800.08/1800.70	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 x89 -x90 x91 -x92 -x93 x94 -x95 -x96 x97 x98 -x99 x100 x101 -x102 -x103 -x104 -x105 x106 -x107
1800.08/1800.70	v x108 -x109 x110 x111 -x112 x113 -x114 -x115 x117 x118 x119 x120 x121 x122 x123 -x124 -x125 -x126 -x127 x128 x129 x130 x131 x132
1800.08/1800.70	v x133 x134 x135 -x136 -x137 -x138 -x139 x140 x141 x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 x151 -x152 -x153 -x154
1800.08/1800.70	v x155 x156 -x157 -x158 -x159 -x160
1800.08/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.08/1800.70	c   88   309086    898   315183    17968  1065093  17895    171 1800.08
1800.08/1800.70	c Objective: 15746
1800.08/1800.70	s SATISFIABLE
1800.08/1800.70	c Total time: 1800.08 s

Verifier Data (download as text)

OK	15746

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node58/watcher-432818-1177950235 -o ROOT/results/node58/solver-432818-1177950235 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/432818-1177950235/instance-432818-1177950235.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 30082
/proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=11788 CPUtime=0
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 242933229 12070912 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5305979 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 2947 333 280 324 0 2004 0

[startup+0.011396 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 30082
/proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=11920 CPUtime=0
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 388 0 0 0 0 0 0 0 18 0 1 0 242933229 12206080 358 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134525337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 2980 358 290 324 0 2037 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11920

[startup+0.10141 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 30082
/proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=13236 CPUtime=0.09
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1414 0 0 0 9 0 0 0 18 0 1 0 242933229 13553664 633 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 3309 633 392 324 0 2379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13236

[startup+0.301442 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 30082
/proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=12380 CPUtime=0.29
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3574 0 0 0 28 1 0 0 19 0 1 0 242933229 12677120 613 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 3095 613 392 324 0 2165 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12380

[startup+0.702513 s]
/proc/loadavg: 0.91 0.97 0.91 3/64 30082
/proc/meminfo: memFree=1769472/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=5440 CPUtime=0.69
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 8698 0 0 0 66 3 0 0 22 0 1 0 242933229 5570560 635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313589 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 1360 636 393 324 0 430 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5440

[startup+1.50164 s]
/proc/loadavg: 0.91 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1768056/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=5788 CPUtime=1.49
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 11764 0 0 0 144 5 0 0 25 0 1 0 242933229 5926912 833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134802661 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 1447 833 393 324 0 517 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5788

[startup+3.10191 s]
/proc/loadavg: 0.91 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1767416/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=5792 CPUtime=3.09
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 16933 0 0 0 301 8 0 0 25 0 1 0 242933229 5931008 889 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 1448 889 393 324 0 518 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5792

[startup+6.30145 s]
/proc/loadavg: 0.92 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1766520/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=6448 CPUtime=6.29
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 29978 0 0 0 614 15 0 0 25 0 1 0 242933229 6602752 1058 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709766 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 1612 1058 393 324 0 682 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6448

[startup+12.7015 s]
/proc/loadavg: 0.93 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1764344/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=9324 CPUtime=12.69
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 58249 0 0 0 1240 29 0 0 25 0 1 0 242933229 9547776 1733 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 2331 1733 393 324 0 1401 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 9324

[startup+25.5017 s]
/proc/loadavg: 0.94 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1757112/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=16184 CPUtime=25.49
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 119332 0 0 0 2488 61 0 0 25 0 1 0 242933229 16572416 3441 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 4046 3441 393 324 0 3116 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16184

[startup+51.1019 s]
/proc/loadavg: 0.96 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1756216/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=16540 CPUtime=51.08
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 244083 0 0 0 4979 129 0 0 25 0 1 0 242933229 16936960 3602 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 4135 3602 393 324 0 3205 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16540

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1749816/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=23876 CPUtime=102.26
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 591174 0 0 0 9906 320 0 0 25 0 1 0 242933229 24449024 5219 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134802116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 5969 5219 393 324 0 5039 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 23876

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1748280/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=24448 CPUtime=162.24
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 911180 0 0 0 15719 505 0 0 25 0 1 0 242933229 25034752 5587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 6112 5587 393 324 0 5182 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24448

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1748216/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=24880 CPUtime=222.21
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1191190 0 0 0 21540 681 0 0 25 0 1 0 242933229 25477120 5590 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5307470 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 6220 5591 393 324 0 5290 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 24880

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1748216/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=24448 CPUtime=282.19
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1438766 0 0 0 27373 846 0 0 25 0 1 0 242933229 25034752 5587 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135447481 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 6112 5587 393 324 0 5182 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 24448

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1748216/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=25000 CPUtime=342.18
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1687836 0 0 0 33202 1016 0 0 25 0 1 0 242933229 25600000 5596 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135306433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 6250 5596 393 324 0 5320 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 25000

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1748024/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=24660 CPUtime=402.15
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 1947434 0 0 0 39035 1180 0 0 25 0 1 0 242933229 25251840 5629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134709512 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 6165 5629 393 324 0 5235 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 24660

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1747000/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=26356 CPUtime=462.13
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 2275236 0 0 0 44831 1382 0 0 25 0 1 0 242933229 26988544 5882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135254637 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 6623 5883 393 324 0 5693 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 26356

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1741240/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=32412 CPUtime=522.11
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 2664792 0 0 0 50600 1611 0 0 25 0 1 0 242933229 33189888 7376 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135313361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 8103 7376 393 324 0 7173 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 32412

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1727224/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=45604 CPUtime=582.09
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 2938618 0 0 0 56439 1770 0 0 25 0 1 0 242933229 46698496 10873 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11401 10873 393 324 0 10471 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 45604

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30083
/proc/meminfo: memFree=1726008/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=46572 CPUtime=642.07
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3193796 0 0 0 62274 1933 0 0 25 0 1 0 242933229 47689728 11118 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134765479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11643 11118 393 324 0 10713 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 46572


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

/proc/meminfo: memFree=1724728/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1061.92
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 103958 2234 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707423 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 47840

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724728/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1121.91
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 109956 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135227219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 47840

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724792/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1181.88
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 115953 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134700381 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 47840

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724792/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1241.86
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 121951 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 47840

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724792/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1301.84
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 127949 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 135157619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 47840

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1361.82
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 133947 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 47840

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1421.8
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 139945 2235 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 47840

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1481.78
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 145942 2236 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706323 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 47840

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724920/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1541.76
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 151940 2236 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134705479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 47840

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724920/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47836 CPUtime=1601.73
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 157937 2236 0 0 25 0 1 0 242933229 48984064 11434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134706548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11959 11434 393 324 0 11029 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 47836

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47836 CPUtime=1661.71
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665979 0 0 0 163935 2236 0 0 25 0 1 0 242933229 48984064 11434 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11959 11434 393 324 0 11029 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 47836

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724920/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47840 CPUtime=1721.7
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665980 0 0 0 169933 2237 0 0 25 0 1 0 242933229 48988160 11435 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11960 11435 393 324 0 11030 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 47840

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724920/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47820 CPUtime=1781.68
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665980 0 0 0 175931 2237 0 0 25 0 1 0 242933229 48967680 11430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134707024 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11955 11430 393 324 0 11025 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 47820



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47820 CPUtime=1800.08
/proc/30082/stat : 30082 (bsolo3.0.17) R 30080 30082 29232 0 -1 4194304 3665980 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48967680 11430 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134694785 0 0 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11955 11430 393 324 0 11025 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 47820

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

Sending SIGKILL to process tree (bottom up)

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

[startup+1801.4 s]
/proc/loadavg: 0.99 0.97 0.91 2/65 30085
/proc/meminfo: memFree=1724856/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47824 CPUtime=1800.08
/proc/30082/stat : 30082 (bsolo3.0.17) S 30080 30082 29232 0 -1 4194304 3665981 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48971776 11431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11956 11431 393 324 0 11026 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 47824

[startup+1802.2 s]
/proc/loadavg: 0.99 0.97 0.91 1/66 30086
/proc/meminfo: memFree=1724848/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47824 CPUtime=1800.08
/proc/30082/stat : 30082 (bsolo3.0.17) S 30080 30082 29232 0 -1 4194304 3665981 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48971776 11431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11956 11431 393 324 0 11026 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 47824

[startup+1802.6 s]
/proc/loadavg: 0.99 0.97 0.91 1/66 30086
/proc/meminfo: memFree=1724848/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47824 CPUtime=1800.08
/proc/30082/stat : 30082 (bsolo3.0.17) S 30080 30082 29232 0 -1 4194304 3665981 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48971776 11431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11956 11431 393 324 0 11026 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 47824

[startup+1802.7 s]
/proc/loadavg: 0.99 0.97 0.91 1/66 30086
/proc/meminfo: memFree=1724848/2055920 swapFree=4184532/4192956
[pid=30082] ppid=30080 vsize=47824 CPUtime=1800.08
/proc/30082/stat : 30082 (bsolo3.0.17) S 30080 30082 29232 0 -1 4194304 3665981 0 0 0 177771 2237 0 0 25 0 1 0 242933229 48971776 11431 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/30082/statm: 11956 11431 393 324 0 11026 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 47824

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.72
CPU time (s): 1800.09
CPU user time (s): 1777.71
CPU system time (s): 22.3826
CPU usage (%): 99.8543
Max. virtual memory (cumulated for all children) (KiB): 48712

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.71
system time used= 22.3826
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3665981
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= 13
involuntary context switches= 2825

runsolver used 1.38179 second user time and 3.54746 second system time

The end

Launcher Data (download as text)

Begin job on node58 on Mon Apr 30 16:23:55 UTC 2007

IDJOB= 432818
IDBENCH= 1848
IDSOLVER= 199
FILE ID= node58/432818-1177950235

PBS_JOBID= 4727811

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/432818-1177950235/instance-432818-1177950235.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node58/watcher-432818-1177950235 -o ROOT/results/node58/solver-432818-1177950235 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/432818-1177950235/instance-432818-1177950235.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  687e90f40c46b53feec9c54ee9b43fa6

RANDOM SEED= 951070626

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node58.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.265
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1769880 kB
Buffers:         35632 kB
Cached:         169544 kB
SwapCached:       2428 kB
Active:          82952 kB
Inactive:       132600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1769880 kB
SwapTotal:     4192956 kB
SwapFree:      4184532 kB
Dirty:            6628 kB
Writeback:           0 kB
Mapped:          16924 kB
Slab:            56568 kB
Committed_AS:  1227568 kB
PageTables:       1384 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node58 on Mon Apr 30 16:53:58 UTC 2007