Trace number 39930

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, and are wall clock time (not CPU 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 2006/05SAT0 1800.09 1800.55

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb
MD5SUM2dbafacadc353eeed0e4ce2357d3a727
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-15
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -17
Optimality of the best value was proved NO
Number of variables1440
Total number of constraints49
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 constraints49
Minimum length of a constraint60
Maximum length of a constraint120
Number of terms in the objective function 30
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524317
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524371
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.04	c Initial problem consists of 1440 variables and 69 constraints.
0.04	c No problem reductions applied in OPT. instance.
0.04	c	preprocess terminated. Elapsed time: 0.028
0.04	c After prepocess the problem consists of 1047 variables and 69 constraints.
0.04	c Initial Lower Bound: -1044
0.07	c Restart #1 #Var: 1047 LB: -1044 @ 0.063
0.14	c Restart #2 #Var: 1047 LB: -1044 @ 0.129
0.24	c Restart #3 #Var: 1047 LB: -1044 @ 0.23
0.38	c Restart #4 #Var: 1047 LB: -1044 @ 0.364
0.56	c Restart #5 #Var: 1047 LB: -1044 @ 0.544
0.77	c Restart #6 #Var: 1047 LB: -1044 @ 0.754
1.02	c Restart #7 #Var: 1047 LB: -1044 @ 1.009
1.30	c Restart #8 #Var: 1047 LB: -1044 @ 1.286
1.42	c Restart #9 #Var: 1047 LB: -1044 @ 1.401
1.65	c Restart #10 #Var: 1017 LB: -1044 @ 1.633
1.89	c Restart #11 #Var: 1017 LB: -1044 @ 1.87
2.27	c Restart #12 #Var: 1016 LB: -1044 @ 2.255
2.46	c Restart #13 #Var: 1016 LB: -1044 @ 2.445
2.77	c Restart #14 #Var: 1016 LB: -1044 @ 2.752
3.27	c Restart #15 #Var: 1016 LB: -1044 @ 3.253
3.53	c Sol. found (all assignments made)...
3.53	o 0
3.53	c NEW SOLUTION FOUND: 0 @ 3.514
4.40	c Restart #16 #Var: 1014 LB: -1044 @ 4.385
5.21	c Restart #17 #Var: 1014 LB: -1044 @ 5.191
6.36	c Restart #18 #Var: 1005 LB: -531 @ 6.339
7.06	c Restart #19 #Var: 1005 LB: -531 @ 7.041
8.53	c CHANGE to MIS mode... 	UB: 0	MIS: -531	LPR: -286 (0.01725)	Diff: 1.8566
8.53	c Restart #0 #Var: 1003 LB: -531 @ 8.505
8.70	c Restart #1 #Var: 994 LB: -274 @ 8.672
8.91	c Restart #2 #Var: 994 LB: -274 @ 8.883
9.02	c Restart #3 #Var: 994 LB: -274 @ 9
9.67	c Restart #4 #Var: 994 LB: -274 @ 9.643
10.65	c Restart #5 #Var: 994 LB: -274 @ 10.631
10.89	c Restart #6 #Var: 994 LB: -274 @ 10.869
11.75	c Restart #7 #Var: 994 LB: -274 @ 11.723
12.54	c Restart #8 #Var: 994 LB: -274 @ 12.512
12.64	c Restart #9 #Var: 994 LB: -274 @ 12.612
12.84	c Restart #10 #Var: 988 LB: -274 @ 12.82
13.15	c Restart #11 #Var: 980 LB: -145 @ 13.122
14.64	c Restart #12 #Var: 979 LB: -145 @ 14.612
15.09	c Restart #13 #Var: 979 LB: -145 @ 15.067
16.33	c Restart #14 #Var: 979 LB: -145 @ 16.304
17.33	c Restart #15 #Var: 976 LB: -145 @ 17.308
22.25	c Restart #16 #Var: 976 LB: -145 @ 22.224
23.22	c Restart #17 #Var: 976 LB: -145 @ 23.197
24.55	c Restart #18 #Var: 976 LB: -145 @ 24.524
25.72	c Restart #19 #Var: 976 LB: -145 @ 25.69
26.70	c Restart #20 #Var: 976 LB: -145 @ 26.676
32.55	c Restart #21 #Var: 976 LB: -145 @ 32.524
34.92	c Restart #22 #Var: 976 LB: -145 @ 34.888
38.58	c Restart #23 #Var: 976 LB: -145 @ 38.546
61.58	c Restart #24 #Var: 976 LB: -145 @ 61.541
89.09	c Restart #25 #Var: 976 LB: -145 @ 89.046
91.37	c Restart #26 #Var: 976 LB: -145 @ 91.325
99.87	c Restart #27 #Var: 976 LB: -145 @ 99.826
101.77	c Restart #28 #Var: 976 LB: -145 @ 101.72
102.37	c Restart #29 #Var: 976 LB: -145 @ 102.33
114.77	c Restart #30 #Var: 976 LB: -145 @ 114.72
119.03	c Restart #31 #Var: 976 LB: -145 @ 118.98
134.08	c Restart #32 #Var: 976 LB: -145 @ 134.02
145.91	c Restart #33 #Var: 976 LB: -145 @ 145.86
150.20	c Restart #34 #Var: 976 LB: -145 @ 150.14
150.98	c Restart #35 #Var: 976 LB: -145 @ 150.92
159.41	c Restart #36 #Var: 976 LB: -145 @ 159.35
160.69	c Restart #37 #Var: 976 LB: -145 @ 160.63
231.99	c Restart #38 #Var: 976 LB: -145 @ 231.92
247.41	c Restart #39 #Var: 974 LB: -145 @ 247.33
260.85	c Restart #40 #Var: 974 LB: -145 @ 260.77
286.64	c Restart #41 #Var: 974 LB: -145 @ 286.55
294.24	c Restart #42 #Var: 974 LB: -145 @ 294.15
303.22	c Restart #43 #Var: 974 LB: -145 @ 303.13
321.11	c Restart #44 #Var: 974 LB: -145 @ 321.01
336.41	c Restart #45 #Var: 974 LB: -145 @ 336.3
359.36	c Restart #46 #Var: 974 LB: -145 @ 359.25
370.52	c Restart #47 #Var: 974 LB: -145 @ 370.41
452.78	c Restart #48 #Var: 966 LB: -145 @ 452.65
482.59	c Restart #49 #Var: 966 LB: -145 @ 482.45
488.15	c Restart #50 #Var: 966 LB: -145 @ 488.01
502.68	c Restart #51 #Var: 947 LB: -145 @ 502.54
520.89	c Restart #52 #Var: 947 LB: -145 @ 520.75
535.75	c Restart #53 #Var: 947 LB: -145 @ 535.61
571.93	c Restart #54 #Var: 947 LB: -145 @ 571.77
580.76	c Restart #55 #Var: 947 LB: -145 @ 580.6
596.25	c Restart #56 #Var: 947 LB: -145 @ 596.08
636.24	c Restart #57 #Var: 946 LB: -145 @ 636.06
654.32	c Restart #58 #Var: 946 LB: -145 @ 654.14
666.92	c Restart #59 #Var: 944 LB: -145 @ 666.74
786.29	c Restart #60 #Var: 941 LB: -145 @ 786.08
821.57	c Restart #61 #Var: 941 LB: -145 @ 821.35
866.03	c Restart #62 #Var: 941 LB: -145 @ 865.8
926.06	c Restart #63 #Var: 941 LB: -145 @ 925.82
954.25	c Restart #64 #Var: 941 LB: -145 @ 954
1030.90	c Restart #65 #Var: 941 LB: -145 @ 1030.6
1037.00	c Restart #66 #Var: 941 LB: -145 @ 1036.7
1084.46	c Restart #67 #Var: 941 LB: -145 @ 1084.2
1192.46	c Restart #68 #Var: 941 LB: -145 @ 1192.2
1318.83	c Restart #69 #Var: 941 LB: -145 @ 1318.5
1330.50	c Restart #70 #Var: 941 LB: -145 @ 1330.2
1456.28	c Restart #71 #Var: 941 LB: -145 @ 1455.9
1490.49	c Restart #72 #Var: 941 LB: -145 @ 1490.1
1637.68	c Restart #73 #Var: 941 LB: -145 @ 1637.3
1720.98	c Restart #74 #Var: 941 LB: -145 @ 1720.5
1800.45	s SATISFIABLE
1800.45	c Cost: 0
1800.45	v -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112
1800.45	v -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18
1800.45	v -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
1800.45	v -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
1800.45	v -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x121 -x122 -x123 -x124 -x125
1800.45	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.45	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.45	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.45	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.45	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.45	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.45	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 x272
1800.45	v x273 x274 x275 x276 x277 x278 x279 x280 x281 x282 x283 x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295
1800.45	v -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316
1800.45	v -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337
1800.45	v -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358
1800.45	v -x359 -x360 -x361 -x362 -x363 x364 x365 x366 x367 x368 -x369 -x370 -x371 -x372 -x373 -x374 x375 x376 x377 -x378 -x379 -x380
1800.45	v -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401
1800.45	v -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422
1800.45	v -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443
1800.45	v -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464
1800.45	v -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485
1800.45	v -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506
1800.45	v -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 x525 -x526 x527
1800.45	v x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548
1800.45	v -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569
1800.45	v -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590
1800.45	v -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611
1800.45	v -x612 -x613 x614 x615 x616 -x617 x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632
1800.45	v -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653
1800.45	v -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 x673 -x674
1800.45	v x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695
1800.45	v -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716
1800.45	v -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737
1800.45	v -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758
1800.45	v -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779
1800.45	v -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800
1800.45	v -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 x817 -x818 -x819 -x820 -x821
1800.45	v x822 -x823 x824 -x825 -x826 x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842
1800.45	v -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 x857 x858 -x859 -x860 -x861 -x862 -x863
1800.45	v -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884
1800.45	v -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 x901 x902 x903 x904 x905 -x906
1800.45	v x907 x908 -x909 -x910 x911 -x912 x913 x914 -x915 x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928
1800.45	v -x929 -x930 x931 x932 x933 x934 x935 x936 x937 x938 x939 x940 x941 x942 -x943 x944 x945 -x946 -x947 x948 -x949 -x950 -x951 -x952
1800.45	v -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973
1800.45	v -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994
1800.45	v -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012
1800.45	v -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029
1800.45	v -x1030 -x1031 -x1032 -x1033 -x1034 x1035 x1036 x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047
1800.45	v -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064
1800.45	v -x1065 -x1066 -x1067 x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081
1800.45	v -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098
1800.45	v -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115
1800.45	v -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132
1800.45	v -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 x1141 x1142 x1143 x1144 x1145 x1146 x1147 x1148 x1149 x1150 x1151
1800.45	v x1152 x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169
1800.45	v -x1170 x1171 x1172 x1173 x1174 x1175 x1176 x1177 x1178 x1179 x1180 x1181 x1182 x1183 -x1184 -x1185 -x1186 -x1187 -x1188
1800.45	v x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 x1201 x1202 x1203 x1204 x1205 x1206
1800.45	v x1207 x1208 x1209 x1210 x1211 x1212 x1213 -x1214 x1215 x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225
1800.45	v -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242
1800.45	v -x1243 -x1244 -x1245 x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259
1800.45	v -x1260 x1261 x1262 x1263 x1264 x1265 x1266 x1267 x1268 x1269 x1270 x1271 x1272 x1273 x1274 x1275 x1276 x1277 -x1278 -x1279
1800.45	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 x1291 -x1292 -x1293 -x1294 -x1295 x1296 -x1297
1800.45	v -x1298 -x1299 -x1300 x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314
1800.45	v -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331
1800.45	v -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348
1800.45	v -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365
1800.45	v -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382
1800.45	v -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399
1800.45	v -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416
1800.45	v -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433
1800.45	v -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440
1800.45	c Exit Code: 10
1800.45	c Total time: 1800 s

Verifier Data (download as text)

OK	0

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node64/watcher-39930-1149333896 -o ROOT/results/node64/solver-39930-1149333896 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/39930-1149333896/instance-39930-1149333896.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1471744/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=4664 CPUtime=0
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 82 0 0 0 0 0 0 0 18 0 1 0 35380869 4775936 64 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6964231 0 0 4096 0 0 0 0 17 1 0 0
/proc/5302/statm: 1166 83 66 55 0 46 0

[startup+10.0017 s]
/proc/loadavg: 0.93 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1434176/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=41688 CPUtime=9.97
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 9900 0 2 0 984 13 0 0 25 0 1 0 35380869 42688512 9683 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 10422 9683 426 55 0 9314 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 41688

[startup+20.0076 s]
/proc/loadavg: 0.94 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1414144/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=61620 CPUtime=19.97
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 14907 0 2 0 1978 19 0 0 25 0 1 0 35380869 63098880 14690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 15405 14690 426 55 0 14297 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 61620

[startup+30.0145 s]
/proc/loadavg: 0.95 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1392896/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=82984 CPUtime=29.98
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 20320 0 2 0 2974 24 0 0 25 0 1 0 35380869 84975616 20007 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 20746 20007 426 55 0 19638 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 82984

[startup+40.0204 s]
/proc/loadavg: 0.96 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1381248/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=94608 CPUtime=39.98
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 23242 0 2 0 3970 28 0 0 25 0 1 0 35380869 96878592 22929 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528666 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 23652 22929 426 55 0 22544 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 94608

[startup+50.0262 s]
/proc/loadavg: 0.96 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1379200/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=96716 CPUtime=49.98
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 23762 0 2 0 4969 29 0 0 25 0 1 0 35380869 99037184 23449 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 24179 23449 426 55 0 23071 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 96716

[startup+60.0321 s]
/proc/loadavg: 0.97 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1377344/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=98564 CPUtime=59.99
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 24221 0 2 0 5969 30 0 0 25 0 1 0 35380869 100929536 23908 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528681 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 24641 23908 426 55 0 23533 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 98564

[startup+70.038 s]
/proc/loadavg: 0.97 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1375104/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=100808 CPUtime=69.99
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 24780 0 2 0 6968 31 0 0 25 0 1 0 35380869 103227392 24467 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 25202 24467 426 55 0 24094 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 100808

[startup+80.0439 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1372928/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=102924 CPUtime=80
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 25316 0 2 0 7968 32 0 0 25 0 1 0 35380869 105394176 25003 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 25731 25003 426 55 0 24623 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 102924

[startup+90.0497 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1368000/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=107952 CPUtime=90
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 26557 0 2 0 8967 33 0 0 25 0 1 0 35380869 110542848 26244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 26988 26244 426 55 0 25880 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 107952

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1360512/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=115340 CPUtime=100
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 28417 0 2 0 9965 35 0 0 25 0 1 0 35380869 118108160 28104 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524309 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 28835 28104 426 55 0 27727 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 115340

[startup+110.061 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1346624/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=129284 CPUtime=110.01
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 32184 0 2 0 10961 40 0 0 25 0 1 0 35380869 132386816 31584 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 32321 31584 426 55 0 31213 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 129284

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1335680/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=140244 CPUtime=120
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 34906 0 2 0 11958 42 0 0 25 0 1 0 35380869 143609856 34306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 35061 34306 426 55 0 33953 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 140244

[startup+130.073 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1333824/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=142096 CPUtime=130.01
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 35370 0 2 0 12958 43 0 0 25 0 1 0 35380869 145506304 34770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 35524 34770 426 55 0 34416 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 142096

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1330880/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=145000 CPUtime=140.02
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 36102 0 2 0 13957 45 0 0 25 0 1 0 35380869 148480000 35502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 36250 35502 426 55 0 35142 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 145000

[startup+150.085 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1321024/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=154892 CPUtime=150.02
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 38571 0 2 0 14954 48 0 0 25 0 1 0 35380869 158609408 37971 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 38723 37971 426 55 0 37615 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 154892

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1302144/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=173640 CPUtime=160.02
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 43273 0 2 0 15951 51 0 0 25 0 1 0 35380869 177807360 42673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 43410 42673 426 55 0 42302 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 173640

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1299904/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=175900 CPUtime=170.03
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 43828 0 2 0 16951 52 0 0 25 0 1 0 35380869 180121600 43228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 43975 43228 426 55 0 42867 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 175900

[startup+180.103 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1298688/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=177088 CPUtime=180.03
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 44131 0 2 0 17951 52 0 0 25 0 1 0 35380869 181338112 43531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 44272 43531 426 55 0 43164 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 177088

[startup+190.109 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1297728/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=178140 CPUtime=190.03
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 44378 0 2 0 18950 53 0 0 25 0 1 0 35380869 182415360 43778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 44535 43778 426 55 0 43427 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 178140

[startup+200.114 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1297344/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=178536 CPUtime=200.03
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 44465 0 2 0 19950 53 0 0 25 0 1 0 35380869 182820864 43865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 44634 43865 426 55 0 43526 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 178536

[startup+210.12 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 5302
/proc/meminfo: memFree=1297024/2055920 swapFree=4192036/4192956

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

/proc/5302/statm: 141945 140944 426 55 0 140837 0
Current children cumulated CPU time (s) 1760.57
Current children cumulated vsize (Kb) 567780

[startup+1771.03 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=906376/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=569496 CPUtime=1770.58
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 143715 0 2 0 176851 207 0 0 25 0 1 0 35380869 583163904 141380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 142374 141380 426 55 0 141266 0
Current children cumulated CPU time (s) 1770.58
Current children cumulated vsize (Kb) 569496

[startup+1781.03 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=904584/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=571212 CPUtime=1780.57
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144149 0 2 0 177850 207 0 0 25 0 1 0 35380869 584921088 141814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529480 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 142803 141814 426 55 0 141695 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (Kb) 571212

[startup+1782.04 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=904456/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=571476 CPUtime=1781.58
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144192 0 2 0 177951 207 0 0 25 0 1 0 35380869 585191424 141857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529320 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 142869 141857 426 55 0 141761 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 571476

[startup+1783.04 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=904264/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=571608 CPUtime=1782.58
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144238 0 2 0 178051 207 0 0 25 0 1 0 35380869 585326592 141903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 142902 141903 426 55 0 141794 0
Current children cumulated CPU time (s) 1782.58
Current children cumulated vsize (Kb) 571608

[startup+1784.05 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=904072/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=571740 CPUtime=1783.59
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144281 0 2 0 178152 207 0 0 25 0 1 0 35380869 585461760 141946 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 142935 141946 426 55 0 141827 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 571740

[startup+1785.05 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=903880/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=572004 CPUtime=1784.6
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144322 0 2 0 178252 208 0 0 25 0 1 0 35380869 585732096 141987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143001 141987 426 55 0 141893 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (Kb) 572004

[startup+1786.06 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=903752/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=572136 CPUtime=1785.61
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144364 0 2 0 178353 208 0 0 25 0 1 0 35380869 585867264 142029 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143034 142029 426 55 0 141926 0
Current children cumulated CPU time (s) 1785.61
Current children cumulated vsize (Kb) 572136

[startup+1787.06 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=903560/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=572268 CPUtime=1786.61
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144409 0 2 0 178453 208 0 0 25 0 1 0 35380869 586002432 142074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143067 142074 426 55 0 141959 0
Current children cumulated CPU time (s) 1786.61
Current children cumulated vsize (Kb) 572268

[startup+1788.07 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=903368/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=572532 CPUtime=1787.61
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144452 0 2 0 178553 208 0 0 25 0 1 0 35380869 586272768 142117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143133 142117 426 55 0 142025 0
Current children cumulated CPU time (s) 1787.61
Current children cumulated vsize (Kb) 572532

[startup+1789.07 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=903240/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=572664 CPUtime=1788.61
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144493 0 2 0 178653 208 0 0 25 0 1 0 35380869 586407936 142158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541214 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143166 142158 426 55 0 142058 0
Current children cumulated CPU time (s) 1788.61
Current children cumulated vsize (Kb) 572664

[startup+1790.08 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=903048/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=572796 CPUtime=1789.62
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144535 0 2 0 178754 208 0 0 25 0 1 0 35380869 586543104 142200 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143199 142200 426 55 0 142091 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (Kb) 572796

[startup+1791.08 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=902856/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=572928 CPUtime=1790.62
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144577 0 2 0 178854 208 0 0 25 0 1 0 35380869 586678272 142242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143232 142242 426 55 0 142124 0
Current children cumulated CPU time (s) 1790.62
Current children cumulated vsize (Kb) 572928

[startup+1792.09 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=902728/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=573192 CPUtime=1791.63
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144618 0 2 0 178955 208 0 0 25 0 1 0 35380869 586948608 142283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143298 142283 426 55 0 142190 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 573192

[startup+1793.09 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=902536/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=573324 CPUtime=1792.63
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144659 0 2 0 179055 208 0 0 25 0 1 0 35380869 587083776 142324 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143331 142324 426 55 0 142223 0
Current children cumulated CPU time (s) 1792.63
Current children cumulated vsize (Kb) 573324

[startup+1794.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=902408/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=573456 CPUtime=1793.64
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144700 0 2 0 179155 209 0 0 25 0 1 0 35380869 587218944 142365 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143364 142365 426 55 0 142256 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 573456

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=902280/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=573588 CPUtime=1794.65
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144732 0 2 0 179256 209 0 0 25 0 1 0 35380869 587354112 142397 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143397 142397 426 55 0 142289 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 573588

[startup+1796.11 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=902216/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=573720 CPUtime=1795.65
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144751 0 2 0 179356 209 0 0 25 0 1 0 35380869 587489280 142416 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143430 142416 426 55 0 142322 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 573720

[startup+1797.11 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=901768/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=574124 CPUtime=1796.66
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144849 0 2 0 179457 209 0 0 25 0 1 0 35380869 587902976 142514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143531 142514 426 55 0 142423 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 574124

[startup+1798.12 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=901704/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=574124 CPUtime=1797.66
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144873 0 2 0 179557 209 0 0 25 0 1 0 35380869 587902976 142538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143531 142538 426 55 0 142423 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (Kb) 574124

[startup+1799.12 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=901576/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=574256 CPUtime=1798.67
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144897 0 2 0 179658 209 0 0 25 0 1 0 35380869 588038144 142562 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143564 142562 426 55 0 142456 0
Current children cumulated CPU time (s) 1798.67
Current children cumulated vsize (Kb) 574256

[startup+1800.13 s]
/proc/loadavg: 1.00 1.00 0.99 2/64 5302
/proc/meminfo: memFree=901448/2055920 swapFree=4192036/4192956
[pid=5302] ppid=5300 vsize=574388 CPUtime=1799.67
/proc/5302/stat : 5302 (bsolo) R 5300 5302 5256 0 -1 0 144934 0 2 0 179758 209 0 0 25 0 1 0 35380869 588173312 142599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5302/statm: 143597 142599 426 55 0 142489 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 574388

Child status: 10
Real time (s): 1800.55
CPU time (s): 1800.09
CPU user time (s): 1797.91
CPU system time (s): 2.17967
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (Kb): 574388

Launcher Data (download as text)

Begin job on node64 on Sat Jun  3 11:24:56 UTC 2006


FILE ID= 39930-1149333896

PBS_JOBID= 310039

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-sc50a.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/39930-1149333896/instance-39930-1149333896.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node64/watcher-39930-1149333896 -o ROOT/results/node64/solver-39930-1149333896 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/39930-1149333896/instance-39930-1149333896.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  2dbafacadc353eeed0e4ce2357d3a727

RANDOM SEED= 249848798


/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.219
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.219
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1472016 kB
Buffers:         31460 kB
Cached:         474628 kB
SwapCached:        444 kB
Active:          53000 kB
Inactive:       467116 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1472016 kB
SwapTotal:     4192956 kB
SwapFree:      4192036 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          23736 kB
Slab:            49808 kB
Committed_AS:   259268 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node64 on Sat Jun  3 11:54:56 UTC 2006