Trace number 455481

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)-12 1800.15 1800.83

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_5.opb
MD5SUM996170804397234947041ed4d87d3aa0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-59
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 -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5056
Sum of products size (including duplicates)10112
Number of different products2528
Sum of products size5056

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/455481-1178044281/instance-455481-1178044281.opb
0.00/0.00	c File size is 75371 bytes.
0.03/0.05	c Highest Coefficient sum: 400
0.03/0.05	c Parsing was ok!!
0.03/0.05	c Total parsing time: 0.047 s
0.03/0.05	c Var: 5456 Constr: 10714 5256/402/5056 Lit: 36592 Watch. Lit: 31138
0.03/0.05	c Obj. Vars: 200 (3.66569 % of total variables)
2.29/2.32	c Pre-processing Time: 2.322 s
2.29/2.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.32	c        0   5456    10714    36592    3    31138   54477      0      0 2.32
2.29/2.32	c Switching off LPR mode.
2.29/2.33	o -1	2.327
2.29/2.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.33	c        0   5456    10715    36792    3    31141   54610      1      0 2.33
2.29/2.33	o -2	2.333
2.29/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.34	c        0   5456    10716    36992    3    31145   54810      2      0 2.33
2.29/2.34	o -3	2.338
2.29/2.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.34	c        0   5456    10717    37192    3    31150   55077      3      0 2.34
2.29/2.34	o -4	2.344
2.29/2.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.35	c        0   5456    10718    37392    3    31156   55410      4      0 2.35
2.29/2.35	o -5	2.349
2.29/2.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.35	c        0   5456    10719    37592    3    31163   55810      5      0 2.35
2.29/2.35	o -6	2.355
2.29/2.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.36	c        0   5456    10720    37792    3    31171   56277      6      0 2.36
2.29/2.36	o -7	2.361
2.29/2.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.29/2.37	c        0   5456    10721    37992    3    31180   56810      7      0 2.36
2.29/2.37	o -8	2.37
2.69/2.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
2.69/2.77	c        2   5456    10724    38635    3    31194   56877     10      0 2.37
2.69/2.77	c      102   5456    10824    62399    5    31394   62565    110     40 2.50
2.69/2.77	c      352   5456    11074   133144   12    31894   68822    360    129 2.72
2.69/2.77	o -9	2.772
22.18/22.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
22.18/22.23	c      538   5456    11261   171687   15    32277   56943    547    193 2.77
22.18/22.23	c      638   5456    11361   196404   17    32477   62638    647    214 2.98
22.18/22.23	c      888   5456    11611   267973   23    32977   68902    897    268 3.30
22.18/22.23	c     1363   5456    12086   396297   32    33927   75793   1372    340 4.00
22.18/22.23	c     2176   5456    12899   625138   48    35553   83373   2185    419 5.19
22.18/22.23	c     3496   5456    14219   996625   70    38193   91711   3505    473 7.38
22.18/22.23	c     5577   5456    16300  1595916   97    42355  100883   5586    506 11.01
22.18/22.23	c     8800   5456    19523  2467116  126    48801  110972   8809    625 14.06
22.18/22.23	c    13736   5456    24459  4022817  164    58673  122070  13745    706 19.43
22.18/22.23	o -10	22.222
687.14/687.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
687.14/687.46	c    16684   5456    27408  5054497  184    64581   57010  16694    750 22.23
687.14/687.46	c    16784   5456    27508  5079200  184    64781   62712  16794    746 22.50
687.14/687.46	c    17035   5456    27759  5152918  185    65283   68984  17045    739 23.04
687.14/687.46	c    17510   5456    28234  5272356  186    66233   75883  17520    727 24.07
687.14/687.46	c    18323   5456    29047  5491641  189    67859   83472  18333    710 25.77
687.14/687.46	c    19643   5456    30367  5844795  192    70499   91820  19653    701 27.98
687.14/687.46	c    21724   5456    32448  6441829  198    74661  101003  21734    684 31.73
687.14/687.46	c    24947   5456    35671  7367475  206    81107  111104  24957    679 36.69
687.14/687.46	c    29883   5456    40607  8869722  218    90979  122215  29893    701 42.59
687.14/687.46	c    37389   5456    48113 10516601  218   105991  134437  37399    774 48.28
687.14/687.46	c    48750   5456    59474 13209541  222   128713  147881  48760    713 68.29
687.14/687.46	c    65894   5456    76618 17973177  234   163001  162670  65904    582 113.05
687.14/687.46	c    91713   5456   102437 25791443  251   214639  178938  91723    455 201.57
687.14/687.46	c   130545   5456   141269 36647595  259   292303  196832 130555    356 366.68
687.14/687.46	c   188897   5456   199621 53973945  270   409007  216516 188907    294 641.17
687.14/687.46	o -11	687.207
1150.48/1150.92	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1150.48/1150.92	c   199742   5456   210467 57373428  272   430710   57077 199753    290 687.21
1150.48/1150.92	c   199842   5456    23822  4060140  170    57365   62785  13108    197 1012.30
1150.48/1150.92	c   200092   5456    24072  4122647  171    57865   69064  13358    197 1013.00
1150.48/1150.92	c   200567   5456    24547  4252415  173    58815   75971  13833    197 1014.28
1150.48/1150.92	c   201380   5456    25360  4477576  176    60441   83569  14646    198 1016.39
1150.48/1150.92	c   202700   5456    26680  4853064  181    63081   91926  15966    198 1019.72
1150.48/1150.92	c   204781   5456    28761  5410505  188    67243  101119  18047    200 1023.84
1150.48/1150.92	c   208004   5456    31984  6337854  198    73689  111231  21270    202 1028.99
1150.48/1150.92	c   212940   5456    36920  7826371  211    83561  122355  26206    205 1035.02
1150.48/1150.92	c   220446   5456    44426  9593260  215    98573  134591  33712    210 1047.76
1150.48/1150.92	c   231807   5456    55787 13010510  233   121295  148051  45073    214 1079.24
1150.48/1150.92	c   248951   5456    72931 17986960  246   155583  162857  62217    220 1127.69
1150.48/1150.92	o -12	1150.5
1800.02/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.02/1800.71	c   258316   5456    82297 20769636  252   174327   55343  71583    224 1150.51
1800.02/1800.71	c   258416   5456    22846  3552832  155    55414   60878  12132    221 1166.14
1800.02/1800.71	c   258666   5456    23096  3619215  156    55914   66966  12382    221 1166.65
1800.02/1800.71	c   259141   5456    23571  3742876  158    56864   73663  12857    221 1167.54
1800.02/1800.71	c   259954   5456    24384  3950211  162    58490   81030  13670    222 1168.81
1800.02/1800.71	c   261274   5456    25704  4304947  167    61130   89134  14990    223 1171.16
1800.02/1800.71	c   263355   5456    27785  4873793  175    65292   98048  17071    224 1174.44
1800.02/1800.71	c   266578   5456    31008  5757934  185    71738  107853  20294    226 1178.77
1800.02/1800.71	c   271514   5456    35944  7133731  198    81610  118639  25230    229 1184.08
1800.02/1800.71	c   279020   5456    43450  8987060  206    96622  130503  32736    232 1199.15
1800.02/1800.71	c   290381   5456    54811 12066962  220   119344  143554  44097    238 1215.39
1800.02/1800.71	c   307525   5456    71955 17035708  236   153632  157910  61241    243 1262.64
1800.02/1800.71	c   333344   5456    97774 23182674  237   205270  173702  87060    255 1305.72
1800.02/1800.71	c   372176   5456   136606 32998812  241   282934  191073 125892    264 1407.45
1800.02/1800.71	c   430528   5456   194958 48368179  248   399638  210181 184244    258 1667.23
1800.02/1800.71	c Caught signal: 15
1800.02/1800.71	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
1800.02/1800.71	v -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56
1800.02/1800.71	v -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 -x82
1800.02/1800.71	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106
1800.02/1800.71	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1800.02/1800.71	v -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1800.02/1800.71	v -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169
1800.02/1800.71	v -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1800.02/1800.71	v -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x276 -x366 -x211 -x273 -x277 -x233 -x321 -x250 -x274 -x382 -x212
1800.02/1800.71	v -x222 -x247 -x248 -x258 -x272 -x322 -x201 x227 x249 -x261 x399 -x221 x229 -x287 x215 -x206 -x205 x232 -x343 -x355 -x367 -x377
1800.02/1800.71	v -x202 -x280 -x374 -x332 -x384 -x253 -x368 -x347 -x328 -x237 -x265 -x203 -x285 -x309 -x400 -x362 -x341 -x254 -x238 -x266 -x290
1800.02/1800.71	v -x204 -x214 x236 -x224 -x208 -x294 -x216 -x223 -x353 -x372 -x386 -x389 -x354 -x324 -x228 x390 -x243 -x317 -x282 -x298 -x342
1800.02/1800.71	v -x381 -x234 -x269 -x289 -x340 x251 -x291 -x345 -x288 -x210 -x267 -x316 -x336 -x352 -x391 -x207 -x304 -x275 -x279 -x264 -x219
1800.02/1800.71	v -x295 -x235 -x392 -x359 -x379 -x225 -x252 -x299 -x383 -x209 -x344 -x315 -x320 -x302 -x371 -x259 -x318 -x351 -x313 -x325 -x263
1800.02/1800.71	v -x270 -x397 -x333 -x308 -x330 x373 -x327 -x395 -x281 -x346 -x369 -x380 -x213 -x268 -x396 -x278 -x242 -x293 -x319 -x364 -x335
1800.02/1800.71	v -x284 -x358 -x256 -x226 -x244 -x365 -x217 -x218 -x300 -x337 -x376 -x311 -x326 -x339 -x307 x329 -x246 -x312 -x348 -x286 -x310
1800.02/1800.71	v -x314 -x338 x296 -x230 -x241 -x220 -x361 -x357 -x245 -x301 -x305 -x388 -x349 -x257 -x393 -x323 -x356 -x292 -x334 -x306 -x231
1800.02/1800.71	v -x297 -x370 -x283 -x260 -x350 -x239 -x360 -x271 -x255 -x240 -x394 -x303 -x331 -x398 -x387 -x262 -x375 -x363 -x378 -x385
1800.02/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.02/1800.71	c   61   461543    139   511051   223903 56311666 213189    256 1800.03
1800.02/1800.71	c Objective: -12
1800.02/1800.71	s SATISFIABLE
1800.02/1800.71	c Total time: 1800.03 s

