Trace number 2657476

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-33 1798.05 1798.47

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUMf408a60720d5bae3e36cea0c41e2f7f1
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35
Best CPU time to get the best result obtained on this benchmark1789.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -39
Optimality of the best value was proved NO
Number of variables760
Total number of constraints41619
Number of constraints which are clauses41619
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 760
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 760
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 760
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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-2657476-1276489822.opb
0.00/0.00	c File size is 994325 bytes.
0.09/0.16	c Highest Coefficient sum: 760
0.09/0.16	c Parsing was ok!!
0.09/0.16	c Total parsing time: 0.161 s
0.09/0.17	c Var: 760 Constr: 41619 41619/0/0 Lit: 83238 Watch. Lit: 83238
0.09/0.17	c Obj. Vars: 760 (100 % of total variables)
0.79/0.89	c Pre-processing Time: 0.895 s
0.79/0.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.79/0.89	c        0    760    41619    83238    2    83238   13872      0      0 0.90
0.79/0.89	c Switching off lower bounding mode.
0.89/0.90	o -27
0.89/0.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.90	c        0    760    41620    83998    2    83267   14872      1      0 0.90
0.89/0.90	o -28
0.89/0.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.89/0.95	c        1    760    41622    85490    2    83299   14872      3      1 0.91
0.89/0.95	o -29
0.99/1.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.99/1.01	c       98    760    41720   156891    3    83524   14872    101    102 0.95
0.99/1.01	c      199    760    41821   230255    5    83726   16360    202    197 1.01
0.99/1.01	o -30
1.99/2.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.99/2.08	c      199    760    41822   231015    5    83758   14872    203    196 1.01
1.99/2.08	c      301    760    41924   305135    7    83962   16360    305    282 1.07
1.99/2.08	c      551    760    42174   486679   11    84462   17997    555    454 1.21
1.99/2.08	c     1026    760    42649   831700   19    85412   19797   1030    674 1.52
1.99/2.08	c     1839    760    43462  1422014   32    87038   21777   1843    891 2.06
1.99/2.08	o -31
750.82/751.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
750.82/751.05	c     1867    760    43491  1443120   33    87127   14872   1872    896 2.08
750.82/751.05	c     1968    760    43592  1516313   34    87329   16360   1973    917 2.15
750.82/751.05	c     2218    760    43842  1697734   38    87829   17997   2223    965 2.30
750.82/751.05	c     2693    760    44317  2041975   46    88779   19797   2698   1021 2.64
750.82/751.05	c     3506    760    45130  2631555   58    90405   21777   3511   1068 3.28
750.82/751.05	c     4827    760    46451  3589163   77    93047   23955   4832   1051 4.59
750.82/751.05	c     6909    760    48533  5098426  105    97211   26351   6914   1012 6.82
750.82/751.05	c    10132    760    51756  7435731  143   103657   28987  10137    842 12.03
750.82/751.05	c    15068    760    56692 11014240  194   113529   31886  15073    620 24.30
750.82/751.05	c    22574    760    64198 16453656  256   128541   35075  22579    551 40.91
750.82/751.05	c    33935    760    75559 24686141  326   151263   38583  33940    483 70.21
750.82/751.05	c    51079    760    64742 16838530  260   129515   42442  23123    400 127.42
750.82/751.05	c    76899    760    58845 12556375  213   117721   46687  17226    325 236.40
750.82/751.05	c   115732    760    61846 14743053  238   123723   51356  20227    277 416.71
750.82/751.05	c   174086    760    79774 27742869  347   159579   56492  38155    242 718.68
750.82/751.05	o -32
1558.03/1558.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1558.03/1558.46	c   186138    760    91827 36484857  397   183717   14872  50208    247 750.88
1558.03/1558.46	c   186238    760    49156  5549358  112    98344   16360   7537    244 762.87
1558.03/1558.46	c   186488    760    49406  5730214  115    98844   17997   7787    244 763.31
1558.03/1558.46	c   186963    760    49881  6073609  121    99794   19797   8262    244 763.75
1558.03/1558.46	c   187776    760    50694  6661944  131   101420   21777   9075    245 764.80
1558.03/1558.46	c   189096    760    52014  7615573  146   104060   23955  10395    246 765.99
1558.03/1558.46	c   191177    760    54095  9121377  168   108222   26351  12476    248 768.39
1558.03/1558.46	c   194400    760    57318 11453756  199   114668   28987  15699    250 776.58
1558.03/1558.46	c   199338    760    62256 15028531  241   124544   31886  20637    254 784.73
1558.03/1558.46	c   206844    760    69762 20460004  293   139556   35075  28143    258 798.95
1558.03/1558.46	c   218206    760    56600 10926257  193   113232   38583  14981    262 832.54
1558.03/1558.46	c   235350    760    73744 23339555  316   147520   42442  32125    268 876.56
1558.03/1558.47	c   261169    760    67809 19042165  280   135650   46687  26190    264 986.87
1558.03/1558.47	c   300001    760    70799 21204049  299   141630   51356  29180    262 1141.14
1558.03/1558.47	c   358354    760    88783 34218534  385   177598   56492  47164    230 1556.26
1558.03/1558.47	o -33
1797.98/1798.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.98/1798.42	c   358904    760    89334 34617375  387   178733   14872  47715    230 1558.11
1797.98/1798.42	c   359004    760    49156  5533293  112    98345   16360   7537    228 1572.44
1797.98/1798.42	c   359255    760    49407  5714732  115    98847   17997   7788    228 1572.66
1797.98/1798.42	c   359730    760    49882  6057951  121    99797   19797   8263    228 1573.05
1797.98/1798.42	c   360543    760    50695  6646030  131   101423   21777   9076    229 1573.92
1797.98/1798.42	c   361863    760    52015  7600996  146   104063   23955  10396    229 1575.42
1797.98/1798.42	c   363944    760    54096  9104852  168   108225   26351  12477    230 1577.40
1797.98/1798.42	c   367168    760    57320 11435330  199   114673   28987  15701    232 1581.59
1797.98/1798.42	c   372104    760    62256 15002618  240   124545   31886  20637    234 1589.90
1797.98/1798.42	c   379611    760    69763 20429118  292   139559   35075  28144    236 1604.54
1797.98/1798.42	c   390972    760    56584 10900854  192   113201   38583  14965    239 1635.41
1797.98/1798.42	c   408117    760    73729 23297857  315   147491   42442  32110    243 1677.65
1797.98/1798.42	c   433936    760    67837 19028202  280   135707   46687  26218    244 1772.30
1797.98/1798.42	c Resources Exceeded
1797.98/1798.42	v -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 x518 -x517 -x516 -x515 -x514 -x513 x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 x308 -x307 -x306 -x305 -x304 -x303 x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 x229 -x228 -x227 -x226 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160 -x159 -x158 -x157 x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 x98 -x97 -x96 -x95 -x94 x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 x6 -x5 -x4 -x3 -x2 -x1 
1797.98/1798.42	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.98/1798.42	c   52   442800  35943   487076    76701 25436104  35082    246 1798.00
1797.98/1798.42	c Objective: -33
1797.98/1798.42	s SATISFIABLE
1797.98/1798.42	c Total time: 1798 s

