Trace number 1878297

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
bsolo 3.1 clSAT-11 1798.02 1798.45

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_4.opb
MD5SUM3258ae2375db1ca5a9ce9d305f00baf0
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1703.64
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1228
Sum of products size (including duplicates)2456
Number of different products614
Sum of products size1228

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file HOME/instance-1878297-1245211926.opb
0.00/0.00	c File size is 50240 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 714 Constr: 1380 664/102/614 Lit: 5212 Watch. Lit: 4500
0.00/0.00	c Obj. Vars: 50 (7.0028 % of total variables)
0.09/0.14	c Pre-processing Time: 0.138 s
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0    714     1380     5212    3     4500   10651      0      0 0.14
0.09/0.14	c Switching off lower bounding mode.
0.09/0.14	o -1
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0    714     1381     5262    3     4503   10685      1      0 0.14
0.09/0.14	o -2
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        2    714     1384     5429    3     4511   10701      4     14 0.14
0.09/0.15	c      102    714     1484    12034    8     4711   11772    104    671 0.15
0.09/0.15	o -3
0.09/0.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.17	c      130    714     1513    13535    8     4772   10718    133    838 0.15
0.09/0.17	c      230    714     1613    20398   12     4972   11790    233   1369 0.17
0.09/0.17	o -4
1.89/1.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.89/1.94	c      230    714     1614    20448   12     4978   10735    234   1360 0.17
1.89/1.94	c      330    714     1714    28468   16     5178   11809    334   1823 0.18
1.89/1.94	c      580    714     1964    49479   25     5678   12990    584   2775 0.21
1.89/1.94	c     1055    714     2439    88789   36     6628   14290   1059   3892 0.27
1.89/1.94	c     1868    714     3252   155398   47     8254   15720   1872   4839 0.39
1.89/1.94	c     3188    714     4572   258125   56    10894   17293   3192   5243 0.61
1.89/1.94	c     5269    714     6653   426704   64    15056   19023   5273   5085 1.04
1.89/1.94	c     8493    714     9877   693587   70    21504   20926   8497   4446 1.91
1.89/1.94	o -9
1.99/2.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.04	c     8560    714     9945   695087   69    21649   10818   8565   4396 1.95
1.99/2.04	c     8660    714    10045   701110   69    21849   11900   8665   4364 1.98
1.99/2.04	o -10
600.85/601.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
600.85/601.03	c     8883    714    10269   715184   69    22307   10835   8889   4345 2.04
600.85/601.03	c     8983    714    10369   721200   69    22507   11919   8989   4335 2.07
600.85/601.03	c     9233    714    10619   736624   69    23007   13111   9239   4334 2.13
600.85/601.03	c     9708    714    11094   770304   69    23957   14423   9714   4271 2.27
600.85/601.03	c    10521    714    11907   829594   69    25583   15866  10527   4173 2.52
600.85/601.03	c    11841    714    13227   921875   69    28223   17453  11847   4055 2.92
600.85/601.03	c    13922    714    15308  1077139   70    32385   19199  13928   3758 3.70
600.85/601.03	c    17145    714    18531  1304942   70    38831   21119  17151   3126 5.48
600.85/601.03	c    22081    714    12253   746884   60    26256   23231  10873   2390 9.24
600.85/601.03	c    29588    714    19760  1274216   64    41270   25555  18380   2349 12.59
600.85/601.03	c    40949    714    15835   980322   61    33420   28111  14455   1846 22.18
600.85/601.03	c    58093    714    15185   984067   64    32120   30923  13805   1665 34.87
600.85/601.03	c    83912    714    20552  1275213   62    42854   34016  19172   1508 55.62
600.85/601.03	c   122744    714    12607   692866   54    26964   37418  11227   1418 86.55
600.85/601.03	c   181096    714    17466   990189   56    36682   41160  16086   1327 136.38
600.85/601.03	c   268728    714    13902   868847   62    29554   45277  12522   1161 231.42
600.85/601.03	c   400281    714    41963  2776470   66    85676   49805  40583   1090 367.19
600.85/601.03	c   597713    714    45226  2892387   63    92202   54786  43846   1045 571.47
600.85/601.03	o -11
1797.96/1798.44	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.96/1798.44	c   611355    714    15042   889922   59    31845   10851  13662   1017 600.88
1797.96/1798.44	c   611455    714     6907   363484   52    15565   11937   5527   1017 601.18
1797.96/1798.44	c   611705    714     7157   377712   52    16065   13131   5777   1017 601.25
1797.96/1798.44	c   612181    714     7633   404077   52    17017   14445   6253   1017 601.38
1797.96/1798.44	c   612994    714     8446   453141   53    18643   15890   7066   1018 601.59
1797.96/1798.44	c   614314    714     9766   543122   55    21283   17480   8386   1020 601.89
1797.96/1798.44	c   616395    714    11847   679360   57    25445   19229  10467   1022 602.68
1797.96/1798.44	c   619618    714    15070   883139   58    31891   21152  13690   1025 604.20
1797.96/1798.44	c   624554    714    20006  1204118   60    41763   23268  18626   1028 607.54
1797.96/1798.44	c   632060    714    14468   883731   61    30687   25595  13088   1028 614.50
1797.96/1798.44	c   643421    714    25829  1663366   64    53409   28155  24449   1035 621.13
1797.96/1798.44	c   660566    714    25253  1753336   69    52257   30971  23873   1040 635.01
1797.96/1798.44	c   686385    714    30555  1815098   59    62861   34069  29175   1043 657.73
1797.96/1798.44	c   725217    714    22369  1568896   70    46489   37476  20989   1038 698.32
1797.96/1798.44	c   783569    714    27092  1883729   69    55935   41224  25712   1038 754.74
1797.96/1798.44	c   871201    714    23210  1453960   62    48171   45347  21830   1005 866.49
1797.96/1798.44	c  1002753    714    16753  1136456   67    35257   49882  15373    978 1025.17
1797.96/1798.44	c  1200185    714    19473  1234449   63    40697   54871  18093    934 1284.98
1797.96/1798.44	c  1496437    714    52824  3499369   66   107399   60359  51444    895 1671.17
1797.96/1798.44	c Resources Exceeded
1797.96/1798.44	v -x1 x2 -x3 -x4 x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 -x32 -x33 -x34 x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 x50 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 x59 -x60 x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 x71 x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 x84 -x85 x86 -x87 x88 x89 -x90 -x91 -x92 -x93 -x94 -x95 x96 -x97 -x98 -x99 -x100 
1797.96/1798.44	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.96/1798.44	c   52  1582304   1609  1587883    40181  2778512  38801    880 1798.01
1797.96/1798.44	c Objective: -11
1797.96/1798.44	s SATISFIABLE
1797.96/1798.44	c Total time: 1798.01 s

