Trace number 357187

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)-41 1800.34 1800.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
MD5SUM09bf68c118cd38b954800f61edb04c4b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-54
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -54
Optimality of the best value was proved NO
Number of variables1400
Total number of constraints110038
Number of constraints which are clauses110038
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1400
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1400
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1400
Number of bits of the biggest sum of numbers11
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.69/0.77	c ...done
0.69/0.77	c #vars=1400 #constraints=110039 hasObjective=yes
1.10/1.17	c res. mode=mod
1.10/1.17	c VSIDS like heuristics
1.10/1.17	c complete search running
1.19/1.24	c nbDecision=41 #constraints=110039
1.19/1.24	c linear search for optimum
1.19/1.24	o -41
4.59/4.69	c restart after 401 decisions
5.49/5.53	c nbDecision=500 #constraints=110294
7.79/7.88	c restart after 801 decisions
10.19/10.25	c nbDecision=1000 #constraints=110543
16.18/16.25	c nbDecision=1500 #constraints=110839
17.49/17.57	c restart after 1601 decisions
23.09/23.15	c nbDecision=2000 #constraints=111124
29.58/29.61	c nbDecision=2500 #constraints=111387
37.08/37.15	c nbDecision=3000 #constraints=111651
40.48/40.54	c restart after 3201 decisions
46.58/46.67	c nbDecision=3500 #constraints=111903
55.07/55.19	c nbDecision=4000 #constraints=112194
62.48/62.52	c nbDecision=4500 #constraints=112440
73.07/73.13	c nbDecision=5000 #constraints=112732
84.27/84.33	c nbDecision=5500 #constraints=113015
97.77/97.82	c nbDecision=6000 #constraints=113365
108.46/108.50	c restart after 6401 decisions
116.06/116.16	c nbDecision=6500 #constraints=113631
127.96/128.01	c nbDecision=7000 #constraints=113879
141.55/141.69	c nbDecision=7500 #constraints=114125
156.85/156.97	c nbDecision=8000 #constraints=114416
176.65/176.71	c nbDecision=8500 #constraints=114746
198.03/198.13	c nbDecision=9000 #constraints=115091
223.43/223.50	c nbDecision=9500 #constraints=115472
248.72/248.80	c nbDecision=10000 #constraints=115825
278.11/278.28	c nbDecision=10500 #constraints=116217
310.61/310.74	c nbDecision=11000 #constraints=116609
342.10/342.27	c nbDecision=11500 #constraints=116960
369.69/369.89	c nbDecision=12000 #constraints=117283
396.68/396.85	c nbDecision=12500 #constraints=117604
414.48/414.60	c restart after 12801 decisions
435.57/435.74	c nbDecision=13000 #constraints=117882
459.96/460.13	c nbDecision=13500 #constraints=118150
499.36/499.55	c nbDecision=14000 #constraints=118482
539.84/540.01	c nbDecision=14500 #constraints=118804
585.53/585.75	c nbDecision=15000 #constraints=119148
624.63/624.84	c nbDecision=15500 #constraints=119484
667.20/667.42	c nbDecision=16000 #constraints=119821
706.07/706.36	c nbDecision=16500 #constraints=120153
747.38/747.73	c nbDecision=17000 #constraints=120475
789.26/789.63	c nbDecision=17500 #constraints=120779
833.74/834.18	c nbDecision=18000 #constraints=121083
872.13/872.54	c nbDecision=18500 #constraints=121383
909.52/909.98	c nbDecision=19000 #constraints=121634
956.90/957.34	c nbDecision=19500 #constraints=121952
1005.09/1005.54	c nbDecision=20000 #constraints=122246
1053.88/1054.30	c nbDecision=20500 #constraints=122586
1103.57/1104.01	c nbDecision=21000 #constraints=122899
1158.15/1158.63	c nbDecision=21500 #constraints=123215
1208.44/1208.91	c nbDecision=22000 #constraints=123529
1263.22/1263.75	c nbDecision=22500 #constraints=123878
1317.81/1318.31	c nbDecision=23000 #constraints=124215
1379.09/1379.60	c nbDecision=23500 #constraints=124570
1435.47/1436.01	c nbDecision=24000 #constraints=124910
1495.76/1496.31	c nbDecision=24500 #constraints=125257
1556.04/1556.65	c nbDecision=25000 #constraints=125606
1609.02/1609.65	c nbDecision=25500 #constraints=125921
1621.02/1621.67	c restart after 25601 decisions
1680.80/1681.42	c nbDecision=26000 #constraints=126200
1732.19/1732.86	c nbDecision=26500 #constraints=126508
1791.07/1791.77	c nbDecision=27000 #constraints=126849
1800.08/1800.70	Received signal 15
1800.08/1800.74	
1800.08/1800.74	s SATISFIABLE
1800.08/1800.74	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.08/1800.74	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.08/1800.74	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.08/1800.74	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 x101 -x102 -x103 -x104 -x105
1800.08/1800.74	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1800.08/1800.74	v -x127 -x128 -x129 -x130 x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1800.08/1800.74	v -x148 -x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1800.08/1800.74	v -x169 -x170 -x171 -x172 -x173 -x174 -x175 x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1800.08/1800.74	v -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210
1800.08/1800.74	v -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231
1800.08/1800.74	v -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 x252
1800.08/1800.74	v -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273
1800.08/1800.74	v -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294
1800.08/1800.74	v -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315
1800.08/1800.74	v -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336
1800.08/1800.74	v -x337 -x338 -x339 -x340 x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357
1800.08/1800.74	v -x358 -x359 -x360 x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 x376 -x377 -x378
1800.08/1800.74	v -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399
1800.08/1800.74	v -x400 -x401 -x402 -x403 -x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420
1800.08/1800.74	v -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441
1800.08/1800.74	v -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462
1800.08/1800.74	v -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 x478 -x479 -x480 -x481 -x482 -x483
1800.08/1800.74	v -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504
1800.08/1800.74	v -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525
1800.08/1800.74	v -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546
1800.08/1800.74	v -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567
1800.08/1800.74	v -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588
1800.08/1800.74	v -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 x605 -x606 -x607 -x608 -x609
1800.08/1800.74	v -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630
1800.08/1800.74	v -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 x647 -x648 -x649 -x650 -x651
1800.08/1800.74	v -x652 -x653 -x654 -x655 -x656 -x657 -x658 x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672
1800.08/1800.74	v -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693
1800.08/1800.74	v -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 x712 -x713 -x714
1800.08/1800.74	v -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735
1800.08/1800.74	v -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756
1800.08/1800.74	v x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777
1800.08/1800.74	v -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798
1800.08/1800.74	v -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819
1800.08/1800.74	v -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840
1800.08/1800.74	v -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 x855 -x856 -x857 -x858 -x859 -x860 -x861
1800.08/1800.74	v -x862 -x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 -x881 -x882
1800.08/1800.74	v -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 -x897 -x898 -x899 -x900 -x901 -x902 -x903
1800.08/1800.74	v -x904 x905 -x906 -x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924
1800.08/1800.74	v -x925 -x926 -x927 -x928 x929 -x930 -x931 -x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945
1800.08/1800.74	v -x946 -x947 -x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 -x963 -x964 -x965 -x966
1800.08/1800.74	v -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987
1800.08/1800.74	v -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006
1800.08/1800.74	v -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023
1800.08/1800.74	v -x1024 -x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040
1800.08/1800.74	v -x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057
1800.08/1800.74	v -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 -x1065 -x1066 -x1067 -x1068 -x1069 x1070 -x1071 -x1072 -x1073 -x1074
1800.08/1800.74	v -x1075 -x1076 -x1077 -x1078 -x1079 x1080 -x1081 -x1082 -x1083 -x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091
1800.08/1800.74	v -x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108
1800.08/1800.74	v -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 -x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125
1800.08/1800.74	v -x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134 -x1135 -x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142
1800.08/1800.74	v -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 -x1154 -x1155 -x1156 -x1157 -x1158 -x1159
1800.08/1800.74	v -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 -x1167 -x1168 -x1169 -x1170 -x1171 -x1172 -x1173 -x1174 -x1175 -x1176
1800.08/1800.74	v -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 -x1191 -x1192 -x1193
1800.08/1800.74	v x1194 -x1195 -x1196 -x1197 -x1198 -x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210
1800.08/1800.74	v -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 -x1218 -x1219 -x1220 x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227
1800.08/1800.74	v x1228 -x1229 -x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 -x1241 -x1242 -x1243 -x1244
1800.08/1800.74	v -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261
1800.08/1800.74	v -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 -x1271 -x1272 -x1273 -x1274 -x1275 -x1276 -x1277 -x1278
1800.08/1800.74	v -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 -x1289 -x1290 -x1291 -x1292 -x1293 -x1294 -x1295
1800.08/1800.74	v -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311 -x1312
1800.08/1800.74	v -x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329
1800.08/1800.74	v -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 -x1344 -x1345 -x1346
1800.08/1800.74	v -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363
1800.08/1800.74	v -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 -x1372 -x1373 -x1374 -x1375 -x1376 -x1377 -x1378 -x1379 -x1380
1800.08/1800.74	v -x1381 -x1382 -x1383 -x1384 -x1385 -x1386 -x1387 -x1388 -x1389 -x1390 -x1391 -x1392 -x1393 -x1394 -x1395 -x1396 -x1397
1800.08/1800.74	v -x1398 -x1399 -x1400
1800.08/1800.74	
1800.08/1800.74	c user time= 1798.65 s
1800.08/1800.74	c system time= 1.47677 s
1800.08/1800.74	c wall clock time=1800.74

