Trace number 353631

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
bsolo 3.0.16SAT (TO)-41 1800.28 1800.76

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
MD5SUMb94d4317cfb468b1c3dd3d790ff99d4d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-52
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -52
Optimality of the best value was proved NO
Number of variables1272
Total number of constraints94289
Number of constraints which are clauses94289
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 1272
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 1272
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 1272
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

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 bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/353631-1176671352/instance-353631-1176671352.opb
0.00/0.00	c File size is 2299186 bytes.
0.29/0.38	c Highest Coefficient sum: 1272
0.29/0.38	c Parsing was ok!!
0.29/0.38	c Total parsing time: 0.376 s
0.39/0.41	c Var: 1272 Constr: 94289 94289/0/0 Lit: 188578 Watch. Lit: 188578
0.39/0.41	c Obj. Vars: 1272 (100 % of total variables)
3.20/3.22	c Pre-processing Time: 3.218 s
3.20/3.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.22	c        0   1272    94289   188578    2   188578   31429      0      0 3.22
3.20/3.22	c Switching off LPR mode.
3.20/3.23	o -38	3.234
3.20/3.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
3.20/3.28	c        0   1272    94290   189850    2   188618   32429      1      0 3.24
3.20/3.28	o -39	3.278
18.49/18.51	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
18.49/18.51	c       65   1272    94356   271126    2   188789   32429     67     19 3.28
18.49/18.51	c      165   1272    94456   394120    4   188989   35672    167     49 3.35
18.49/18.51	c      416   1272    94707   702730    7   189491   39240    418    117 3.53
18.49/18.51	c      891   1272    95182  1286756   13   190441   43165    893    223 3.98
18.49/18.51	c     1706   1272    95997  2288964   23   192071   47482   1708    350 4.87
18.49/18.51	c     3026   1272    97317  3912015   40   194711   52231   3028    422 7.16
18.49/18.51	c     5107   1272    99398  6469763   65   198873   57455   5109    452 11.30
18.49/18.51	c     8330   1272   102621 10430806  101   205319   63201   8332    453 18.38
18.49/18.51	o -40	18.51
53.27/53.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
53.27/53.30	c     8465   1272   102757 10598160  103   205631   32429   8468    457 18.51
53.27/53.30	c     8565   1272   102857 10721015  104   205831   35672   8568    459 18.63
53.27/53.30	c     8816   1272   103108 11029304  106   206333   39240   8819    458 19.24
53.27/53.30	c     9294   1272   103586 11616517  112   207289   43165   9297    470 19.74
53.27/53.30	c    10108   1272   104400 12616259  120   208917   47482  10111    486 20.79
53.27/53.30	c    11428   1272   105720 14237269  134   211557   52231  11431    459 24.86
53.27/53.30	c    13509   1272   107801 16793597  155   215719   57455  13512    462 29.20
53.27/53.30	c    16733   1272   111025 20752585  186   222167   63201  16736    472 35.44
53.27/53.30	c    21671   1272   115963 26813756  231   232043   69522  21674    446 48.50
53.27/53.30	o -41	53.277
1799.91/1800.49	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.49	c    23609   1272   117902 29195816  247   235962   32429  23613    443 53.28
1799.91/1800.49	c    23711   1272   118004 29321034  248   236166   35672  23715    443 53.41
1799.91/1800.49	c    23962   1272   118255 29629004  250   236668   39240  23966    446 53.72
1799.91/1800.49	c    24437   1272   118730 30212073  254   237618   43165  24441    449 54.37
1799.91/1800.49	c    25251   1272   119544 31210741  261   239246   47482  25255    455 55.40
1799.91/1800.49	c    26571   1272   120864 32830439  271   241886   52231  26575    461 57.56
1799.91/1800.49	c    28653   1272   122946 35384955  287   246050   57455  28657    465 61.54
1799.91/1800.49	c    31876   1272   126169 39338594  311   252496   63201  31880    460 69.20
1799.91/1800.49	c    36812   1272   131105 45393332  346   262368   69522  36816    424 86.78
1799.91/1800.49	c    44319   1272   138612 54604377  393   277382   76475  44323    329 134.60
1799.91/1800.49	c    55680   1272   149973 68544900  457   300104   84123  55684    264 210.74
1799.91/1800.49	c    72825   1272   167118 89581907  536   334394   92536  72829    175 416.03
1799.91/1800.49	c    98646   1272   111568 21383322  191   223177  101790  17279    114 861.94
1799.91/1800.49	c   137478   1272   150400 69034603  459   300841  111970  56111    114 1197.38
1799.91/1800.49	c Resources Exceeded
1799.91/1800.49	v -x1272 x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256
1799.91/1800.49	v -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
1799.91/1800.49	v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222
1799.91/1800.49	v -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205
1799.91/1800.49	v -x1204 -x1203 -x1202 -x1201 x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188
1799.91/1800.49	v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171
1799.91/1800.49	v -x1170 -x1169 -x1168 x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154
1799.91/1800.49	v -x1153 -x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 x1140 -x1139 -x1138 -x1137
1799.91/1800.49	v -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1130 -x1129 x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120
1799.91/1800.49	v -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103
1799.91/1800.49	v -x1102 -x1101 -x1100 x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086
1799.91/1800.49	v -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078 x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069
1799.91/1800.49	v -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052
1799.91/1800.49	v -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 x1040 -x1039 -x1038 -x1037 -x1036 -x1035
1799.91/1800.49	v -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018
1799.91/1800.49	v x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 x1002 -x1001 -x1000
1799.91/1800.49	v -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979
1799.91/1800.49	v -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958
1799.91/1800.49	v -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937
1799.91/1800.49	v -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916
1799.91/1800.49	v -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895
1799.91/1800.49	v -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880 -x879 -x878 -x877 -x876 -x875 -x874
1799.91/1800.49	v -x873 -x872 -x871 -x870 -x869 -x868 x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853
1799.91/1800.49	v -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 x841 -x840 -x839 -x838 x837 -x836 -x835 -x834 -x833 -x832
1799.91/1800.49	v -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813 x812 -x811
1799.91/1800.49	v -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790
1799.91/1800.49	v -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769
1799.91/1800.49	v -x768 x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748
1799.91/1800.49	v -x747 -x746 -x745 -x744 -x743 -x742 x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727
1799.91/1800.49	v -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706
1799.91/1800.49	v -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685
1799.91/1800.49	v -x684 x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664
1799.91/1800.49	v -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643
1799.91/1800.49	v -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622
1799.91/1800.49	v -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601
1799.91/1800.49	v -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 x584 -x583 -x582 -x581 -x580
1799.91/1800.49	v -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559
1799.91/1800.49	v x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 x543 -x542 -x541 -x540 -x539 -x538
1799.91/1800.49	v -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517
1799.91/1800.49	v -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496
1799.91/1800.49	v -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475
1799.91/1800.49	v -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454
1799.91/1800.49	v -x453 -x452 -x451 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
1799.91/1800.49	v x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412
1799.91/1800.49	v -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 x393 -x392 -x391
1799.91/1800.49	v -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370
1799.91/1800.49	v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349
1799.91/1800.49	v -x348 -x347 -x346 -x345 -x344 x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328
1799.91/1800.49	v -x327 -x326 -x325 x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 x309 -x308 -x307
1799.91/1800.49	v -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 -x287 -x286
1799.91/1800.49	v -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 x268 -x267 -x266 -x265
1799.91/1800.49	v -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244
1799.91/1800.49	v x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223
1799.91/1800.49	v -x222 -x221 -x220 -x219 -x218 -x217 -x216 x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202
1799.91/1800.49	v -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181
1799.91/1800.49	v -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x160
1799.91/1800.49	v -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 x145 -x144 -x143 -x142 -x141 -x140 x139
1799.91/1800.49	v -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 -x118
1799.91/1800.49	v -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 -x100 -x99 -x98 -x97
1799.91/1800.49	v -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 x77 -x76 -x75 -x74 -x73 -x72 -x71
1799.91/1800.49	v -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45
1799.91/1800.49	v -x44 x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 x22 -x21 -x20 -x19
1799.91/1800.49	v -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
1799.91/1800.49	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.49	c   32   186453  19651   212007   199375 129145229 105086    103 1800.01
1799.91/1800.49	c Objective: -41
1799.91/1800.49	s SATISFIABLE
1799.91/1800.49	c Total time: 1800.01 s

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/node19/watcher-353631-1176671352 -o ROOT/results/node19/solver-353631-1176671352 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353631-1176671352/instance-353631-1176671352.opb 

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.91 0.97 0.99 3/77 26454
/proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=13984 CPUtime=0
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 367 0 0 0 0 0 0 0 18 0 1 0 115052613 14319616 335 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 3496 335 281 324 0 2003 0

