Trace number 453767

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
Pueblo 1.4SAT12 1782.73 1783.21

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_1.opb
MD5SUM55d0299800773493d27ef2c1b95d10c5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1248
Sum of products size (including duplicates)2496
Number of different products1248
Sum of products size2496

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 Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.03/0.04	c starting to Solve
0.03/0.04	c #variables read: 1348 - #constraints read: 2597
0.03/0.04	o 17
0.03/0.05	o 16
0.03/0.08	o 15
0.03/0.09	o 14
368.69/368.87	o 13
754.29/754.57	o 12
1782.72/1783.20	c total time              : 1783 s
1782.72/1783.20	s SATISFIABLE
1782.72/1783.20	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 -x29
1782.72/1783.20	v 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 -x55 -x56
1782.72/1783.20	v -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1782.72/1783.20	v -x83 -x84 x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 -x105 -x106 -x107
1782.72/1783.20	v x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 x123 x124 -x125 -x126 -x127 -x128
1782.72/1783.20	v -x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149
1782.72/1783.20	v -x150 -x151 -x152 x153 x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170
1782.72/1783.20	v -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191
1782.72/1783.20	v -x192 -x193 x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 x206 -x207 -x208 -x209 -x210 -x211 -x212
1782.72/1783.20	v -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233
1782.72/1783.20	v -x234 x235 x236 -x237 -x238 x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1782.72/1783.20	v -x255 -x256 -x257 -x258 x259 -x260 -x261 -x262 x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 x271 -x272 -x273 -x274 -x275
1782.72/1783.20	v -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 x292 -x293 x294 -x295 x296
1782.72/1783.20	v -x297 -x298 -x299 x300 -x301 -x302 x303 -x304 x305 -x306 -x307 -x308 -x309 -x310 x311 -x312 -x313 -x314 -x315 -x316 x317 -x318
1782.72/1783.20	v -x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339
1782.72/1783.20	v -x340 -x341 -x342 -x343 -x344 -x345 x346 -x347 -x348 -x349 -x350 -x351 -x352 x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360
1782.72/1783.20	v -x361 -x362 -x363 x364 -x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381
1782.72/1783.20	v -x382 -x383 -x384 -x385 -x386 -x387 -x388 x389 -x390 -x391 x392 -x393 -x394 -x395 -x396 -x397 -x398 x399 -x400 -x401 -x402
1782.72/1783.20	v -x403 -x404 -x405 -x406 x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 x417 -x418 -x419 x420 -x421 -x422 -x423
1782.72/1783.20	v -x424 -x425 -x426 -x427 x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444
1782.72/1783.20	v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 x460 -x461 x462 -x463 -x464 -x465
1782.72/1783.20	v -x466 -x467 x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486
1782.72/1783.20	v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507
1782.72/1783.20	v -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528
1782.72/1783.20	v -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 x537 -x538 -x539 -x540 x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549
1782.72/1783.20	v -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570
1782.72/1783.20	v -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 x579 -x580 -x581 -x582 x583 x584 -x585 -x586 -x587 -x588 x589 -x590 -x591
1782.72/1783.20	v -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 x606 x607 -x608 x609 -x610 -x611 -x612
1782.72/1783.20	v -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 x628 -x629 -x630 -x631 -x632 -x633
1782.72/1783.20	v x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643 -x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654
1782.72/1783.20	v -x655 -x656 -x657 -x658 -x659 x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675
1782.72/1783.20	v -x676 x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696
1782.72/1783.20	v -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 x706 -x707 x708 -x709 -x710 -x711 -x712 -x713 x714 x715 -x716 -x717 -x718
1782.72/1783.20	v -x719 -x720 x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739
1782.72/1783.20	v -x740 -x741 -x742 x743 -x744 -x745 x746 -x747 -x748 -x749 -x750 -x751 -x752 -x753 -x754 -x755 x756 -x757 -x758 -x759 -x760
1782.72/1783.20	v -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781
1782.72/1783.20	v -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 -x796 x797 -x798 -x799 -x800 -x801 -x802
1782.72/1783.20	v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 x823
1782.72/1783.20	v -x824 x825 -x826 -x827 -x828 -x829 -x830 -x831 x832 -x833 -x834 -x835 x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844
1782.72/1783.20	v -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 x860 -x861 -x862 -x863 -x864 -x865
1782.72/1783.20	v x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 -x875 x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886
1782.72/1783.20	v -x887 -x888 -x889 -x890 -x891 -x892 -x893 x894 -x895 -x896 -x897 x898 x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 -x907
1782.72/1783.20	v x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 x921 -x922 -x923 -x924 -x925 -x926 -x927 -x928
1782.72/1783.20	v -x929 -x930 -x931 x932 -x933 -x934 -x935 -x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 x948 -x949
1782.72/1783.20	v -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 x960 -x961 -x962 -x963 -x964 -x965 -x966 x967 -x968 -x969 x970
1782.72/1783.20	v -x971 -x972 -x973 -x974 -x975 -x976 -x977 -x978 -x979 -x980 x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991
1782.72/1783.20	v -x992 -x993 -x994 x995 -x996 -x997 -x998 -x999 -x1000 -x1001 -x1002 -x1003 -x1004 x1005 -x1006 -x1007 -x1008 -x1009 -x1010
1782.72/1783.20	v -x1011 -x1012 x1013 x1014 x1015 -x1016 -x1017 -x1018 -x1019 x1020 x1021 -x1022 -x1023 -x1024 -x1025 -x1026 -x1027 -x1028
1782.72/1783.20	v -x1029 x1030 -x1031 -x1032 -x1033 -x1034 -x1035 x1036 -x1037 -x1038 -x1039 -x1040 -x1041 -x1042 -x1043 -x1044 -x1045 -x1046
1782.72/1783.20	v -x1047 -x1048 -x1049 -x1050 x1051 -x1052 -x1053 -x1054 -x1055 -x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063
1782.72/1783.20	v -x1064 -x1065 -x1066 x1067 -x1068 -x1069 -x1070 -x1071 -x1072 -x1073 -x1074 -x1075 -x1076 -x1077 -x1078 -x1079 -x1080
1782.72/1783.20	v -x1081 -x1082 -x1083 -x1084 x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 -x1092 -x1093 x1094 -x1095 -x1096 -x1097 -x1098
1782.72/1783.20	v x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 -x1107 -x1108 -x1109 -x1110 x1111 -x1112 -x1113 -x1114 -x1115 -x1116
1782.72/1783.20	v -x1117 -x1118 -x1119 -x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 -x1131 -x1132 -x1133 -x1134
1782.72/1783.20	v -x1135 -x1136 -x1137 -x1138 -x1139 x1140 -x1141 x1142 -x1143 -x1144 -x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152
1782.72/1783.20	v -x1153 -x1154 -x1155 x1156 -x1157 -x1158 -x1159 -x1160 -x1161 -x1162 -x1163 -x1164 -x1165 -x1166 x1167 x1168 -x1169 -x1170
1782.72/1783.20	v -x1171 -x1172 -x1173 x1174 -x1175 -x1176 -x1177 -x1178 x1179 -x1180 -x1181 -x1182 -x1183 -x1184 -x1185 -x1186 -x1187 -x1188
1782.72/1783.20	v -x1189 -x1190 -x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 -x1198 x1199 -x1200 -x1201 -x1202 -x1203 -x1204 -x1205
1782.72/1783.20	v -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 x1216 -x1217 -x1218 -x1219 x1220 -x1221 -x1222 -x1223
1782.72/1783.20	v -x1224 -x1225 x1226 -x1227 -x1228 -x1229 x1230 -x1231 -x1232 -x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241
1782.72/1783.20	v -x1242 -x1243 -x1244 -x1245 -x1246 -x1247 -x1248 -x1249 x1250 x1251 -x1252 -x1253 -x1254 -x1255 -x1256 -x1257 x1258 -x1259
1782.72/1783.20	v -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 -x1270 x1271 -x1272 -x1273 -x1274 -x1275 -x1276
1782.72/1783.20	v -x1277 -x1278 -x1279 -x1280 x1281 -x1282 -x1283 -x1284 -x1285 -x1286 -x1287 -x1288 x1289 -x1290 -x1291 -x1292 -x1293 -x1294
1782.72/1783.20	v -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 x1305 -x1306 -x1307 -x1308 -x1309 -x1310 -x1311
1782.72/1783.20	v -x1312 x1313 -x1314 -x1315 -x1316 -x1317 -x1318 -x1319 -x1320 -x1321 -x1322 -x1323 -x1324 x1325 -x1326 -x1327 -x1328 x1329
1782.72/1783.20	v -x1330 -x1331 -x1332 -x1333 x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 x1343 -x1344 -x1345 -x1346 -x1347
1782.72/1783.20	v -x1348