Verifier Data (download as text)

OK	-41

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-357187-1176990556 -o ROOT/results/node45/solver-357187-1176990556 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357187-1176990556/instance-357187-1176990556.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.95 0.99 0.97 3/77 31646
/proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1468 CPUtime=0
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 53901311 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831233 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 367 164 130 317 0 46 0

[startup+0.01763 s]
/proc/loadavg: 0.95 0.99 0.97 3/77 31646
/proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1732 CPUtime=0.01
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 251 0 0 0 1 0 0 0 18 0 1 0 53901311 1773568 234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 433 234 130 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101638 s]
/proc/loadavg: 0.95 0.99 0.97 3/77 31646
/proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=3640 CPUtime=0.09
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 716 0 0 0 9 0 0 0 18 0 1 0 53901311 3727360 698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 910 699 130 317 0 589 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3640

[startup+0.301658 s]
/proc/loadavg: 0.95 0.99 0.97 3/77 31646
/proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=8124 CPUtime=0.29
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 1839 0 0 0 29 0 0 0 19 0 1 0 53901311 8318976 1788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 2031 1789 130 317 0 1710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8124

[startup+0.701699 s]
/proc/loadavg: 0.95 0.99 0.97 3/77 31646
/proc/meminfo: memFree=1764488/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=16828 CPUtime=0.69
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 4083 0 0 0 68 1 0 0 22 0 1 0 53901311 17231872 3967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 4207 3967 130 317 0 3886 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16828