Verifier Data 

OK	-11

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1878297-1245211926/watcher-1878297-1245211926 -o /tmp/evaluation-result-1878297-1245211926/solver-1878297-1245211926 -C 1800 -W 2000 -M 1800 bsolo -l1 -t1800 -m1800 HOME/instance-1878297-1245211926.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): 2000 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
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.98 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1854216/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=10760 CPUtime=0
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 251 0 0 0 0 0 0 0 18 0 1 0 188788701 11018240 235 1992294400 134512640 137136520 4294956256 18446744073709551615 136575102 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 2690 235 175 640 0 2033 0

[startup+0.0548189 s]
/proc/loadavg: 0.98 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1854216/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=10984 CPUtime=0.05
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 350 0 0 0 5 0 0 0 18 0 1 0 188788701 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 2746 321 189 640 0 2102 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10984

[startup+0.102823 s]
/proc/loadavg: 0.98 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1854216/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=10984 CPUtime=0.09
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 350 0 0 0 9 0 0 0 18 0 1 0 188788701 11247616 321 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 2746 321 189 640 0 2102 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10984

[startup+0.30184 s]
/proc/loadavg: 0.98 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1854216/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=12372 CPUtime=0.29
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 716 0 0 0 29 0 0 0 19 0 1 0 188788701 12668928 687 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 3093 687 197 640 0 2449 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12372

[startup+0.702875 s]
/proc/loadavg: 0.98 1.00 1.00 3/64 13090
/proc/meminfo: memFree=1854216/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=15120 CPUtime=0.69
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 1407 0 0 0 68 1 0 0 22 0 1 0 188788701 15482880 1378 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 3780 1378 197 640 0 3136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15120

[startup+1.50195 s]
/proc/loadavg: 0.98 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1847808/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=18996 CPUtime=1.49
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 2367 0 0 0 148 1 0 0 25 0 1 0 188788701 19451904 2338 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 4749 2339 197 640 0 4105 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18996

[startup+3.10109 s]
/proc/loadavg: 0.98 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1843200/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=24396 CPUtime=3.09
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 3702 0 0 0 307 2 0 0 25 0 1 0 188788701 24981504 3673 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 6099 3673 197 640 0 5455 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24396

[startup+6.30137 s]
/proc/loadavg: 0.98 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1834880/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=30664 CPUtime=6.29
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 5267 0 0 0 625 4 0 0 25 0 1 0 188788701 31399936 5238 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 7666 5238 197 640 0 7022 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30664

