Trace number 454265

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
oree 0.1.2 alphaSAT (TO)-38 1800.16 1800.89

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mis/normalized-mis_200_10_2.opb
MD5SUM5255c8da63867fe6fe080ca048384827
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -48
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint10
Maximum length of a constraint19
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2492
Sum of products size (including duplicates)4984
Number of different products1246
Sum of products size2492

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.02/0.02	c ...done
0.02/0.02	c #vars=1446 #constraints=2893 hasObjective=yes
0.09/0.10	c res. mode=mod
0.09/0.10	c VSIDS like heuristics
0.09/0.10	c complete search running
0.09/0.11	c nbDecision=35 #constraints=2893
0.09/0.11	c linear search for optimum
0.09/0.11	o -35
0.09/0.12	c nbDecision=43 #constraints=2898
0.09/0.12	o -36
0.19/0.29	c nbDecision=240 #constraints=2975
0.19/0.29	o -37
0.39/0.44	c restart after 401 decisions
0.49/0.60	c nbDecision=500 #constraints=3097
1.39/1.40	c restart after 801 decisions
1.79/1.80	c nbDecision=1000 #constraints=3528
2.89/2.90	c nbDecision=1500 #constraints=3867
3.09/3.19	c restart after 1601 decisions
4.69/4.78	c nbDecision=2000 #constraints=4230
7.19/7.27	c nbDecision=2500 #constraints=4677
9.99/10.01	c nbDecision=3000 #constraints=5103
11.18/11.20	c restart after 3201 decisions
12.69/12.76	c nbDecision=3500 #constraints=5439
16.49/16.58	c nbDecision=4000 #constraints=5799
21.38/21.41	c nbDecision=4500 #constraints=6184
25.38/25.49	c nbDecision=5000 #constraints=6444
31.48/31.59	c nbDecision=5500 #constraints=6831
38.38/38.42	c nbDecision=6000 #constraints=7256
44.07/44.18	c restart after 6401 decisions
45.97/46.08	c nbDecision=6500 #constraints=7651
54.27/54.35	c nbDecision=7000 #constraints=8074
62.67/62.71	c nbDecision=7500 #constraints=8472
70.37/70.48	c nbDecision=8000 #constraints=8826
77.97/78.07	c nbDecision=8500 #constraints=9127
86.46/86.59	c nbDecision=9000 #constraints=9428
93.56/93.63	c nbDecision=9390 #constraints=9664
93.56/93.63	o -38
95.56/95.67	c nbDecision=9500 #constraints=9725
103.86/103.94	c nbDecision=10000 #constraints=10035
111.35/111.46	c nbDecision=10500 #constraints=10291
118.95/119.09	c nbDecision=11000 #constraints=10553
125.04/125.10	c nbDecision=11500 #constraints=10731
137.64/137.77	c nbDecision=12000 #constraints=11091
152.33/152.45	c nbDecision=12500 #constraints=11511
160.74/160.86	c restart after 12801 decisions
166.93/167.08	c nbDecision=13000 #constraints=11884
181.34/181.42	c nbDecision=13500 #constraints=12302
194.72/194.87	c nbDecision=14000 #constraints=12681
209.32/209.46	c nbDecision=14500 #constraints=13087
219.51/219.61	c nbDecision=15000 #constraints=13335
231.11/231.27	c nbDecision=15500 #constraints=13613
244.21/244.34	c nbDecision=16000 #constraints=13955
256.80/256.96	c nbDecision=16500 #constraints=14264
272.30/272.45	c nbDecision=17000 #constraints=14636
282.79/282.97	c nbDecision=17500 #constraints=14866
292.79/292.91	c nbDecision=18000 #constraints=15072
305.28/305.45	c nbDecision=18500 #constraints=15331
316.28/316.42	c nbDecision=19000 #constraints=15528
338.18/338.34	c nbDecision=19500 #constraints=15899
356.97/357.10	c nbDecision=20000 #constraints=16226
371.27/371.42	c nbDecision=20500 #constraints=16457
388.65/388.90	c nbDecision=21000 #constraints=16734
409.15/409.40	c nbDecision=21500 #constraints=17053
433.54/433.76	c nbDecision=22000 #constraints=17419
460.64/460.84	c nbDecision=22500 #constraints=17863
489.12/489.40	c nbDecision=23000 #constraints=18275
517.62/517.82	c nbDecision=23500 #constraints=18733
546.80/547.03	c nbDecision=24000 #constraints=19135
575.09/575.33	c nbDecision=24500 #constraints=19536
602.88/603.19	c nbDecision=25000 #constraints=19976
631.67/631.93	c nbDecision=25500 #constraints=20383
636.47/636.73	c restart after 25601 decisions
659.57/659.88	c nbDecision=26000 #constraints=20656
694.74/695.03	c nbDecision=26500 #constraints=21027
728.74/729.02	c nbDecision=27000 #constraints=21386
763.63/763.95	c nbDecision=27500 #constraints=21724
802.62/802.96	c nbDecision=28000 #constraints=22108
842.09/842.50	c nbDecision=28500 #constraints=22509
876.29/876.69	c nbDecision=29000 #constraints=22875
914.47/914.80	c nbDecision=29500 #constraints=23249
956.30/956.73	c nbDecision=30000 #constraints=23667
1001.23/1001.78	c nbDecision=30500 #constraints=24098
1043.13/1043.65	c nbDecision=31000 #constraints=24473
1080.81/1081.38	c nbDecision=31500 #constraints=24826
1127.09/1127.63	c nbDecision=32000 #constraints=25237
1172.88/1173.49	c nbDecision=32500 #constraints=25657
1220.96/1221.53	c nbDecision=33000 #constraints=26083
1273.55/1274.19	c nbDecision=33500 #constraints=26518
1322.73/1323.32	c nbDecision=34000 #constraints=26927
1371.51/1372.11	c nbDecision=34500 #constraints=27346
1419.69/1420.30	c nbDecision=35000 #constraints=27743
1470.68/1471.36	c nbDecision=35500 #constraints=28149
1525.46/1526.18	c nbDecision=36000 #constraints=28557
1580.24/1580.98	c nbDecision=36500 #constraints=28962
1629.13/1629.83	c nbDecision=37000 #constraints=29303
1677.01/1677.75	c nbDecision=37500 #constraints=29634
1725.38/1726.14	c nbDecision=38000 #constraints=29964
1785.68/1786.43	c nbDecision=38500 #constraints=30372
1800.07/1800.80	Received signal 15
1800.07/1800.83	
1800.07/1800.83	s SATISFIABLE
1800.07/1800.83	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
1800.07/1800.83	v -x32 -x33 -x34 -x35 -x36 -x37 -x38 x39 x40 -x41 -x42 -x43 x44 -x45 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 x56 -x57 -x58
1800.07/1800.83	v -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
1800.07/1800.83	v -x85 -x86 -x87 -x88 -x89 x90 -x91 x92 -x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 x103 -x104 -x105 -x106 -x107 x108 -x109
1800.07/1800.83	v -x110 -x111 x112 -x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 -x127 -x128 -x129 -x130
1800.07/1800.83	v -x131 -x132 -x133 -x134 -x135 x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 -x148 -x149 -x150 x151
1800.07/1800.83	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172
1800.07/1800.83	v -x173 -x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193
1800.07/1800.83	v x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214
1800.07/1800.83	v -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235
1800.07/1800.83	v -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256
1800.07/1800.83	v -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277
1800.07/1800.83	v -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298
1800.07/1800.83	v -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319
1800.07/1800.83	v -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340
1800.07/1800.83	v -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361
1800.07/1800.83	v -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382
1800.07/1800.83	v -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403
1800.07/1800.83	v -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424
1800.07/1800.83	v -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445
1800.07/1800.83	v -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466
1800.07/1800.83	v -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487
1800.07/1800.83	v -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508
1800.07/1800.83	v -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529
1800.07/1800.83	v -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550
1800.07/1800.83	v -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571
1800.07/1800.83	v -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592
1800.07/1800.83	v -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613
1800.07/1800.83	v -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634
1800.07/1800.83	v -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1800.07/1800.83	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676
1800.07/1800.83	v -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697
1800.07/1800.83	v -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718
1800.07/1800.83	v -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1800.07/1800.83	v -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760
1800.07/1800.83	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781
1800.07/1800.83	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802
1800.07/1800.83	v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823
1800.07/1800.83	v -x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844
1800.07/1800.83	v -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862 -x863 -x864 -x865
1800.07/1800.83	v -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 -x885 -x886
1800.07/1800.83	v -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907
1800.07/1800.83	v -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928
1800.07/1800.83	v -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949
1800.07/1800.83	v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970
1800.07/1800.83	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991
1800.07/1800.83	v -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010
1800.07/1800.83	v -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027
1800.07/1800.83	v -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044
1800.07/1800.83	v -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061
1800.07/1800.83	v -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078
1800.07/1800.83	v -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 -x1094 -x1095
1800.07/1800.83	v -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 -x1111 -x1112
1800.07/1800.83	v -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 -x1126 -x1127 -x1128 -x1129
1800.07/1800.83	v -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144 -x1145 -x1146
1800.07/1800.83	v -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163
1800.07/1800.83	v -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180
1800.07/1800.83	v -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197
1800.07/1800.83	v -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214
1800.07/1800.83	v -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231
1800.07/1800.83	v -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248
1800.07/1800.83	v -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265
1800.07/1800.83	v -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282
1800.07/1800.83	v -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299
1800.07/1800.83	v -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313 -x1314 -x1315 -x1316
1800.07/1800.83	v -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333
1800.07/1800.83	v -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350
1800.07/1800.83	v -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367
1800.07/1800.83	v -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381 -x1382 -x1383 -x1384
1800.07/1800.83	v -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401
1800.07/1800.83	v -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418
1800.07/1800.83	v -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432 -x1433 -x1434 -x1435
1800.07/1800.83	v -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446
1800.07/1800.84	
1800.07/1800.84	c user time= 1799.5 s
1800.07/1800.84	c system time= 0.614906 s
1800.07/1800.84	c wall clock time=1800.84

