Trace number 453680

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)34 1800.35 1800.25

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_4.opb
MD5SUMb738c7950af6b3d63e331a14bc641dc9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
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 constraint11
Maximum length of a constraint22
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)2524
Sum of products size (including duplicates)5048
Number of different products2524
Sum of products size5048

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.00/0.03	c ...done
0.00/0.03	c #vars=2724 #constraints=5249 hasObjective=yes
0.03/0.06	c res. mode=mod
0.03/0.06	c VSIDS like heuristics
0.03/0.06	c complete search running
0.03/0.07	c nbDecision=165 #constraints=5249
0.03/0.07	c linear search for optimum
0.03/0.07	o 35
0.19/0.20	c restart after 401 decisions
0.19/0.21	c nbDecision=500 #constraints=5386
0.29/0.38	c restart after 801 decisions
0.39/0.43	c nbDecision=1000 #constraints=5554
0.79/0.89	c nbDecision=1500 #constraints=5856
0.99/1.02	c restart after 1601 decisions
1.40/1.43	c nbDecision=2000 #constraints=6095
2.29/2.40	c nbDecision=2500 #constraints=6480
3.79/3.84	c nbDecision=3000 #constraints=6872
4.50/4.58	c restart after 3201 decisions
5.19/5.25	c nbDecision=3500 #constraints=7143
7.39/7.41	c nbDecision=4000 #constraints=7517
9.99/10.04	c nbDecision=4500 #constraints=7871
13.39/13.41	c nbDecision=5000 #constraints=8268
17.20/17.23	c nbDecision=5500 #constraints=8633
21.20/21.25	c nbDecision=6000 #constraints=9068
25.30/25.39	c restart after 6401 decisions
25.69/25.70	c nbDecision=6500 #constraints=9432
30.20/30.26	c nbDecision=7000 #constraints=9782
35.69/35.74	c nbDecision=7500 #constraints=10144
38.59/38.66	c nbDecision=7761 #constraints=10302
38.59/38.66	o 34
41.29/41.31	c nbDecision=8000 #constraints=10450
46.70/46.71	c nbDecision=8500 #constraints=10728
52.00/52.04	c nbDecision=9000 #constraints=11012
57.79/57.83	c nbDecision=9500 #constraints=11295
63.60/63.69	c nbDecision=10000 #constraints=11547
69.89/69.90	c nbDecision=10500 #constraints=11821
75.99/76.04	c nbDecision=11000 #constraints=12078
82.80/82.87	c nbDecision=11500 #constraints=12384
89.50/89.59	c nbDecision=12000 #constraints=12669
97.10/97.12	c nbDecision=12500 #constraints=12943
102.00/102.09	c restart after 12801 decisions
103.60/103.69	c nbDecision=13000 #constraints=13140
111.80/111.85	c nbDecision=13500 #constraints=13444
121.90/121.92	c nbDecision=14000 #constraints=13804
131.60/131.60	c nbDecision=14500 #constraints=14106
142.00/142.08	c nbDecision=15000 #constraints=14504
153.00/153.06	c nbDecision=15500 #constraints=14865
164.30/164.36	c nbDecision=16000 #constraints=15194
173.00/173.01	c nbDecision=16500 #constraints=15425
181.61/181.68	c nbDecision=17000 #constraints=15674
190.71/190.77	c nbDecision=17500 #constraints=15917
200.60/200.68	c nbDecision=18000 #constraints=16193
211.21/211.28	c nbDecision=18500 #constraints=16451
221.91/221.96	c nbDecision=19000 #constraints=16765
233.00/233.07	c nbDecision=19500 #constraints=17071
244.21/244.21	c nbDecision=20000 #constraints=17345
256.41/256.41	c nbDecision=20500 #constraints=17626
271.01/271.08	c nbDecision=21000 #constraints=18025
285.01/285.08	c nbDecision=21500 #constraints=18353
299.70/299.79	c nbDecision=22000 #constraints=18705
314.01/314.03	c nbDecision=22500 #constraints=19015
328.21/328.24	c nbDecision=23000 #constraints=19293
340.01/340.06	c nbDecision=23500 #constraints=19530
352.01/352.01	c nbDecision=24000 #constraints=19761
365.12/365.10	c nbDecision=24500 #constraints=20023
378.21/378.29	c nbDecision=25000 #constraints=20276
393.32/393.34	c nbDecision=25500 #constraints=20555
396.12/396.12	c restart after 25601 decisions
405.52/405.57	c nbDecision=26000 #constraints=20729
422.61/422.63	c nbDecision=26500 #constraints=21083
438.72/438.77	c nbDecision=27000 #constraints=21383
456.22/456.21	c nbDecision=27500 #constraints=21658
469.92/469.94	c nbDecision=28000 #constraints=21880
483.93/483.97	c nbDecision=28500 #constraints=22137
499.52/499.57	c nbDecision=29000 #constraints=22409
515.23/515.24	c nbDecision=29500 #constraints=22663
539.02/539.06	c nbDecision=30000 #constraints=23057
562.92/562.99	c nbDecision=30500 #constraints=23444
586.02/586.08	c nbDecision=31000 #constraints=23814
611.73/611.70	c nbDecision=31500 #constraints=24179
638.23/638.21	c nbDecision=32000 #constraints=24552
662.13/662.14	c nbDecision=32500 #constraints=24944
691.73/691.71	c nbDecision=33000 #constraints=25336
714.83/714.89	c nbDecision=33500 #constraints=25661
739.24/739.26	c nbDecision=34000 #constraints=25989
763.53/763.58	c nbDecision=34500 #constraints=26337
786.84/786.81	c nbDecision=35000 #constraints=26632
814.84/814.87	c nbDecision=35500 #constraints=26990
843.65/843.63	c nbDecision=36000 #constraints=27344
867.95/867.90	c nbDecision=36500 #constraints=27684
897.55/897.56	c nbDecision=37000 #constraints=28066
927.55/927.50	c nbDecision=37500 #constraints=28417
954.15/954.15	c nbDecision=38000 #constraints=28708
983.75/983.70	c nbDecision=38500 #constraints=29058
1017.45/1017.50	c nbDecision=39000 #constraints=29431
1047.56/1047.57	c nbDecision=39500 #constraints=29801
1081.45/1081.41	c nbDecision=40000 #constraints=30159
1115.06/1115.05	c nbDecision=40500 #constraints=30499
1142.05/1142.03	c nbDecision=41000 #constraints=30780
1170.37/1170.34	c nbDecision=41500 #constraints=31072
1201.16/1201.17	c nbDecision=42000 #constraints=31425
1235.77/1235.76	c nbDecision=42500 #constraints=31774
1265.56/1265.59	c nbDecision=43000 #constraints=32120
1297.56/1297.54	c nbDecision=43500 #constraints=32490
1331.08/1331.07	c nbDecision=44000 #constraints=32839
1367.97/1367.93	c nbDecision=44500 #constraints=33186
1402.07/1402.05	c nbDecision=45000 #constraints=33569
1438.98/1438.91	c nbDecision=45500 #constraints=33912
1474.98/1475.00	c nbDecision=46000 #constraints=34219
1506.48/1506.42	c nbDecision=46500 #constraints=34520
1541.38/1541.33	c nbDecision=47000 #constraints=34859
1574.48/1574.47	c nbDecision=47500 #constraints=35189
1614.09/1614.00	c nbDecision=48000 #constraints=35548
1649.29/1649.20	c nbDecision=48500 #constraints=35850
1685.89/1685.82	c nbDecision=49000 #constraints=36160
1726.49/1726.42	c nbDecision=49500 #constraints=36459
1760.30/1760.27	c nbDecision=50000 #constraints=36749
1794.79/1794.75	c nbDecision=50500 #constraints=37080
1800.10/1800.00	Received signal 15
1800.29/1800.20	
1800.29/1800.20	s SATISFIABLE
1800.29/1800.20	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
1800.29/1800.20	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1800.29/1800.20	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1800.29/1800.20	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105
1800.29/1800.20	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 -x126
1800.29/1800.20	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 x146 -x147
1800.29/1800.20	v x148 x149 -x150 -x151 x152 -x153 x154 -x155 x156 x157 x158 -x159 x160 -x161 x162 -x163 -x164 -x165 x166 -x167 x168 x169 -x170
1800.29/1800.20	v -x171 x172 x173 x174 x175 -x176 x177 x178 x179 -x180 -x181 -x182 -x183 -x184 x185 x186 x187 -x188 x189 x190 -x191 -x192 x193
1800.29/1800.20	v x194 x195 x196 -x197 x198 x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 -x210 -x211 -x212 -x213 -x214 -x215
1800.29/1800.20	v -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 x230 x231 x232 -x233 x234 -x235 -x236
1800.29/1800.20	v -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257
1800.29/1800.20	v -x258 -x259 -x260 x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 x278
1800.29/1800.20	v x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 x298 x299 -x300
1800.29/1800.20	v -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 x315 -x316 -x317 x318 x319 -x320 -x321
1800.29/1800.20	v -x322 -x323 -x324 -x325 x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342
1800.29/1800.20	v -x343 x344 x345 -x346 -x347 x348 -x349 -x350 x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364
1800.29/1800.20	v -x365 -x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 -x382 -x383 -x384 x385
1800.29/1800.20	v -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 x398 x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406
1800.29/1800.20	v -x407 x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 x421 x422 -x423 -x424 x425 -x426 -x427
1800.29/1800.20	v -x428 -x429 -x430 -x431 x432 -x433 -x434 -x435 -x436 -x437 -x438 x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448
1800.29/1800.20	v x449 -x450 x451 -x452 x453 x454 -x455 -x456 -x457 x458 x459 x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470
1800.29/1800.20	v -x471 x472 -x473 x474 -x475 -x476 -x477 -x478 -x479 x480 -x481 -x482 -x483 x484 -x485 x486 x487 -x488 -x489 -x490 -x491 -x492
1800.29/1800.20	v x493 -x494 -x495 x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513
1800.29/1800.20	v -x514 -x515 x516 x517 x518 -x519 x520 -x521 -x522 -x523 -x524 -x525 x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535
1800.29/1800.20	v x536 -x537 -x538 x539 -x540 x541 -x542 x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556
1800.29/1800.20	v -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 x572 x573 -x574 -x575 -x576 -x577
1800.29/1800.20	v -x578 x579 -x580 -x581 -x582 -x583 x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598
1800.29/1800.20	v -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619
1800.29/1800.20	v x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 x632 -x633 -x634 x635 -x636 -x637 x638 -x639 -x640 -x641
1800.29/1800.20	v -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 x650 x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 x662
1800.29/1800.20	v -x663 -x664 -x665 x666 x667 -x668 -x669 -x670 -x671 x672 -x673 -x674 -x675 x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683
1800.29/1800.20	v -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704
1800.29/1800.20	v -x705 -x706 x707 x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 x718 -x719 x720 -x721 x722 -x723 -x724 -x725 -x726
1800.29/1800.20	v -x727 x728 -x729 -x730 -x731 x732 x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 x742 -x743 -x744 -x745 -x746 -x747 -x748
1800.29/1800.20	v x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 -x758 x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769
1800.29/1800.20	v -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 x790
1800.29/1800.20	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 x806 x807 x808 -x809 -x810 -x811
1800.29/1800.20	v -x812 -x813 -x814 x815 -x816 -x817 x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 -x829 -x830 x831 -x832
1800.29/1800.20	v -x833 x834 -x835 -x836 -x837 -x838 x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 x848 -x849 -x850 -x851 -x852 -x853
1800.29/1800.20	v -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874
1800.29/1800.20	v -x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 x884 -x885 x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895
1800.29/1800.20	v x896 -x897 -x898 -x899 -x900 x901 -x902 -x903 x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916
1800.29/1800.20	v -x917 -x918 -x919 -x920 -x921 -x922 -x923 x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 x935 -x936 -x937
1800.29/1800.20	v -x938 -x939 -x940 -x941 -x942 x943 -x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 -x954 -x955 -x956 -x957 -x958
1800.29/1800.20	v -x959 -x960 -x961 -x962 x963 x964 -x965 -x966 -x967 -x968 -x969 x970 -x971 -x972 -x973 -x974 -x975 x976 -x977 -x978 x979 -x980
1800.29/1800.20	v -x981 -x982 -x983 x984 -x985 -x986 -x987 -x988 x989 x990 x991 x992 -x993 x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001
1800.29/1800.20	v -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 x1015 -x1016 -x1017 -x1018 -x1019
1800.29/1800.20	v x1020 -x1021 -x1022 -x1023 -x1024 -x1025 -x1026 x1027 -x1028 -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037
1800.29/1800.20	v -x1038 x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 x1053 x1054 -x1055
1800.29/1800.20	v -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072
1800.29/1800.20	v -x1073 -x1074 x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 x1088 -x1089 x1090
1800.29/1800.20	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 x1099 x1100 -x1101 -x1102 -x1103 x1104 -x1105 -x1106 -x1107 -x1108
1800.29/1800.20	v -x1109 -x1110 -x1111 x1112 -x1113 -x1114 x1115 -x1116 -x1117 -x1118 -x1119 -x1120 x1121 -x1122 -x1123 -x1124 -x1125 -x1126
1800.29/1800.20	v -x1127 -x1128 -x1129 -x1130 -x1131 x1132 -x1133 -x1134 -x1135 -x1136 x1137 x1138 -x1139 -x1140 -x1141 -x1142 -x1143 -x1144
1800.29/1800.20	v -x1145 -x1146 x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159 x1160 -x1161 x1162
1800.29/1800.20	v -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 -x1179
1800.29/1800.20	v -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 x1187 -x1188 -x1189 -x1190 -x1191 x1192 x1193 -x1194 -x1195 -x1196 -x1197
1800.29/1800.20	v x1198 -x1199 -x1200 x1201 x1202 -x1203 -x1204 x1205 x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215
1800.29/1800.20	v x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 -x1228 -x1229 -x1230 -x1231 -x1232
1800.29/1800.20	v x1233 -x1234 -x1235 -x1236 -x1237 -x1238 x1239 -x1240 x1241 -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250
1800.29/1800.20	v -x1251 -x1252 -x1253 x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268
1800.29/1800.20	v -x1269 -x1270 -x1271 x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 x1284 -x1285 -x1286
1800.29/1800.20	v -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 x1295 x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304
1800.29/1800.20	v -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 -x1314 x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322
1800.29/1800.20	v x1323 x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 x1337 -x1338 -x1339 -x1340
1800.29/1800.20	v -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347 x1348 -x1349 x1350 x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358
1800.29/1800.20	v -x1359 -x1360 x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375
1800.29/1800.20	v -x1376 x1377 -x1378 -x1379 -x1380 -x1381 x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393
1800.29/1800.20	v x1394 -x1395 -x1396 -x1397 -x1398 -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 x1406 -x1407 -x1408 -x1409 -x1410 -x1411
1800.29/1800.20	v -x1412 -x1413 -x1414 -x1415 -x1416 -x1417 -x1418 x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 x1426 -x1427 -x1428 -x1429
1800.29/1800.20	v x1430 x1431 -x1432 -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 x1440 -x1441 -x1442 x1443 -x1444 -x1445 -x1446 -x1447
1800.29/1800.20	v -x1448 -x1449 -x1450 -x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464
1800.29/1800.20	v -x1465 -x1466 x1467 -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 x1480 x1481 -x1482
1800.29/1800.20	v -x1483 -x1484 -x1485 -x1486 -x1487 -x1488 -x1489 -x1490 x1491 x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 x1499 x1500
1800.29/1800.20	v -x1501 -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 x1511 x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518
1800.29/1800.20	v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535
1800.29/1800.20	v -x1536 x1537 -x1538 -x1539 x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 x1552 -x1553
1800.29/1800.20	v -x1554 -x1555 -x1556 -x1557 x1558 x1559 -x1560 -x1561 -x1562 -x1563 x1564 -x1565 -x1566 -x1567 -x1568 -x1569 -x1570 -x1571
1800.29/1800.20	v -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586 -x1587 -x1588
1800.29/1800.20	v -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 x1598 -x1599 x1600 -x1601 -x1602 x1603 -x1604 -x1605 -x1606
1800.29/1800.20	v -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620 -x1621 -x1622 -x1623
1800.29/1800.20	v x1624 x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 x1635 x1636 -x1637 -x1638 -x1639 -x1640 -x1641
1800.29/1800.20	v -x1642 -x1643 -x1644 x1645 -x1646 -x1647 -x1648 x1649 -x1650 -x1651 -x1652 -x1653 -x1654 -x1655 -x1656 x1657 -x1658 -x1659
1800.29/1800.20	v -x1660 x1661 -x1662 x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 x1670 -x1671 -x1672 -x1673 -x1674 -x1675 -x1676 -x1677
1800.29/1800.20	v -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 x1684 -x1685 -x1686 x1687 -x1688 -x1689 -x1690 -x1691 -x1692 -x1693 -x1694 -x1695
1800.29/1800.20	v -x1696 -x1697 -x1698 x1699 -x1700 x1701 -x1702 -x1703 -x1704 -x1705 -x1706 -x1707 -x1708 x1709 -x1710 -x1711 x1712 -x1713
1800.29/1800.20	v -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 x1722 -x1723 -x1724 x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731
1800.29/1800.20	v -x1732 -x1733 -x1734 x1735 -x1736 -x1737 -x1738 -x1739 -x1740 -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 x1747 -x1748 -x1749
1800.29/1800.20	v -x1750 -x1751 -x1752 -x1753 x1754 -x1755 x1756 -x1757 x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767
1800.29/1800.20	v x1768 -x1769 x1770 -x1771 -x1772 -x1773 -x1774 -x1775 -x1776 -x1777 -x1778 -x1779 x1780 -x1781 -x1782 -x1783 -x1784 -x1785
1800.29/1800.20	v -x1786 -x1787 -x1788 x1789 x1790 -x1791 -x1792 -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 x1799 -x1800 -x1801 -x1802 -x1803
1800.29/1800.20	v -x1804 -x1805 -x1806 -x1807 -x1808 x1809 -x1810 x1811 x1812 x1813 -x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821
1800.29/1800.20	v -x1822 -x1823 x1824 -x1825 -x1826 -x1827 -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 x1834 x1835 -x1836 -x1837 -x1838 -x1839
1800.29/1800.20	v -x1840 -x1841 -x1842 -x1843 -x1844 -x1845 x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856
1800.29/1800.20	v -x1857 -x1858 -x1859 x1860 -x1861 -x1862 -x1863 -x1864 -x1865 x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874
1800.29/1800.20	v -x1875 -x1876 -x1877 -x1878 -x1879 -x1880 -x1881 x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891
1800.29/1800.20	v x1892 -x1893 x1894 x1895 x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909
1800.29/1800.20	v -x1910 -x1911 -x1912 -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 x1921 -x1922 -x1923 -x1924 -x1925 -x1926
1800.29/1800.20	v -x1927 -x1928 -x1929 -x1930 x1931 x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 x1941 -x1942 -x1943 -x1944
1800.29/1800.20	v -x1945 -x1946 -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961
1800.29/1800.20	v x1962 x1963 -x1964 -x1965 x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 x1974 x1975 x1976 -x1977 -x1978 -x1979
1800.29/1800.20	v -x1980 -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996
1800.29/1800.20	v -x1997 x1998 -x1999 x2000 x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 x2011 -x2012 -x2013 -x2014
1800.29/1800.20	v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 x2024 x2025 x2026 x2027 -x2028 -x2029 -x2030 -x2031 -x2032
1800.29/1800.20	v -x2033 -x2034 x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 x2048 -x2049 -x2050
1800.29/1800.20	v -x2051 -x2052 -x2053 -x2054 x2055 x2056 x2057 -x2058 -x2059 -x2060 -x2061 x2062 -x2063 -x2064 -x2065 -x2066 -x2067 -x2068
1800.29/1800.20	v -x2069 -x2070 -x2071 -x2072 x2073 x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082 -x2083 -x2084 -x2085 -x2086
1800.29/1800.20	v -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 x2094 -x2095 -x2096 -x2097 -x2098 -x2099 -x2100 -x2101 -x2102 x2103 -x2104
1800.29/1800.20	v x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 x2114 x2115 -x2116 -x2117 -x2118 -x2119 -x2120 -x2121 -x2122
1800.29/1800.20	v -x2123 -x2124 -x2125 -x2126 x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133 -x2134 -x2135 -x2136 x2137 -x2138 -x2139 x2140
1800.29/1800.20	v x2141 -x2142 -x2143 -x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 x2151 -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158
1800.29/1800.20	v -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168 -x2169 -x2170 -x2171 x2172 -x2173 -x2174 -x2175
1800.29/1800.20	v -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185 -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192
1800.29/1800.20	v -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 x2202 -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209
1800.29/1800.20	v -x2210 -x2211 x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219 -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226
1800.29/1800.20	v -x2227 -x2228 -x2229 -x2230 -x2231 x2232 -x2233 -x2234 -x2235 -x2236 -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243
1800.29/1800.20	v -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253 -x2254 x2255 -x2256 -x2257 -x2258 -x2259 -x2260
1800.29/1800.20	v -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270 -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277
1800.29/1800.20	v -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287 -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294
1800.29/1800.20	v -x2295 -x2296 -x2297 x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304 -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311
1800.29/1800.20	v -x2312 -x2313 -x2314 -x2315 -x2316 x2317 -x2318 -x2319 -x2320 -x2321 -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328
1800.29/1800.20	v -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 x2338 -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345
1800.29/1800.20	v -x2346 -x2347 x2348 x2349 -x2350 -x2351 -x2352 -x2353 -x2354 -x2355 -x2356 -x2357 -x2358 -x2359 x2360 -x2361 -x2362 -x2363
1800.29/1800.20	v -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372 -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 x2379 x2380 -x2381
1800.29/1800.20	v -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389 -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398
1800.29/1800.20	v -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406 -x2407 -x2408 -x2409 -x2410 x2411 -x2412 -x2413 -x2414 -x2415
1800.29/1800.20	v -x2416 -x2417 x2418 x2419 x2420 -x2421 -x2422 -x2423 -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433
1800.29/1800.20	v -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440 -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450
1800.29/1800.20	v -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457 -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467
1800.29/1800.20	v -x2468 -x2469 x2470 -x2471 x2472 -x2473 -x2474 -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485
1800.29/1800.20	v -x2486 -x2487 -x2488 -x2489 -x2490 -x2491 -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502
1800.29/1800.20	v -x2503 -x2504 -x2505 -x2506 -x2507 -x2508 -x2509 -x2510 -x2511 x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519
1800.29/1800.20	v -x2520 -x2521 -x2522 -x2523 x2524 -x2525 -x2526 -x2527 -x2528 -x2529 -x2530 -x2531 x2532 -x2533 -x2534 -x2535 x2536 -x2537
1800.29/1800.20	v -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544 -x2545 -x2546 x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554
1800.29/1800.20	v -x2555 -x2556 x2557 -x2558 -x2559 -x2560 -x2561 -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571
1800.29/1800.20	v -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578 -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588
1800.29/1800.20	v -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595 x2596 -x2597 x2598 x2599 x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606
1800.29/1800.20	v -x2607 -x2608 -x2609 -x2610 -x2611 -x2612 -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623
1800.29/1800.20	v -x2624 -x2625 -x2626 -x2627 -x2628 x2629 -x2630 x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 x2641
1800.29/1800.20	v -x2642 -x2643 -x2644 -x2645 -x2646 -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658
1800.29/1800.20	v -x2659 -x2660 -x2661 -x2662 -x2663 -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675
1800.29/1800.20	v -x2676 -x2677 -x2678 -x2679 -x2680 -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 x2689 -x2690 x2691 -x2692 -x2693
1800.29/1800.20	v -x2694 -x2695 -x2696 -x2697 -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710
1800.29/1800.20	v -x2711 -x2712 -x2713 -x2714 -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 x2724
1800.29/1800.21	
1800.29/1800.21	c user time= 1799.89 s
1800.29/1800.21	c system time= 0.428934 s
1800.29/1800.21	c wall clock time=1800.21

