Trace number 357247

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)133599232 1800.44 1800.88

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-bal8x12.opb
MD5SUMa6e8ee977a9ad5045237a2abc87084b8
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark100429824
Best CPU time to get the best result obtained on this benchmark1800.37
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 72779466
Optimality of the best value was proved NO
Number of variables2976
Total number of constraints116
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 constraints116
Minimum length of a constraint31
Maximum length of a constraint360
Number of terms in the objective function 2976
Biggest coefficient in the objective function 412316860416
Number of bits for the biggest coefficient in the objective function 39
Sum of the numbers in the objective function 35253236940736
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 412316860416
Number of bits of the biggest number in a constraint 39
Biggest sum of numbers in a constraint 35253236940736
Number of bits of the biggest sum of numbers46
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/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.03/0.04	c ...done
0.03/0.04	c #vars=2976 #constraints=137 hasObjective=yes
0.03/0.07	c res. mode=mod
0.03/0.07	c VSIDS like heuristics
0.03/0.07	c complete search running
0.03/0.09	c restart after 401 decisions
0.03/0.09	c nbDecision=500 #constraints=139
0.09/0.10	c restart after 801 decisions
0.09/0.11	c nbDecision=1000 #constraints=139
0.29/0.33	c nbDecision=1500 #constraints=204
1.19/1.25	c restart after 1601 decisions
1.19/1.27	c nbDecision=2000 #constraints=300
4.08/4.17	c nbDecision=2500 #constraints=553
10.39/10.41	c nbDecision=3000 #constraints=1020
12.99/13.10	c restart after 3201 decisions
13.09/13.19	c nbDecision=3500 #constraints=1210
15.49/15.57	c nbDecision=4000 #constraints=1358
23.69/23.73	c nbDecision=4500 #constraints=1828
32.89/32.94	c nbDecision=5000 #constraints=2304
43.18/43.28	c nbDecision=5500 #constraints=2781
55.07/55.10	c nbDecision=6000 #constraints=3272
66.08/66.15	c restart after 6401 decisions
66.78/66.82	c nbDecision=6500 #constraints=3661
67.18/67.25	c nbDecision=7000 #constraints=3661
80.67/80.75	c nbDecision=7500 #constraints=4114
96.06/96.15	c nbDecision=8000 #constraints=4603
114.46/114.59	c nbDecision=8500 #constraints=5096
135.05/135.18	c nbDecision=9000 #constraints=5598
155.85/155.94	c nbDecision=9500 #constraints=6084
177.45/177.52	c nbDecision=10000 #constraints=6574
198.74/198.81	c nbDecision=10500 #constraints=7063
229.04/229.18	c nbDecision=11000 #constraints=7562
260.73/260.89	c nbDecision=11500 #constraints=8062
289.42/289.53	c nbDecision=12000 #constraints=8553
319.61/319.71	c nbDecision=12500 #constraints=9050
337.01/337.14	c restart after 12801 decisions
338.90/339.09	c nbDecision=13000 #constraints=9354
344.50/344.61	c nbDecision=13500 #constraints=9418
373.60/373.71	c nbDecision=14000 #constraints=9908
402.40/402.54	c nbDecision=14500 #constraints=10378
432.69/432.88	c nbDecision=15000 #constraints=10811
465.58/465.71	c nbDecision=15500 #constraints=11270
465.58/465.71	c nbDecision=15621 #constraints=11270
465.58/465.71	c linear search for optimum
465.58/465.71	o 133599232
473.38/473.57	c nbDecision=16000 #constraints=11655
487.18/487.32	c nbDecision=16500 #constraints=12158
503.97/504.19	c nbDecision=17000 #constraints=12659
523.37/523.55	c nbDecision=17500 #constraints=13159
547.56/547.75	c nbDecision=18000 #constraints=13657
566.76/566.90	c nbDecision=18500 #constraints=14128
578.95/579.15	c nbDecision=19000 #constraints=14636
592.95/593.16	c nbDecision=19500 #constraints=15134
608.44/608.68	c nbDecision=20000 #constraints=15629
626.04/626.27	c nbDecision=20500 #constraints=16134
645.13/645.30	c nbDecision=21000 #constraints=16636
667.63/667.88	c nbDecision=21500 #constraints=17136
692.72/692.93	c nbDecision=22000 #constraints=17634
719.52/719.77	c nbDecision=22500 #constraints=18137
751.02/751.24	c nbDecision=23000 #constraints=18631
786.90/787.19	c nbDecision=23500 #constraints=19132
825.19/825.43	c nbDecision=24000 #constraints=19633
866.38/866.67	c nbDecision=24500 #constraints=20137
915.27/915.51	c nbDecision=25000 #constraints=20635
964.56/964.81	c nbDecision=25500 #constraints=21138
974.85/975.10	c restart after 25601 decisions
980.15/980.43	c nbDecision=26000 #constraints=21241
1002.15/1002.46	c nbDecision=26500 #constraints=21434
1057.13/1057.43	c nbDecision=27000 #constraints=21938
1111.52/1111.84	c nbDecision=27500 #constraints=22433
1174.61/1174.92	c nbDecision=28000 #constraints=22930
1245.99/1246.35	c nbDecision=28500 #constraints=23431
1316.87/1317.20	c nbDecision=29000 #constraints=23935
1391.25/1391.61	c nbDecision=29500 #constraints=24429
1468.14/1468.53	c nbDecision=30000 #constraints=24933
1545.91/1546.32	c nbDecision=30500 #constraints=25429
1625.79/1626.25	c nbDecision=31000 #constraints=25938
1711.38/1711.81	c nbDecision=31500 #constraints=26436
1800.06/1800.50	Received signal 15
1800.26/1800.70	
1800.26/1800.70	s SATISFIABLE
1800.26/1800.70	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.26/1800.70	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.26/1800.70	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.26/1800.70	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
1800.26/1800.70	v -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.26/1800.70	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.26/1800.70	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167
1800.26/1800.70	v -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188
1800.26/1800.70	v -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209
1800.26/1800.70	v -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230
1800.26/1800.70	v -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251
1800.26/1800.70	v -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272
1800.26/1800.70	v -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293
1800.26/1800.70	v -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314
1800.26/1800.70	v -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335
1800.26/1800.70	v -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356
1800.26/1800.70	v -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377
1800.26/1800.70	v -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398
1800.26/1800.70	v -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419
1800.26/1800.70	v -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440
1800.26/1800.70	v -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461
1800.26/1800.70	v -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482
1800.26/1800.70	v -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503
1800.26/1800.70	v -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524
1800.26/1800.70	v -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.26/1800.70	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566
1800.26/1800.70	v -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587
1800.26/1800.70	v -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608
1800.26/1800.70	v -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629
1800.26/1800.70	v -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 -x649 -x650
1800.26/1800.70	v -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671
1800.26/1800.70	v -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692
1800.26/1800.70	v -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713
1800.26/1800.70	v -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734
1800.26/1800.70	v -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755
1800.26/1800.70	v -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776
1800.26/1800.70	v -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797
1800.26/1800.70	v -x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818
1800.26/1800.70	v -x819 -x820 -x821 -x822 -x823 x824 -x825 -x826 -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839
1800.26/1800.70	v -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860
1800.26/1800.70	v -x861 -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 -x878 -x879 -x880 x881
1800.26/1800.70	v -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902
1800.26/1800.70	v -x903 -x904 -x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923
1800.26/1800.70	v -x924 -x925 -x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944
1800.26/1800.70	v -x945 -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965
1800.26/1800.70	v -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986
1800.26/1800.70	v -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005
1800.26/1800.70	v -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022
1800.26/1800.70	v -x1023 -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039
1800.26/1800.70	v -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056
1800.26/1800.70	v -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073
1800.26/1800.70	v -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090
1800.26/1800.70	v -x1091 -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107
1800.26/1800.70	v -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124
1800.26/1800.70	v x1125 -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141
1800.26/1800.70	v -x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.26/1800.70	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.26/1800.70	v -x1177 -x1178 -x1179 -x1180 -x1181 x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1800.26/1800.70	v -x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1800.26/1800.70	v x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1800.26/1800.70	v -x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 x1242 x1243 -x1244 -x1245
1800.26/1800.70	v -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262
1800.26/1800.70	v -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278 -x1279
1800.26/1800.70	v -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295 -x1296
1800.26/1800.70	v -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312 -x1313
1800.26/1800.70	v -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330
1800.26/1800.70	v -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346 -x1347
1800.26/1800.70	v -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364
1800.26/1800.70	v -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380 -x1381
1800.26/1800.70	v -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397 -x1398
1800.26/1800.70	v -x1399 -x1400 -x1401 -x1402 -x1403 -x1404 -x1405 -x1406 -x1407 -x1408 -x1409 -x1410 -x1411 -x1412 -x1413 -x1414 -x1415
1800.26/1800.70	v -x1416 -x1417 -x1418 -x1419 -x1420 -x1421 -x1422 -x1423 -x1424 -x1425 -x1426 -x1427 -x1428 -x1429 -x1430 -x1431 -x1432
1800.26/1800.70	v -x1433 -x1434 -x1435 -x1436 -x1437 -x1438 -x1439 -x1440 -x1441 -x1442 -x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449
1800.26/1800.70	v -x1450 x1451 -x1452 x1453 -x1454 -x1455 -x1456 -x1457 -x1458 -x1459 -x1460 -x1461 -x1462 -x1463 -x1464 -x1465 -x1466 -x1467
1800.26/1800.70	v -x1468 -x1469 -x1470 -x1471 -x1472 -x1473 -x1474 -x1475 -x1476 -x1477 -x1478 -x1479 -x1480 -x1481 -x1482 x1483 -x1484
1800.26/1800.70	v x1485 -x1486 -x1487 -x1488 -x1489 -x1490 -x1491 -x1492 -x1493 -x1494 -x1495 -x1496 -x1497 -x1498 -x1499 -x1500 -x1501
1800.26/1800.70	v -x1502 -x1503 -x1504 -x1505 -x1506 -x1507 -x1508 -x1509 -x1510 -x1511 -x1512 -x1513 -x1514 -x1515 -x1516 -x1517 -x1518
1800.26/1800.70	v -x1519 -x1520 -x1521 -x1522 -x1523 -x1524 -x1525 -x1526 -x1527 -x1528 -x1529 -x1530 -x1531 -x1532 -x1533 -x1534 -x1535
1800.26/1800.70	v -x1536 -x1537 -x1538 -x1539 -x1540 -x1541 -x1542 -x1543 -x1544 -x1545 -x1546 -x1547 -x1548 -x1549 -x1550 -x1551 -x1552
1800.26/1800.70	v -x1553 -x1554 -x1555 -x1556 -x1557 -x1558 -x1559 -x1560 -x1561 -x1562 -x1563 -x1564 -x1565 -x1566 -x1567 -x1568 -x1569
1800.26/1800.70	v -x1570 -x1571 -x1572 -x1573 -x1574 -x1575 -x1576 -x1577 -x1578 -x1579 -x1580 -x1581 -x1582 -x1583 -x1584 -x1585 -x1586
1800.26/1800.70	v -x1587 -x1588 -x1589 -x1590 -x1591 -x1592 -x1593 -x1594 -x1595 -x1596 -x1597 -x1598 -x1599 -x1600 -x1601 -x1602 -x1603
1800.26/1800.70	v -x1604 -x1605 -x1606 -x1607 -x1608 -x1609 -x1610 -x1611 -x1612 -x1613 -x1614 -x1615 -x1616 -x1617 -x1618 -x1619 -x1620
1800.26/1800.70	v -x1621 -x1622 -x1623 -x1624 -x1625 -x1626 -x1627 -x1628 -x1629 -x1630 -x1631 -x1632 -x1633 -x1634 -x1635 -x1636 -x1637
1800.26/1800.70	v -x1638 -x1639 -x1640 -x1641 -x1642 -x1643 -x1644 -x1645 -x1646 -x1647 -x1648 -x1649 -x1650 -x1651 -x1652 -x1653 -x1654
1800.26/1800.70	v -x1655 -x1656 -x1657 -x1658 -x1659 -x1660 -x1661 -x1662 -x1663 -x1664 -x1665 -x1666 -x1667 -x1668 -x1669 -x1670 -x1671
1800.26/1800.70	v -x1672 -x1673 -x1674 -x1675 -x1676 -x1677 -x1678 -x1679 -x1680 -x1681 -x1682 -x1683 -x1684 -x1685 -x1686 -x1687 -x1688
1800.26/1800.70	v -x1689 -x1690 -x1691 x1692 x1693 x1694 -x1695 -x1696 -x1697 -x1698 -x1699 -x1700 -x1701 -x1702 -x1703 -x1704 -x1705 -x1706
1800.26/1800.70	v -x1707 -x1708 -x1709 -x1710 -x1711 -x1712 -x1713 -x1714 -x1715 -x1716 -x1717 -x1718 -x1719 -x1720 -x1721 -x1722 -x1723
1800.26/1800.70	v -x1724 -x1725 -x1726 -x1727 -x1728 -x1729 -x1730 -x1731 -x1732 -x1733 -x1734 -x1735 -x1736 -x1737 -x1738 -x1739 -x1740
1800.26/1800.70	v -x1741 -x1742 -x1743 -x1744 -x1745 -x1746 -x1747 -x1748 -x1749 -x1750 -x1751 -x1752 -x1753 -x1754 -x1755 -x1756 -x1757
1800.26/1800.70	v -x1758 -x1759 -x1760 -x1761 -x1762 -x1763 -x1764 -x1765 -x1766 -x1767 -x1768 -x1769 -x1770 -x1771 -x1772 -x1773 -x1774
1800.26/1800.70	v -x1775 -x1776 -x1777 -x1778 -x1779 -x1780 -x1781 -x1782 x1783 -x1784 x1785 -x1786 -x1787 -x1788 -x1789 -x1790 -x1791 -x1792
1800.26/1800.70	v -x1793 -x1794 -x1795 -x1796 -x1797 -x1798 -x1799 -x1800 -x1801 -x1802 -x1803 -x1804 -x1805 -x1806 -x1807 -x1808 -x1809
1800.26/1800.70	v -x1810 x1811 x1812 x1813 x1814 -x1815 -x1816 -x1817 -x1818 -x1819 -x1820 -x1821 -x1822 -x1823 -x1824 -x1825 -x1826 -x1827
1800.26/1800.70	v -x1828 -x1829 -x1830 -x1831 -x1832 -x1833 -x1834 -x1835 -x1836 -x1837 -x1838 -x1839 -x1840 -x1841 -x1842 -x1843 -x1844
1800.26/1800.70	v -x1845 -x1846 -x1847 -x1848 -x1849 -x1850 -x1851 -x1852 -x1853 -x1854 -x1855 -x1856 -x1857 -x1858 -x1859 -x1860 -x1861
1800.26/1800.70	v -x1862 -x1863 -x1864 -x1865 -x1866 -x1867 -x1868 -x1869 -x1870 -x1871 -x1872 -x1873 -x1874 -x1875 -x1876 -x1877 -x1878
1800.26/1800.70	v -x1879 -x1880 -x1881 -x1882 -x1883 -x1884 -x1885 -x1886 -x1887 -x1888 -x1889 -x1890 -x1891 -x1892 -x1893 -x1894 -x1895
1800.26/1800.70	v -x1896 -x1897 -x1898 -x1899 -x1900 -x1901 -x1902 -x1903 -x1904 -x1905 -x1906 -x1907 -x1908 -x1909 -x1910 -x1911 -x1912
1800.26/1800.70	v -x1913 -x1914 -x1915 -x1916 -x1917 -x1918 -x1919 -x1920 -x1921 -x1922 -x1923 -x1924 -x1925 -x1926 -x1927 -x1928 -x1929
1800.26/1800.70	v -x1930 -x1931 -x1932 -x1933 -x1934 -x1935 -x1936 -x1937 -x1938 -x1939 -x1940 -x1941 -x1942 -x1943 -x1944 -x1945 -x1946
1800.26/1800.70	v -x1947 -x1948 -x1949 -x1950 -x1951 -x1952 -x1953 -x1954 -x1955 -x1956 -x1957 -x1958 -x1959 -x1960 -x1961 -x1962 -x1963
1800.26/1800.70	v -x1964 -x1965 -x1966 -x1967 -x1968 -x1969 -x1970 -x1971 -x1972 -x1973 -x1974 -x1975 -x1976 -x1977 -x1978 -x1979 -x1980
1800.26/1800.70	v -x1981 -x1982 -x1983 -x1984 -x1985 -x1986 -x1987 -x1988 -x1989 -x1990 -x1991 -x1992 -x1993 -x1994 -x1995 -x1996 -x1997
1800.26/1800.70	v -x1998 -x1999 -x2000 -x2001 -x2002 -x2003 -x2004 -x2005 -x2006 -x2007 -x2008 -x2009 -x2010 -x2011 -x2012 -x2013 -x2014
1800.26/1800.70	v -x2015 -x2016 -x2017 -x2018 -x2019 -x2020 -x2021 -x2022 -x2023 -x2024 -x2025 -x2026 -x2027 -x2028 -x2029 -x2030 -x2031
1800.26/1800.70	v -x2032 -x2033 -x2034 -x2035 -x2036 -x2037 -x2038 -x2039 -x2040 -x2041 -x2042 -x2043 -x2044 -x2045 -x2046 -x2047 -x2048
1800.26/1800.70	v -x2049 -x2050 -x2051 -x2052 -x2053 -x2054 -x2055 -x2056 -x2057 -x2058 -x2059 -x2060 -x2061 -x2062 -x2063 -x2064 -x2065
1800.26/1800.70	v -x2066 -x2067 -x2068 -x2069 -x2070 -x2071 -x2072 -x2073 -x2074 -x2075 -x2076 -x2077 -x2078 -x2079 -x2080 -x2081 -x2082
1800.26/1800.70	v -x2083 -x2084 -x2085 -x2086 -x2087 -x2088 -x2089 -x2090 -x2091 -x2092 -x2093 -x2094 -x2095 -x2096 -x2097 -x2098 -x2099
1800.26/1800.70	v -x2100 -x2101 -x2102 -x2103 -x2104 -x2105 -x2106 -x2107 -x2108 -x2109 -x2110 -x2111 -x2112 -x2113 -x2114 -x2115 -x2116
1800.26/1800.70	v -x2117 -x2118 -x2119 -x2120 -x2121 -x2122 -x2123 -x2124 -x2125 -x2126 -x2127 -x2128 -x2129 -x2130 -x2131 -x2132 -x2133
1800.26/1800.70	v -x2134 -x2135 -x2136 -x2137 -x2138 -x2139 -x2140 -x2141 x2142 -x2143 x2144 -x2145 -x2146 -x2147 -x2148 -x2149 -x2150 -x2151
1800.26/1800.70	v -x2152 -x2153 -x2154 -x2155 -x2156 -x2157 -x2158 -x2159 -x2160 -x2161 -x2162 -x2163 -x2164 -x2165 -x2166 -x2167 -x2168
1800.26/1800.70	v -x2169 -x2170 -x2171 -x2172 -x2173 -x2174 -x2175 -x2176 -x2177 -x2178 -x2179 -x2180 -x2181 -x2182 -x2183 -x2184 -x2185
1800.26/1800.70	v -x2186 -x2187 -x2188 -x2189 -x2190 -x2191 -x2192 -x2193 -x2194 -x2195 -x2196 -x2197 -x2198 -x2199 -x2200 -x2201 -x2202
1800.26/1800.70	v -x2203 -x2204 -x2205 -x2206 -x2207 -x2208 -x2209 -x2210 -x2211 -x2212 -x2213 -x2214 -x2215 -x2216 -x2217 -x2218 -x2219
1800.26/1800.70	v -x2220 -x2221 -x2222 -x2223 -x2224 -x2225 -x2226 -x2227 -x2228 -x2229 -x2230 -x2231 -x2232 -x2233 -x2234 -x2235 -x2236
1800.26/1800.70	v -x2237 -x2238 -x2239 -x2240 -x2241 -x2242 -x2243 -x2244 -x2245 -x2246 -x2247 -x2248 -x2249 -x2250 -x2251 -x2252 -x2253
1800.26/1800.70	v -x2254 -x2255 -x2256 -x2257 -x2258 -x2259 -x2260 -x2261 -x2262 -x2263 -x2264 -x2265 -x2266 -x2267 -x2268 -x2269 -x2270
1800.26/1800.70	v -x2271 -x2272 -x2273 -x2274 -x2275 -x2276 -x2277 -x2278 -x2279 -x2280 -x2281 -x2282 -x2283 -x2284 -x2285 -x2286 -x2287
1800.26/1800.70	v -x2288 -x2289 -x2290 -x2291 -x2292 -x2293 -x2294 -x2295 -x2296 -x2297 -x2298 -x2299 -x2300 -x2301 -x2302 -x2303 -x2304
1800.26/1800.70	v -x2305 -x2306 -x2307 -x2308 -x2309 -x2310 -x2311 -x2312 -x2313 -x2314 -x2315 -x2316 -x2317 -x2318 -x2319 -x2320 -x2321
1800.26/1800.70	v -x2322 -x2323 -x2324 -x2325 -x2326 -x2327 -x2328 -x2329 -x2330 -x2331 -x2332 -x2333 -x2334 -x2335 -x2336 -x2337 -x2338
1800.26/1800.70	v -x2339 -x2340 -x2341 -x2342 -x2343 -x2344 -x2345 -x2346 -x2347 -x2348 -x2349 -x2350 x2351 -x2352 -x2353 -x2354 -x2355
1800.26/1800.70	v -x2356 -x2357 -x2358 -x2359 -x2360 -x2361 -x2362 -x2363 -x2364 -x2365 -x2366 -x2367 -x2368 -x2369 -x2370 -x2371 -x2372
1800.26/1800.70	v -x2373 -x2374 -x2375 -x2376 -x2377 -x2378 -x2379 -x2380 -x2381 -x2382 -x2383 -x2384 -x2385 -x2386 -x2387 -x2388 -x2389
1800.26/1800.70	v -x2390 -x2391 -x2392 -x2393 -x2394 -x2395 -x2396 -x2397 -x2398 -x2399 -x2400 -x2401 -x2402 -x2403 -x2404 -x2405 -x2406
1800.26/1800.70	v -x2407 -x2408 -x2409 -x2410 -x2411 -x2412 -x2413 -x2414 -x2415 -x2416 -x2417 -x2418 -x2419 -x2420 -x2421 -x2422 -x2423
1800.26/1800.70	v -x2424 -x2425 -x2426 -x2427 -x2428 -x2429 -x2430 -x2431 -x2432 -x2433 -x2434 -x2435 -x2436 -x2437 -x2438 -x2439 -x2440
1800.26/1800.70	v -x2441 -x2442 -x2443 -x2444 -x2445 -x2446 -x2447 -x2448 -x2449 -x2450 -x2451 -x2452 -x2453 -x2454 -x2455 -x2456 -x2457
1800.26/1800.70	v -x2458 -x2459 -x2460 -x2461 -x2462 -x2463 -x2464 -x2465 -x2466 -x2467 -x2468 -x2469 -x2470 -x2471 -x2472 -x2473 -x2474
1800.26/1800.70	v -x2475 -x2476 -x2477 -x2478 -x2479 -x2480 -x2481 -x2482 -x2483 -x2484 -x2485 -x2486 -x2487 -x2488 -x2489 -x2490 -x2491
1800.26/1800.70	v -x2492 -x2493 -x2494 -x2495 -x2496 -x2497 -x2498 -x2499 -x2500 -x2501 -x2502 x2503 -x2504 x2505 -x2506 -x2507 -x2508 -x2509
1800.26/1800.70	v -x2510 -x2511 -x2512 -x2513 -x2514 -x2515 -x2516 -x2517 -x2518 -x2519 -x2520 -x2521 -x2522 -x2523 -x2524 -x2525 -x2526
1800.26/1800.70	v -x2527 -x2528 -x2529 -x2530 x2531 -x2532 x2533 -x2534 -x2535 -x2536 -x2537 -x2538 -x2539 -x2540 -x2541 -x2542 -x2543 -x2544
1800.26/1800.70	v -x2545 -x2546 -x2547 -x2548 -x2549 -x2550 -x2551 -x2552 -x2553 -x2554 -x2555 -x2556 -x2557 -x2558 -x2559 -x2560 -x2561
1800.26/1800.70	v -x2562 -x2563 -x2564 -x2565 -x2566 -x2567 -x2568 -x2569 -x2570 -x2571 -x2572 -x2573 -x2574 -x2575 -x2576 -x2577 -x2578
1800.26/1800.70	v -x2579 -x2580 -x2581 -x2582 -x2583 -x2584 -x2585 -x2586 -x2587 -x2588 -x2589 -x2590 -x2591 -x2592 -x2593 -x2594 -x2595
1800.26/1800.70	v -x2596 -x2597 -x2598 -x2599 -x2600 -x2601 -x2602 -x2603 -x2604 -x2605 -x2606 -x2607 -x2608 -x2609 -x2610 -x2611 -x2612
1800.26/1800.70	v -x2613 -x2614 -x2615 -x2616 -x2617 -x2618 -x2619 -x2620 -x2621 -x2622 -x2623 -x2624 -x2625 -x2626 -x2627 -x2628 -x2629
1800.26/1800.70	v -x2630 -x2631 -x2632 -x2633 -x2634 -x2635 -x2636 -x2637 -x2638 -x2639 -x2640 -x2641 -x2642 -x2643 -x2644 -x2645 -x2646
1800.26/1800.70	v -x2647 -x2648 -x2649 -x2650 -x2651 -x2652 -x2653 -x2654 -x2655 -x2656 -x2657 -x2658 -x2659 -x2660 -x2661 -x2662 -x2663
1800.26/1800.70	v -x2664 -x2665 -x2666 -x2667 -x2668 -x2669 -x2670 -x2671 -x2672 -x2673 -x2674 -x2675 -x2676 -x2677 -x2678 -x2679 -x2680
1800.26/1800.70	v -x2681 -x2682 -x2683 -x2684 -x2685 -x2686 -x2687 -x2688 -x2689 -x2690 -x2691 -x2692 -x2693 -x2694 -x2695 -x2696 -x2697
1800.26/1800.70	v -x2698 -x2699 -x2700 -x2701 -x2702 -x2703 -x2704 -x2705 -x2706 -x2707 -x2708 -x2709 -x2710 -x2711 -x2712 -x2713 -x2714
1800.26/1800.70	v -x2715 -x2716 -x2717 -x2718 -x2719 -x2720 -x2721 -x2722 -x2723 -x2724 -x2725 -x2726 -x2727 -x2728 -x2729 -x2730 -x2731
1800.26/1800.70	v -x2732 -x2733 -x2734 -x2735 -x2736 -x2737 -x2738 -x2739 -x2740 -x2741 -x2742 -x2743 -x2744 -x2745 -x2746 -x2747 -x2748
1800.26/1800.70	v -x2749 -x2750 -x2751 -x2752 -x2753 -x2754 -x2755 -x2756 -x2757 -x2758 -x2759 -x2760 -x2761 -x2762 -x2763 -x2764 -x2765
1800.26/1800.70	v -x2766 -x2767 -x2768 -x2769 -x2770 -x2771 -x2772 -x2773 -x2774 -x2775 -x2776 -x2777 -x2778 -x2779 -x2780 -x2781 -x2782
1800.26/1800.70	v -x2783 -x2784 -x2785 -x2786 -x2787 -x2788 -x2789 -x2790 -x2791 -x2792 -x2793 -x2794 -x2795 -x2796 -x2797 -x2798 -x2799
1800.26/1800.70	v -x2800 -x2801 -x2802 -x2803 -x2804 -x2805 -x2806 -x2807 -x2808 -x2809 -x2810 -x2811 -x2812 -x2813 -x2814 -x2815 -x2816
1800.26/1800.70	v -x2817 -x2818 -x2819 -x2820 -x2821 -x2822 -x2823 -x2824 -x2825 -x2826 -x2827 -x2828 -x2829 -x2830 -x2831 -x2832 -x2833
1800.26/1800.70	v -x2834 -x2835 -x2836 -x2837 -x2838 -x2839 -x2840 -x2841 -x2842 -x2843 -x2844 -x2845 -x2846 -x2847 -x2848 -x2849 -x2850
1800.26/1800.70	v -x2851 -x2852 -x2853 -x2854 -x2855 -x2856 -x2857 -x2858 -x2859 -x2860 -x2861 -x2862 -x2863 -x2864 -x2865 -x2866 -x2867
1800.26/1800.70	v -x2868 -x2869 -x2870 -x2871 -x2872 -x2873 -x2874 -x2875 -x2876 -x2877 -x2878 -x2879 -x2880 -x2881 -x2882 -x2883 -x2884
1800.26/1800.70	v -x2885 -x2886 -x2887 -x2888 -x2889 -x2890 -x2891 -x2892 -x2893 -x2894 x2895 -x2896 x2897 -x2898 -x2899 -x2900 -x2901 -x2902
1800.26/1800.70	v -x2903 -x2904 -x2905 -x2906 x2907 x2908 x2909 x2910 -x2911 -x2912 -x2913 -x2914 -x2915 -x2916 -x2917 x2918 x2919 x2920
1800.26/1800.70	v x2921 x2922 -x2923 -x2924 -x2925 -x2926 -x2927 -x2928 x2929 x2930 -x2931 -x2932 -x2933 -x2934 -x2935 -x2936 x2937 -x2938
1800.26/1800.70	v -x2939 x2940 x2941 -x2942 -x2943 -x2944 -x2945 -x2946 -x2947 -x2948 -x2949 -x2950 -x2951 x2952 -x2953 -x2954 -x2955 -x2956
1800.26/1800.70	v -x2957 -x2958 x2959 -x2960 -x2961 -x2962 -x2963 x2964 x2965 -x2966 -x2967 -x2968 -x2969 -x2970 -x2971 -x2972 -x2973 -x2974
1800.26/1800.70	v -x2975 -x2976
1800.26/1800.70	
1800.26/1800.70	c user time= 1799.09 s
1800.26/1800.70	c system time= 1.18282 s
1800.26/1800.70	c wall clock time=1800.71

