Trace number 2670906

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
bsolo 3.2 ClSAT-25 1798 1798.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_100_10_2.opb
MD5SUM597624b9879736416e28e0a242fe0005
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-26
Best CPU time to get the best result obtained on this benchmark1789.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -26
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint10
Maximum length of a constraint20
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
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)1260
Sum of products size (including duplicates)2520
Number of different products630
Sum of products size1260

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Learning Strategy: Clause Learning
0.00/0.00	c Instance file HOME/instance-2670906-1276711184.opb
0.00/0.00	c File size is 49758 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.009 s
0.00/0.01	c Var: 730 Constr: 1460 730/100/630 Lit: 6300 Watch. Lit: 4410
0.00/0.01	c Obj. Vars: 100 (13.6986 % of total variables)
0.00/0.01	c Pre-processing Time: 0.015 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    100      630     1890    3     1260     209      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
0.00/0.01	o -22
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0    100      631     1990    3     1284     976      1      0 0.01
0.00/0.04	c      100    100      731     9444   12     1484    1074    101   4347 0.02
0.00/0.04	c      350    100      981    28086   28     1984    1182    351   7954 0.04
0.00/0.04	o -23
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c      384    100     1016    30728   30     2077    1009    386   8170 0.05
0.19/0.29	c      485    100     1117    38182   34     2279    1110    487   8660 0.06
0.19/0.29	c      736    100     1368    56589   41     2781    1222    738   9200 0.08
0.19/0.29	c     1211    100     1843    91387   49     3731    1345   1213   9174 0.13
0.19/0.29	c     2024    100     1304    50792   38     2631    1480    674   7552 0.27
0.19/0.29	o -24
849.09/849.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
849.09/849.40	c     2229    100     1510    65957   43     3067    1043    880   7659 0.29
849.09/849.40	c     2330    100     1611    73261   45     3269    1148    981   7715 0.30
849.09/849.40	c     2580    100     1861    91324   49     3769    1263   1231   7865 0.33
849.09/849.40	c     3056    100     2337   125718   53     4721    1390   1707   7815 0.39
849.09/849.40	c     3869    100     1757    83215   47     3538    1530   1127   7527 0.51
849.09/849.40	c     5189    100     1607    72269   44     3238    1684    977   7423 0.70
849.09/849.40	c     7271    100     2147   110569   51     4318    1853   1517   7045 1.03
849.09/849.40	c    10494    100     2111   108182   51     4246    2039   1481   6422 1.63
849.09/849.40	c    15431    100     1869    90712   48     3762    2243   1239   5851 2.64
849.09/849.40	c    22937    100     2088   106601   51     4200    2468   1458   5630 4.07
849.09/849.40	c    34298    100     1865    90454   48     3754    2715   1235   5293 6.48
849.09/849.40	c    51442    100     2516   137473   54     5056    2987   1886   4931 10.43
849.09/849.40	c    77261    100     4227   259870   61     8478    3286   3597   4457 17.33
849.09/849.40	c   116093    100     3204   186342   58     6432    3615   2574   4147 27.99
849.09/849.40	c   174446    100     3873   234812   60     7770    3977   3243   3785 46.08
849.09/849.40	c   262078    100     2791   156490   56     5606    4375   2161   3526 74.32
849.09/849.40	c   393630    100     4526   283401   62     9076    4813   3896   3363 117.05
849.09/849.40	c   591063    100     3354   197243   58     6732    5295   2724   3116 189.63
849.09/849.40	c   887315    100     5492   349716   63    11008    5825   4862   2834 313.08
849.09/849.40	c  1331798    100     6348   412725   65    12720    6408   5718   2604 511.44
849.09/849.40	c  1998625    100     6275   406947   64    12574    7049   5645   2354 849.03
849.09/849.40	o -25
1797.97/1798.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.97/1798.62	c  1998752    100     6403   416292   65    12855    1076   5773   2353 849.10
1797.97/1798.62	c  1998852    100     1269    47191   37     2563    1184    639   2353 849.17
1797.97/1798.62	c  1999102    100     1519    64916   42     3063    1303    889   2354 849.20
1797.97/1798.62	c  1999577    100     1994    98701   49     4013    1434   1364   2354 849.25
1797.97/1798.62	c  2000390    100     1389    55579   40     2803    1578    759   2355 849.39
1797.97/1798.62	c  2001710    100     2709   149433   55     5443    1736   2079   2356 849.57
1797.97/1798.62	c  2003791    100     1643    73722   44     3311    1910   1013   2357 849.97
1797.97/1798.62	c  2007014    100     1586    69526   43     3197    2102    956   2359 850.56
1797.97/1798.62	c  2011951    100     3028   171894   56     6081    2313   2398   2362 851.53
1797.97/1798.62	c  2019457    100     3093   176776   57     6211    2545   2463   2367 853.10
1797.97/1798.62	c  2030818    100     2617   142642   54     5259    2800   1987   2373 855.45
1797.97/1798.62	c  2047962    100     2967   167117   56     5959    3081   2337   2381 859.79
1797.97/1798.62	c  2073781    100     4145   251621   60     8315    3390   3515   2392 866.64
1797.97/1798.62	c  2112614    100     2326   122036   52     4677    3730   1696   2408 877.16
1797.97/1798.62	c  2170967    100     4283   260933   60     8591    4104   3653   2429 893.69
1797.97/1798.62	c  2258600    100     3944   236360   59     7913    4515   3314   2453 920.60
1797.97/1798.62	c  2390152    100     5548   349049   62    11121    4967   4918   2463 970.04
1797.97/1798.62	c  2587585    100     5861   371506   63    11747    5464   5231   2477 1044.31
1797.97/1798.62	c  2883837    100     3821   227492   59     7667    6011   3191   2451 1176.13
1797.97/1798.62	c  3328319    100     4328   262280   60     8681    6613   3698   2406 1383.23
1797.97/1798.62	c  3995148    100     7028   455724   64    14081    7275   6398   2305 1732.61
1797.97/1798.62	c Resources Exceeded
1797.97/1798.62	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 x42 -x43 x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 -x53 x54 -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 -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 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 
1797.97/1798.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.97/1798.62	c   50  4113417 281695  4450971     8218   540536   7588   2287 1798.00
1797.97/1798.62	c Objective: -25
1797.97/1798.62	s SATISFIABLE
1797.97/1798.62	c Total time: 1798 s

