Trace number 455316

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 (MO)-36 1379.61 1380

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_25_1.opb
MD5SUM02054528a722e9af7937139e87d0b5ac
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-169
Best CPU time to get the best result obtained on this benchmark1800.24
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -169
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)63280
Sum of products size (including duplicates)126560
Number of different products31640
Sum of products size63280

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/455316-1178041058/instance-455316-1178041058.opb
0.00/0.00	c File size is 943318 bytes.
0.39/0.40	c Highest Coefficient sum: 2000
0.39/0.40	c Parsing was ok!!
0.39/0.40	c Total parsing time: 0.404 s
0.49/0.51	c Var: 65280 Constr: 129562 64280/2002/63280 Lit: 448960 Watch. Lit: 383682
0.49/0.51	c Obj. Vars: 1000 (1.53186 % of total variables)
179.44/179.59	c Pre-processing Time: 179.534 s
179.53/179.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.53/179.60	c        0  65280   129562   448960    3   383682  500000      0      0 179.53
179.53/179.60	c Switching off LPR mode.
179.53/179.68	o -1	179.628
179.73/179.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.73/179.81	c        0  65280   129563   449960    3   383685  500000      1      0 179.66
179.73/179.81	o -2	179.753
179.83/179.93	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.83/179.93	c        0  65280   129564   450960    3   383689  500000      2      0 179.78
179.83/179.93	o -3	179.878
179.93/180.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.93/180.06	c        0  65280   129565   451960    3   383694  500000      3      0 179.91
179.93/180.06	o -4	180.004
180.03/180.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.03/180.19	c        0  65280   129566   452960    3   383700  500000      4      0 180.03
180.03/180.19	o -5	180.131
180.24/180.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.24/180.31	c        0  65280   129567   453960    3   383707  500000      5      0 180.16
180.24/180.31	o -6	180.258
180.34/180.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.34/180.44	c        0  65280   129568   454960    3   383715  500000      6      0 180.29
180.34/180.44	o -7	180.387
180.43/180.57	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.43/180.57	c        0  65280   129569   455960    3   383724  500000      7      0 180.42
180.43/180.57	o -8	180.516
180.63/180.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.63/180.70	c        0  65280   129570   456960    3   383734  500000      8      0 180.55
180.63/180.70	o -9	180.645
180.73/180.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.73/180.83	c        0  65280   129571   457960    3   383745  500000      9      0 180.68
180.73/180.83	o -10	180.775
180.83/180.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.83/180.96	c        0  65280   129572   458960    3   383757  500000     10      0 180.81
180.83/180.96	o -11	180.906
180.93/181.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.93/181.09	c        0  65280   129573   459960    3   383770  500000     11      0 180.94
180.93/181.09	o -12	181.036
181.13/181.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.13/181.22	c        0  65280   129574   460960    3   383784  500000     12      0 181.07
181.13/181.22	o -13	181.167
181.23/181.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.23/181.35	c        0  65280   129575   461960    3   383799  500000     13      0 181.20
181.23/181.35	o -14	181.299
181.34/181.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.34/181.49	c        0  65280   129576   462960    3   383815  500000     14      0 181.33
181.34/181.49	o -15	181.43
181.53/181.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.53/181.62	c        0  65280   129577   463960    3   383832  500000     15      0 181.46
181.53/181.62	o -16	181.562
181.63/181.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.63/181.75	c        0  65280   129578   464960    3   383850  500000     16      0 181.60
181.63/181.75	o -17	181.694
181.73/181.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.73/181.88	c        0  65280   129579   465960    3   383869  500000     17      0 181.73
181.73/181.88	o -18	181.826
181.93/182.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.93/182.01	c        0  65280   129580   466960    3   383889  500000     18      0 181.86
181.93/182.01	o -19	181.958
182.03/182.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.03/182.15	c        0  65280   129581   467960    3   383910  500000     19      0 181.99
182.03/182.15	o -20	182.091
182.13/182.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.13/182.28	c        0  65280   129582   468960    3   383932  500000     20      0 182.13
182.13/182.28	o -21	182.224
182.33/182.41	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.33/182.41	c        0  65280   129583   469960    3   383955  500000     21      0 182.26
182.33/182.41	o -22	182.357
182.43/182.55	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.43/182.55	c        0  65280   129584   470960    3   383979  500000     22      0 182.39
182.43/182.55	o -23	182.49
182.53/182.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.53/182.68	c        0  65280   129585   471960    3   384004  500000     23      0 182.53
182.53/182.68	o -24	182.624
182.73/182.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.73/182.81	c        0  65280   129586   472960    3   384030  500000     24      0 182.66
182.73/182.81	o -25	182.758
182.83/182.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.83/182.95	c        0  65280   129587   473960    3   384057  500000     25      0 182.79
182.83/182.95	o -26	182.891
182.93/183.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
182.93/183.08	c        0  65280   129588   474960    3   384085  500000     26      0 182.93
182.93/183.08	o -27	183.026
183.13/183.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.13/183.22	c        0  65280   129589   475960    3   384114  500000     27      0 183.06
183.13/183.22	o -28	183.16
183.23/183.35	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.23/183.35	c        0  65280   129590   476960    3   384144  500000     28      0 183.20
183.23/183.35	o -29	183.295
183.33/183.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.33/183.49	c        0  65280   129591   477960    3   384175  500000     29      0 183.33
183.33/183.49	o -30	183.429
183.53/183.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.53/183.62	c        0  65280   129592   478960    3   384207  500000     30      0 183.47
183.53/183.62	o -31	183.564
183.63/183.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.63/183.75	c        0  65280   129593   479960    3   384240  500000     31      0 183.60
183.63/183.75	o -32	183.698
183.73/183.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.73/183.89	c        0  65280   129594   480960    3   384274  500000     32      0 183.73
183.73/183.89	o -33	183.833
184.03/184.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
184.03/184.11	c        0  65280   129595   481960    3   384309  500000     33      0 183.87
184.03/184.11	o -34	184.051
249.31/249.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
249.31/249.43	c        2  65280   129598   485594    3   384349  500000     36      0 184.09
249.31/249.43	c      102  65280   129698   599214    4   384549  550001    136      0 185.64
249.31/249.43	c      352  65280   129948   880882    6   385049  605002    386      1 191.44
249.31/249.43	c      827  65280   130423  1438812   11   385999  665503    861      4 200.23
249.31/249.43	c     1640  65280   131236  2485599   18   387625  732054   1674      7 218.21
249.31/249.43	c     2960  65280   132556  4355191   32   390265  805260   2994     12 236.34
249.31/249.43	o -35	249.357
535.64/535.82	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
535.64/535.82	c     4552  65280   134149  7023966   52   393486  500000   4587     18 249.41
535.64/535.82	c     4652  65280   134249  7129509   53   393686  550001   4687     18 254.96
535.64/535.82	c     4902  65280   134499  7416254   55   394186  605002   4937     18 264.07
535.64/535.82	c     5377  65280   134974  8088593   59   395136  665503   5412     19 273.28
535.64/535.82	c     6190  65280   135787  9122819   67   396762  732054   6225     21 293.56
535.64/535.82	c     7510  65280   137107 10938915   79   399402  805260   7545     23 322.67
535.64/535.82	c     9591  65280   139188 13646987   98   403564  885787   9626     26 361.62
535.64/535.82	c    12814  65280   142411 17510343  122   410010  974366  12849     29 435.75
535.64/535.82	c    17750  65280   147347 23597536  160   419882  500000  17785     33 533.99
535.64/535.82	o -36	535.666
1379.31/1379.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1379.31/1379.70	c    17948  65280   147546 23942364  162   420316  500000  17984     33 535.72
1379.31/1379.70	c    18048  65280   147646 24042364  162   420516  550001  18084     33 537.35
1379.31/1379.70	c    18298  65280   147896 24292364  164   421016  605002  18334     33 540.24
1379.31/1379.70	c    18773  65280   148371 24767364  166   421966  665503  18809     34 543.32
1379.31/1379.70	c    19586  65280   149184 25584205  171   423592  732054  19622     35 546.40
1379.31/1379.70	c    20906  65280   150504 26910957  178   426232  805260  20942     37 555.69
1379.31/1379.70	c    22987  65280   152585 28999665  190   430394  885787  23023     40 567.33
1379.31/1379.70	c    26210  65280   155808 32225640  206   436840  974366  26246     44 591.48
1379.31/1379.70	c    31146  65280   160744 37171162  231   446712  500000  31182     50 620.63
1379.31/1379.70	c    38652  65280   168250 44731799  265   461724  550001  38688     56 682.50
1379.31/1379.70	c    50013  65280   179611 56167778  312   484446  605002  50049     65 764.09
1379.31/1379.70	c    67157  65280   196755 73455395  373   518734  665503  67193     75 887.25
1379.31/1379.70	c    92976  65280   222574 99490815  447   570372  732054  93012     86 1070.59
1379.31/1379.70	c   131808  65280   261406 138670129  530   648036  805260 131844     97 1358.53
1379.31/1379.70	c Caught signal: 15
1379.31/1379.70	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
1379.31/1379.70	v -x35 x36 x37 x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x55 -x56 x57 -x58 x59 -x60 -x61 -x62
1379.31/1379.70	v -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88
1379.31/1379.70	v -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111
1379.31/1379.70	v -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132
1379.31/1379.70	v -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153
1379.31/1379.70	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174
1379.31/1379.70	v -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195
1379.31/1379.70	v -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216
1379.31/1379.70	v -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237
1379.31/1379.70	v -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258
1379.31/1379.70	v -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279
1379.31/1379.70	v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300
1379.31/1379.70	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321
1379.31/1379.70	v -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342
1379.31/1379.70	v -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363
1379.31/1379.70	v -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384
1379.31/1379.70	v -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405
1379.31/1379.70	v x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426
1379.31/1379.70	v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447
1379.31/1379.70	v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468
1379.31/1379.70	v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489
1379.31/1379.70	v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510
1379.31/1379.70	v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531
1379.31/1379.70	v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552
1379.31/1379.70	v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573
1379.31/1379.70	v -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
1379.31/1379.70	v -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615
1379.31/1379.70	v -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636
1379.31/1379.70	v -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657
1379.31/1379.70	v -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678
1379.31/1379.70	v -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699
1379.31/1379.70	v -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720
1379.31/1379.70	v -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741
1379.31/1379.70	v -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762
1379.31/1379.70	v -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783
1379.31/1379.70	v -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802 -x803 -x804
1379.31/1379.70	v -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825
1379.31/1379.70	v -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846
1379.31/1379.70	v -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865 -x866 -x867
1379.31/1379.70	v -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888
1379.31/1379.70	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907 -x908 -x909
1379.31/1379.70	v -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928 -x929 -x930
1379.31/1379.70	v -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951
1379.31/1379.70	v -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972
1379.31/1379.70	v -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993
1379.31/1379.70	v -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1384 -x1887 -x1778 -x1916 -x1794 -x1336 -x1387 -x1493 -x1650 -x1422 -x1363
1379.31/1379.70	v -x1028 -x1691 -x1060 -x1764 -x1927 -x1541 -x1427 -x1173 -x1737 -x1212 -x1369 -x1568 -x1430 -x1783 -x1034 -x1040 -x1074
1379.31/1379.70	v -x1076 -x1098 -x1296 -x1349 -x1353 -x1490 -x1492 -x1509 -x1579 -x1716 -x1770 -x1910 -x1935 -x1955 -x1001 x1531 -x1863
1379.31/1379.70	v x1124 x1068 -x1136 x1930 x1803 -x1023 -x1059 x1070 x1168 x1394 x1457 -x1012 -x1043 x1230 x1374 x1920 -x1785 x1538 x1199
1379.31/1379.70	v -x1325 x1316 x1371 -x1140 x1167 -x1169 -x1249 -x1306 -x1366 -x1391 x1436 -x1445 x1711 -x1731 -x1745 -x1814 -x1940 -x1002
1379.31/1379.70	v -x1414 -x1527 -x1092 -x1981 -x1957 -x1874 -x1171 -x1997 -x1282 -x1926 -x1085 -x1328 -x1337 -x1506 -x1847 -x1730 -x1314
1379.31/1379.70	v -x1858 -x1125 -x1896 -x1583 -x1546 -x1815 -x1019 -x1026 -x1047 -x1105 -x1118 -x1128 -x1226 -x1285 -x1318 -x1341 -x1367
1379.31/1379.70	v -x1595 -x1602 -x1921 -x1003 -x1368 -x1435 -x1365 -x1044 -x1751 -x1088 -x1809 -x1277 -x1179 -x1789 -x1585 -x1404 -x1652
1379.31/1379.70	v -x1755 -x1400 -x1933 -x1061 -x1677 -x1740 -x1013 -x1227 -x1587 -x1095 -x1540 -x1062 -x1063 -x1110 -x1176 -x1177 -x1303
1379.31/1379.70	v -x1518 -x1525 -x1613 -x1819 -x1979 -x1004 -x1796 -x1571 -x1379 -x1468 -x1903 -x1653 -x1757 -x1302 -x1281 -x1287 -x1442
1379.31/1379.70	v -x1866 -x1690 -x1620 -x1441 -x1032 -x1772 -x1015 -x1075 -x1117 -x1146 -x1204 -x1208 -x1355 -x1432 -x1434 -x1443 -x1530
1379.31/1379.70	v -x1618 -x1647 -x1658 -x1005 -x1482 -x1676 -x1710 -x1928 -x1857 -x1498 -x1354 -x1966 -x1307 -x1684 -x1220 -x1625 -x1529
1379.31/1379.70	v -x1872 -x1733 -x1830 -x1504 -x1020 -x1271 -x1709 -x1080 -x1143 -x1209 -x1292 -x1310 -x1402 -x1461 -x1516 -x1561 -x1693
1379.31/1379.70	v -x1723 -x1735 -x1006 -x1150 -x1797 -x1724 -x1619 -x1246 -x1452 -x1922 -x1556 -x1380 -x1489 -x1765 -x1229 -x1842 -x1351
1379.31/1379.70	v -x1194 -x1501 -x1035 -x1915 -x1988 -x1744 -x1228 -x1030 -x1104 -x1398 -x1421 -x1424 -x1496 -x1515 -x1528 -x1542 -x1598
1379.31/1379.70	v -x1644 -x1671 -x1702 -x1007 -x1860 -x1937 -x1433 -x1552 -x1438 -x1276 -x1408 -x1475 -x1122 -x1859 -x1396 -x1238 -x1236
1379.31/1379.70	v -x1429 -x1144 -x1929 -x1777 -x1405 -x1090 -x1097 -x1161 -x1251 -x1327 -x1345 -x1450 -x1544 -x1573 -x1578 -x1632 -x1721
1379.31/1379.70	v -x1771 -x1795 -x1807 -x1839 -x1008 -x1444 -x1614 -x1539 -x1607 -x1841 -x1905 -x1129 -x1689 -x1370 -x1918 -x1471 -x1184
1379.31/1379.70	v -x1491 -x1500 -x1773 -x1726 -x1645 -x1591 -x1038 -x1083 -x1091 -x1137 -x1163 -x1202 -x1243 -x1485 -x1532 -x1727 -x1787
1379.31/1379.70	v -x1834 -x1989 -x1009 -x1670 -x1543 -x1465 -x1198 -x1508 -x1356 -x1805 -x1612 -x1623 -x1829 -x1300 -x1344 -x1747 -x1569
1379.31/1379.70	v -x1423 -x1312 -x1811 -x1606 -x1802 -x1662 -x1072 -x1170 -x1224 -x1231 -x1364 -x1588 -x1010 -x1879 -x1321 -x1627 -x1523
1379.31/1379.70	v -x1466 -x1417 -x1283 -x1259 -x1925 -x1638 -x1601 -x1037 -x1453 -x1900 -x1551 -x1469 -x1048 -x1119 -x1183 -x1214 -x1275
1379.31/1379.70	v -x1315 -x1399 -x1449 -x1510 -x1575 -x1913 -x1011 -x1974 -x1132 -x1882 -x1931 -x1934 -x1895 -x1661 -x1164 -x1200 -x1982
1379.31/1379.70	v -x1960 -x1774 -x1669 -x1191 -x1096 -x1467 -x1046 -x1051 -x1339 -x1403 -x1458 -x1512 -x1685 -x1377 -x1108 -x1446 -x1180
1379.31/1379.70	v -x1419 -x1888 -x1413 -x1660 -x1211 -x1343 -x1207 -x1714 -x1373 -x1322 -x1073 -x1102 -x1157 -x1201 -x1298 -x1447 -x1641
1379.31/1379.70	v -x1766 -x1784 -x1804 -x1821 -x1856 -x1256 -x1820 -x1600 -x1722 -x1812 -x1941 -x1668 -x1706 -x1151 -x1985 -x1659 -x1225
1379.31/1379.70	v -x1270 -x1397 -x1082 -x1631 -x1293 -x1973 -x1058 -x1086 -x1182 -x1448 -x1825 -x1835 -x1845 -x1853 -x1894 -x1943 -x1014
1379.31/1379.70	v x1673 -x1851 -x1626 x1386 x1223 x1899 x1299 -x1210 -x1582 -x1156 -x1995 -x1274 -x1089 x1113 x1294 x1401 x1428 x1476 x1554
1379.31/1379.70	v x1576 -x1831 x1881 -x1904 -x1861 -x1580 -x1885 -x1994 -x1206 -x1622 -x1505 -x1962 -x1260 -x1945 -x1203 -x1507 -x1022 -x1843
1379.31/1379.70	v -x1869 -x1042 -x1165 -x1263 -x1477 -x1672 -x1680 -x1828 -x1016 -x1190 -x1873 -x1909 -x1959 -x1499 -x1754 -x1304 -x1334
1379.31/1379.70	v -x1134 -x1649 -x1891 -x1798 -x1250 -x1991 -x1324 -x1333 -x1382 -x1425 -x1439 -x1892 -x1975 -x1017 -x1254 -x1893 -x1687
1379.31/1379.70	v -x1126 -x1153 -x1976 -x1189 -x1158 -x1437 -x1415 -x1305 -x1029 -x1749 -x1557 -x1054 -x1077 -x1172 -x1216 -x1317 -x1358
1379.31/1379.70	v -x1599 -x1624 -x1832 -x1890 -x1917 -x1018 -x1698 -x1700 -x1682 -x1648 -x1160 -x1152 -x1536 -x1135 -x1340 -x1630 -x1050
1379.31/1379.70	v -x1965 -x1286 -x1222 -x1233 -x1411 -x1456 -x1758 -x1178 -x1901 -x1239 -x1972 -x1950 -x1290 -x1145 -x1683 -x1570 -x1827
1379.31/1379.70	v -x1262 -x1131 -x1993 -x1361 -x1024 -x1762 -x1426 -x1678 -x1235 -x1615 -x1359 -x1313 -x1101 -x1347 -x1572 -x1584 -x1692
1379.31/1379.70	v -x1021 -x1553 -x1947 -x1291 -x1971 -x1052 -x1081 -x1594 -x1628 -x1215 -x1513 -x1480 -x1418 -x1420 -x1548 -x1581 -x1617
1379.31/1379.70	v -x1611 -x1970 -x1642 -x1621 -x1889 -x1567 -x1261 -x1850 -x1218 -x1519 -x1141 -x1255 -x1330 -x1868 -x1958 -x1946 -x1459
1379.31/1379.70	v -x1484 -x1608 -x1479 -x1472 -x1460 -x1389 -x1234 -x1494 -x1111 -x1142 -x1242 -x1266 -x1381 -x1609 -x1656 -x1840 x1174
1379.31/1379.70	v x1848 -x1463 -x1792 -x1116 -x1522 -x1948 -x1952 -x1049 -x1295 -x1717 -x1824 -x1954 -x1986 -x2000 -x1025 -x1232 -x1741
1379.31/1379.70	v -x1055 -x1031 -x1099 -x1326 -x1517 -x1219 -x1813 -x1978 -x1686 -x1537 -x1071 -x1431 -x1464 -x1555 -x1810 -x1760 -x1912
1379.31/1379.70	v -x1951 -x1237 -x1106 -x1564 -x1245 -x1712 -x1806 -x1376 -x1956 -x1064 -x1123 -x1181 -x1273 -x1478 -x1719 -x1027 -x1590
1379.31/1379.70	v -x1769 -x1919 -x1883 -x1823 -x1983 -x1718 -x1094 -x1127 -x1487 -x1378 -x1763 -x1155 -x1166 -x1284 -x1350 -x1520 -x1781
1379.31/1379.70	v -x1939 -x1776 -x1138 -x1154 -x1944 -x1574 -x1329 -x1837 -x1964 -x1056 -x1331 -x1634 -x1790 -x1605 -x1852 -x1486 -x1196
1379.31/1379.70	v -x1640 -x1121 -x1968 -x1597 -x1280 -x1786 -x1533 -x1197 -x1041 -x1115 -x1335 -x1817 -x1838 -x1996 -x1348 -x1715 -x1205
1379.31/1379.70	v -x1279 -x1393 -x1780 -x1849 -x1822 -x1748 -x1704 -x1654 -x1908 -x1729 -x1036 -x1147 -x1159 -x1311 -x1462 -x1596 -x1865
1379.31/1379.70	v -x1953 -x1033 -x1309 -x1699 -x1992 -x1053 -x1560 -x1114 -x1470 -x1862 -x1969 -x1990 -x1148 -x1788 -x1876 -x1495 -x1604
1379.31/1379.70	v -x1078 -x1192 -x1497 -x1864 -x1488 -x1416 -x1297 -x1826 -x1963 -x1221 -x1410 -x1383 -x1267 -x1087 -x1526 -x1455 -x1610
1379.31/1379.70	v -x1657 -x1688 -x1338 -x1816 -x1854 -x1066 -x1272 -x1674 -x1708 -x1911 -x1977 -x1932 -x1100 -x1566 -x1039 -x1736 -x1185
1379.31/1379.70	v -x1775 -x1998 -x1288 -x1586 -x1635 -x1655 -x1767 -x1694 -x1440 -x1663 -x1483 -x1257 x1320 -x1332 -x1875 -x1791 -x1264
1379.31/1379.70	v -x1342 -x1666 -x1362 -x1084 -x1352 -x1301 -x1639 -x1637 -x1103 -x1818 -x1902 -x1914 -x1761 -x1265 -x1107 -x1907 -x1549
1379.31/1379.70	v -x1878 -x1961 -x1247 -x1651 x1701 -x1808 -x1846 -x1999 -x1045 -x1667 -x1877 -x1193 -x1175 -x1217 -x1473 -x1949 -x1563
1379.31/1379.70	v -x1720 -x1481 -x1357 -x1589 -x1558 -x1906 -x1392 -x1186 -x1308 -x1474 -x1675 -x1664 -x1743 -x1079 -x1388 -x1514 -x1187
1379.31/1379.70	v -x1713 -x1372 -x1545 -x1734 -x1800 -x1451 -x1705 -x1112 -x1289 -x1385 -x1629 -x1093 -x1665 -x1130 -x1503 -x1746 -x1258
1379.31/1379.70	v -x1550 -x1646 -x1139 -x1884 -x1616 -x1057 -x1268 -x1833 -x1636 -x1069 -x1319 -x1559 -x1782 -x1742 -x1938 -x1801 -x1524
1379.31/1379.70	v -x1252 -x1752 -x1592 -x1725 -x1923 -x1987 -x1562 -x1188 -x1395 -x1681 -x1753 -x1696 -x1067 -x1412 -x1779 -x1836 -x1967
1379.31/1379.70	v -x1213 -x1871 -x1898 -x1409 -x1880 -x1065 -x1502 -x1679 -x1547 -x1703 -x1535 -x1870 -x1697 -x1603 -x1942 -x1855 -x1739
1379.31/1379.70	v -x1346 -x1133 -x1390 -x1867 -x1984 -x1799 -x1521 -x1195 -x1750 -x1980 -x1756 -x1924 -x1269 -x1375 -x1534 -x1695 -x1240
1379.31/1379.70	v -x1577 -x1162 -x1768 -x1278 -x1253 -x1759 -x1633 -x1360 -x1565 -x1511 -x1886 -x1897 -x1109 -x1593 -x1738 -x1406 -x1248
1379.31/1379.70	v -x1149 -x1643 -x1793 -x1241 -x1728 -x1732 -x1120 -x1323 -x1244 -x1407 -x1707 -x1936 -x1844 -x1454
1379.31/1379.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1379.31/1379.71	c   62   134377   1126  2122948   263975 141253872 134413     97 1379.32
1379.31/1379.71	c Objective: -36
1379.31/1379.71	s SATISFIABLE
1379.31/1379.71	c Total time: 1379.32 s