Verifier Data (download as text)

OK	133599232

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node68/watcher-357247-1176992355 -o ROOT/results/node68/solver-357247-1176992355 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357247-1176992355/instance-357247-1176992355.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.99 0.98 0.93 3/64 23079
/proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1468 CPUtime=0
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 175225030 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 367 161 127 317 0 46 0

[startup+0.037903 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 23079
/proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=2016 CPUtime=0.03
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 319 0 0 0 3 0 0 0 18 0 1 0 175225030 2064384 301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 504 301 131 317 0 183 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2016

[startup+0.101908 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 23079
/proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=2572 CPUtime=0.09
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 459 0 0 0 9 0 0 0 18 0 1 0 175225030 2633728 441 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 643 441 139 317 0 322 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2572

[startup+0.301925 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 23079
/proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=3632 CPUtime=0.29
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 714 0 0 0 29 0 0 0 19 0 1 0 175225030 3719168 696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270588 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 908 696 139 317 0 587 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3632

[startup+0.701961 s]
/proc/loadavg: 0.99 0.98 0.93 3/64 23079
/proc/meminfo: memFree=1411312/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=5280 CPUtime=0.69
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 1136 0 0 0 69 0 0 0 24 0 1 0 175225030 5406720 1118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 1320 1118 139 317 0 999 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5280

[startup+1.50103 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1406184/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=7988 CPUtime=1.49
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 1772 0 0 0 149 0 0 0 25 0 1 0 175225030 8179712 1754 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 1997 1754 139 317 0 1676 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7988

[startup+3.10118 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1402408/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=13432 CPUtime=3.09
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 3133 0 0 0 309 0 0 0 25 0 1 0 175225030 13754368 3115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 3358 3115 170 317 0 3037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13432

[startup+6.30247 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1393448/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=23040 CPUtime=6.29
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 5411 0 0 0 628 1 0 0 25 0 1 0 175225030 23592960 5393 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 5760 5393 170 317 0 5439 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23040

[startup+12.701 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1377008/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=37928 CPUtime=12.69
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 9011 0 0 0 1266 3 0 0 25 0 1 0 175225030 38838272 8993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 9482 8993 170 317 0 9161 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37928

[startup+25.5012 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1349560/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=65360 CPUtime=25.49
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 15634 0 0 0 2543 6 0 0 25 0 1 0 175225030 66928640 15616 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284166 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 16340 15616 170 317 0 16019 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 65360

[startup+51.1015 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1306424/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=111304 CPUtime=51.07
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 26432 0 0 0 5095 12 0 0 25 0 1 0 175225030 113975296 26414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 27826 26414 170 317 0 27505 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 111304

[startup+102.304 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1244088/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=182084 CPUtime=102.27
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 41832 0 0 0 10206 21 0 0 25 0 1 0 175225030 186454016 41814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 45521 41814 170 317 0 45200 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 182084

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1200440/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=223948 CPUtime=162.25
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 52811 0 0 0 16199 26 0 0 25 0 1 0 175225030 229322752 52793 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 55987 52793 170 317 0 55666 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 223948

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1161464/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=260544 CPUtime=222.23
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 62433 0 0 0 22192 31 0 0 25 0 1 0 175225030 266797056 62415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277176 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 65136 62415 170 317 0 64815 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 260544

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1122616/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=310276 CPUtime=282.22
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 72251 0 0 0 28186 36 0 0 25 0 1 0 175225030 317722624 72175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 77569 72175 170 317 0 77248 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 310276

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1082424/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=361008 CPUtime=342.2
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 82217 0 0 0 34180 40 0 0 25 0 1 0 175225030 369672192 82141 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 90252 82141 170 317 0 89931 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 361008

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1052216/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=390128 CPUtime=402.2
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 89806 0 0 0 40176 44 0 0 25 0 1 0 175225030 399491072 89730 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 97532 89730 170 317 0 97211 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 390128

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=1025656/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=414988 CPUtime=462.17
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 96387 0 0 0 46170 47 0 0 25 0 1 0 175225030 424947712 96311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 103747 96311 170 317 0 103426 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 414988

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=929400/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=526452 CPUtime=522.16
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 120629 0 0 0 52157 59 0 0 25 0 1 0 175225030 539086848 120553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 131613 120553 170 317 0 131292 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 526452

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=859320/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=606512 CPUtime=582.15
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 137916 0 0 0 58149 66 0 0 25 0 1 0 175225030 621068288 137840 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 151628 137840 170 317 0 151307 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 606512

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=811832/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=655424 CPUtime=642.14
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 149668 0 0 0 64143 71 0 0 25 0 1 0 175225030 671154176 149592 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 163856 149592 170 317 0 163535 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 655424


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

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=657976/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=827032 CPUtime=942.06
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 189403 0 0 0 94117 89 0 0 25 0 1 0 175225030 846880768 188058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 206758 188058 170 317 0 206437 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 827032

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=637560/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=850520 CPUtime=1002.05
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 194480 0 0 0 100112 93 0 0 25 0 1 0 175225030 870932480 193102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 212630 193102 170 317 0 212309 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 850520

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=609912/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=887448 CPUtime=1062.04
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 201396 0 0 0 106107 97 0 0 25 0 1 0 175225030 908746752 200018 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 221862 200018 170 317 0 221541 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 887448

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=587512/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=914424 CPUtime=1122.02
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 206926 0 0 0 112103 99 0 0 25 0 1 0 175225030 936370176 205548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 228606 205548 170 317 0 228285 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 914424

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23080
/proc/meminfo: memFree=571704/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=930476 CPUtime=1182
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 210937 0 0 0 118099 101 0 0 25 0 1 0 175225030 952807424 209559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 232619 209559 170 317 0 232298 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 930476

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=555576/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=946980 CPUtime=1241.99
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 214887 0 0 0 124096 103 0 0 25 0 1 0 175225030 969707520 213509 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 236745 213509 170 317 0 236424 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 946980

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=539128/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=963876 CPUtime=1301.98
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 218979 0 0 0 130093 105 0 0 25 0 1 0 175225030 987009024 217601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 240969 217601 170 317 0 240648 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 963876

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=522744/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=984416 CPUtime=1361.96
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 223611 0 0 0 136089 107 0 0 25 0 1 0 175225030 1008041984 221705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 246104 221705 170 317 0 245783 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 984416

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=507704/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1003024 CPUtime=1421.95
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 227869 0 0 0 142086 109 0 0 25 0 1 0 175225030 1027096576 225435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 250756 225435 170 317 0 250435 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1003024

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=493304/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1017588 CPUtime=1481.93
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 231466 0 0 0 148083 110 0 0 25 0 1 0 175225030 1042010112 229032 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 254397 229032 170 317 0 254076 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1017588

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=479224/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1031884 CPUtime=1541.91
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 234987 0 0 0 154079 112 0 0 25 0 1 0 175225030 1056649216 232553 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 257971 232553 170 317 0 257650 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 1031884

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=465336/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1046268 CPUtime=1601.9
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 238480 0 0 0 160076 114 0 0 25 0 1 0 175225030 1071378432 236046 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 261567 236046 170 317 0 261246 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1046268

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=453880/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1057876 CPUtime=1661.89
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 241300 0 0 0 166074 115 0 0 25 0 1 0 175225030 1083265024 238866 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 264469 238866 170 317 0 264148 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1057876

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=436280/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1083124 CPUtime=1721.87
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 245716 0 0 0 172070 117 0 0 25 0 1 0 175225030 1109118976 243282 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 270781 243282 170 317 0 270460 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1083124

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=427448/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1091316 CPUtime=1781.85
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 247879 0 0 0 178068 117 0 0 25 0 1 0 175225030 1117507584 245445 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 272829 245445 170 317 0 272508 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1091316



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.93 2/65 23082
/proc/meminfo: memFree=424504/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1093624 CPUtime=1800.06
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 248601 0 0 0 179888 118 0 0 25 0 1 0 175225030 1119870976 246167 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 273406 246167 170 317 0 273085 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1093624

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 23083
/proc/meminfo: memFree=424496/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=1093624 CPUtime=1800.16
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194304 248611 0 0 0 179898 118 0 0 25 0 1 0 175225030 1119870976 246177 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718554 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 273406 246177 170 317 0 273085 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 1093624

[startup+1800.8 s]
/proc/loadavg: 0.99 0.98 0.93 2/66 23083
/proc/meminfo: memFree=424496/2055920 swapFree=4181952/4192956
[pid=23079] ppid=23077 vsize=0 CPUtime=1800.35
/proc/23079/stat : 23079 (oree) R 23077 23079 22068 0 -1 4194308 248628 0 0 0 179909 126 0 0 25 0 1 0 175225030 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/23079/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.35
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.88
CPU time (s): 1800.44
CPU user time (s): 1799.09
CPU system time (s): 1.3418
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 1093624

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

runsolver used 1.23081 second user time and 3.70544 second system time

The end

Launcher Data (download as text)

Begin job on node68 on Thu Apr 19 14:19:15 UTC 2007

IDJOB= 357247
IDBENCH= 2309
IDSOLVER= 172
FILE ID= node68/357247-1176992355

PBS_JOBID= 4630417

Free space on /tmp= 66326 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-bal8x12.opb
COMMAND LINE= oree /tmp/evaluation/357247-1176992355/instance-357247-1176992355.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-357247-1176992355 -o ROOT/results/node68/solver-357247-1176992355 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357247-1176992355/instance-357247-1176992355.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a6e8ee977a9ad5045237a2abc87084b8

RANDOM SEED= 178683778

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node68.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.216
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.216
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:       1411720 kB
Buffers:         29448 kB
Cached:         541772 kB
SwapCached:       4740 kB
Active:          78796 kB
Inactive:       504056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1411720 kB
SwapTotal:     4192956 kB
SwapFree:      4181952 kB
Dirty:            1452 kB
Writeback:           0 kB
Mapped:          15736 kB
Slab:            47388 kB
Committed_AS:  2744756 kB
PageTables:       1380 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= 66326 MiB

End job on node68 on Thu Apr 19 14:49:18 UTC 2007