Verifier Data 

OK	-33

Watcher Data 

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2657476-1276489822/watcher-2657476-1276489822 -o /tmp/evaluation-result-2657476-1276489822/solver-2657476-1276489822 -C 1800 -W 2000 -M 1800 bsolo_pb10 -t1800 -l1 HOME/instance-2657476-1276489822.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 26879
/proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=11900 CPUtime=0
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 349 0 0 0 0 0 0 0 18 0 1 0 24586102 12185600 268 1992294400 134512640 137138936 4287544192 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 2975 268 176 642 0 2088 0

[startup+0.0993441 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26879
/proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=14104 CPUtime=0.09
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 1046 0 0 0 9 0 0 0 20 0 1 0 24586102 14442496 965 1992294400 134512640 137138936 4287544192 18446744073709551615 136525339 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 3526 966 310 642 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14104

[startup+0.100345 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26879
/proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=14104 CPUtime=0.09
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 1054 0 0 0 9 0 0 0 20 0 1 0 24586102 14442496 973 1992294400 134512640 137138936 4287544192 18446744073709551615 136525315 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 3526 973 311 642 0 2639 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14104

[startup+0.300361 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26879
/proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=18092 CPUtime=0.29
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 2414 0 0 0 29 0 0 0 20 0 1 0 24586102 18526208 2090 1992294400 134512640 137138936 4287544192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 4523 2090 185 642 0 3879 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 18092

[startup+0.700393 s]
/proc/loadavg: 1.00 1.00 1.00 3/106 26879
/proc/meminfo: memFree=1804204/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=18092 CPUtime=0.69
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 2414 0 0 0 66 3 0 0 20 0 1 0 24586102 18526208 2090 1992294400 134512640 137138936 4287544192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 4523 2090 185 642 0 3879 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18092

[startup+1.50046 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26880
/proc/meminfo: memFree=1796012/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=26116 CPUtime=1.49
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 5016 0 0 0 144 5 0 0 23 0 1 0 24586102 26742784 4103 1992294400 134512640 137138936 4287544192 18446744073709551615 134575833 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 6529 4104 191 642 0 5885 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26116

[startup+3.10059 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26880
/proc/meminfo: memFree=1779892/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=47584 CPUtime=3.09
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 10382 0 0 0 301 8 0 0 25 0 1 0 24586102 48726016 9469 1992294400 134512640 137138936 4287544192 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 11896 9469 191 642 0 11252 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47584

[startup+6.30185 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26882
/proc/meminfo: memFree=1744676/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=77256 CPUtime=6.29
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 17783 0 0 0 619 10 0 0 25 0 1 0 24586102 79110144 16870 1992294400 134512640 137138936 4287544192 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 19314 16870 191 642 0 18670 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77256

[startup+12.7014 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26882
/proc/meminfo: memFree=1702764/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=114936 CPUtime=12.69
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 27211 0 0 0 1254 15 0 0 25 0 1 0 24586102 117694464 26298 1992294400 134512640 137138936 4287544192 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 28734 26298 191 642 0 28090 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 114936

[startup+25.5004 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26882
/proc/meminfo: memFree=1647956/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=168108 CPUtime=25.49
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 40508 0 0 0 2525 24 0 0 25 0 1 0 24586102 172142592 39595 1992294400 134512640 137138936 4287544192 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 42027 39595 191 642 0 41383 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 168108

[startup+51.1005 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26882
/proc/meminfo: memFree=1537348/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=277860 CPUtime=51.08
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 67940 0 0 0 5066 42 0 0 25 0 1 0 24586102 284528640 67027 1992294400 134512640 137138936 4287544192 18446744073709551615 134542617 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 69465 67027 191 642 0 68821 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 277860

[startup+102.308 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26884
/proc/meminfo: memFree=1429840/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=383300 CPUtime=102.28
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 94343 0 0 0 10164 64 0 0 25 0 1 0 24586102 392499200 93391 1992294400 134512640 137138936 4287544192 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 95825 93391 191 642 0 95181 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 383300

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26886
/proc/meminfo: memFree=1429716/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=383300 CPUtime=162.26
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 94343 0 0 0 16154 72 0 0 25 0 1 0 24586102 392499200 93391 1992294400 134512640 137138936 4287544192 18446744073709551615 136500372 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 95825 93391 191 642 0 95181 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 383300

[startup+222.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26886
/proc/meminfo: memFree=1394004/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=418932 CPUtime=222.24
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 103299 0 0 0 22142 82 0 0 25 0 1 0 24586102 428986368 102304 1992294400 134512640 137138936 4287544192 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 104733 102304 191 642 0 104089 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 418932

[startup+282.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26888
/proc/meminfo: memFree=1394004/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=418932 CPUtime=282.23
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 103299 0 0 0 28134 89 0 0 25 0 1 0 24586102 428986368 102304 1992294400 134512640 137138936 4287544192 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 104733 102304 191 642 0 104089 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 418932

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26890
/proc/meminfo: memFree=1390036/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=423596 CPUtime=342.21
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 104442 0 0 0 34126 95 0 0 25 0 1 0 24586102 433762304 103447 1992294400 134512640 137138936 4287544192 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 105899 103447 191 642 0 105255 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 423596

[startup+402.301 s]
/proc/loadavg: 1.05 1.01 1.00 2/107 26892
/proc/meminfo: memFree=1354076/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=458708 CPUtime=402.2
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 113261 0 0 0 40114 106 0 0 25 0 1 0 24586102 469716992 112219 1992294400 134512640 137138936 4287544192 18446744073709551615 134542330 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 114677 112219 191 642 0 114033 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 458708

[startup+462.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/107 26894
/proc/meminfo: memFree=1354076/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=458708 CPUtime=462.18
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 113261 0 0 0 46104 114 0 0 25 0 1 0 24586102 469716992 112219 1992294400 134512640 137138936 4287544192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 114677 112219 191 642 0 114033 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 458708

[startup+522.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/107 26894
/proc/meminfo: memFree=1353952/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=458708 CPUtime=522.17
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 113261 0 0 0 52099 118 0 0 25 0 1 0 24586102 469716992 112219 1992294400 134512640 137138936 4287544192 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 114677 112219 191 642 0 114033 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 458708

[startup+582.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 26896
/proc/meminfo: memFree=1310180/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502352 CPUtime=582.16
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 124233 0 0 0 58086 130 0 0 25 0 1 0 24586102 514408448 123140 1992294400 134512640 137138936 4287544192 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125588 123140 191 642 0 124944 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 502352

[startup+642.301 s]
/proc/loadavg: 1.05 1.04 1.00 2/107 26898
/proc/meminfo: memFree=1310180/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502352 CPUtime=642.15
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 124233 0 0 0 64078 137 0 0 25 0 1 0 24586102 514408448 123140 1992294400 134512640 137138936 4287544192 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125588 123140 191 642 0 124944 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 502352

[startup+702.3 s]

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

/proc/meminfo: memFree=1317868/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=493772 CPUtime=1122.03
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 124233 0 0 0 112012 191 0 0 25 0 1 0 24586102 505622528 121018 1992294400 134512640 137138936 4287544192 18446744073709551615 134542345 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 123443 121018 191 642 0 122799 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 493772

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26912
/proc/meminfo: memFree=1322704/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=489032 CPUtime=1182.01
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 124233 0 0 0 118003 198 0 0 25 0 1 0 24586102 500768768 119833 1992294400 134512640 137138936 4287544192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 122258 119833 191 642 0 121614 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 489032

[startup+1242.3 s]
/proc/loadavg: 1.08 1.02 1.01 2/107 26914
/proc/meminfo: memFree=1310056/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1242
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 123994 206 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542530 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 502084

[startup+1302.3 s]
/proc/loadavg: 1.03 1.01 1.00 2/107 26916
/proc/meminfo: memFree=1309932/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1301.99
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 129987 212 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 502084

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/107 26918
/proc/meminfo: memFree=1309932/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1361.97
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 135982 215 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 502084

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26918
/proc/meminfo: memFree=1309932/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1421.97
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 141978 219 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 502084

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26920
/proc/meminfo: memFree=1309808/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1481.95
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 147973 222 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 502084

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26922
/proc/meminfo: memFree=1309808/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1541.93
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 153969 224 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 502084

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26924
/proc/meminfo: memFree=1309684/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1601.92
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 159962 230 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134575454 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 502084

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/107 26926
/proc/meminfo: memFree=1309684/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1661.91
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 165952 239 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 502084

[startup+1722.3 s]
/proc/loadavg: 1.09 1.03 1.01 2/107 26926
/proc/meminfo: memFree=1309560/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1721.89
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 171943 246 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 502084

[startup+1782.3 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 26928
/proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1781.87
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 177933 254 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 502084

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

[startup+1791.91 s]
/proc/loadavg: 1.03 1.02 1.00 2/107 26928
/proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1791.48
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 178893 255 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (KiB) 502084

[startup+1795.1 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 26928
/proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1794.68
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179212 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1794.68
Current children cumulated vsize (KiB) 502084

[startup+1796.7 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 26928
/proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1796.27
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179371 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542627 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1796.27
Current children cumulated vsize (KiB) 502084

[startup+1797.5 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 26928
/proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1797.07
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179451 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1797.07
Current children cumulated vsize (KiB) 502084

[startup+1797.9 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 26928
/proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1797.47
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179491 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 136504207 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1797.47
Current children cumulated vsize (KiB) 502084

[startup+1798.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 26928
/proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1797.87
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179531 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 502084

[startup+1798.4 s]
/proc/loadavg: 1.02 1.02 1.00 2/107 26928
/proc/meminfo: memFree=1309312/2059040 swapFree=4140200/4192956
[pid=26879] ppid=26877 vsize=502084 CPUtime=1797.98
/proc/26879/stat : 26879 (bsolo_pb10) R 26877 26879 25834 0 -1 4202496 127464 0 0 0 179542 256 0 0 25 0 1 0 24586102 514134016 123064 1992294400 134512640 137138936 4287544192 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/26879/statm: 125521 123064 191 642 0 124877 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 502084

Child status: 0
Real time (s): 1798.47
CPU time (s): 1798.05
CPU user time (s): 1795.44
CPU system time (s): 2.6166
CPU usage (%): 99.9767
Max. virtual memory (cumulated for all children) (KiB): 502352

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

runsolver used 2.84157 second user time and 8.61969 second system time

The end

Launcher Data 

Begin job on node003 at 2010-06-14 06:30:22
IDJOB=2657476
IDBENCH=2240
IDSOLVER=1163
FILE ID=node003/2657476-1276489822
PBS_JOBID= 11173385
Free space on /tmp= 62572 MiB

SOLVER NAME= bsolo 3.2 Cl
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
COMMAND LINE= bsolo_pb10 -tTIMEOUT -l1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2657476-1276489822/watcher-2657476-1276489822 -o /tmp/evaluation-result-2657476-1276489822/solver-2657476-1276489822 -C 1800 -W 2000 -M 1800  bsolo_pb10 -t1800 -l1 HOME/instance-2657476-1276489822.opb

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

MD5SUM BENCH= f408a60720d5bae3e36cea0c41e2f7f1
RANDOM SEED=1543560389

node003.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.251
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.50
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.251
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.45
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1804608 kB
Buffers:         69664 kB
Cached:         105856 kB
SwapCached:       5688 kB
Active:          96760 kB
Inactive:        91200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1804608 kB
SwapTotal:     4192956 kB
SwapFree:      4140200 kB
Dirty:            4852 kB
Writeback:           0 kB
AnonPages:       10928 kB
Mapped:          13052 kB
Slab:            44708 kB
PageTables:       3900 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   182128 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62568 MiB
End job on node003 at 2010-06-14 07:00:20