Verifier Data (download as text)

OK	-36

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-455316-1178041058 -o ROOT/results/node4/solver-455316-1178041058 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/455316-1178041058/instance-455316-1178041058.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: 1.00 1.00 1.00 3/77 1150
/proc/meminfo: memFree=1767768/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=12660 CPUtime=0
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 280143568 12963840 333 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 3165 333 279 324 0 2004 0

[startup+0.00714298 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 1150
/proc/meminfo: memFree=1767768/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=4992 CPUtime=0
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 404 0 0 0 0 0 0 0 18 0 1 0 280143568 5111808 374 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 1248 374 291 324 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4992

[startup+0.101152 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 1150
/proc/meminfo: memFree=1767768/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=9964 CPUtime=0.09
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 1713 0 0 0 9 0 0 0 18 0 1 0 280143568 10203136 1683 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 2491 1683 347 324 0 1330 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9964

[startup+0.301171 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 1150
/proc/meminfo: memFree=1767768/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=19820 CPUtime=0.29
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 4349 0 0 0 28 1 0 0 19 0 1 0 280143568 20295680 4200 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134538921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 4955 4200 453 324 0 3794 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19820

[startup+0.70121 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 1150
/proc/meminfo: memFree=1767768/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=38624 CPUtime=0.68
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 9190 0 0 0 65 3 0 0 22 0 1 0 280143568 39550976 8761 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 9656 8761 305 324 0 8726 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 38624

[startup+1.50129 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1733712/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=38756 CPUtime=1.49
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 9226 0 0 0 145 4 0 0 25 0 1 0 280143568 39686144 8797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551575 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 9689 8797 305 324 0 8759 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38756

[startup+3.10144 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1733328/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=38756 CPUtime=3.09
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 9226 0 0 0 305 4 0 0 25 0 1 0 280143568 39686144 8797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11019617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 9689 8797 305 324 0 8759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 38756

[startup+6.30174 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1733328/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=38756 CPUtime=6.29
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 9226 0 0 0 625 4 0 0 25 0 1 0 280143568 39686144 8797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11019588 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 9689 8797 305 324 0 8759 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 38756

[startup+12.7014 s]
/proc/loadavg: 1.08 1.02 1.01 2/78 1151
/proc/meminfo: memFree=1733456/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=38756 CPUtime=12.69
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 9232 0 0 0 1265 4 0 0 25 0 1 0 280143568 39686144 8803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11030219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 9689 8803 305 324 0 8759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38756

[startup+25.5016 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 1151
/proc/meminfo: memFree=1733584/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=38756 CPUtime=25.48
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 9232 0 0 0 2544 4 0 0 25 0 1 0 280143568 39686144 8803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 9689 8803 305 324 0 8759 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38756

[startup+51.101 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 1151
/proc/meminfo: memFree=1733712/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=38756 CPUtime=51.07
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 9232 0 0 0 5102 5 0 0 25 0 1 0 280143568 39686144 8803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 9689 8803 305 324 0 8759 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38756

[startup+102.306 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 1151
/proc/meminfo: memFree=1733776/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=38756 CPUtime=102.26
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 9232 0 0 0 10219 7 0 0 25 0 1 0 280143568 39686144 8803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 9689 8803 305 324 0 8759 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 38756

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1733776/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=38756 CPUtime=162.24
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 9232 0 0 0 16215 9 0 0 25 0 1 0 280143568 39686144 8803 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134583062 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 9689 8803 305 324 0 8759 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38756

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1701968/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=70224 CPUtime=222.22
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 17346 0 0 0 22208 14 0 0 25 0 1 0 280143568 71909376 16789 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 17556 16789 311 324 0 16626 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 70224

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1629968/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=142220 CPUtime=282.2
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 35354 0 0 0 28198 22 0 0 25 0 1 0 280143568 145633280 34797 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 35555 34797 311 324 0 34625 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 142220

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1581456/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=190468 CPUtime=342.19
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 47401 0 0 0 34190 29 0 0 25 0 1 0 280143568 195039232 46844 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551098 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 47617 46844 311 324 0 46687 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 190468

[startup+402.302 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 1151
/proc/meminfo: memFree=1534736/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=237380 CPUtime=402.17
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 59135 0 0 0 40182 35 0 0 25 0 1 0 280143568 243077120 58578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 59345 58578 311 324 0 58415 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 237380

[startup+462.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 1151
/proc/meminfo: memFree=1496528/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=275452 CPUtime=462.16
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 68674 0 0 0 46176 40 0 0 25 0 1 0 280143568 282062848 68117 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 68863 68117 311 324 0 67933 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 275452

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1444688/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=327220 CPUtime=522.14
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 81607 0 0 0 52168 46 0 0 25 0 1 0 280143568 335073280 81050 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 81805 81050 311 324 0 80875 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 327220

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1342032/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=429904 CPUtime=582.12
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 107282 0 0 0 58154 58 0 0 25 0 1 0 280143568 440221696 106725 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 107476 106725 311 324 0 106546 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 429904

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1227024/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=543940 CPUtime=642.11
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 135788 0 0 0 64138 73 0 0 25 0 1 0 280143568 556994560 135231 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 135985 135231 311 324 0 135055 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 543940

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1122448/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=648984 CPUtime=702.09
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 162039 0 0 0 70121 88 0 0 25 0 1 0 280143568 664559616 161482 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 162246 161482 311 324 0 161316 0
Current children cumulated CPU time (s) 702.09
Current children cumulated vsize (KiB) 648984

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=1022416/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=748248 CPUtime=762.08
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 186853 0 0 0 76106 102 0 0 25 0 1 0 280143568 766205952 186296 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 187062 186296 311 324 0 186132 0
Current children cumulated CPU time (s) 762.08
Current children cumulated vsize (KiB) 748248

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=913808/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=857976 CPUtime=822.06
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 214281 0 0 0 82089 117 0 0 25 0 1 0 280143568 878567424 213724 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 214494 213724 311 324 0 213564 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 857976

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=804816/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=965464 CPUtime=882.04
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 241163 0 0 0 88072 132 0 0 25 0 1 0 280143568 988635136 240606 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571925 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 241366 240606 311 324 0 240436 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 965464

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=699216/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=1071568 CPUtime=942.03
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 267702 0 0 0 94056 147 0 0 25 0 1 0 280143568 1097285632 267145 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 267892 267145 311 324 0 266962 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 1071568

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=592464/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=1177684 CPUtime=1002.01
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 294218 0 0 0 100042 159 0 0 25 0 1 0 280143568 1205948416 293661 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134571866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 294421 293661 311 324 0 293491 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 1177684

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=477136/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=1293376 CPUtime=1062
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 323143 0 0 0 106026 174 0 0 25 0 1 0 280143568 1324417024 322586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11021744 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 323344 322586 311 324 0 322414 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1293376

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=368272/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=1401940 CPUtime=1121.98
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 350275 0 0 0 112011 187 0 0 25 0 1 0 280143568 1435586560 349718 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 350485 349718 311 324 0 349555 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 1401940

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=268624/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=1501920 CPUtime=1181.95
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 375276 0 0 0 117994 201 0 0 25 0 1 0 280143568 1537966080 374719 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 375480 374719 311 324 0 374550 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 1501920

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=166096/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=1606000 CPUtime=1241.94
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 401288 0 0 0 123977 217 0 0 25 0 1 0 280143568 1644544000 400731 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 401500 400731 311 324 0 400570 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1606000

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=55184/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=1713532 CPUtime=1301.93
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 428181 0 0 0 129961 232 0 0 25 0 1 0 280143568 1754656768 427624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 428383 427624 311 324 0 427453 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1713532

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=16080/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=1814668 CPUtime=1361.91
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 453458 0 0 0 135945 246 0 0 25 0 1 0 280143568 1858220032 452901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 453667 452901 311 324 0 452737 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1814668



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1379.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=16080/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=1843260 CPUtime=1379.31
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194304 460602 0 0 0 137680 251 0 0 25 0 1 0 280143568 1887498240 460045 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550913 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 460815 460045 311 324 0 459885 0
Current children cumulated CPU time (s) 1379.31
Current children cumulated vsize (KiB) 1843260

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

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

[startup+1379.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=16080/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=0 CPUtime=1379.41
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194308 460606 0 0 0 137681 260 0 0 25 0 1 0 280143568 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1379.41
Current children cumulated vsize (KiB) 0

[startup+1379.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 1151
/proc/meminfo: memFree=16080/2055920 swapFree=4141168/4192956
[pid=1150] ppid=1148 vsize=0 CPUtime=1379.51
/proc/1150/stat : 1150 (bsolo3.0.17) R 1148 1150 29911 0 -1 4194308 460606 0 0 0 137681 270 0 0 25 0 1 0 280143568 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0
/proc/1150/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1379.51
Current children cumulated vsize (KiB) 0

Child status: 15
Real time (s): 1380
CPU time (s): 1379.61
CPU user time (s): 1376.81
CPU system time (s): 2.79657
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 1843260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1376.81
system time used= 2.79657
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 460606
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= 3468

runsolver used 1.06884 second user time and 2.99854 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue May  1 17:37:38 UTC 2007

IDJOB= 455316
IDBENCH= 48255
IDSOLVER= 199
FILE ID= node4/455316-1178041058

PBS_JOBID= 4728430

Free space on /tmp= 66557 MiB

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  02054528a722e9af7937139e87d0b5ac

RANDOM SEED= 718216392

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1768240 kB
Buffers:         83256 kB
Cached:         111508 kB
SwapCached:      15016 kB
Active:         158276 kB
Inactive:        66072 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1768240 kB
SwapTotal:     4192956 kB
SwapFree:      4141168 kB
Dirty:            7616 kB
Writeback:           0 kB
Mapped:          35720 kB
Slab:            48776 kB
Committed_AS:  9253208 kB
PageTables:       1836 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= 66557 MiB

End job on node4 on Tue May  1 18:00:40 UTC 2007