Verifier Data (download as text)

OK	-12

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node20/watcher-455481-1178044281 -o ROOT/results/node20/solver-455481-1178044281 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455481-1178044281/instance-455481-1178044281.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.92 0.98 0.99 3/77 19131
/proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=11812 CPUtime=0
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 362 0 0 0 0 0 0 0 18 0 1 0 252345498 12095488 332 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 2953 332 279 324 0 2004 0

[startup+0.036528 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19131
/proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=5100 CPUtime=0.03
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 659 0 0 0 3 0 0 0 18 0 1 0 252345498 5222400 629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 1275 629 300 324 0 326 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5100

[startup+0.101539 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19131
/proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=6816 CPUtime=0.09
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 1091 0 0 0 9 0 0 0 18 0 1 0 252345498 6979584 1042 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 1704 1042 304 324 0 774 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6816

[startup+0.30158 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19131
/proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=6816 CPUtime=0.29
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 1092 0 0 0 29 0 0 0 19 0 1 0 252345498 6979584 1043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 1704 1043 304 324 0 774 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6816

[startup+0.701659 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 19131
/proc/meminfo: memFree=1725912/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=6816 CPUtime=0.69
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 1092 0 0 0 69 0 0 0 23 0 1 0 252345498 6979584 1043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 1704 1043 304 324 0 774 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6816

[startup+1.50182 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1722832/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=6816 CPUtime=1.49
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 1092 0 0 0 149 0 0 0 25 0 1 0 252345498 6979584 1043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 1704 1043 304 324 0 774 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6816

[startup+3.10114 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1722704/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=9404 CPUtime=3.09
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 2002 0 0 0 307 2 0 0 25 0 1 0 252345498 9629696 1717 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 2351 1717 310 324 0 1421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9404

[startup+6.30178 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1714384/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=17124 CPUtime=6.29
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 3927 0 0 0 626 3 0 0 25 0 1 0 252345498 17534976 3642 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 4281 3642 310 324 0 3351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17124

[startup+12.7011 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1698904/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=32804 CPUtime=12.69
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 7845 0 0 0 1263 6 0 0 25 0 1 0 252345498 33591296 7560 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 8201 7560 310 324 0 7271 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32804

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1652248/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=77748 CPUtime=25.48
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 19087 0 0 0 2537 11 0 0 25 0 1 0 252345498 79613952 18802 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 19437 18802 310 324 0 18507 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77748

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1576920/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=154156 CPUtime=51.07
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 38209 0 0 0 5086 21 0 0 25 0 1 0 252345498 157855744 37924 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 38539 37925 310 324 0 37609 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 154156

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1494680/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=234240 CPUtime=102.25
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 58217 0 0 0 10189 36 0 0 25 0 1 0 252345498 239861760 57932 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 58560 57932 310 324 0 57630 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 234240

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1434840/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=294372 CPUtime=162.23
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 73259 0 0 0 16175 48 0 0 25 0 1 0 252345498 301436928 72974 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 73593 72974 310 324 0 72663 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 294372

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1370200/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=358588 CPUtime=222.2
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 89290 0 0 0 22158 62 0 0 25 0 1 0 252345498 367194112 89005 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 89647 89005 310 324 0 88717 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 358588

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1308568/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=420684 CPUtime=282.18
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 104816 0 0 0 28142 76 0 0 25 0 1 0 252345498 430780416 104531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 105171 104531 310 324 0 104241 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 420684

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1250712/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=477868 CPUtime=342.16
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 119121 0 0 0 34130 86 0 0 25 0 1 0 252345498 489336832 118836 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 119467 118836 310 324 0 118537 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 477868

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1221592/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=507544 CPUtime=402.14
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 126538 0 0 0 40121 93 0 0 25 0 1 0 252345498 519725056 126253 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571839 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 126886 126253 310 324 0 125956 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 507544

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1171352/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=557168 CPUtime=462.12
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 138939 0 0 0 46107 105 0 0 25 0 1 0 252345498 570540032 138654 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 139292 138655 310 324 0 138362 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 557168

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1126552/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=602652 CPUtime=522.1
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 150323 0 0 0 52094 116 0 0 25 0 1 0 252345498 617115648 150038 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 150663 150038 310 324 0 149733 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 602652

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19132
/proc/meminfo: memFree=1066968/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=661396 CPUtime=582.08
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 164993 0 0 0 58079 129 0 0 25 0 1 0 252345498 677269504 164708 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 165349 164708 310 324 0 164419 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 661396

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=1013976/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=713964 CPUtime=642.06
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 178135 0 0 0 64061 145 0 0 25 0 1 0 252345498 731099136 177850 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 178491 177850 310 324 0 177561 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 713964


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=881.97
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 88041 156 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 757684

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=941.95
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 94039 156 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 757684

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1001.93
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 100036 157 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 757684

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1061.91
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 106034 157 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 757684

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1121.88
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 112031 157 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 757684

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1181.87
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 118029 158 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 757684

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1241.84
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 124026 158 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 757684

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970136/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1301.83
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 130024 159 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550657 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 757684

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1361.8
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 136021 159 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 757684

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970008/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1421.79
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 142019 160 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 757684

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970008/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1481.76
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 148016 160 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 757684

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1541.74
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 154013 161 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572562 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 757684

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970072/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1601.72
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 160011 161 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 757684

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970008/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1661.7
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 166008 162 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 8052371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 757684

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 19134
/proc/meminfo: memFree=970008/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757684 CPUtime=1721.67
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189286 0 0 0 172005 162 0 0 25 0 1 0 252345498 775868416 188805 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189421 188805 310 324 0 188491 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 757684

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 19160
/proc/meminfo: memFree=968864/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757744 CPUtime=1781.65
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189512 0 0 0 178002 163 0 0 25 0 1 0 252345498 775929856 188820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189436 188820 310 324 0 188506 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 757744



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 19250
/proc/meminfo: memFree=968608/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=757744 CPUtime=1800.02
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194304 189512 0 0 0 179839 163 0 0 25 0 1 0 252345498 775929856 188820 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 189436 188820 310 324 0 188506 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 757744

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 19250
/proc/meminfo: memFree=968608/2055920 swapFree=4154876/4192956
[pid=19131] ppid=19129 vsize=0 CPUtime=1800.12
/proc/19131/stat : 19131 (bsolo3.0.17) R 19129 19131 25535 0 -1 4194308 189516 0 0 0 179839 173 0 0 25 0 1 0 252345498 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/19131/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1800.83
CPU time (s): 1800.15
CPU user time (s): 1798.39
CPU system time (s): 1.75373
CPU usage (%): 99.9622
Max. virtual memory (cumulated for all children) (KiB): 758588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.39
system time used= 1.75373
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189516
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= 12
involuntary context switches= 37265

runsolver used 1.42678 second user time and 3.84042 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue May  1 18:31:22 UTC 2007

IDJOB= 455481
IDBENCH= 48266
IDSOLVER= 199
FILE ID= node20/455481-1178044281

PBS_JOBID= 4728447

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/455481-1178044281/instance-455481-1178044281.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-455481-1178044281 -o ROOT/results/node20/solver-455481-1178044281 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/455481-1178044281/instance-455481-1178044281.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  996170804397234947041ed4d87d3aa0

RANDOM SEED= 223740961

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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:       1726256 kB
Buffers:        104228 kB
Cached:         128680 kB
SwapCached:      16448 kB
Active:         180256 kB
Inactive:        82732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1726256 kB
SwapTotal:     4192956 kB
SwapFree:      4154876 kB
Dirty:            6672 kB
Writeback:           0 kB
Mapped:          35144 kB
Slab:            52212 kB
Committed_AS:  5462840 kB
PageTables:       1756 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 node20 on Tue May  1 19:01:24 UTC 2007