[startup+1.50178 s]
/proc/loadavg: 0.95 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1740992/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=33972 CPUtime=1.49
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 8435 0 0 0 146 3 0 0 25 0 1 0 53901311 34787328 7566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602694 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 8493 7566 170 317 0 8172 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33972

[startup+3.10194 s]
/proc/loadavg: 0.95 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1733888/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=40944 CPUtime=3.09
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 10068 0 0 0 305 4 0 0 25 0 1 0 53901311 41926656 9199 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271329 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 10236 9199 170 317 0 9915 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40944

[startup+6.30127 s]
/proc/loadavg: 0.95 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1721472/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=53852 CPUtime=6.29
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 13163 0 0 0 624 5 0 0 25 0 1 0 53901311 55144448 12294 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 13463 12294 170 317 0 13142 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53852

[startup+12.7019 s]
/proc/loadavg: 0.95 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1693888/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=78800 CPUtime=12.69
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 19022 0 0 0 1262 7 0 0 25 0 1 0 53901311 80691200 18153 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 19700 18153 170 317 0 19379 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 78800

[startup+25.5012 s]
/proc/loadavg: 0.96 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1653952/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=121520 CPUtime=25.48
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 28701 0 0 0 2537 11 0 0 25 0 1 0 53901311 124436480 27832 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 30380 27832 170 317 0 30059 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 121520