Verifier Data 

OK	-25

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670906-1276711184/watcher-2670906-1276711184 -o /tmp/evaluation-result-2670906-1276711184/solver-2670906-1276711184 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2670906-1276711184.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: 1.05 1.05 1.01 3/106 12093
/proc/meminfo: memFree=1692404/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=10976 CPUtime=0
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 338 0 0 0 0 0 0 0 19 0 1 0 44774741 11239424 257 1992294400 134512640 137138936 4292313600 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 2744 258 175 642 0 2087 0

[startup+0.0514019 s]
/proc/loadavg: 1.05 1.05 1.01 3/106 12093
/proc/meminfo: memFree=1692404/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=11428 CPUtime=0.04
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 505 0 0 0 4 0 0 0 19 0 1 0 44774741 11702272 411 1992294400 134512640 137138936 4292313600 18446744073709551615 134573834 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 2857 411 191 642 0 2213 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 11428

[startup+0.100411 s]
/proc/loadavg: 1.05 1.05 1.01 3/106 12093
/proc/meminfo: memFree=1692404/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=11924 CPUtime=0.09
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 622 0 0 0 9 0 0 0 20 0 1 0 44774741 12210176 528 1992294400 134512640 137138936 4292313600 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 2981 528 191 642 0 2337 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11924

[startup+0.300449 s]
/proc/loadavg: 1.05 1.05 1.01 3/106 12093
/proc/meminfo: memFree=1692404/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=13060 CPUtime=0.29
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 908 0 0 0 29 0 0 0 20 0 1 0 44774741 13373440 814 1992294400 134512640 137138936 4292313600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 3265 814 191 642 0 2621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13060

[startup+0.700522 s]
/proc/loadavg: 1.05 1.05 1.01 3/106 12093
/proc/meminfo: memFree=1692404/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=13184 CPUtime=0.69
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 956 0 0 0 69 0 0 0 21 0 1 0 44774741 13500416 862 1992294400 134512640 137138936 4292313600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 3296 862 191 642 0 2652 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13184

