Trace number 2670407

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 CardOPT3 427.7 427.856

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb
MD5SUM1141c23e5342793635b3f22754b52627
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.656899
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables189
Total number of constraints19
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 constraints19
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)441
Sum of products size (including duplicates)882
Number of different products441
Sum of products size882

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: Cardinality Constraint Learning
0.00/0.00	c Instance file HOME/instance-2670407-1276702207.opb
0.00/0.00	c File size is 33211 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.005 s
0.00/0.00	c Var: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369
0.00/0.00	c Obj. Vars: 7 (1.11111 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    630      910     3836    4     3289    5173      0      0 0.01
0.00/0.01	c Switching off lower bounding mode.
20.58/20.61	c      101    630     1099     9847    8     3712    5691    189   3366 0.03
20.58/20.61	c      252    630     1391    23495   16     4395    6261    481   4064 0.06
20.58/20.61	c      478    630     1834    44921   24     5474    6888    924   4192 0.11
20.58/20.61	c      816    630     2479    69478   28     7059    7577   1569   4206 0.19
20.58/20.61	c     1325    630     3446   114570   33     9352    8335   2536   3908 0.34
20.58/20.61	c     2089    630     4921   182646   37    12792    9169   4011   3289 0.64
20.58/20.61	c     3235    630     7133   275511   38    18042   10086   6223   2981 1.08
20.58/20.61	c     4956    630    10438   418637   40    25928   11095   9528   2354 2.10
20.58/20.61	c     7541    630     9536   383037   40    23318   12205   8626   2055 3.67
20.58/20.61	c    11420    630    10739   439187   40    26744   13426   9829   1884 6.06
20.58/20.61	c    17243    630     7624   295704   38    18331   14769   6714   1577 10.93
20.58/20.61	c    25981    630     9197   328160   35    22716   16246   8287   1348 19.27
20.58/20.61	o 9
149.74/149.86	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
149.74/149.86	c    29927    629    16653   677221   40    40431    5187  15743   1452 20.60
149.74/149.86	c    30028    621     3680   134145   36     9436    5706   2770   1447 20.75
149.74/149.86	c    30279    621     4177   156054   37    10755    6277   3267   1455 20.81
149.74/149.86	c    30755    621     5060   197485   39    12838    6905   4150   1468 20.95
149.74/149.86	c    31568    621     6522   261184   40    16436    7596   5612   1485 21.25
149.74/149.86	c    32889    621     5154   186194   36    13841    8356   4244   1500 21.93
149.74/149.86	c    34971    621     9028   357227   39    23597    9192   8118   1528 22.88
149.74/149.86	c    38194    621     9887   421071   42    24722   10112   8977   1564 24.42
149.74/149.86	c    43130    621     7802   309927   39    19230   11124   6892   1513 28.50
149.74/149.86	c    50636    621    10218   468502   45    24354   12237   9308   1462 34.62
149.74/149.86	c    61997    621    10335   397971   38    25947   13461   9425   1330 46.61
149.74/149.86	c    79142    621    14313   624801   43    34981   14808  13403   1285 61.55
149.74/149.86	c   104962    610    15471   773958   50    35336   16289  14561   1209 86.81
149.74/149.86	c   143795    601     9692   385885   39    24804   17918   8782   1072 134.13
149.74/149.86	o 3
427.63/427.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
427.63/427.85	c   161124    600    14217   585674   41    35153    5181  13307   1075 149.81
427.63/427.85	c   161224    591     3666   133723   36     9481    5700   2756   1074 150.01
427.63/427.85	c   161476    591     4139   155939   37    10634    6271   3229   1075 150.08
427.63/427.85	c   161951    591     5064   204490   40    13068    6899   4154   1078 150.21
427.63/427.85	c   162765    572     6587   271413   41    16932    7589   5677   1081 150.46
427.63/427.85	c   164085    572     4912   189126   38    12670    8348   4002   1086 151.06
427.63/427.85	c   166166    572     8694   354468   40    22379    9183   7784   1092 152.09
427.63/427.85	c   169390    572     9988   399853   40    25727   10102   9078   1098 154.16
427.63/427.85	c   174327    572     8006   308262   38    20003   11113   7096   1098 158.72
427.63/427.85	c   181833    572     9921   407961   41    23458   12225   9011   1101 165.05
427.63/427.85	c   193196    571    11811   543073   45    28602   13448  10901   1125 171.69
427.63/427.85	c   210341    571     8162   317778   38    21301   14793   7252   1107 189.85
427.63/427.85	c   236160    568     9206   383391   41    21649   16273   8296   1071 220.32
427.63/427.85	c   274993    560    14528   624178   42    35307   17901  13618   1012 271.62
427.63/427.85	c   333348    556    18861   703735   37    45147   19692  17951    961 346.77
427.63/427.85	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 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 x71 x72 x73 x74 -x75 -x76 -x77 -x127 -x128 -x129 -x130 -x131 -x132 -x133 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 x78 -x79 x80 -x81 -x82 -x83 -x84 x134 -x135 x136 -x137 -x138 -x139 -x140 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 x85 -x86 -x87 -x88 -x89 -x90 -x91 x141 x142 -x143 -x144 -x145 -x146 -x147 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 x92 x93 -x94 x95 -x96 -x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 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 x99 x100 x101 -x102 x103 x104 -x105 -x155 -x156 -x157 -x158 -x159 -x160 -x161 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 x106 -x107 -x108 -x109 -x110 -x111 -x112 x162 x163 -x164 -x165 -x166 -x167 -x168 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 x113 x114 -x115 -x116 -x117 -x118 -x119 -x169 -x170 -x171 -x172 -x173 -x174 -x175 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 x120 -x121 -x122 -x123 -x124 -x125 -x126 x176 -x177 -x178 -x179 -x180 -x181 -x182 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 -x183 -x184 -x185 -x186 -x187 -x188 -x189 
427.63/427.85	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
427.63/427.85	c   41   377793   6286   401098    11680   380653  10770    883 427.70
427.63/427.85	c Objective: 3
427.63/427.85	s OPTIMUM FOUND
427.63/427.85	c Total time: 427.697 s

Verifier Data 

OK	3

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2670407-1276702207/watcher-2670407-1276702207 -o /tmp/evaluation-result-2670407-1276702207/solver-2670407-1276702207 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2670407-1276702207.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.99 0.99 0.91 3/106 12042
/proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=10924 CPUtime=0
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 382 0 0 0 0 0 0 0 20 0 1 0 45822335 11186176 291 1992294400 134512640 137138936 4293123552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 2731 291 184 642 0 2087 0

[startup+0.109487 s]
/proc/loadavg: 0.99 0.99 0.91 3/106 12042
/proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=11552 CPUtime=0.1
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 546 0 0 0 10 0 0 0 20 0 1 0 45822335 11829248 455 1992294400 134512640 137138936 4293123552 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 2888 455 192 642 0 2244 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11552

[startup+0.200507 s]
/proc/loadavg: 0.99 0.99 0.91 3/106 12042
/proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=12068 CPUtime=0.19
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 655 0 0 0 19 0 0 0 20 0 1 0 45822335 12357632 564 1992294400 134512640 137138936 4293123552 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 3017 564 192 642 0 2373 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12068

[startup+0.300527 s]
/proc/loadavg: 0.99 0.99 0.91 3/106 12042
/proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=12456 CPUtime=0.29
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 777 0 0 0 29 0 0 0 20 0 1 0 45822335 12754944 686 1992294400 134512640 137138936 4293123552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 3114 686 192 642 0 2470 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12456

[startup+0.700612 s]
/proc/loadavg: 0.99 0.99 0.91 3/106 12042
/proc/meminfo: memFree=1837816/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=14000 CPUtime=0.69
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 1140 0 0 0 69 0 0 0 20 0 1 0 45822335 14336000 1049 1992294400 134512640 137138936 4293123552 18446744073709551615 134575044 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 3500 1049 192 642 0 2856 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14000

[startup+1.50078 s]
/proc/loadavg: 0.99 0.99 0.91 3/107 12043
/proc/meminfo: memFree=1833096/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=16332 CPUtime=1.49
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 1739 0 0 0 148 1 0 0 22 0 1 0 45822335 16723968 1648 1992294400 134512640 137138936 4293123552 18446744073709551615 134542802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 4083 1648 192 642 0 3439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16332

[startup+3.10112 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12043
/proc/meminfo: memFree=1830740/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=18768 CPUtime=3.09
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 2338 0 0 0 308 1 0 0 25 0 1 0 45822335 19218432 2247 1992294400 134512640 137138936 4293123552 18446744073709551615 136504083 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 4692 2247 192 642 0 4048 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18768

[startup+6.3008 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12043
/proc/meminfo: memFree=1828756/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=19528 CPUtime=6.29
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 2529 0 0 0 626 3 0 0 25 0 1 0 45822335 19996672 2438 1992294400 134512640 137138936 4293123552 18446744073709551615 134575655 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 4882 2438 192 642 0 4238 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19528

[startup+12.7012 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12043
/proc/meminfo: memFree=1828012/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=20172 CPUtime=12.68
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 2708 0 0 0 1264 4 0 0 25 0 1 0 45822335 20656128 2617 1992294400 134512640 137138936 4293123552 18446744073709551615 136296964 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 5043 2617 192 642 0 4399 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20172

[startup+25.5009 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12045
/proc/meminfo: memFree=1826772/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=21588 CPUtime=25.48
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3058 0 0 0 2540 8 0 0 25 0 1 0 45822335 22106112 2967 1992294400 134512640 137138936 4293123552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 5397 2967 192 642 0 4753 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21588

[startup+51.1003 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12045
/proc/meminfo: memFree=1826648/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=21588 CPUtime=51.07
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3058 0 0 0 5093 14 0 0 25 0 1 0 45822335 22106112 2967 1992294400 134512640 137138936 4293123552 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 5397 2967 192 642 0 4753 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21588

[startup+102.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12047
/proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24204 CPUtime=102.26
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3718 0 0 0 10202 24 0 0 25 0 1 0 45822335 24784896 3627 1992294400 134512640 137138936 4293123552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6051 3627 192 642 0 5407 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 24204

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12047
/proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24208 CPUtime=162.24
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3719 0 0 0 16186 38 0 0 25 0 1 0 45822335 24788992 3628 1992294400 134512640 137138936 4293123552 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6052 3628 192 642 0 5408 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 24208

[startup+222.309 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12049
/proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24208 CPUtime=222.22
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3719 0 0 0 22171 51 0 0 25 0 1 0 45822335 24788992 3628 1992294400 134512640 137138936 4293123552 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6052 3628 192 642 0 5408 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 24208

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12051
/proc/meminfo: memFree=1823796/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24208 CPUtime=282.19
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3719 0 0 0 28155 64 0 0 25 0 1 0 45822335 24788992 3628 1992294400 134512640 137138936 4293123552 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6052 3628 192 642 0 5408 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 24208

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12053
/proc/meminfo: memFree=1823672/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24208 CPUtime=342.17
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3719 0 0 0 34142 75 0 0 25 0 1 0 45822335 24788992 3628 1992294400 134512640 137138936 4293123552 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6052 3628 192 642 0 5408 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 24208

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12055
/proc/meminfo: memFree=1823672/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24216 CPUtime=402.14
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 40129 85 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 136521017 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6054 3630 192 642 0 5410 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 24216

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

[startup+409.602 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12055
/proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24216 CPUtime=409.44
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 40857 87 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134542829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6054 3630 192 642 0 5410 0
Current children cumulated CPU time (s) 409.44
Current children cumulated vsize (KiB) 24216

[startup+416.002 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12055
/proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24216 CPUtime=415.84
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 41496 88 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134542779 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6054 3630 192 642 0 5410 0
Current children cumulated CPU time (s) 415.84
Current children cumulated vsize (KiB) 24216

[startup+422.401 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12055
/proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24216 CPUtime=422.24
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42135 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6054 3630 192 642 0 5410 0
Current children cumulated CPU time (s) 422.24
Current children cumulated vsize (KiB) 24216

[startup+425.601 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12055
/proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24216 CPUtime=425.43
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42454 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6054 3630 192 642 0 5410 0
Current children cumulated CPU time (s) 425.43
Current children cumulated vsize (KiB) 24216

[startup+427.2 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12055
/proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24216 CPUtime=427.03
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42614 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134618019 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6054 3630 192 642 0 5410 0
Current children cumulated CPU time (s) 427.03
Current children cumulated vsize (KiB) 24216

[startup+427.6 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12055
/proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24216 CPUtime=427.43
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42654 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6054 3630 192 642 0 5410 0
Current children cumulated CPU time (s) 427.43
Current children cumulated vsize (KiB) 24216

[startup+427.8 s]
/proc/loadavg: 0.99 0.99 0.91 2/107 12055
/proc/meminfo: memFree=1823548/2059040 swapFree=4139724/4192956
[pid=12042] ppid=12040 vsize=24216 CPUtime=427.63
/proc/12042/stat : 12042 (bsolo_pb10) R 12040 12042 11629 0 -1 4202496 3721 0 0 0 42674 89 0 0 25 0 1 0 45822335 24797184 3630 1992294400 134512640 137138936 4293123552 18446744073709551615 134575908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/12042/statm: 6054 3630 192 642 0 5410 0
Current children cumulated CPU time (s) 427.63
Current children cumulated vsize (KiB) 24216

Child status: 0
Real time (s): 427.856
CPU time (s): 427.7
CPU user time (s): 426.799
CPU system time (s): 0.900863
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 24216

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

runsolver used 0.668898 second user time and 2.06868 second system time

The end

Launcher Data 

Begin job on node010 at 2010-06-16 17:30:07
IDJOB=2670407
IDBENCH=47920
IDSOLVER=1162
FILE ID=node010/2670407-1276702207
PBS_JOBID= 11174124
Free space on /tmp= 62532 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=7-P0=53-P1=109-P2=43-P3=13-P4=17-P5=101-P6=59-P7=7-P8=29-P9=107-B.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2670407-1276702207/watcher-2670407-1276702207 -o /tmp/evaluation-result-2670407-1276702207/solver-2670407-1276702207 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2670407-1276702207.opb

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

MD5SUM BENCH= 1141c23e5342793635b3f22754b52627
RANDOM SEED=226424198

node010.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.267
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.53
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.267
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.46
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1838468 kB
Buffers:         10096 kB
Cached:         118640 kB
SwapCached:       5468 kB
Active:          84276 kB
Inactive:        56564 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1838468 kB
SwapTotal:     4192956 kB
SwapFree:      4139724 kB
Dirty:            4220 kB
Writeback:           0 kB
AnonPages:       10804 kB
Mapped:          12916 kB
Slab:            57872 kB
PageTables:       4064 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181480 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-2670407-1276702207.opb

Free space on /tmp at the end= 62528 MiB
End job on node010 at 2010-06-16 17:37:15