[startup+0.02264 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 26454
/proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=6732 CPUtime=0.01
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 515 0 0 0 1 0 0 0 18 0 1 0 115052613 6893568 483 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 1683 483 307 324 0 190 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 6732

[startup+0.10165 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 26454
/proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=8660 CPUtime=0.09
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 1133 0 0 0 9 0 0 0 18 0 1 0 115052613 8867840 1101 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 2165 1101 426 324 0 672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8660

[startup+0.30167 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 26454
/proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=13604 CPUtime=0.29
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 2647 0 0 0 28 1 0 0 19 0 1 0 115052613 13930496 2615 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7919227 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 3401 2615 722 324 0 1908 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13604

[startup+0.701713 s]
/proc/loadavg: 0.91 0.97 0.99 3/77 26454
/proc/meminfo: memFree=1841744/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=20812 CPUtime=0.69
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 5168 0 0 0 66 3 0 0 23 0 1 0 115052613 21311488 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 5203 4574 307 324 0 4272 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20812

[startup+1.5018 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 26455
/proc/meminfo: memFree=1824584/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=20812 CPUtime=1.49
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 5168 0 0 0 144 5 0 0 25 0 1 0 115052613 21311488 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 5203 4574 307 324 0 4272 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20812

[startup+3.10197 s]
/proc/loadavg: 0.91 0.97 0.99 2/78 26455
/proc/meminfo: memFree=1824456/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=20812 CPUtime=3.09
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 5168 0 0 0 301 8 0 0 25 0 1 0 115052613 21311488 4574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 5203 4574 307 324 0 4272 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20812

[startup+6.30132 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 26455
/proc/meminfo: memFree=1792264/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=60528 CPUtime=6.29
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 16524 0 0 0 616 13 0 0 25 0 1 0 115052613 61980672 14509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 15132 14509 312 324 0 14201 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60528

[startup+12.702 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 26455
/proc/meminfo: memFree=1739080/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=112852 CPUtime=12.68
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 29591 0 0 0 1249 19 0 0 25 0 1 0 115052613 115560448 27576 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 28213 27576 312 324 0 27282 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 112852

[startup+25.5014 s]
/proc/loadavg: 0.94 0.97 0.99 2/78 26455
/proc/meminfo: memFree=1642760/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=204988 CPUtime=25.48
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 52654 0 0 0 2517 31 0 0 25 0 1 0 115052613 209907712 50639 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 51247 50639 312 324 0 50316 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 204988

[startup+51.1012 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 26455
/proc/meminfo: memFree=1470280/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=376980 CPUtime=51.07
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 95648 0 0 0 5058 49 0 0 25 0 1 0 115052613 386027520 93633 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 94245 93633 312 324 0 93314 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 376980

[startup+102.306 s]
/proc/loadavg: 1.13 1.02 1.00 2/78 26455
/proc/meminfo: memFree=1197256/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=646992 CPUtime=102.26
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 163151 0 0 0 10145 81 0 0 25 0 1 0 115052613 662519808 161136 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 161748 161136 312 324 0 160817 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 646992

[startup+162.301 s]
/proc/loadavg: 1.16 1.04 1.01 2/78 26455
/proc/meminfo: memFree=1043464/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=801300 CPUtime=162.24
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 201720 0 0 0 16124 100 0 0 25 0 1 0 115052613 820531200 199705 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 200325 199705 312 324 0 199394 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 801300

[startup+222.302 s]
/proc/loadavg: 1.12 1.05 1.01 2/78 26455
/proc/meminfo: memFree=900296/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=943888 CPUtime=222.23
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 237367 0 0 0 22104 119 0 0 25 0 1 0 115052613 966541312 235352 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134587075 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 235972 235352 312 324 0 235041 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 943888

[startup+282.301 s]
/proc/loadavg: 1.04 1.04 1.00 2/78 26455
/proc/meminfo: memFree=796488/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1047860 CPUtime=282.21
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 263360 0 0 0 28085 136 0 0 25 0 1 0 115052613 1073008640 261345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 261965 261345 312 324 0 261034 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 1047860

[startup+342.302 s]
/proc/loadavg: 1.01 1.03 1.00 2/78 26455
/proc/meminfo: memFree=736200/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1107104 CPUtime=342.19
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 278168 0 0 0 34075 144 0 0 25 0 1 0 115052613 1133674496 276153 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 276776 276153 312 324 0 275845 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1107104

[startup+402.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 26455
/proc/meminfo: memFree=696584/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1147644 CPUtime=402.18
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 288295 0 0 0 40068 150 0 0 25 0 1 0 115052613 1175187456 286280 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 286911 286280 312 324 0 285980 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1147644

[startup+462.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 26455
/proc/meminfo: memFree=521544/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1322140 CPUtime=462.17
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 331918 0 0 0 46044 173 0 0 25 0 1 0 115052613 1353871360 329903 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134586732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 330535 329903 312 324 0 329604 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1322140

[startup+522.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 26455
/proc/meminfo: memFree=430792/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1413636 CPUtime=522.14
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 354812 0 0 0 52031 183 0 0 25 0 1 0 115052613 1447563264 352797 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 353409 352797 312 324 0 352478 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 1413636

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=357128/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1485548 CPUtime=582.13
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 372794 0 0 0 58018 195 0 0 25 0 1 0 115052613 1521201152 370779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 371387 370779 312 324 0 370456 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 1485548

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352328/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=642.12
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 64016 196 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 1489940


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352392/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=942.04
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 94001 203 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1489940

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1002.02
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 99997 205 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527336 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1489940

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1062.01
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 105995 206 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 1489940

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1121.99
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 111992 207 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091721 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1489940

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1181.98
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 117988 210 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 1489940

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1241.96
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 123983 213 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1489940

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352456/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1301.94
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 129979 215 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7917129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1489940

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352392/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1361.93
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 135976 217 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134574692 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1489940

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1421.92
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 141973 219 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1489940

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1481.9
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 147970 220 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1489940

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1541.88
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 153967 221 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1489940

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=352520/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1489940 CPUtime=1601.86
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 373961 0 0 0 159964 222 0 0 25 0 1 0 115052613 1525698560 371854 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551306 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 372485 371854 312 324 0 371554 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1489940

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26455
/proc/meminfo: memFree=326792/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1515672 CPUtime=1661.85
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 380409 0 0 0 165958 227 0 0 25 0 1 0 115052613 1552048128 378302 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 378918 378302 312 324 0 377987 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1515672

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26457
/proc/meminfo: memFree=269960/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1572688 CPUtime=1721.83
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 394643 0 0 0 171950 233 0 0 25 0 1 0 115052613 1610432512 392536 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551522 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 393172 392536 312 324 0 392241 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1572688

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26457
/proc/meminfo: memFree=191496/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=1650812 CPUtime=1781.82
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194304 414183 0 0 0 177936 246 0 0 25 0 1 0 115052613 1690431488 412076 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551292 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 412703 412076 312 324 0 411772 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1650812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26457
/proc/meminfo: memFree=226184/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=0 CPUtime=1800.02
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194308 418251 0 0 0 179753 249 0 0 17 0 1 0 115052613 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 0

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

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

[startup+1800.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 26458
/proc/meminfo: memFree=875160/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=0 CPUtime=1800.12
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194308 418251 0 0 0 179753 259 0 0 17 0 1 0 115052613 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 26458
/proc/meminfo: memFree=875160/2055920 swapFree=4159528/4192956
[pid=26454] ppid=26452 vsize=0 CPUtime=1800.22
/proc/26454/stat : 26454 (bsolo3.0.16) R 26452 26454 25464 0 -1 4194308 418251 0 0 0 179753 269 0 0 18 0 1 0 115052613 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26454/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.22
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.28
CPU user time (s): 1797.53
CPU system time (s): 2.74458
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 1666880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.53
system time used= 2.74458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418251
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= 14
involuntary context switches= 13684

runsolver used 2.29465 second user time and 4.17037 second system time

The end

Launcher Data (download as text)

Begin job on node19 on Sun Apr 15 21:09:12 UTC 2007

IDJOB= 353631
IDBENCH= 2257
IDSOLVER= 163
FILE ID= node19/353631-1176671352

PBS_JOBID= 4559376

Free space on /tmp= 66538 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-2.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353631-1176671352/instance-353631-1176671352.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-353631-1176671352 -o ROOT/results/node19/solver-353631-1176671352 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/353631-1176671352/instance-353631-1176671352.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  b94d4317cfb468b1c3dd3d790ff99d4d

RANDOM SEED= 437561056

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node19.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.213
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.213
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:       1842152 kB
Buffers:         34168 kB
Cached:         104388 kB
SwapCached:       2204 kB
Active:          92584 kB
Inactive:        69836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1842152 kB
SwapTotal:     4192956 kB
SwapFree:      4159528 kB
Dirty:            6724 kB
Writeback:           0 kB
Mapped:          31892 kB
Slab:            36836 kB
Committed_AS:  2898716 kB
PageTables:       1788 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= 66538 MiB

End job on node19 on Sun Apr 15 21:39:15 UTC 2007