Trace number 2671021

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 CardSAT (TO)-12 1800.12 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_1.opb
MD5SUM26861ca996cf8fd2abe5c211e1f47a26
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 benchmark1590.78
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)1220
Sum of products size (including duplicates)2440
Number of different products610
Sum of products size1220

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-2671021-1276714935.opb
0.00/0.00	c File size is 49946 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: 710 Constr: 1372 660/102/610 Lit: 5180 Watch. Lit: 4472
0.00/0.01	c Obj. Vars: 50 (7.04225 % of total variables)
0.09/0.13	c Pre-processing Time: 0.131 s
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0    710     1372     5180    3     4472   10550      0      0 0.13
0.09/0.13	c Switching off lower bounding mode.
0.09/0.13	o -1
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0    710     1373     5230    3     4475   10583      1      0 0.13
0.09/0.13	o -2
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        1    710     1376     5380    3     4484   10600      4      7 0.13
0.09/0.13	o -3
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        2    710     1379     5542    4     4495   10617      7     14 0.13
0.09/0.13	o -4
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        5    710     1384     5720    4     4512   10633     12     37 0.14
0.09/0.14	o -5
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        7    710     1388     5899    4     4529   10650     16     51 0.14
0.09/0.14	o -6
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        9    710     1392     6074    4     4548   10667     20     65 0.14
0.09/0.14	o -7
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c       11    710     1396     6295    4     4569   10683     24     79 0.14
0.09/0.14	o -8
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c       16    710     1403     6528    4     4598   10700     31    114 0.14
0.09/0.14	o -9
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c       31    710     1420     7111    5     4649   10717     48    216 0.14
0.09/0.14	o -10
11.29/11.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
11.29/11.31	c       38    710     1429     7545    5     4686   10733     57    262 0.14
11.29/11.31	c      139    710     1536    10651    6     4910   11807    164    858 0.16
11.29/11.31	c      389    710     1801    21188   11     5441   12988    429   1809 0.21
11.29/11.31	c      865    710     2326    47358   20     6502   14287    954   2678 0.32
11.29/11.31	c     1678    710     3213    92726   28     8281   15716   1841   3220 0.52
11.29/11.31	c     2998    710     4655   170827   36    11196   17288   3283   3301 0.91
11.29/11.31	c     5079    710     6998   298969   42    15917   19017   5626   2867 1.77
11.29/11.31	c     8302    710    10572   498563   47    23268   20919   9200   2268 3.66
11.29/11.31	c    13238    710    16075   808238   50    34433   23011  14703   1612 8.21
11.29/11.31	o -11
141.34/141.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
141.34/141.40	c    15553    710    18753   976274   52    39909   10750  17381   1375 11.31
141.34/141.40	c    15655    710     6862   314352   45    15638   11826   5490   1324 11.82
141.34/141.40	c    15905    710     7133   327213   45    16180   13009   5761   1333 11.93
141.34/141.40	c    16380    710     7658   353213   46    17230   14310   6286   1348 12.15
141.34/141.40	c    17193    710     8563   399335   46    19045   15742   7191   1365 12.59
141.34/141.40	c    18514    710    10056   480696   47    22054   17317   8684   1382 13.39
141.34/141.40	c    20596    710    12414   613362   49    26850   19049  11042   1378 14.95
141.34/141.40	c    23820    710    16022   819421   51    34239   20954  14650   1331 17.89
141.34/141.40	c    28756    710    21526  1099122   51    45380   23050  20154   1208 23.80
141.34/141.40	c    36264    710    17772   860175   48    37732   25356  16400   1081 33.53
141.34/141.40	c    47625    710    17168   862467   50    37271   27892  15796    936 50.85
141.34/141.40	c    64769    710    20825  1085072   52    43968   30682  19453    825 78.43
141.34/141.40	c    90589    710    31517  1659136   52    65650   33751  30145    745 121.57
141.34/141.40	o -12
1800.10/1800.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.10/1800.71	c   101075    710    21912  1113320   50    46117   10767  20540    715 141.35
1800.10/1800.71	c   101176    710     6869   300309   43    15663   11844   5497    712 142.04
1800.10/1800.71	c   101426    710     7147   313659   43    16219   13029   5775    713 142.20
1800.10/1800.71	c   101902    710     7670   339451   44    17329   14332   6298    715 142.47
1800.10/1800.71	c   102715    710     8544   383136   44    19124   15766   7172    718 142.93
1800.10/1800.71	c   104036    710    10014   459160   45    22115   17343   8642    723 143.79
1800.10/1800.71	c   106118    710    12308   577098   46    26735   19078  10936    729 145.38
1800.10/1800.71	c   109341    710    15861   763094   48    33964   20986  14489    736 148.53
1800.10/1800.71	c   114277    710    21355  1061469   49    45071   23085  19983    738 154.71
1800.10/1800.71	c   121783    710    17744   859884   48    37571   25394  16372    733 166.00
1800.10/1800.71	c   133144    710    17183   820711   47    36439   27934  15811    727 183.01
1800.10/1800.71	c   150289    710    20806   999250   48    43803   30728  19434    712 210.84
1800.10/1800.71	c   176108    710    31156  1608231   51    64905   33801  29784    695 253.31
1800.10/1800.71	c   214940    710    32278  1587802   49    67741   37182  30906    657 326.73
1800.10/1800.71	c   273292    710    23822  1194994   50    50107   40901  22450    617 442.36
1800.10/1800.71	c   360925    710    37502  1901881   50    77471   44992  36130    573 629.29
1800.10/1800.71	c   492477    710    25265  1206880   47    52739   49492  23893    536 918.21
1800.10/1800.71	c   689909    710    29104  1510786   51    60634   54442  27732    487 1414.65
1800.10/1800.71	c Caught signal: 15
1800.10/1800.71	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 x26 -x27 -x28 x29 x30 -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 -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 
1800.10/1800.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.10/1800.71	c   49   823719 109351   973578    50102  2782498  48730    457 1800.11
1800.10/1800.71	c Objective: -12
1800.10/1800.71	s SATISFIABLE
1800.10/1800.71	c Total time: 1800.11 s