[startup+1.50067 s]
/proc/loadavg: 1.05 1.05 1.01 2/107 12094
/proc/meminfo: memFree=1689544/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=13560 CPUtime=1.49
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1036 0 0 0 148 1 0 0 23 0 1 0 44774741 13885440 942 1992294400 134512640 137138936 4292313600 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 3390 942 191 642 0 2746 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13560

[startup+3.10097 s]
/proc/loadavg: 1.05 1.05 1.01 2/107 12094
/proc/meminfo: memFree=1689048/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=13936 CPUtime=3.09
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1136 0 0 0 308 1 0 0 25 0 1 0 44774741 14270464 1042 1992294400 134512640 137138936 4292313600 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 3484 1042 191 642 0 2840 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13936

[startup+6.30057 s]
/proc/loadavg: 1.05 1.05 1.01 2/107 12094
/proc/meminfo: memFree=1688428/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=14184 CPUtime=6.29
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1201 0 0 0 626 3 0 0 25 0 1 0 44774741 14524416 1107 1992294400 134512640 137138936 4292313600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 3546 1107 191 642 0 2902 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14184

[startup+12.7008 s]
/proc/loadavg: 1.04 1.04 1.01 2/107 12094
/proc/meminfo: memFree=1687932/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=14684 CPUtime=12.69
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1332 0 0 0 1262 7 0 0 25 0 1 0 44774741 15036416 1238 1992294400 134512640 137138936 4292313600 18446744073709551615 136295502 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 3671 1238 191 642 0 3027 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14684

[startup+25.5011 s]
/proc/loadavg: 1.03 1.04 1.01 2/107 12096
/proc/meminfo: memFree=1687560/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=15056 CPUtime=25.48
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1412 0 0 0 2534 14 0 0 25 0 1 0 44774741 15417344 1318 1992294400 134512640 137138936 4292313600 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 3764 1318 191 642 0 3120 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15056

[startup+51.1009 s]
/proc/loadavg: 1.02 1.04 1.01 2/107 12096
/proc/meminfo: memFree=1686940/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=15664 CPUtime=51.08
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1585 0 0 0 5082 26 0 0 25 0 1 0 44774741 16039936 1491 1992294400 134512640 137138936 4292313600 18446744073709551615 134542378 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 3916 1491 191 642 0 3272 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15664

[startup+102.308 s]
/proc/loadavg: 1.01 1.03 1.00 2/107 12107
/proc/meminfo: memFree=1685576/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=16148 CPUtime=102.25
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1694 0 0 0 10179 46 0 0 25 0 1 0 44774741 16535552 1600 1992294400 134512640 137138936 4292313600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4037 1600 191 642 0 3393 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 16148

