Trace number 357219

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)5553152 1800.77 1801.46

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-mps-v2-20-10-ran10x10b.opb
MD5SUMb5587ac28cf407bbfa21e21c74984478
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3806208
Best CPU time to get the best result obtained on this benchmark1800.31
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3581952
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 511129031204
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 511129031204
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data (download as text)

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

Verifier Data (download as text)

OK	5553152

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-357219-1176991640 -o ROOT/results/node33/solver-357219-1176991640 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357219-1176991640/instance-357219-1176991640.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.97 0.96 3/77 2957
/proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=1468 CPUtime=0
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 180 0 0 0 0 0 0 0 18 0 1 0 147079549 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 367 162 127 317 0 46 0

[startup+0.0802019 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 2957
/proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=2560 CPUtime=0.07
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 471 0 0 0 7 0 0 0 18 0 1 0 147079549 2621440 453 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 640 453 137 317 0 319 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2560

[startup+0.101206 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 2957
/proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=2692 CPUtime=0.09
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 483 0 0 0 9 0 0 0 18 0 1 0 147079549 2756608 465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 673 465 139 317 0 352 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2692

[startup+0.301247 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 2957
/proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=3088 CPUtime=0.29
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 633 0 0 0 29 0 0 0 19 0 1 0 147079549 3162112 615 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 806 616 170 317 0 485 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3088

[startup+0.701328 s]
/proc/loadavg: 0.92 0.97 0.96 3/77 2957
/proc/meminfo: memFree=1756160/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=4204 CPUtime=0.69
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 865 0 0 0 69 0 0 0 22 0 1 0 147079549 4304896 847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 1051 847 170 317 0 730 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4204

[startup+1.50149 s]
/proc/loadavg: 0.92 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1752568/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=6628 CPUtime=1.49
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 1439 0 0 0 149 0 0 0 25 0 1 0 147079549 6787072 1421 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 1657 1421 170 317 0 1336 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6628

[startup+3.10182 s]
/proc/loadavg: 0.92 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1748152/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=13740 CPUtime=3.09
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 3127 0 0 0 308 1 0 0 25 0 1 0 147079549 14069760 3109 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 3435 3109 170 317 0 3114 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13740

[startup+6.30148 s]
/proc/loadavg: 0.93 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1732920/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=29656 CPUtime=6.29
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 6690 0 0 0 626 3 0 0 25 0 1 0 147079549 30367744 6672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540904 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 7414 6672 170 317 0 7093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 29656

[startup+12.7018 s]
/proc/loadavg: 0.93 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1709368/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=54920 CPUtime=12.68
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 12270 0 0 0 1264 4 0 0 25 0 1 0 147079549 56238080 12252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 13730 12252 170 317 0 13409 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 54920

[startup+25.5014 s]
/proc/loadavg: 0.95 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1674552/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=92372 CPUtime=25.49
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 20612 0 0 0 2541 8 0 0 25 0 1 0 147079549 94588928 20594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270593 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 23093 20594 170 317 0 22772 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 92372

[startup+51.1017 s]
/proc/loadavg: 0.96 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1629688/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=144948 CPUtime=51.07
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 31792 0 0 0 5095 12 0 0 25 0 1 0 147079549 148426752 31774 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718650 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 36237 31774 170 317 0 35916 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144948

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1572408/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=208580 CPUtime=102.26
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 45978 0 0 0 10209 17 0 0 25 0 1 0 147079549 213585920 45960 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135270603 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 52145 45960 170 317 0 51824 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 208580

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1517752/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=276380 CPUtime=162.23
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 59764 0 0 0 16198 25 0 0 25 0 1 0 147079549 283013120 59746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 69095 59746 170 317 0 68774 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 276380

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1475832/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=323996 CPUtime=222.2
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 70047 0 0 0 22191 29 0 0 25 0 1 0 147079549 331771904 70029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 80999 70029 170 317 0 80678 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 323996

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1442680/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=360344 CPUtime=282.18
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 78381 0 0 0 28185 33 0 0 25 0 1 0 147079549 368992256 78363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604226 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 90086 78363 170 317 0 89765 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 360344

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1402232/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=405288 CPUtime=342.16
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 88401 0 0 0 34177 39 0 0 25 0 1 0 147079549 415014912 88383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 101322 88383 170 317 0 101001 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 405288

[startup+402.303 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1372344/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=436904 CPUtime=402.14
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 95917 0 0 0 40172 42 0 0 25 0 1 0 147079549 447389696 95899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 109226 95899 170 317 0 108905 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 436904

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1346424/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=469088 CPUtime=462.11
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 102430 0 0 0 46167 44 0 0 25 0 1 0 147079549 480346112 102354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 117272 102354 170 317 0 116951 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 469088

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1308344/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=524936 CPUtime=522.09
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 112000 0 0 0 52161 48 0 0 25 0 1 0 147079549 537534464 111924 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 131234 111924 170 317 0 130913 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 524936

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1288888/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=546208 CPUtime=582.07
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 116753 0 0 0 58156 51 0 0 25 0 1 0 147079549 559316992 116677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 136552 116677 170 317 0 136231 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 546208

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.96 2/78 2958
/proc/meminfo: memFree=1268600/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=571732 CPUtime=642.05
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 121781 0 0 0 64153 52 0 0 25 0 1 0 147079549 585453568 121705 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 142933 121705 170 317 0 142612 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 571732


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

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1206904/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=641776 CPUtime=941.93
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 137195 0 0 0 94132 61 0 0 25 0 1 0 147079549 657178624 137119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 160444 137119 170 317 0 160123 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 641776

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1195832/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=652796 CPUtime=1001.91
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 139947 0 0 0 100129 62 0 0 25 0 1 0 147079549 668463104 139871 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 163199 139871 170 317 0 162878 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 652796

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1185208/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=663696 CPUtime=1061.88
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 142627 0 0 0 106125 63 0 0 25 0 1 0 147079549 679624704 142551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 165924 142551 170 317 0 165603 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 663696

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1173624/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=675296 CPUtime=1121.86
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 145493 0 0 0 112121 65 0 0 25 0 1 0 147079549 691503104 145417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 168824 145417 170 317 0 168503 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 675296

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1163128/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=686184 CPUtime=1181.84
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 148112 0 0 0 118117 67 0 0 25 0 1 0 147079549 702652416 148036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 171546 148036 170 317 0 171225 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 686184

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1152056/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=697732 CPUtime=1241.82
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 150877 0 0 0 124113 69 0 0 25 0 1 0 147079549 714477568 150801 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 174433 150801 170 317 0 174112 0
Current children cumulated CPU time (s) 1241.82
Current children cumulated vsize (KiB) 697732

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1140216/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=709680 CPUtime=1301.8
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 153795 0 0 0 130109 71 0 0 25 0 1 0 147079549 726712320 153719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 177420 153719 170 317 0 177099 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 709680

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.97 3/78 2958
/proc/meminfo: memFree=1130360/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=720000 CPUtime=1361.77
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 156265 0 0 0 136105 72 0 0 25 0 1 0 147079549 737280000 156189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 180000 156189 170 317 0 179679 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 720000

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1118968/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=731652 CPUtime=1421.75
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 159098 0 0 0 142101 74 0 0 25 0 1 0 147079549 749211648 159022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 182913 159022 170 317 0 182592 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 731652

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1108856/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=742828 CPUtime=1481.72
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 161661 0 0 0 148096 76 0 0 25 0 1 0 147079549 760655872 161585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 185707 161585 170 317 0 185386 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 742828

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1094712/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=761932 CPUtime=1541.7
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 165150 0 0 0 154093 77 0 0 25 0 1 0 147079549 780218368 165074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 190483 165074 170 317 0 190162 0
Current children cumulated CPU time (s) 1541.7
Current children cumulated vsize (KiB) 761932

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1073080/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=796864 CPUtime=1601.67
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 170562 0 0 0 160087 80 0 0 25 0 1 0 147079549 815988736 170486 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 199216 170486 170 317 0 198895 0
Current children cumulated CPU time (s) 1601.67
Current children cumulated vsize (KiB) 796864

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1061688/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=808412 CPUtime=1661.65
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 173393 0 0 0 166083 82 0 0 25 0 1 0 147079549 827813888 173317 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 202103 173317 170 317 0 201782 0
Current children cumulated CPU time (s) 1661.65
Current children cumulated vsize (KiB) 808412

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1051384/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=818896 CPUtime=1721.64
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 175988 0 0 0 172080 84 0 0 25 0 1 0 147079549 838549504 175912 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 204724 175912 170 317 0 204403 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 818896

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1039928/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=831064 CPUtime=1781.61
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 178827 0 0 0 178076 85 0 0 25 0 1 0 147079549 851009536 178751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 207766 178751 170 317 0 207445 0
Current children cumulated CPU time (s) 1781.61
Current children cumulated vsize (KiB) 831064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1035960/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=834772 CPUtime=1800.01
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 179804 0 0 0 179915 86 0 0 25 0 1 0 147079549 854806528 179728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 208693 179728 170 317 0 208372 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 834772

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

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

[startup+1801 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1035960/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=834772 CPUtime=1800.31
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194304 179810 0 0 0 179945 86 0 0 25 0 1 0 147079549 854806528 179734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718327 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 208693 179734 170 317 0 208372 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 834772

[startup+1801.4 s]
/proc/loadavg: 1.00 0.99 0.97 2/78 2958
/proc/meminfo: memFree=1035960/2055920 swapFree=4180512/4192956
[pid=2957] ppid=2955 vsize=0 CPUtime=1800.7
/proc/2957/stat : 2957 (oree) R 2955 2957 1597 0 -1 4194308 179858 0 0 0 179978 92 0 0 25 0 1 0 147079549 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/2957/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.7
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.46
CPU time (s): 1800.77
CPU user time (s): 1799.79
CPU system time (s): 0.98185
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 834916

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

runsolver used 2.05769 second user time and 4.49232 second system time

The end

Launcher Data (download as text)

Begin job on node33 on Thu Apr 19 14:07:21 UTC 2007

IDJOB= 357219
IDBENCH= 2280
IDSOLVER= 172
FILE ID= node33/357219-1176991640

PBS_JOBID= 4630415

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  b5587ac28cf407bbfa21e21c74984478

RANDOM SEED= 862699038

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node33.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.272
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.272
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:       1756576 kB
Buffers:         35540 kB
Cached:         153128 kB
SwapCached:       2276 kB
Active:         169292 kB
Inactive:        76852 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1756576 kB
SwapTotal:     4192956 kB
SwapFree:      4180512 kB
Dirty:            1580 kB
Writeback:           0 kB
Mapped:          72412 kB
Slab:            38472 kB
Committed_AS:  1673572 kB
PageTables:       1996 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= 66476 MiB

End job on node33 on Thu Apr 19 14:37:24 UTC 2007