Verifier Data (download as text)

OK	12

Conversion Script Data (download as text)

Linearizing /tmp/evaluation/453767-1178155275/instance-453767-1178155275.opb

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node9/watcher-453767-1178155275 -o ROOT/results/node9/solver-453767-1178155275 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/453767-1178155275/instance-453767-1178155275.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.92 0.98 0.99 3/77 28137
/proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=2552 CPUtime=0
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 291565088 2613248 238 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 9129687 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 638 238 199 16 0 77 0

[startup+0.045182 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28137
/proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=3372 CPUtime=0.03
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 469 0 0 0 3 0 0 0 18 0 1 0 291565088 3452928 440 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 9098875 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 843 441 203 16 0 282 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3372

[startup+0.101189 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28137
/proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=3508 CPUtime=0.09
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 508 0 0 0 9 0 0 0 18 0 1 0 291565088 3592192 479 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 877 479 205 16 0 316 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3508

[startup+0.301211 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28137
/proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=3904 CPUtime=0.29
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 606 0 0 0 29 0 0 0 19 0 1 0 291565088 3997696 577 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 976 577 205 16 0 415 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3904

[startup+0.701256 s]
/proc/loadavg: 0.92 0.98 0.99 3/77 28137
/proc/meminfo: memFree=1786664/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=4296 CPUtime=0.69
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 715 0 0 0 69 0 0 0 22 0 1 0 291565088 4399104 686 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 1074 686 205 16 0 513 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4296

[startup+1.50135 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1784608/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=4688 CPUtime=1.49
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 818 0 0 0 148 1 0 0 25 0 1 0 291565088 4800512 789 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 1172 789 205 16 0 611 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4688

[startup+3.10153 s]
/proc/loadavg: 0.92 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1784096/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=4944 CPUtime=3.09
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 860 0 0 0 308 1 0 0 25 0 1 0 291565088 5062656 831 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 1236 831 205 16 0 675 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4944

[startup+6.30189 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1783584/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=5200 CPUtime=6.29
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 946 0 0 0 627 2 0 0 25 0 1 0 291565088 5324800 917 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 1300 917 205 16 0 739 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5200

[startup+12.7016 s]
/proc/loadavg: 0.93 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1783264/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=5684 CPUtime=12.69
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 1037 0 0 0 1265 4 0 0 25 0 1 0 291565088 5820416 1008 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 1421 1008 205 16 0 860 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5684

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1782496/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=6444 CPUtime=25.49
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 1233 0 0 0 2542 7 0 0 25 0 1 0 291565088 6598656 1204 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 1611 1204 205 16 0 1050 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 6444

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1782048/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=7048 CPUtime=51.08
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 1389 0 0 0 5096 12 0 0 25 0 1 0 291565088 7217152 1355 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 1762 1355 205 16 0 1201 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7048

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778912/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10048 CPUtime=102.26
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2151 0 0 0 10204 22 0 0 25 0 1 0 291565088 10289152 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2512 2117 205 16 0 1951 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 10048

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778912/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10004 CPUtime=162.25
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2151 0 0 0 16192 33 0 0 25 0 1 0 291565088 10244096 2116 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2501 2116 205 16 0 1940 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 10004

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778848/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10004 CPUtime=222.23
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 22181 42 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2501 2117 205 16 0 1940 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 10004

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778848/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10004 CPUtime=282.21
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 28168 53 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2501 2117 205 16 0 1940 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 10004

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778848/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10004 CPUtime=342.2
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 34157 63 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2501 2117 205 16 0 1940 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 10004

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778784/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10004 CPUtime=402.19
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 40145 74 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2501 2117 205 16 0 1940 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 10004

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778784/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10004 CPUtime=462.17
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 46134 83 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2501 2117 205 16 0 1940 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 10004

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778784/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10004 CPUtime=522.15
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2152 0 0 0 52123 92 0 0 25 0 1 0 291565088 10244096 2117 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2501 2117 205 16 0 1940 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 10004

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778464/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10400 CPUtime=582.13
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2231 0 0 0 58111 102 0 0 25 0 1 0 291565088 10649600 2196 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2600 2196 205 16 0 2039 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 10400

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28138
/proc/meminfo: memFree=1778272/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10460 CPUtime=642.12
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2286 0 0 0 64100 112 0 0 25 0 1 0 291565088 10711040 2222 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2615 2222 205 16 0 2054 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 10460


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

/proc/meminfo: memFree=1778272/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10456 CPUtime=882.06
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2292 0 0 0 88053 153 0 0 25 0 1 0 291565088 10706944 2228 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2614 2228 205 16 0 2053 0
Current children cumulated CPU time (s) 882.06
Current children cumulated vsize (KiB) 10456

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28140
/proc/meminfo: memFree=1778336/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10456 CPUtime=942.04
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2292 0 0 0 94041 163 0 0 25 0 1 0 291565088 10706944 2228 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2614 2228 205 16 0 2053 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 10456

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28140
/proc/meminfo: memFree=1778336/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=10456 CPUtime=1002.03
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2292 0 0 0 100030 173 0 0 25 0 1 0 291565088 10706944 2228 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2614 2228 205 16 0 2053 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 10456

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 28140
/proc/meminfo: memFree=1777760/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11052 CPUtime=1062
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2430 0 0 0 106019 181 0 0 25 0 1 0 291565088 11317248 2366 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2763 2366 205 16 0 2202 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 11052

[startup+1122.3 s]
/proc/loadavg: 1.03 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1777440/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11380 CPUtime=1121.99
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2512 0 0 0 112010 189 0 0 25 0 1 0 291565088 11653120 2448 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527772 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2845 2448 205 16 0 2284 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 11380

[startup+1182.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11684 CPUtime=1181.98
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 118002 196 0 0 25 0 1 0 291565088 11964416 2538 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2921 2538 205 16 0 2360 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 11684

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11676 CPUtime=1241.96
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 123994 202 0 0 25 0 1 0 291565088 11956224 2536 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2919 2536 205 16 0 2358 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 11676

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11664 CPUtime=1301.95
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 129984 211 0 0 25 0 1 0 291565088 11943936 2533 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134527724 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2916 2533 205 16 0 2355 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 11664

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11652 CPUtime=1361.92
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 135972 220 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2913 2530 205 16 0 2352 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 11652

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11652 CPUtime=1421.92
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 141963 229 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134559292 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2913 2530 205 16 0 2352 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 11652

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776992/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11652 CPUtime=1481.9
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 147955 235 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2913 2530 205 16 0 2352 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 11652

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1777056/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11652 CPUtime=1541.88
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 153945 243 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2913 2530 205 16 0 2352 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 11652

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1777056/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11652 CPUtime=1601.87
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2634 0 0 0 159935 252 0 0 25 0 1 0 291565088 11931648 2530 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2913 2530 205 16 0 2352 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 11652

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1777056/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11724 CPUtime=1661.85
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2653 0 0 0 165925 260 0 0 25 0 1 0 291565088 12005376 2548 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2931 2548 205 16 0 2370 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 11724

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776864/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11940 CPUtime=1721.83
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 171916 267 0 0 25 0 1 0 291565088 12226560 2587 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2985 2587 205 16 0 2424 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 11940

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776928/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11848 CPUtime=1781.82
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 177907 275 0 0 25 0 1 0 291565088 12132352 2579 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2962 2579 205 16 0 2401 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 11848

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

[startup+1782.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776928/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11848 CPUtime=1782.22
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 177947 275 0 0 25 0 1 0 291565088 12132352 2579 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2962 2579 205 16 0 2401 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 11848

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776928/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11848 CPUtime=1782.62
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 177987 275 0 0 25 0 1 0 291565088 12132352 2579 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2962 2579 205 16 0 2401 0
Current children cumulated CPU time (s) 1782.62
Current children cumulated vsize (KiB) 11848

[startup+1783.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28140
/proc/meminfo: memFree=1776928/2055920 swapFree=4145492/4192956
[pid=28137] ppid=28135 vsize=11848 CPUtime=1782.72
/proc/28137/stat : 28137 (Pueblo) R 28135 28137 27737 0 -1 4194304 2692 0 0 0 177997 275 0 0 25 0 1 0 291565088 12132352 2579 18446744073709551615 134512640 134579096 4294956624 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/28137/statm: 2962 2579 205 16 0 2401 0
Current children cumulated CPU time (s) 1782.72
Current children cumulated vsize (KiB) 11848

Child status: 10
Real time (s): 1783.21
CPU time (s): 1782.73
CPU user time (s): 1779.98
CPU system time (s): 2.75458
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 11956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.98
system time used= 2.75458
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2699
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= 16
involuntary context switches= 1415

runsolver used 1.37579 second user time and 3.73243 second system time

The end

Launcher Data (download as text)

Begin job on node9 on Thu May  3 01:21:15 UTC 2007

IDJOB= 453767
IDBENCH= 48152
IDSOLVER= 165
FILE ID= node9/453767-1178155275

PBS_JOBID= 4751083

Free space on /tmp= 66562 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_1.opb
COMMAND LINE= Pueblo /tmp/evaluation/453767-1178155275/instance-453767-1178155275.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node9/convwatcher-453767-1178155275 -o ROOT/results/node9/conversion-453767-1178155275 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/453767-1178155275/instance-453767-1178155275.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node9/watcher-453767-1178155275 -o ROOT/results/node9/solver-453767-1178155275 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/453767-1178155275/instance-453767-1178155275.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  55d0299800773493d27ef2c1b95d10c5

RANDOM SEED= 424958814

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node9.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.221
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.221
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:       1787072 kB
Buffers:         69612 kB
Cached:         104028 kB
SwapCached:      15400 kB
Active:         143180 kB
Inactive:        58748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787072 kB
SwapTotal:     4192956 kB
SwapFree:      4145492 kB
Dirty:            2484 kB
Writeback:           0 kB
Mapped:          34840 kB
Slab:            52388 kB
Committed_AS:  8643384 kB
PageTables:       1796 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= 66562 MiB

End job on node9 on Thu May  3 01:50:59 UTC 2007