Verifier Data (download as text)

OK	-38

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/454265-1178023520/instance-454265-1178023520.opb
mv /tmp/evaluation/454265-1178023520/instance-454265-1178023520.opb.tmp /tmp/evaluation/454265-1178023520/instance-454265-1178023520.opb

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node38/watcher-454265-1178023520 -o ROOT/results/node38/solver-454265-1178023520 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/454265-1178023520/instance-454265-1178023520.opb mod 

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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17189
/proc/meminfo: memFree=1796912/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=1468 CPUtime=0
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 185 0 0 0 0 0 0 0 18 0 1 0 234518675 1503232 168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 367 168 131 317 0 46 0

[startup+0.024049 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17189
/proc/meminfo: memFree=1796912/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=2128 CPUtime=0.02
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 343 0 0 0 2 0 0 0 18 0 1 0 234518675 2179072 326 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 532 327 132 317 0 211 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2128

[startup+0.101063 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17189
/proc/meminfo: memFree=1796912/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=2596 CPUtime=0.09
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 448 0 0 0 9 0 0 0 18 0 1 0 234518675 2658304 431 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 649 431 137 317 0 328 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2596

[startup+0.301101 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17189
/proc/meminfo: memFree=1796912/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=3528 CPUtime=0.29
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 706 0 0 0 29 0 0 0 19 0 1 0 234518675 3612672 689 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 882 689 170 317 0 561 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3528

[startup+0.701178 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 17189
/proc/meminfo: memFree=1796912/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=5084 CPUtime=0.69
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 1100 0 0 0 69 0 0 0 23 0 1 0 234518675 5206016 1083 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 1271 1083 170 317 0 950 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5084

[startup+1.50133 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1792168/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=7836 CPUtime=1.49
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 1793 0 0 0 149 0 0 0 25 0 1 0 234518675 8024064 1776 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135279003 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 1959 1776 170 317 0 1638 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7836

[startup+3.10164 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1788648/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=12732 CPUtime=3.09
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 2932 0 0 0 308 1 0 0 25 0 1 0 234518675 13037568 2915 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 3183 2915 170 317 0 2862 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12732

[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1781928/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=17304 CPUtime=6.29
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 4165 0 0 0 627 2 0 0 25 0 1 0 234518675 17719296 4148 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596056 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 4326 4148 170 317 0 4005 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17304

[startup+12.7025 s]
/proc/loadavg: 0.94 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1772976/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=26668 CPUtime=12.69
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 6331 0 0 0 1265 4 0 0 25 0 1 0 234518675 27308032 6314 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563922 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 6667 6314 170 317 0 6346 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 26668

[startup+25.5019 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1763696/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=34636 CPUtime=25.48
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 8478 0 0 0 2542 6 0 0 25 0 1 0 234518675 35467264 8421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 8659 8421 170 317 0 8338 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34636

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1749808/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=50452 CPUtime=51.07
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 11959 0 0 0 5099 8 0 0 25 0 1 0 234518675 51662848 11902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 12613 11902 170 317 0 12292 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 50452

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1732336/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=66400 CPUtime=102.25
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 16249 0 0 0 10213 12 0 0 25 0 1 0 234518675 67993600 16192 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 16600 16192 170 317 0 16279 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 66400

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1713904/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=89200 CPUtime=162.24
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 20899 0 0 0 16208 16 0 0 25 0 1 0 234518675 91340800 20764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 22300 20764 170 317 0 21979 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 89200

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1700464/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=101792 CPUtime=222.21
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 24257 0 0 0 22203 18 0 0 25 0 1 0 234518675 104235008 24122 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 25448 24122 170 317 0 25127 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 101792

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1688496/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=113248 CPUtime=282.19
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 27247 0 0 0 28198 21 0 0 25 0 1 0 234518675 115965952 27112 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 28312 27112 170 317 0 27991 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 113248

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1679280/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=121884 CPUtime=342.18
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 29531 0 0 0 34194 24 0 0 25 0 1 0 234518675 124809216 29396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 30471 29396 170 317 0 30150 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 121884

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1671280/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=129524 CPUtime=402.15
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 31547 0 0 0 40189 26 0 0 25 0 1 0 234518675 132632576 31412 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 32381 31412 170 317 0 32060 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 129524

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1663408/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=136776 CPUtime=462.13
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 33518 0 0 0 46185 28 0 0 25 0 1 0 234518675 140058624 33383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 34194 33383 170 317 0 33873 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 136776

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1655920/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=144056 CPUtime=522.11
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 35421 0 0 0 52181 30 0 0 25 0 1 0 234518675 147513344 35286 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 36014 35286 170 317 0 35693 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 144056

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1645744/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=167904 CPUtime=582.09
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 40484 0 0 0 58176 33 0 0 25 0 1 0 234518675 171933696 37775 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 41976 37775 170 317 0 41655 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 167904

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1638448/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=174244 CPUtime=642.07
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 42289 0 0 0 64173 34 0 0 25 0 1 0 234518675 178425856 39580 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 43561 39580 170 317 0 43240 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 174244


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1623024/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=188236 CPUtime=822.01
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 46143 0 0 0 82162 39 0 0 25 0 1 0 234518675 192753664 43434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 47059 43434 170 317 0 46738 0
Current children cumulated CPU time (s) 822.01
Current children cumulated vsize (KiB) 188236

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17190
/proc/meminfo: memFree=1617392/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=193804 CPUtime=881.98
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 47746 0 0 0 88158 40 0 0 25 0 1 0 234518675 198455296 44848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715606 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 48451 44848 170 317 0 48130 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 193804

[startup+942.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/84 17216
/proc/meminfo: memFree=1611376/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=198472 CPUtime=941.95
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 49059 0 0 0 94153 42 0 0 25 0 1 0 234518675 203235328 46095 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 49618 46095 170 317 0 49297 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 198472

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1607400/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=203016 CPUtime=1001.83
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 50338 0 0 0 100139 44 0 0 25 0 1 0 234518675 207888384 47341 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 50754 47341 170 317 0 50433 0
Current children cumulated CPU time (s) 1001.83
Current children cumulated vsize (KiB) 203016

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1602736/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=207544 CPUtime=1061.82
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 51546 0 0 0 106136 46 0 0 25 0 1 0 234518675 212525056 48516 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 51886 48516 170 317 0 51565 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 207544

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1598000/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=211912 CPUtime=1121.79
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 52723 0 0 0 112132 47 0 0 25 0 1 0 234518675 216997888 49660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 52978 49660 170 317 0 52657 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 211912

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1593456/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=216324 CPUtime=1181.78
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 53973 0 0 0 118129 49 0 0 25 0 1 0 234518675 221515776 50811 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563509 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 54081 50811 170 317 0 53760 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 216324

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1589040/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=220220 CPUtime=1241.76
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 55083 0 0 0 124125 51 0 0 25 0 1 0 234518675 225505280 51921 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 55055 51921 170 317 0 54734 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 220220

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1584688/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=224484 CPUtime=1301.74
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 56248 0 0 0 130122 52 0 0 25 0 1 0 234518675 229871616 52987 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 56121 52987 170 317 0 55800 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 224484

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1580272/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=228520 CPUtime=1361.71
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 57353 0 0 0 136118 53 0 0 25 0 1 0 234518675 234004480 54092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 57130 54092 170 317 0 56809 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 228520

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1575856/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=232260 CPUtime=1421.69
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 58434 0 0 0 142115 54 0 0 25 0 1 0 234518675 237834240 55173 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 58065 55173 170 317 0 57744 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 232260

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1571696/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=236124 CPUtime=1481.67
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 59551 0 0 0 148112 55 0 0 25 0 1 0 234518675 241790976 56224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 59031 56224 170 317 0 58710 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 236124

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1567856/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=239920 CPUtime=1541.65
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 60564 0 0 0 154109 56 0 0 25 0 1 0 234518675 245678080 57204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 59980 57204 170 317 0 59659 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 239920

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1564080/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=243560 CPUtime=1601.63
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 61586 0 0 0 160106 57 0 0 25 0 1 0 234518675 249405440 58160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 60890 58160 170 317 0 60569 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 243560

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1560432/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=246708 CPUtime=1661.61
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 62476 0 0 0 166103 58 0 0 25 0 1 0 234518675 252628992 59050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 61677 59050 170 317 0 61356 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 246708

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1557104/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=250188 CPUtime=1721.59
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 63377 0 0 0 172100 59 0 0 25 0 1 0 234518675 256192512 59885 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 62547 59885 170 317 0 62226 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 250188

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1553520/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=253416 CPUtime=1781.56
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 64290 0 0 0 178096 60 0 0 25 0 1 0 234518675 259497984 60765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 63354 60765 170 317 0 63033 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 253416



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 17388
/proc/meminfo: memFree=1552560/2055920 swapFree=4154564/4192956
[pid=17189] ppid=17187 vsize=254332 CPUtime=1800.07
/proc/17189/stat : 17189 (oree) R 17187 17189 26515 0 -1 4194304 64538 0 0 0 179946 61 0 0 25 0 1 0 234518675 260435968 61013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17189/statm: 63583 61013 170 317 0 63262 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 254332

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

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

Child status: 0
Real time (s): 1800.89
CPU time (s): 1800.16
CPU user time (s): 1799.5
CPU system time (s): 0.6549
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (KiB): 254332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.6549
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 64554
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= 8
involuntary context switches= 13482

runsolver used 1.57376 second user time and 4.27935 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Tue May  1 12:45:20 UTC 2007

IDJOB= 454265
IDBENCH= 48185
IDSOLVER= 172
FILE ID= node38/454265-1178023520

PBS_JOBID= 4728327

Free space on /tmp= 66563 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mis/normalized-mis_200_10_2.opb
COMMAND LINE= oree /tmp/evaluation/454265-1178023520/instance-454265-1178023520.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node38/convwatcher-454265-1178023520 -o ROOT/results/node38/conversion-454265-1178023520 -C 600 -M 1800 /tmp/evaluation/454265-1178023520/substituteSizeProductKeyword /tmp/evaluation/454265-1178023520/instance-454265-1178023520.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-454265-1178023520 -o ROOT/results/node38/solver-454265-1178023520 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/454265-1178023520/instance-454265-1178023520.opb mod           

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  5255c8da63867fe6fe080ca048384827

RANDOM SEED= 267749289

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.263
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.263
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:       1797256 kB
Buffers:         50500 kB
Cached:         122504 kB
SwapCached:       6788 kB
Active:          94156 kB
Inactive:       105356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1797256 kB
SwapTotal:     4192956 kB
SwapFree:      4154564 kB
Dirty:            1360 kB
Writeback:           0 kB
Mapped:          33172 kB
Slab:            44360 kB
Committed_AS:  3825488 kB
PageTables:       2072 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66563 MiB

End job on node38 on Tue May  1 13:15:23 UTC 2007