Trace number 357230

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)3143680 1800.69 1801.14

General information on the benchmark

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

Verifier Data (download as text)

OK	3143680

Watcher Data (download as text)

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9924
/proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=1468 CPUtime=0
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 175220443 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 367 162 127 317 0 46 0

[startup+0.057998 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9924
/proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=2560 CPUtime=0.05
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 445 0 0 0 5 0 0 0 18 0 1 0 175220443 2621440 427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 640 427 137 317 0 319 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2560

[startup+0.103002 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9924
/proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=2692 CPUtime=0.09
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 473 0 0 0 9 0 0 0 18 0 1 0 175220443 2756608 455 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 673 455 138 317 0 352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2692

[startup+0.30302 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9924
/proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=3320 CPUtime=0.29
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 670 0 0 0 29 0 0 0 19 0 1 0 175220443 3399680 652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278952 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 830 652 170 317 0 509 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3320

[startup+0.702057 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 9924
/proc/meminfo: memFree=1713944/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=6024 CPUtime=0.69
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 1271 0 0 0 69 0 0 0 23 0 1 0 175220443 6168576 1253 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718023 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 1506 1253 170 317 0 1185 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6024

[startup+1.50113 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1707792/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=11692 CPUtime=1.49
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 2520 0 0 0 148 1 0 0 25 0 1 0 175220443 11972608 2502 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 2923 2502 170 317 0 2602 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11692

[startup+3.10129 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1701456/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=20944 CPUtime=3.09
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 4565 0 0 0 307 2 0 0 25 0 1 0 175220443 21446656 4547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134533253 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 5236 4547 170 317 0 4915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20944

[startup+6.30159 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1684688/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=37340 CPUtime=6.29
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 8150 0 0 0 626 3 0 0 25 0 1 0 175220443 38236160 8132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134546645 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 9335 8132 170 317 0 9014 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37340

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1664144/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=60128 CPUtime=12.68
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 13117 0 0 0 1263 5 0 0 25 0 1 0 175220443 61571072 13099 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 15032 13099 170 317 0 14711 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60128

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1628304/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=98624 CPUtime=25.48
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 21600 0 0 0 2539 9 0 0 25 0 1 0 175220443 100990976 21582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 24656 21582 170 317 0 24335 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 98624

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1583056/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=152336 CPUtime=51.08
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 32920 0 0 0 5095 13 0 0 25 0 1 0 175220443 155992064 32902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 38084 32902 170 317 0 37763 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152336

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1519632/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=221420 CPUtime=102.27
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 48568 0 0 0 10206 21 0 0 25 0 1 0 175220443 226734080 48550 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 55355 48550 170 317 0 55034 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 221420

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1456976/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=299652 CPUtime=162.25
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 64295 0 0 0 16196 29 0 0 25 0 1 0 175220443 306843648 64277 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 74913 64277 170 317 0 74592 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 299652

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1414992/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=348928 CPUtime=222.24
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 74679 0 0 0 22191 33 0 0 25 0 1 0 175220443 357302272 74661 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 87232 74661 170 317 0 86911 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 348928

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 9925
/proc/meminfo: memFree=1395408/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=367684 CPUtime=282.23
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 79554 0 0 0 28187 36 0 0 25 0 1 0 175220443 376508416 79536 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 91921 79536 170 317 0 91600 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 367684

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1377168/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=385164 CPUtime=342.21
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 84099 0 0 0 34183 38 0 0 25 0 1 0 175220443 394407936 84081 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 96291 84081 170 317 0 95970 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 385164

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1361360/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=401424 CPUtime=402.19
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 88057 0 0 0 40178 41 0 0 25 0 1 0 175220443 411058176 88039 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 100356 88039 170 317 0 100035 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 401424

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1340816/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=425436 CPUtime=462.17
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 93184 0 0 0 46174 43 0 0 25 0 1 0 175220443 435646464 93166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 106359 93166 170 317 0 106038 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 425436

[startup+522.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1327056/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=440896 CPUtime=522.16
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 96660 0 0 0 52171 45 0 0 25 0 1 0 175220443 451477504 96642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 110224 96642 170 317 0 109903 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 440896

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1311504/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=456476 CPUtime=582.14
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 100528 0 0 0 58167 47 0 0 25 0 1 0 175220443 467431424 100510 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 114119 100510 170 317 0 113798 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 456476

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1293712/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=478788 CPUtime=642.13
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 104974 0 0 0 64164 49 0 0 25 0 1 0 175220443 490278912 104898 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 119697 104898 170 317 0 119376 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 478788


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

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1202256/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=592224 CPUtime=1002.04
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 127772 0 0 0 100144 60 0 0 25 0 1 0 175220443 606437376 127696 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 148056 127696 170 317 0 147735 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 592224

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1188560/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=607648 CPUtime=1062.03
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 131205 0 0 0 106140 63 0 0 25 0 1 0 175220443 622231552 131129 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 151912 131129 170 317 0 151591 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 607648

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1177680/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=619524 CPUtime=1122.01
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 133917 0 0 0 112137 64 0 0 25 0 1 0 175220443 634392576 133841 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 154881 133841 170 317 0 154560 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 619524

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1166736/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=631380 CPUtime=1182
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 136647 0 0 0 118134 66 0 0 25 0 1 0 175220443 646533120 136571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 157845 136571 170 317 0 157524 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 631380

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9925
/proc/meminfo: memFree=1148688/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=658912 CPUtime=1241.98
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 141135 0 0 0 124130 68 0 0 25 0 1 0 175220443 674725888 141059 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 164728 141059 170 317 0 164407 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 658912

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9927
/proc/meminfo: memFree=1134224/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=673764 CPUtime=1301.97
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 144704 0 0 0 130127 70 0 0 25 0 1 0 175220443 689934336 144628 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 168441 144628 170 317 0 168120 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 673764

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9927
/proc/meminfo: memFree=1122576/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=685804 CPUtime=1361.95
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 147663 0 0 0 136124 71 0 0 25 0 1 0 175220443 702263296 147587 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 171451 147587 170 317 0 171130 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 685804

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9927
/proc/meminfo: memFree=1111440/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=697392 CPUtime=1421.94
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 150397 0 0 0 142121 73 0 0 25 0 1 0 175220443 714129408 150321 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284215 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 174348 150321 170 317 0 174027 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 697392

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9927
/proc/meminfo: memFree=1101392/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=708128 CPUtime=1481.92
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 152956 0 0 0 148118 74 0 0 25 0 1 0 175220443 725123072 152880 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 177032 152880 170 317 0 176711 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 708128

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9927
/proc/meminfo: memFree=1091024/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=718824 CPUtime=1541.91
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 155539 0 0 0 154114 77 0 0 25 0 1 0 175220443 736075776 155463 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 179706 155463 170 317 0 179385 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 718824

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9927
/proc/meminfo: memFree=1082256/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=728684 CPUtime=1601.89
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 157727 0 0 0 160111 78 0 0 25 0 1 0 175220443 746172416 157651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 182171 157651 170 317 0 181850 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 728684

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9927
/proc/meminfo: memFree=1072784/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=738816 CPUtime=1661.88
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 160076 0 0 0 166109 79 0 0 25 0 1 0 175220443 756547584 160000 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 184704 160000 170 317 0 184383 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 738816

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9927
/proc/meminfo: memFree=1064016/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=748800 CPUtime=1721.87
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 162286 0 0 0 172106 81 0 0 25 0 1 0 175220443 766771200 162210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 187200 162210 170 317 0 186879 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 748800

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 9927
/proc/meminfo: memFree=1050768/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=765796 CPUtime=1781.85
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 165562 0 0 0 178103 82 0 0 25 0 1 0 175220443 784175104 165486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 191449 165486 170 317 0 191128 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 765796



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 0.98 0.99 3/78 9927
/proc/meminfo: memFree=1048144/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=768772 CPUtime=1800.05
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 166208 0 0 0 179922 83 0 0 25 0 1 0 175220443 787222528 166132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713910 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 192193 166132 170 317 0 191872 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 768772

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.99 2/79 9928
/proc/meminfo: memFree=1048136/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=768772 CPUtime=1800.15
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 166208 0 0 0 179932 83 0 0 25 0 1 0 175220443 787222528 166132 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 192193 166132 170 317 0 191872 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 768772

[startup+1801 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 9928
/proc/meminfo: memFree=1048136/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=768772 CPUtime=1800.55
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194304 166220 0 0 0 179972 83 0 0 25 0 1 0 175220443 787222528 166144 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 192193 166144 170 317 0 191872 0
Current children cumulated CPU time (s) 1800.55
Current children cumulated vsize (KiB) 768772

[startup+1801.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/79 9928
/proc/meminfo: memFree=1048136/2055920 swapFree=4153812/4192956
[pid=9924] ppid=9922 vsize=0 CPUtime=1800.64
/proc/9924/stat : 9924 (oree) R 9922 9924 9539 0 -1 4194308 166237 0 0 0 179974 90 0 0 25 0 1 0 175220443 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9924/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.14
CPU time (s): 1800.69
CPU user time (s): 1799.75
CPU system time (s): 0.942856
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 768772

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

runsolver used 2.14467 second user time and 4.21036 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Thu Apr 19 14:10:27 UTC 2007

IDJOB= 357230
IDBENCH= 2291
IDSOLVER= 172
FILE ID= node4/357230-1176991827

PBS_JOBID= 4630445

Free space on /tmp= 66473 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-ran10x10a.opb
COMMAND LINE= oree /tmp/evaluation/357230-1176991827/instance-357230-1176991827.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-357230-1176991827 -o ROOT/results/node4/solver-357230-1176991827 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357230-1176991827/instance-357230-1176991827.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  3aa00837dd74901ce1879f04fea91920

RANDOM SEED= 790535676

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1714416 kB
Buffers:         36844 kB
Cached:         223060 kB
SwapCached:       2236 kB
Active:          69696 kB
Inactive:       212908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1714416 kB
SwapTotal:     4192956 kB
SwapFree:      4153812 kB
Dirty:            1544 kB
Writeback:           0 kB
Mapped:          30276 kB
Slab:            44452 kB
Committed_AS:  5290072 kB
PageTables:       1816 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= 66473 MiB

End job on node4 on Thu Apr 19 14:40:30 UTC 2007