Verifier Data (download as text)

OK	34

Conversion Script Data (download as text)

sed -e s/sizeproduct=/#sizeproduct=/ /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb
mv /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb.tmp /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node16/watcher-453680-1178148253 -o ROOT/results/node16/solver-453680-1178148253 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/453680-1178148253/instance-453680-1178148253.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.99 0.99 3/77 2305
/proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=1468 CPUtime=0
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 262742919 1503232 165 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 367 166 130 317 0 46 0

[startup+0.0412279 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 2305
/proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=3212 CPUtime=0.03
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 616 0 0 0 3 0 0 0 18 0 1 0 262742919 3289088 599 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 803 599 137 317 0 482 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3212

[startup+0.102215 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 2305
/proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=3620 CPUtime=0.09
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 764 0 0 0 9 0 0 0 18 0 1 0 262742919 3706880 711 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135272608 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 905 711 170 317 0 584 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3620

[startup+0.302173 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 2305
/proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=4540 CPUtime=0.29
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 995 0 0 0 29 0 0 0 19 0 1 0 262742919 4648960 942 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 1135 942 170 317 0 814 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4540

[startup+0.702089 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 2305
/proc/meminfo: memFree=1811632/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=5984 CPUtime=0.69
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 1354 0 0 0 69 0 0 0 23 0 1 0 262742919 6127616 1301 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 1496 1301 170 317 0 1175 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5984

[startup+1.50192 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1806056/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=7960 CPUtime=1.5
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 1843 0 0 0 149 1 0 0 25 0 1 0 262742919 8151040 1790 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 1990 1790 170 317 0 1669 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 7960

[startup+3.10158 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1803624/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=11008 CPUtime=3.09
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 2602 0 0 0 308 1 0 0 25 0 1 0 262742919 11272192 2549 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712536 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 2752 2549 170 317 0 2431 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11008

[startup+6.30191 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1799400/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=14616 CPUtime=6.29
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 3463 0 0 0 627 2 0 0 25 0 1 0 262742919 14966784 3410 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 3654 3410 170 317 0 3333 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14616

[startup+12.7016 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1794672/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=18572 CPUtime=12.69
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 4473 0 0 0 1267 2 0 0 25 0 1 0 262742919 19017728 4420 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 4643 4420 170 317 0 4322 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18572

[startup+25.5019 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1788272/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=25388 CPUtime=25.49
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 6047 0 0 0 2546 3 0 0 25 0 1 0 262742919 25997312 5994 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 6347 5994 170 317 0 6026 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25388

[startup+51.1015 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1780592/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=33284 CPUtime=51.1
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 8034 0 0 0 5105 5 0 0 25 0 1 0 262742919 34082816 7909 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 8321 7909 170 317 0 8000 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 33284

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1769968/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=43764 CPUtime=102.3
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 10658 0 0 0 10223 7 0 0 25 0 1 0 262742919 44814336 10533 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 10941 10533 170 317 0 10620 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 43764

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1760368/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=54296 CPUtime=162.3
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 13068 0 0 0 16220 10 0 0 25 0 1 0 262742919 55599104 12943 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 13574 12943 170 317 0 13253 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 54296

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1752560/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=62044 CPUtime=222.31
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 14991 0 0 0 22219 12 0 0 25 0 1 0 262742919 63533056 14866 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 15511 14866 170 317 0 15190 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 62044

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1745008/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=69996 CPUtime=282.31
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 16882 0 0 0 28217 14 0 0 25 0 1 0 262742919 71675904 16757 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712503 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 17499 16757 170 317 0 17178 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 69996

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1738736/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=76532 CPUtime=342.31
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 18449 0 0 0 34216 15 0 0 25 0 1 0 262742919 78368768 18324 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 19133 18324 170 317 0 18812 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 76532

[startup+402.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1733296/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=82940 CPUtime=402.32
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 20108 0 0 0 40215 17 0 0 25 0 1 0 262742919 84930560 19841 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 20735 19841 170 317 0 20414 0
Current children cumulated CPU time (s) 402.32
Current children cumulated vsize (KiB) 82940

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1727856/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=89620 CPUtime=462.32
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 21684 0 0 0 46214 18 0 0 25 0 1 0 262742919 91770880 21021 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 22405 21021 170 317 0 22084 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 89620

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1722992/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=94008 CPUtime=522.33
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 22904 0 0 0 52213 20 0 0 25 0 1 0 262742919 96264192 22241 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 23502 22241 170 317 0 23181 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 94008

[startup+582.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2306
/proc/meminfo: memFree=1717424/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=99628 CPUtime=582.32
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 24278 0 0 0 58211 21 0 0 25 0 1 0 262742919 102019072 23615 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 24907 23615 170 317 0 24586 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 99628

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2308
/proc/meminfo: memFree=1712752/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=104252 CPUtime=642.34
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 25413 0 0 0 64210 24 0 0 25 0 1 0 262742919 106754048 24750 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 26063 24750 170 317 0 25742 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 104252


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2308
/proc/meminfo: memFree=1695408/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=122932 CPUtime=882.34
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 29935 0 0 0 88206 28 0 0 25 0 1 0 262742919 125882368 29074 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 30733 29074 170 317 0 30412 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 122932

[startup+942.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2308
/proc/meminfo: memFree=1691888/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=126392 CPUtime=942.35
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 30811 0 0 0 94206 29 0 0 25 0 1 0 262742919 129425408 29950 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 135272552 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 31598 29950 170 317 0 31277 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 126392

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2308
/proc/meminfo: memFree=1688432/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=129872 CPUtime=1002.35
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 31703 0 0 0 100205 30 0 0 25 0 1 0 262742919 132988928 30809 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 32468 30809 170 317 0 32147 0
Current children cumulated CPU time (s) 1002.35
Current children cumulated vsize (KiB) 129872

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2308
/proc/meminfo: memFree=1684720/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=133820 CPUtime=1062.35
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 32646 0 0 0 106204 31 0 0 25 0 1 0 262742919 137031680 31752 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 33455 31752 170 317 0 33134 0
Current children cumulated CPU time (s) 1062.35
Current children cumulated vsize (KiB) 133820

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2308
/proc/meminfo: memFree=1681520/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=136864 CPUtime=1122.36
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 33437 0 0 0 112204 32 0 0 25 0 1 0 262742919 140148736 32543 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 34216 32543 170 317 0 33895 0
Current children cumulated CPU time (s) 1122.36
Current children cumulated vsize (KiB) 136864

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 2308
/proc/meminfo: memFree=1678704/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=139548 CPUtime=1182.36
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 34160 0 0 0 118203 33 0 0 25 0 1 0 262742919 142897152 33266 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563441 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 34887 33266 170 317 0 34566 0
Current children cumulated CPU time (s) 1182.36
Current children cumulated vsize (KiB) 139548

[startup+1242.3 s]
/proc/loadavg: 1.07 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1675568/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=142976 CPUtime=1242.36
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 34935 0 0 0 124202 34 0 0 25 0 1 0 262742919 146407424 34041 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 35744 34041 170 317 0 35423 0
Current children cumulated CPU time (s) 1242.36
Current children cumulated vsize (KiB) 142976

[startup+1302.3 s]
/proc/loadavg: 1.02 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1671728/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=147068 CPUtime=1302.37
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 35851 0 0 0 130202 35 0 0 25 0 1 0 262742919 150597632 34957 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 36767 34957 170 317 0 36446 0
Current children cumulated CPU time (s) 1302.37
Current children cumulated vsize (KiB) 147068

[startup+1362.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1668848/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=150040 CPUtime=1362.37
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 36615 0 0 0 136201 36 0 0 25 0 1 0 262742919 153640960 35688 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 37510 35688 170 317 0 37189 0
Current children cumulated CPU time (s) 1362.37
Current children cumulated vsize (KiB) 150040

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1665776/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=153104 CPUtime=1422.38
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 37466 0 0 0 142201 37 0 0 25 0 1 0 262742919 156778496 36440 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 38276 36440 170 317 0 37955 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 153104

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1663280/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=155612 CPUtime=1482.38
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 38127 0 0 0 148200 38 0 0 25 0 1 0 262742919 159346688 37068 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 38903 37068 170 317 0 38582 0
Current children cumulated CPU time (s) 1482.38
Current children cumulated vsize (KiB) 155612

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1660208/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=158500 CPUtime=1542.38
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 38889 0 0 0 154199 39 0 0 25 0 1 0 262742919 162304000 37830 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 39625 37830 170 317 0 39304 0
Current children cumulated CPU time (s) 1542.38
Current children cumulated vsize (KiB) 158500

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1657200/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=161292 CPUtime=1602.39
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 39682 0 0 0 160199 40 0 0 25 0 1 0 262742919 165163008 38590 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 40323 38590 170 317 0 40002 0
Current children cumulated CPU time (s) 1602.39
Current children cumulated vsize (KiB) 161292

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 2308
/proc/meminfo: memFree=1654640/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=163524 CPUtime=1662.39
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 40313 0 0 0 166199 40 0 0 25 0 1 0 262742919 167448576 39221 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 40881 39221 170 317 0 40560 0
Current children cumulated CPU time (s) 1662.39
Current children cumulated vsize (KiB) 163524

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1652592/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=165612 CPUtime=1722.39
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 40823 0 0 0 172198 41 0 0 25 0 1 0 262742919 169586688 39731 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 41403 39731 170 317 0 41082 0
Current children cumulated CPU time (s) 1722.39
Current children cumulated vsize (KiB) 165612

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1649968/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=167980 CPUtime=1782.4
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 41475 0 0 0 178198 42 0 0 25 0 1 0 262742919 172011520 40383 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 41995 40383 170 317 0 41674 0
Current children cumulated CPU time (s) 1782.4
Current children cumulated vsize (KiB) 167980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1649072/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=168660 CPUtime=1800.1
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 41684 0 0 0 179968 42 0 0 25 0 1 0 262742919 172707840 40592 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 42165 40592 170 317 0 41844 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 168660

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

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

[startup+1800.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 2308
/proc/meminfo: memFree=1649072/2055920 swapFree=4148560/4192956
[pid=2305] ppid=2303 vsize=168660 CPUtime=1800.29
/proc/2305/stat : 2305 (oree) R 2303 2305 305 0 -1 4194304 41685 0 0 0 179987 42 0 0 25 0 1 0 262742919 172707840 40593 18446744073709551615 134512640 135812674 4294956624 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2305/statm: 42165 40593 170 317 0 41844 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 168660

Child status: 0
Real time (s): 1800.25
CPU time (s): 1800.35
CPU user time (s): 1799.89
CPU system time (s): 0.45793
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 168660

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

runsolver used 1.64575 second user time and 4.53931 second system time

The end

Launcher Data (download as text)

Begin job on node16 on Wed May  2 23:24:13 UTC 2007

IDJOB= 453680
IDBENCH= 48146
IDSOLVER= 172
FILE ID= node16/453680-1178148253

PBS_JOBID= 4751069

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/mds/normalized-mds_200_10_4.opb
COMMAND LINE= oree /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb mod           
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node16/convwatcher-453680-1178148253 -o ROOT/results/node16/conversion-453680-1178148253 -C 600 -M 1800 /tmp/evaluation/453680-1178148253/substituteSizeProductKeyword /tmp/evaluation/453680-1178148253/instance-453680-1178148253.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 51f0e1a06bbb15374571c5c5129b7f5e
MD5SUM BENCH=  b738c7950af6b3d63e331a14bc641dc9

RANDOM SEED= 193350535

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node16.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.232
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.232
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:       1812040 kB
Buffers:         87768 kB
Cached:          75856 kB
SwapCached:      12496 kB
Active:         107896 kB
Inactive:        84948 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812040 kB
SwapTotal:     4192956 kB
SwapFree:      4148560 kB
Dirty:            1440 kB
Writeback:           0 kB
Mapped:          32632 kB
Slab:            36536 kB
Committed_AS: 13937380 kB
PageTables:       1844 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 node16 on Wed May  2 23:54:15 UTC 2007