Trace number 352697

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.4SAT47977 1782.76 1783.28

General information on the benchmark

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

Verifier Data (download as text)

OK	47977

Conversion Script Data (download as text)

/tmp/evaluation/352697-1176639207/instance-352697-1176639207.opb is already a linear file

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node5/watcher-352697-1176639207 -o ROOT/results/node5/solver-352697-1176639207 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/352697-1176639207/instance-352697-1176639207.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.99 0.97 0.97 3/77 18602
/proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=2552 CPUtime=0
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 139958352 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8359639 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 638 230 193 16 0 77 0

[startup+0.050101 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 18602
/proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=3084 CPUtime=0.04
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 403 0 0 0 4 0 0 0 18 0 1 0 139958352 3158016 373 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 771 373 199 16 0 210 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3084

[startup+0.101106 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 18602
/proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=3616 CPUtime=0.09
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 550 0 0 0 9 0 0 0 18 0 1 0 139958352 3702784 520 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8060867 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 904 520 199 16 0 343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3616

[startup+0.30113 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 18602
/proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=5216 CPUtime=0.29
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 937 0 0 0 29 0 0 0 19 0 1 0 139958352 5341184 907 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8328827 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 1304 907 199 16 0 743 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5216

[startup+0.701175 s]
/proc/loadavg: 0.99 0.97 0.97 3/77 18602
/proc/meminfo: memFree=1746760/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=8148 CPUtime=0.68
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 1670 0 0 0 68 0 0 0 22 0 1 0 139958352 8343552 1640 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522742 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 2037 1640 205 16 0 1476 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 8148

[startup+1.50127 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1740928/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=8148 CPUtime=1.49
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 1670 0 0 0 148 1 0 0 25 0 1 0 139958352 8343552 1640 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 2037 1640 205 16 0 1476 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8148

[startup+3.10145 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1740288/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=9996 CPUtime=3.09
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 2127 0 0 0 307 2 0 0 25 0 1 0 139958352 10235904 2097 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 2499 2097 205 16 0 1938 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9996

[startup+6.30181 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1735552/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=14488 CPUtime=6.28
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 3243 0 0 0 625 3 0 0 25 0 1 0 139958352 14835712 3213 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519937 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 3622 3213 205 16 0 3061 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14488

[startup+12.7025 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1729600/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=19248 CPUtime=12.69
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 4417 0 0 0 1264 5 0 0 25 0 1 0 139958352 19709952 4387 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527552 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 4812 4387 205 16 0 4251 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19248

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1723392/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=25432 CPUtime=25.48
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 5969 0 0 0 2541 7 0 0 25 0 1 0 139958352 26042368 5939 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528713 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 6358 5939 205 16 0 5797 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25432

[startup+51.1019 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1718464/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=30484 CPUtime=51.07
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 7227 0 0 0 5097 10 0 0 25 0 1 0 139958352 31215616 7197 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 7621 7197 205 16 0 7060 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 30484

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1716288/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=32728 CPUtime=102.26
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 7789 0 0 0 10212 14 0 0 25 0 1 0 139958352 33513472 7759 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134522729 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 8182 7759 205 16 0 7621 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32728

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1710528/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=38256 CPUtime=162.24
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 9185 0 0 0 16204 20 0 0 25 0 1 0 139958352 39174144 9155 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 9564 9155 205 16 0 9003 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 38256

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1702272/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=46480 CPUtime=222.22
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 11218 0 0 0 22194 28 0 0 25 0 1 0 139958352 47595520 11188 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134556420 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 11620 11188 205 16 0 11059 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 46480

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1700480/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=48204 CPUtime=282.21
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 11657 0 0 0 28188 33 0 0 25 0 1 0 139958352 49360896 11627 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 12051 11627 205 16 0 11490 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 48204

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1700480/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=48204 CPUtime=342.18
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 11659 0 0 0 34180 38 0 0 25 0 1 0 139958352 49360896 11629 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519946 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 12051 11629 205 16 0 11490 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 48204

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1698752/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=50820 CPUtime=402.17
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12321 0 0 0 40173 44 0 0 25 0 1 0 139958352 52039680 12291 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 12705 12291 205 16 0 12144 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 50820

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1695296/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=53180 CPUtime=462.15
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12928 0 0 0 46166 49 0 0 25 0 1 0 139958352 54456320 12898 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 13295 12898 205 16 0 12734 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 53180

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1695296/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=53180 CPUtime=522.14
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12928 0 0 0 52160 54 0 0 25 0 1 0 139958352 54456320 12898 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 13295 12898 205 16 0 12734 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 53180

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1695296/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=53180 CPUtime=582.12
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12929 0 0 0 58154 58 0 0 25 0 1 0 139958352 54456320 12899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 13295 12899 205 16 0 12734 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 53180

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18603
/proc/meminfo: memFree=1695232/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=53180 CPUtime=642.1
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 12929 0 0 0 64149 61 0 0 25 0 1 0 139958352 54456320 12899 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 13295 12899 205 16 0 12734 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 53180


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

/proc/meminfo: memFree=1681856/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=66604 CPUtime=882.03
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 16238 0 0 0 88123 80 0 0 25 0 1 0 139958352 68202496 16208 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 16651 16208 205 16 0 16090 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 66604

[startup+942.302 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18603
/proc/meminfo: memFree=1681856/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=66604 CPUtime=942.01
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 16238 0 0 0 94115 86 0 0 25 0 1 0 139958352 68202496 16208 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 16651 16208 205 16 0 16090 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 66604

[startup+1002.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18603
/proc/meminfo: memFree=1681856/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=66604 CPUtime=1001.99
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 16238 0 0 0 100108 91 0 0 25 0 1 0 139958352 68202496 16208 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134528641 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 16651 16208 205 16 0 16090 0
Current children cumulated CPU time (s) 1001.99
Current children cumulated vsize (KiB) 66604

[startup+1062.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1681728/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=66492 CPUtime=1061.97
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 16241 0 0 0 106102 95 0 0 25 0 1 0 139958352 68087808 16196 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 16623 16196 205 16 0 16062 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 66492

[startup+1122.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1675520/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=72896 CPUtime=1121.96
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 17811 0 0 0 112097 99 0 0 25 0 1 0 139958352 74645504 17766 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 18224 17766 205 16 0 17663 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 72896

[startup+1182.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1674048/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=74204 CPUtime=1181.95
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 18161 0 0 0 118092 103 0 0 25 0 1 0 139958352 75984896 18116 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559228 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 18551 18116 205 16 0 17990 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 74204

[startup+1242.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1671168/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=77088 CPUtime=1241.92
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 18883 0 0 0 124086 106 0 0 25 0 1 0 139958352 78938112 18838 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 19272 18838 205 16 0 18711 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 77088

[startup+1302.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1665536/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=82724 CPUtime=1301.91
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 20275 0 0 0 130080 111 0 0 25 0 1 0 139958352 84709376 20230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 20681 20230 205 16 0 20120 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 82724

[startup+1362.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1662272/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=85952 CPUtime=1361.89
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21079 0 0 0 136074 115 0 0 25 0 1 0 139958352 88014848 21034 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 21488 21034 205 16 0 20927 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 85952

[startup+1422.31 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1662272/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=85932 CPUtime=1421.88
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21079 0 0 0 142069 119 0 0 25 0 1 0 139958352 87994368 21034 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134519098 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 21483 21034 205 16 0 20922 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 85932

[startup+1482.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1659264/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=88848 CPUtime=1481.86
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 148063 123 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 22212 21778 205 16 0 21651 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 88848

[startup+1542.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1659264/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=88848 CPUtime=1541.84
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 154057 127 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 22212 21778 205 16 0 21651 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 88848

[startup+1602.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1659200/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=88848 CPUtime=1601.82
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 160052 130 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520000 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 22212 21778 205 16 0 21651 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 88848

[startup+1662.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1659200/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=88848 CPUtime=1661.81
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 166047 134 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 22212 21778 205 16 0 21651 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 88848

[startup+1722.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=88848 CPUtime=1721.78
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 172041 137 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 22212 21778 205 16 0 21651 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 88848

[startup+1782.3 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=88848 CPUtime=1781.76
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 178036 140 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 22212 21778 205 16 0 21651 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 88848

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

[startup+1782.7 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=88848 CPUtime=1782.16
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 178076 140 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 22212 21778 205 16 0 21651 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 88848

[startup+1783.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=88848 CPUtime=1782.57
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 178117 140 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 22212 21778 205 16 0 21651 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (KiB) 88848

[startup+1783.2 s]
/proc/loadavg: 1.00 0.99 0.98 2/78 18605
/proc/meminfo: memFree=1659136/2055920 swapFree=4191880/4192956
[pid=18602] ppid=18600 vsize=88848 CPUtime=1782.67
/proc/18602/stat : 18602 (Pueblo) R 18600 18602 17913 0 -1 4194304 21823 0 0 0 178127 140 0 0 25 0 1 0 139958352 90980352 21778 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/18602/statm: 22212 21778 205 16 0 21651 0
Current children cumulated CPU time (s) 1782.67
Current children cumulated vsize (KiB) 88848

Child status: 10
Real time (s): 1783.28
CPU time (s): 1782.76
CPU user time (s): 1781.34
CPU system time (s): 1.42378
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (KiB): 88848

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

runsolver used 2.12168 second user time and 4.05838 second system time

The end

Launcher Data (download as text)

Begin job on node5 on Sun Apr 15 12:13:27 UTC 2007

IDJOB= 352697
IDBENCH= 2008
IDSOLVER= 165
FILE ID= node5/352697-1176639207

PBS_JOBID= 4556857

Free space on /tmp= 66554 MiB

SOLVER NAME= Pueblo 1.4
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data8_3.opb
COMMAND LINE= Pueblo /tmp/evaluation/352697-1176639207/instance-352697-1176639207.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node5/convwatcher-352697-1176639207 -o ROOT/results/node5/conversion-352697-1176639207 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/352697-1176639207/instance-352697-1176639207.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

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

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  c3720ea5d84e92b781414b36064971fe

RANDOM SEED= 28155576

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node5.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.232
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.232
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:       1747168 kB
Buffers:         50884 kB
Cached:         150400 kB
SwapCached:        268 kB
Active:         137152 kB
Inactive:       118604 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1747168 kB
SwapTotal:     4192956 kB
SwapFree:      4191880 kB
Dirty:            3188 kB
Writeback:           0 kB
Mapped:          71264 kB
Slab:            38592 kB
Committed_AS:  7437952 kB
PageTables:       1720 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= 66554 MiB

End job on node5 on Sun Apr 15 12:43:10 UTC 2007