[startup+12.7019 s]
/proc/loadavg: 0.98 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1830528/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=33868 CPUtime=12.69
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 6084 0 0 0 1263 6 0 0 25 0 1 0 188788701 34680832 6055 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 8467 6055 197 640 0 7823 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33868

[startup+25.5011 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1827520/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=37040 CPUtime=25.49
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 6882 0 0 0 2540 9 0 0 25 0 1 0 188788701 37928960 6853 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 9260 6853 197 640 0 8616 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37040

[startup+51.1013 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1822720/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=41876 CPUtime=51.07
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 8096 0 0 0 5093 14 0 0 25 0 1 0 188788701 42881024 8067 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 10469 8067 197 640 0 9825 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41876

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1819648/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=45128 CPUtime=102.27
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 8932 0 0 0 10203 24 0 0 25 0 1 0 188788701 46211072 8869 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 11282 8869 197 640 0 10638 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 45128

[startup+162.301 s]
/proc/loadavg: 1.10 1.03 1.01 2/65 13091
/proc/meminfo: memFree=1815104/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=49364 CPUtime=162.25
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 10063 0 0 0 16192 33 0 0 25 0 1 0 188788701 50548736 9921 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 12341 9921 197 640 0 11697 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 49364

[startup+222.301 s]
/proc/loadavg: 1.04 1.02 1.00 2/65 13091
/proc/meminfo: memFree=1812608/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=52060 CPUtime=222.24
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 10724 0 0 0 22183 41 0 0 25 0 1 0 188788701 53309440 10582 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 13015 10582 197 640 0 12371 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 52060

[startup+282.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/65 13091
/proc/meminfo: memFree=1809664/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=54668 CPUtime=282.23
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 11448 0 0 0 28173 50 0 0 25 0 1 0 188788701 55980032 11261 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 13667 11261 197 640 0 13023 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 54668

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 13091
/proc/meminfo: memFree=1809472/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=55112 CPUtime=342.21
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 11532 0 0 0 34163 58 0 0 25 0 1 0 188788701 56434688 11345 1992294400 134512640 137136520 4294956256 18446744073709551615 134540852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 13778 11345 197 640 0 13134 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 55112

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1804160/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=60152 CPUtime=402.19
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 12844 0 0 0 40152 67 0 0 25 0 1 0 188788701 61595648 12607 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 15038 12607 197 640 0 14394 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 60152

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1804096/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=60348 CPUtime=462.18
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 12891 0 0 0 46143 75 0 0 25 0 1 0 188788701 61796352 12654 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 15087 12654 197 640 0 14443 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 60348

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1804096/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=60068 CPUtime=522.16
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 12891 0 0 0 52133 83 0 0 25 0 1 0 188788701 61509632 12616 1992294400 134512640 137136520 4294956256 18446744073709551615 136499604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 15017 12616 197 640 0 14373 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 60068

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1804096/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=60068 CPUtime=582.15
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 12891 0 0 0 58122 93 0 0 25 0 1 0 188788701 61509632 12616 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 15017 12616 197 640 0 14373 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 60068

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1800448/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=63652 CPUtime=642.14
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 13827 0 0 0 64112 102 0 0 25 0 1 0 188788701 65179648 13497 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 15913 13497 197 640 0 15269 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 63652

[startup+702.302 s]

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

/proc/meminfo: memFree=1800512/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=63652 CPUtime=1122.02
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 13827 0 0 0 112041 161 0 0 25 0 1 0 188788701 65179648 13497 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 15913 13497 197 640 0 15269 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 63652

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1800384/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=63800 CPUtime=1182.01
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 13847 0 0 0 118033 168 0 0 25 0 1 0 188788701 65331200 13517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 15950 13517 197 640 0 15306 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 63800

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1800320/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=63800 CPUtime=1241.99
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 13847 0 0 0 124023 176 0 0 25 0 1 0 188788701 65331200 13517 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 15950 13517 197 640 0 15306 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 63800

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1800320/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=63800 CPUtime=1301.99
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 13847 0 0 0 130014 185 0 0 25 0 1 0 188788701 65331200 13517 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 15950 13517 197 640 0 15306 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 63800

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1797696/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=66352 CPUtime=1361.96
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 14485 0 0 0 136005 191 0 0 25 0 1 0 188788701 67944448 14155 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 16588 14155 197 640 0 15944 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 66352

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1795776/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=68252 CPUtime=1421.96
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 14960 0 0 0 141997 199 0 0 25 0 1 0 188788701 69890048 14630 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 17063 14630 197 640 0 16419 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 68252

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1795712/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=68252 CPUtime=1481.94
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 14960 0 0 0 147988 206 0 0 25 0 1 0 188788701 69890048 14630 1992294400 134512640 137136520 4294956256 18446744073709551615 134544148 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 17063 14630 197 640 0 16419 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 68252

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1795712/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=68252 CPUtime=1541.92
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 14960 0 0 0 153979 213 0 0 25 0 1 0 188788701 69890048 14630 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 17063 14630 197 640 0 16419 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 68252

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1795712/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=68252 CPUtime=1601.91
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 14960 0 0 0 159970 221 0 0 25 0 1 0 188788701 69890048 14630 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 17063 14630 197 640 0 16419 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 68252

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1795648/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=68252 CPUtime=1661.89
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 14960 0 0 0 165961 228 0 0 25 0 1 0 188788701 69890048 14630 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 17063 14630 197 640 0 16419 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 68252

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1793536/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=70124 CPUtime=1721.88
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 15506 0 0 0 171955 233 0 0 25 0 1 0 188788701 71806976 15116 1992294400 134512640 137136520 4294956256 18446744073709551615 134544437 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 17531 15116 197 640 0 16887 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 70124

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1791488/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=72356 CPUtime=1781.86
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 16045 0 0 0 177945 241 0 0 25 0 1 0 188788701 74092544 15655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 18089 15655 197 640 0 17445 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 72356

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1791488/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=72356 CPUtime=1791.46
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 16045 0 0 0 178904 242 0 0 25 0 1 0 188788701 74092544 15655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 18089 15655 197 640 0 17445 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 72356

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1791488/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=72356 CPUtime=1794.67
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 16045 0 0 0 179224 243 0 0 25 0 1 0 188788701 74092544 15655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 18089 15655 197 640 0 17445 0
Current children cumulated CPU time (s) 1794.67
Current children cumulated vsize (KiB) 72356

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1791488/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=72356 CPUtime=1796.26
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 16045 0 0 0 179383 243 0 0 25 0 1 0 188788701 74092544 15655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 18089 15655 197 640 0 17445 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 72356

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1791488/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=72356 CPUtime=1797.06
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 16045 0 0 0 179463 243 0 0 25 0 1 0 188788701 74092544 15655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543865 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 18089 15655 197 640 0 17445 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 72356

[startup+1797.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1791488/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=72356 CPUtime=1797.46
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 16045 0 0 0 179503 243 0 0 25 0 1 0 188788701 74092544 15655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543837 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 18089 15655 197 640 0 17445 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (KiB) 72356

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1791488/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=72356 CPUtime=1797.86
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 16045 0 0 0 179543 243 0 0 25 0 1 0 188788701 74092544 15655 1992294400 134512640 137136520 4294956256 18446744073709551615 136500598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 18089 15655 197 640 0 17445 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 72356

[startup+1798.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 13091
/proc/meminfo: memFree=1791488/2055920 swapFree=4181696/4192956
[pid=13090] ppid=13088 vsize=72356 CPUtime=1797.96
/proc/13090/stat : 13090 (bsolo) R 13088 13090 12936 0 -1 4194304 16045 0 0 0 179553 243 0 0 25 0 1 0 188788701 74092544 15655 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13090/statm: 18089 15655 197 640 0 17445 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 72356

Child status: 0
Real time (s): 1798.45
CPU time (s): 1798.02
CPU user time (s): 1795.57
CPU system time (s): 2.44663
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (KiB): 72356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.57
system time used= 2.44663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16047
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= 3
involuntary context switches= 2083

runsolver used 1.35179 second user time and 3.78942 second system time

The end

Launcher Data 

Begin job on node50 at 2009-06-17 06:12:06
IDJOB=1878297
IDBENCH=48277
IDSOLVER=700
FILE ID=node50/1878297-1245211926
PBS_JOBID= 9368399
Free space on /tmp= 66424 MiB

SOLVER NAME= bsolo 3.1 cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_4.opb
COMMAND LINE= bsolo -l1 -tTIMEOUT -mMEMLIMIT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1878297-1245211926/watcher-1878297-1245211926 -o /tmp/evaluation-result-1878297-1245211926/solver-1878297-1245211926 -C 1800 -W 2000 -M 1800  bsolo -l1 -t1800 -m1800 HOME/instance-1878297-1245211926.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 3258ae2375db1ca5a9ce9d305f00baf0
RANDOM SEED=780616095

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

/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.211
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.211
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:       1855536 kB
Buffers:         24472 kB
Cached:         105296 kB
SwapCached:       5280 kB
Active:          24088 kB
Inactive:       113272 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855536 kB
SwapTotal:     4192956 kB
SwapFree:      4181696 kB
Dirty:            3968 kB
Writeback:           0 kB
Mapped:          13336 kB
Slab:            49024 kB
Committed_AS:   120276 kB
PageTables:       1452 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1878297-1245211926.opb

Free space on /tmp at the end= 66420 MiB
End job on node50 at 2009-06-17 06:42:05