[startup+51.1018 s]
/proc/loadavg: 0.97 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1606336/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=170856 CPUtime=51.08
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 40657 0 0 0 5091 17 0 0 25 0 1 0 53901311 174956544 39788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 42714 39788 170 317 0 42393 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 170856

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1508736/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=274548 CPUtime=102.26
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 64848 0 0 0 10199 27 0 0 25 0 1 0 53901311 281137152 63979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711029 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 68637 63979 170 317 0 68316 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 274548

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1425856/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=378276 CPUtime=162.24
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 85635 0 0 0 16188 36 0 0 25 0 1 0 53901311 387354624 84766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 94569 84766 170 317 0 94248 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 378276

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1368192/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=434736 CPUtime=222.22
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 99897 0 0 0 22179 43 0 0 25 0 1 0 53901311 445169664 99028 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 108684 99028 170 317 0 108363 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 434736

[startup+282.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1319552/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=482704 CPUtime=282.21
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 112115 0 0 0 28171 50 0 0 25 0 1 0 53901311 494288896 111246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 120676 111246 170 317 0 120355 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 482704

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1277504/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=523700 CPUtime=342.2
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 122543 0 0 0 34165 55 0 0 25 0 1 0 53901311 536268800 121674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 130925 121674 170 317 0 130604 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 523700

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1235328/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=565084 CPUtime=402.18
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 133134 0 0 0 40157 61 0 0 25 0 1 0 53901311 578646016 132265 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 141271 132265 170 317 0 140950 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 565084

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1206912/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=594680 CPUtime=462.16
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 140142 0 0 0 46151 65 0 0 25 0 1 0 53901311 608952320 139273 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 148670 139273 170 317 0 148349 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 594680

[startup+522.302 s]
/proc/loadavg: 0.99 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1135168/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=711200 CPUtime=522.15
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 158079 0 0 0 52141 74 0 0 25 0 1 0 53901311 728268800 157210 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 177800 157210 170 317 0 177479 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 711200

[startup+582.302 s]
/proc/loadavg: 0.99 0.99 0.97 2/78 31647
/proc/meminfo: memFree=1108288/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=737076 CPUtime=582.13
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 164727 0 0 0 58137 76 0 0 25 0 1 0 53901311 754765824 163858 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 184269 163858 170 317 0 183948 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 737076

[startup+642.302 s]
/proc/loadavg: 1.06 1.01 0.98 2/78 31647
/proc/meminfo: memFree=1077760/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=767400 CPUtime=642.12
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 172297 0 0 0 64132 80 0 0 25 0 1 0 53901311 785817600 171428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272627 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 191850 171428 170 317 0 191529 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 767400


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

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31845
/proc/meminfo: memFree=942464/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=899648 CPUtime=941.91
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 206075 0 0 0 94094 97 0 0 25 0 1 0 53901311 921239552 205206 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 224912 205206 170 317 0 224591 0
Current children cumulated CPU time (s) 941.91
Current children cumulated vsize (KiB) 899648

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31845
/proc/meminfo: memFree=921856/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=921544 CPUtime=1001.89
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 211164 0 0 0 100090 99 0 0 25 0 1 0 53901311 943661056 210295 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 230386 210295 170 317 0 230065 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 921544

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31845
/proc/meminfo: memFree=896384/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=946664 CPUtime=1061.87
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 217549 0 0 0 106085 102 0 0 25 0 1 0 53901311 969383936 216680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 236666 216680 170 317 0 236345 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 946664

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=874112/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=967760 CPUtime=1121.86
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 223105 0 0 0 112081 105 0 0 25 0 1 0 53901311 990986240 222236 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 241940 222236 170 317 0 241619 0
Current children cumulated CPU time (s) 1121.86
Current children cumulated vsize (KiB) 967760

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=852160/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=989108 CPUtime=1181.85
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 228656 0 0 0 118077 108 0 0 25 0 1 0 53901311 1012846592 227787 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713857 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 247277 227787 170 317 0 246956 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 989108

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=830336/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1012168 CPUtime=1241.83
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 234080 0 0 0 124072 111 0 0 25 0 1 0 53901311 1036460032 233211 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 253042 233211 170 317 0 252721 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1012168

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=807104/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1033680 CPUtime=1301.82
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 239804 0 0 0 130068 114 0 0 25 0 1 0 53901311 1058488320 238935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 258420 238935 170 317 0 258099 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1033680

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=785472/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1054224 CPUtime=1361.8
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 245238 0 0 0 136063 117 0 0 25 0 1 0 53901311 1079525376 244369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 263556 244369 170 317 0 263235 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1054224

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=765440/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1075380 CPUtime=1421.78
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 250212 0 0 0 142059 119 0 0 25 0 1 0 53901311 1101189120 249343 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 268845 249343 170 317 0 268524 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1075380

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=743808/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1095996 CPUtime=1481.76
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 255683 0 0 0 148054 122 0 0 25 0 1 0 53901311 1122299904 254814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 273999 254814 170 317 0 273678 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1095996

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=722240/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1116104 CPUtime=1541.74
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 261028 0 0 0 154048 126 0 0 25 0 1 0 53901311 1142890496 260159 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 279026 260159 170 317 0 278705 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1116104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=702976/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1137136 CPUtime=1601.73
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 265853 0 0 0 160044 129 0 0 25 0 1 0 53901311 1164427264 264984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 284284 264984 170 317 0 283963 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1137136

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=689408/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1148748 CPUtime=1661.71
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 269205 0 0 0 166040 131 0 0 25 0 1 0 53901311 1176317952 268336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 287187 268336 170 317 0 286866 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 1148748

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=623680/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1338352 CPUtime=1721.69
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 307117 0 0 0 172026 143 0 0 25 0 1 0 53901311 1370472448 284600 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278915 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 334588 284600 170 317 0 334267 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 1338352

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=605632/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1358096 CPUtime=1781.67
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 311773 0 0 0 178021 146 0 0 25 0 1 0 53901311 1390690304 289157 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 339524 289157 170 317 0 339203 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1358096



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=599808/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=1364052 CPUtime=1800.08
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194304 313168 0 0 0 179861 147 0 0 25 0 1 0 53901311 1396789248 290552 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 341013 290552 170 317 0 340692 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1364052

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=599808/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=0 CPUtime=1800.18
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194308 313184 0 0 0 179867 151 0 0 25 0 1 0 53901311 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 1.00 1.00 0.98 2/78 31847
/proc/meminfo: memFree=599808/2055920 swapFree=4157496/4192956
[pid=31646] ppid=31644 vsize=0 CPUtime=1800.27
/proc/31646/stat : 31646 (oree) R 31644 31646 30667 0 -1 4194308 313184 0 0 0 179867 160 0 0 25 0 1 0 53901311 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/31646/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.96
CPU time (s): 1800.34
CPU user time (s): 1798.67
CPU system time (s): 1.66775
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (KiB): 1364052

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

runsolver used 2.02669 second user time and 4.52331 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Thu Apr 19 13:49:17 UTC 2007

IDJOB= 357187
IDBENCH= 2246
IDSOLVER= 172
FILE ID= node45/357187-1176990556

PBS_JOBID= 4630416

Free space on /tmp= 66444 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-4.opb
COMMAND LINE= oree /tmp/evaluation/357187-1176990556/instance-357187-1176990556.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-357187-1176990556 -o ROOT/results/node45/solver-357187-1176990556 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357187-1176990556/instance-357187-1176990556.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  09bf68c118cd38b954800f61edb04c4b

RANDOM SEED= 475995163

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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	: 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.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:       1765024 kB
Buffers:         37040 kB
Cached:         186812 kB
SwapCached:      15576 kB
Active:         130692 kB
Inactive:       118404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1765024 kB
SwapTotal:     4192956 kB
SwapFree:      4157496 kB
Dirty:            3960 kB
Writeback:           0 kB
Mapped:          32380 kB
Slab:            27392 kB
Committed_AS:  1169884 kB
PageTables:       1736 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= 66444 MiB

End job on node45 on Thu Apr 19 14:19:20 UTC 2007