Verifier Data 

OK	-12

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2671021-1276714935/watcher-2671021-1276714935 -o /tmp/evaluation-result-2671021-1276714935/solver-2671021-1276714935 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l2 HOME/instance-2671021-1276714935.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.00 1.00 1.00 3/106 18973
/proc/meminfo: memFree=1688512/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=10848 CPUtime=0
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 336 0 0 0 0 0 0 0 18 0 1 0 12785836 11108352 255 1992294400 134512640 137138936 4290789824 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 2712 255 176 642 0 2055 0

[startup+0.025419 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18973
/proc/meminfo: memFree=1688512/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=11060 CPUtime=0.02
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 411 0 0 0 2 0 0 0 18 0 1 0 12785836 11325440 317 1992294400 134512640 137138936 4290789824 18446744073709551615 136511116 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 2765 317 184 642 0 2121 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11060

[startup+0.101433 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18973
/proc/meminfo: memFree=1688512/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=11060 CPUtime=0.09
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 411 0 0 0 9 0 0 0 21 0 1 0 12785836 11325440 317 1992294400 134512640 137138936 4290789824 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 2765 317 184 642 0 2121 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11060

[startup+0.301468 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18973
/proc/meminfo: memFree=1688512/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=11688 CPUtime=0.29
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 562 0 0 0 29 0 0 0 21 0 1 0 12785836 11968512 468 1992294400 134512640 137138936 4290789824 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 2922 468 192 642 0 2278 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11688

[startup+0.701541 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 18973
/proc/meminfo: memFree=1688512/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=13052 CPUtime=0.69
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 905 0 0 0 69 0 0 0 22 0 1 0 12785836 13365248 811 1992294400 134512640 137138936 4290789824 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 3263 811 192 642 0 2619 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13052

[startup+1.50169 s]
/proc/loadavg: 1.00 1.00 1.00 3/107 18974
/proc/meminfo: memFree=1685280/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=14916 CPUtime=1.49
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 1391 0 0 0 148 1 0 0 25 0 1 0 12785836 15273984 1297 1992294400 134512640 137138936 4290789824 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 3729 1297 192 642 0 3085 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14916

[startup+3.10098 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18974
/proc/meminfo: memFree=1682800/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=17684 CPUtime=3.09
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 2073 0 0 0 307 2 0 0 25 0 1 0 12785836 18108416 1979 1992294400 134512640 137138936 4290789824 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 4421 1979 192 642 0 3777 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17684

[startup+6.30156 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18974
/proc/meminfo: memFree=1678336/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=21312 CPUtime=6.29
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 2991 0 0 0 624 5 0 0 25 0 1 0 12785836 21823488 2897 1992294400 134512640 137138936 4290789824 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 5328 2897 192 642 0 4684 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21312

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18974
/proc/meminfo: memFree=1673128/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=25564 CPUtime=12.68
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 4054 0 0 0 1260 8 0 0 25 0 1 0 12785836 26177536 3960 1992294400 134512640 137138936 4290789824 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 6391 3960 192 642 0 5747 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25564

[startup+25.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18974
/proc/meminfo: memFree=1670400/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=28584 CPUtime=25.49
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 4794 0 0 0 2537 12 0 0 25 0 1 0 12785836 29270016 4700 1992294400 134512640 137138936 4290789824 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 7146 4700 192 642 0 6502 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 28584

[startup+51.1007 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18974
/proc/meminfo: memFree=1666928/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=31812 CPUtime=51.07
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 5616 0 0 0 5089 18 0 0 25 0 1 0 12785836 32575488 5522 1992294400 134512640 137138936 4290789824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 7953 5522 192 642 0 7309 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 31812

[startup+102.309 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18976
/proc/meminfo: memFree=1661100/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=37440 CPUtime=102.26
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 7029 0 0 0 10197 29 0 0 25 0 1 0 12785836 38338560 6935 1992294400 134512640 137138936 4290789824 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 9360 6935 192 642 0 8716 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 37440

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18978
/proc/meminfo: memFree=1659364/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=39280 CPUtime=162.23
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 7495 0 0 0 16179 44 0 0 25 0 1 0 12785836 40222720 7367 1992294400 134512640 137138936 4290789824 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 9820 7367 192 642 0 9176 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 39280

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18980
/proc/meminfo: memFree=1659364/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=39280 CPUtime=222.21
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 7495 0 0 0 22166 55 0 0 25 0 1 0 12785836 40222720 7367 1992294400 134512640 137138936 4290789824 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 9820 7367 192 642 0 9176 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 39280

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18980
/proc/meminfo: memFree=1659240/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=39280 CPUtime=282.19
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 7495 0 0 0 28153 66 0 0 25 0 1 0 12785836 40222720 7367 1992294400 134512640 137138936 4290789824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 9820 7367 192 642 0 9176 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 39280

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18982
/proc/meminfo: memFree=1658132/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=40220 CPUtime=342.17
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 7773 0 0 0 34139 78 0 0 25 0 1 0 12785836 41185280 7608 1992294400 134512640 137138936 4290789824 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 10055 7608 192 642 0 9411 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 40220

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18984
/proc/meminfo: memFree=1657512/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=41024 CPUtime=402.15
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 7965 0 0 0 40124 91 0 0 25 0 1 0 12785836 42008576 7800 1992294400 134512640 137138936 4290789824 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 10256 7800 192 642 0 9612 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 41024

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18986
/proc/meminfo: memFree=1657016/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=41432 CPUtime=462.14
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 8067 0 0 0 46111 103 0 0 25 0 1 0 12785836 42426368 7902 1992294400 134512640 137138936 4290789824 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 10358 7902 192 642 0 9714 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 41432

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18988
/proc/meminfo: memFree=1653916/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=44348 CPUtime=522.11
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 8838 0 0 0 52097 114 0 0 25 0 1 0 12785836 45412352 8632 1992294400 134512640 137138936 4290789824 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 11087 8632 192 642 0 10443 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 44348

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18988
/proc/meminfo: memFree=1653668/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=44684 CPUtime=582.09
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 8921 0 0 0 58083 126 0 0 25 0 1 0 12785836 45756416 8715 1992294400 134512640 137138936 4290789824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 11171 8715 192 642 0 10527 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 44684

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18990
/proc/meminfo: memFree=1653668/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=44684 CPUtime=642.08
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 8921 0 0 0 64071 137 0 0 25 0 1 0 12785836 45756416 8715 1992294400 134512640 137138936 4290789824 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 11171 8715 192 642 0 10527 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 44684

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18996
/proc/meminfo: memFree=1650320/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=47724 CPUtime=881.99
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 9726 0 0 0 88016 183 0 0 25 0 1 0 12785836 48869376 9475 1992294400 134512640 137138936 4290789824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 11931 9475 192 642 0 11287 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 47724

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 18998
/proc/meminfo: memFree=1650320/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=47724 CPUtime=941.97
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 9726 0 0 0 94003 194 0 0 25 0 1 0 12785836 48869376 9475 1992294400 134512640 137138936 4290789824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 11931 9475 192 642 0 11287 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 47724

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19000
/proc/meminfo: memFree=1648336/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=49344 CPUtime=1001.95
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 10234 0 0 0 99991 204 0 0 25 0 1 0 12785836 50528256 9904 1992294400 134512640 137138936 4290789824 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 12336 9904 192 642 0 11692 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 49344

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19002
/proc/meminfo: memFree=1647964/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=50016 CPUtime=1061.93
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 10378 0 0 0 105981 212 0 0 25 0 1 0 12785836 51216384 10048 1992294400 134512640 137138936 4290789824 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 12504 10048 192 642 0 11860 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 50016

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19004
/proc/meminfo: memFree=1647964/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=50016 CPUtime=1121.91
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 10378 0 0 0 111970 221 0 0 25 0 1 0 12785836 51216384 10048 1992294400 134512640 137138936 4290789824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 12504 10048 192 642 0 11860 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 50016

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19004
/proc/meminfo: memFree=1646228/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=51620 CPUtime=1181.89
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 10779 0 0 0 117959 230 0 0 25 0 1 0 12785836 52858880 10449 1992294400 134512640 137138936 4290789824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 12905 10449 192 642 0 12261 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 51620

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19006
/proc/meminfo: memFree=1646228/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=51620 CPUtime=1241.88
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 10792 0 0 0 123949 239 0 0 25 0 1 0 12785836 52858880 10462 1992294400 134512640 137138936 4290789824 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 12905 10462 192 642 0 12261 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 51620

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19008
/proc/meminfo: memFree=1646104/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=51620 CPUtime=1301.86
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 10792 0 0 0 129939 247 0 0 25 0 1 0 12785836 52858880 10462 1992294400 134512640 137138936 4290789824 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 12905 10462 192 642 0 12261 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 51620

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19010
/proc/meminfo: memFree=1646104/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=51620 CPUtime=1361.84
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 10792 0 0 0 135926 258 0 0 25 0 1 0 12785836 52858880 10462 1992294400 134512640 137138936 4290789824 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 12905 10462 192 642 0 12261 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 51620

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19012
/proc/meminfo: memFree=1645608/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=52120 CPUtime=1421.82
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 10904 0 0 0 141914 268 0 0 25 0 1 0 12785836 53370880 10574 1992294400 134512640 137138936 4290789824 18446744073709551615 136506277 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 13030 10574 192 642 0 12386 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 52120

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19012
/proc/meminfo: memFree=1643500/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=54252 CPUtime=1481.79
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 11461 0 0 0 147902 277 0 0 25 0 1 0 12785836 55554048 11131 1992294400 134512640 137138936 4290789824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 13563 11131 192 642 0 12919 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 54252

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19014
/proc/meminfo: memFree=1642260/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=55188 CPUtime=1541.77
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 11730 0 0 0 153890 287 0 0 25 0 1 0 12785836 56512512 11346 1992294400 134512640 137138936 4290789824 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 13797 11346 192 642 0 13153 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 55188

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19016
/proc/meminfo: memFree=1642260/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=55416 CPUtime=1601.75
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 11782 0 0 0 159878 297 0 0 25 0 1 0 12785836 56745984 11398 1992294400 134512640 137138936 4290789824 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 13854 11398 192 642 0 13210 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 55416

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19018
/proc/meminfo: memFree=1642136/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=55416 CPUtime=1661.73
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 11782 0 0 0 165865 308 0 0 25 0 1 0 12785836 56745984 11398 1992294400 134512640 137138936 4290789824 18446744073709551615 134600068 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 13854 11398 192 642 0 13210 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 55416

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19020
/proc/meminfo: memFree=1642136/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=55416 CPUtime=1721.71
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 11782 0 0 0 171855 316 0 0 25 0 1 0 12785836 56745984 11398 1992294400 134512640 137138936 4290789824 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 13854 11398 192 642 0 13210 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 55416

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 19020
/proc/meminfo: memFree=1642136/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=55416 CPUtime=1781.69
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 11782 0 0 0 177845 324 0 0 25 0 1 0 12785836 56745984 11398 1992294400 134512640 137138936 4290789824 18446744073709551615 134542397 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 13854 11398 192 642 0 13210 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 55416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.08 1.02 1.01 2/108 19025
/proc/meminfo: memFree=1638780/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=58044 CPUtime=1800.1
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 12439 0 0 0 179683 327 0 0 25 0 1 0 12785836 59437056 12055 1992294400 134512640 137138936 4290789824 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 14511 12055 192 642 0 13867 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 58044

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

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

[startup+1800.71 s]
/proc/loadavg: 1.08 1.02 1.01 2/108 19025
/proc/meminfo: memFree=1638780/2059040 swapFree=4192956/4192956
[pid=18973] ppid=18971 vsize=58044 CPUtime=1800.1
/proc/18973/stat : 18973 (bsolo_pb10) R 18971 18973 18608 0 -1 4202496 12439 0 0 0 179683 327 0 0 25 0 1 0 12785836 59437056 12055 1992294400 134512640 137138936 4290789824 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/18973/statm: 14511 12055 192 642 0 13867 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 58044

Child status: 15
Real time (s): 1800.73
CPU time (s): 1800.12
CPU user time (s): 1796.84
CPU system time (s): 3.2815
CPU usage (%): 99.9662
Max. virtual memory (cumulated for all children) (KiB): 58044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.84
system time used= 3.2815
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12440
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= 2
involuntary context switches= 3354

runsolver used 2.99554 second user time and 8.48671 second system time

The end

Launcher Data 

Begin job on node044 at 2010-06-16 21:02:15
IDJOB=2671021
IDBENCH=48227
IDSOLVER=1162
FILE ID=node044/2671021-1276714935
PBS_JOBID= 11174148
Free space on /tmp= 62588 MiB

SOLVER NAME= bsolo 3.2 Card
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_1.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l2 BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2671021-1276714935/watcher-2671021-1276714935 -o /tmp/evaluation-result-2671021-1276714935/solver-2671021-1276714935 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l2 HOME/instance-2671021-1276714935.opb

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

MD5SUM BENCH= 26861ca996cf8fd2abe5c211e1f47a26
RANDOM SEED=1647224456

node044.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.266
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.266
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:       1689288 kB
Buffers:         91628 kB
Cached:         149448 kB
SwapCached:          0 kB
Active:         128452 kB
Inactive:       171968 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1689288 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3872 kB
Writeback:           0 kB
AnonPages:       59304 kB
Mapped:          15348 kB
Slab:            47588 kB
PageTables:       4084 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   181584 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-2671021-1276714935.opb

Free space on /tmp at the end= 62584 MiB
End job on node044 at 2010-06-16 21:32:18