[startup+162.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12107
/proc/meminfo: memFree=1685576/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=16648 CPUtime=162.22
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1809 0 0 0 16152 70 0 0 25 0 1 0 44774741 17047552 1715 1992294400 134512640 137138936 4292313600 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4162 1715 191 642 0 3518 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 16648

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/107 12109
/proc/meminfo: memFree=1685328/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17140 CPUtime=222.2
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1933 0 0 0 22124 96 0 0 25 0 1 0 44774741 17551360 1839 1992294400 134512640 137138936 4292313600 18446744073709551615 134572768 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4285 1839 191 642 0 3641 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 17140

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/107 12111
/proc/meminfo: memFree=1685328/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17136 CPUtime=282.18
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 1934 0 0 0 28098 120 0 0 25 0 1 0 44774741 17547264 1840 1992294400 134512640 137138936 4292313600 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4284 1840 191 642 0 3640 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 17136

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12113
/proc/meminfo: memFree=1684832/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17640 CPUtime=342.16
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2072 0 0 0 34072 144 0 0 25 0 1 0 44774741 18063360 1978 1992294400 134512640 137138936 4292313600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4410 1978 191 642 0 3766 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 17640

[startup+402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12115
/proc/meminfo: memFree=1684708/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17640 CPUtime=402.15
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2074 0 0 0 40047 168 0 0 25 0 1 0 44774741 18063360 1980 1992294400 134512640 137138936 4292313600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4410 1980 191 642 0 3766 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 17640

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12115
/proc/meminfo: memFree=1684708/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17640 CPUtime=462.12
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2074 0 0 0 46023 189 0 0 25 0 1 0 44774741 18063360 1980 1992294400 134512640 137138936 4292313600 18446744073709551615 136504071 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4410 1980 191 642 0 3766 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 17640

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12117
/proc/meminfo: memFree=1684088/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=18264 CPUtime=522.1
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2219 0 0 0 52000 210 0 0 25 0 1 0 44774741 18702336 2125 1992294400 134512640 137138936 4292313600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4566 2125 191 642 0 3922 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 18264

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12119
/proc/meminfo: memFree=1683964/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=18264 CPUtime=582.08
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2224 0 0 0 57979 229 0 0 25 0 1 0 44774741 18702336 2130 1992294400 134512640 137138936 4292313600 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4566 2130 191 642 0 3922 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 18264

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12121
/proc/meminfo: memFree=1683840/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=18264 CPUtime=642.07
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2224 0 0 0 63959 248 0 0 25 0 1 0 44774741 18702336 2130 1992294400 134512640 137138936 4292313600 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4566 2130 191 642 0 3922 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 18264

[startup+702.301 s]

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

/proc/meminfo: memFree=1683220/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17896 CPUtime=1121.9
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2226 0 0 0 111761 429 0 0 25 0 1 0 44774741 18325504 2049 1992294400 134512640 137138936 4292313600 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4474 2049 191 642 0 3830 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 17896

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12135
/proc/meminfo: memFree=1683220/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17896 CPUtime=1181.88
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2226 0 0 0 117736 452 0 0 25 0 1 0 44774741 18325504 2049 1992294400 134512640 137138936 4292313600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4474 2049 191 642 0 3830 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 17896

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12137
/proc/meminfo: memFree=1683220/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17896 CPUtime=1241.85
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2226 0 0 0 123713 472 0 0 25 0 1 0 44774741 18325504 2049 1992294400 134512640 137138936 4292313600 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4474 2049 191 642 0 3830 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 17896

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12139
/proc/meminfo: memFree=1683096/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17896 CPUtime=1301.85
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2226 0 0 0 129693 492 0 0 25 0 1 0 44774741 18325504 2049 1992294400 134512640 137138936 4292313600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4474 2049 191 642 0 3830 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 17896

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12139
/proc/meminfo: memFree=1683096/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=17896 CPUtime=1361.82
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2226 0 0 0 135671 511 0 0 25 0 1 0 44774741 18325504 2049 1992294400 134512640 137138936 4292313600 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4474 2049 191 642 0 3830 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 17896

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12141
/proc/meminfo: memFree=1683096/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=18380 CPUtime=1421.81
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2330 0 0 0 141649 532 0 0 25 0 1 0 44774741 18821120 2153 1992294400 134512640 137138936 4292313600 18446744073709551615 136511072 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4595 2153 191 642 0 3951 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 18380

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12143
/proc/meminfo: memFree=1682972/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=18380 CPUtime=1481.78
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2334 0 0 0 147626 552 0 0 25 0 1 0 44774741 18821120 2157 1992294400 134512640 137138936 4292313600 18446744073709551615 134545307 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4595 2157 191 642 0 3951 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 18380

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12145
/proc/meminfo: memFree=1682972/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=18380 CPUtime=1541.76
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2334 0 0 0 153604 572 0 0 25 0 1 0 44774741 18821120 2157 1992294400 134512640 137138936 4292313600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4595 2157 191 642 0 3951 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 18380

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12147
/proc/meminfo: memFree=1682972/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=18380 CPUtime=1601.74
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2335 0 0 0 159582 592 0 0 25 0 1 0 44774741 18821120 2158 1992294400 134512640 137138936 4292313600 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4595 2158 191 642 0 3951 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 18380

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12147
/proc/meminfo: memFree=1682972/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=18380 CPUtime=1661.72
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2336 0 0 0 165559 613 0 0 25 0 1 0 44774741 18821120 2159 1992294400 134512640 137138936 4292313600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4595 2159 191 642 0 3951 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 18380

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12149
/proc/meminfo: memFree=1682848/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=18380 CPUtime=1721.7
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2336 0 0 0 171536 634 0 0 25 0 1 0 44774741 18821120 2159 1992294400 134512640 137138936 4292313600 18446744073709551615 134542372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4595 2159 191 642 0 3951 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 18380

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1682228/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=19092 CPUtime=1781.68
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2507 0 0 0 177515 653 0 0 25 0 1 0 44774741 19550208 2330 1992294400 134512640 137138936 4292313600 18446744073709551615 134542322 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4773 2330 191 642 0 4129 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 19092

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1682228/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=19092 CPUtime=1791.28
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2507 0 0 0 178471 657 0 0 25 0 1 0 44774741 19550208 2330 1992294400 134512640 137138936 4292313600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4773 2330 191 642 0 4129 0
Current children cumulated CPU time (s) 1791.28
Current children cumulated vsize (KiB) 19092

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1682228/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=19092 CPUtime=1794.48
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2507 0 0 0 178790 658 0 0 25 0 1 0 44774741 19550208 2330 1992294400 134512640 137138936 4292313600 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4773 2330 191 642 0 4129 0
Current children cumulated CPU time (s) 1794.48
Current children cumulated vsize (KiB) 19092

[startup+1796.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1682228/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=19092 CPUtime=1796.07
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2507 0 0 0 178949 658 0 0 25 0 1 0 44774741 19550208 2330 1992294400 134512640 137138936 4292313600 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4773 2330 191 642 0 4129 0
Current children cumulated CPU time (s) 1796.07
Current children cumulated vsize (KiB) 19092

[startup+1797.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1682228/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=19092 CPUtime=1796.87
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2507 0 0 0 179029 658 0 0 25 0 1 0 44774741 19550208 2330 1992294400 134512640 137138936 4292313600 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4773 2330 191 642 0 4129 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 19092

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1682228/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=19092 CPUtime=1797.67
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2507 0 0 0 179109 658 0 0 25 0 1 0 44774741 19550208 2330 1992294400 134512640 137138936 4292313600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4773 2330 191 642 0 4129 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 19092

[startup+1798.51 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1682228/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=19092 CPUtime=1797.87
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2507 0 0 0 179129 658 0 0 25 0 1 0 44774741 19550208 2330 1992294400 134512640 137138936 4292313600 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4773 2330 191 642 0 4129 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 19092

[startup+1798.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 12151
/proc/meminfo: memFree=1682228/2059040 swapFree=4140352/4192956
[pid=12093] ppid=12091 vsize=19092 CPUtime=1797.97
/proc/12093/stat : 12093 (bsolo_pb10) R 12091 12093 11095 0 -1 4202496 2507 0 0 0 179139 658 0 0 25 0 1 0 44774741 19550208 2330 1992294400 134512640 137138936 4292313600 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12093/statm: 4773 2330 191 642 0 4129 0
Current children cumulated CPU time (s) 1797.97
Current children cumulated vsize (KiB) 19092

Child status: 0
Real time (s): 1798.63
CPU time (s): 1798
CPU user time (s): 1791.41
CPU system time (s): 6.591
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 19112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.41
system time used= 6.591
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2508
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= 1
involuntary context switches= 5026

runsolver used 2.83957 second user time and 8.61769 second system time

The end

Launcher Data 

Begin job on node019 at 2010-06-16 19:59:44
IDJOB=2670906
IDBENCH=48169
IDSOLVER=1163
FILE ID=node019/2670906-1276711184
PBS_JOBID= 11174116
Free space on /tmp= 62416 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_100_10_2.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670906-1276711184/watcher-2670906-1276711184 -o /tmp/evaluation-result-2670906-1276711184/solver-2670906-1276711184 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2670906-1276711184.opb

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

MD5SUM BENCH= 597624b9879736416e28e0a242fe0005
RANDOM SEED=1031822248

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.264
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.52
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.264
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
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 constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1693180 kB
Buffers:        130812 kB
Cached:         142392 kB
SwapCached:       6068 kB
Active:         112584 kB
Inactive:       173932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1693180 kB
SwapTotal:     4192956 kB
SwapFree:      4140352 kB
Dirty:            3996 kB
Writeback:           4 kB
AnonPages:       11684 kB
Mapped:          13056 kB
Slab:            57620 kB
PageTables:       4020 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   180984 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2670906-1276711184.opb

Free space on /tmp at the end= 62412 MiB
End job on node019 at 2010-06-16 20:29:43