Trace number 3468111

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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
clasp 2.0-R4191SAT (TO)163 1800.11 1800.02

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-apex6.b.opb
MD5SUM06ffce7cc6d5515cfd76def90ae69d59
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark55.7105
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 136
Optimality of the best value was proved NO
Number of variables3098
Total number of constraints6012
Number of constraints which are clauses6012
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 constraint1
Maximum length of a constraint386
Number of terms in the objective function 3098
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 3098
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 3098
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

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

Verifier Data 

OK	163

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3468111-1307105542/watcher-3468111-1307105542 -o /tmp/evaluation-result-3468111-1307105542/solver-3468111-1307105542 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3468111-1307105542.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.92 2.01 1.99 2/517 5700
/proc/meminfo: memFree=21319172/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=13224 CPUtime=0 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 692 0 0 0 0 0 0 0 22 0 1 0 822150934 13541376 608 33554432000 4194304 4933572 140733883229936 18446744073709551615 254500352709 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 3306 608 334 181 0 315 0

[startup+0.032379 s]
/proc/loadavg: 1.92 2.01 1.99 2/517 5700
/proc/meminfo: memFree=21319172/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=14968 CPUtime=0.03 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 1178 0 0 0 3 0 0 0 22 0 1 0 822150934 15327232 1065 33554432000 4194304 4933572 140733883229936 18446744073709551615 254500388619 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 3742 1065 349 181 0 751 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14968

[startup+0.10036 s]
/proc/loadavg: 1.92 2.01 1.99 2/517 5700
/proc/meminfo: memFree=21319172/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=16052 CPUtime=0.09 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 1459 0 0 0 9 0 0 0 22 0 1 0 822150934 16437248 1346 33554432000 4194304 4933572 140733883229936 18446744073709551615 4587600 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 4013 1346 353 181 0 1022 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16052

[startup+0.300321 s]
/proc/loadavg: 1.92 2.01 1.99 2/517 5700
/proc/meminfo: memFree=21319172/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=16200 CPUtime=0.29 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 1534 0 0 0 29 0 0 0 23 0 1 0 822150934 16588800 1421 33554432000 4194304 4933572 140733883229936 18446744073709551615 4429128 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 4050 1421 386 181 0 1059 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16200

[startup+0.700237 s]
/proc/loadavg: 1.92 2.01 1.99 2/517 5700
/proc/meminfo: memFree=21319172/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=16992 CPUtime=0.69 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 1722 0 0 0 69 0 0 0 25 0 1 0 822150934 17399808 1609 33554432000 4194304 4933572 140733883229936 18446744073709551615 4428607 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 4248 1609 386 181 0 1257 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16992

[startup+1.50108 s]
/proc/loadavg: 1.92 2.01 1.99 3/518 5701
/proc/meminfo: memFree=21312604/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=17520 CPUtime=1.49 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 1834 0 0 0 149 0 0 0 25 0 1 0 822150934 17940480 1721 33554432000 4194304 4933572 140733883229936 18446744073709551615 4637471 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 4380 1721 386 181 0 1389 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17520

[startup+3.10077 s]
/proc/loadavg: 1.92 2.01 1.99 3/518 5701
/proc/meminfo: memFree=21310992/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=18572 CPUtime=3.09 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 2104 0 0 0 309 0 0 0 25 0 1 0 822150934 19017728 1991 33554432000 4194304 4933572 140733883229936 18446744073709551615 4360931 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 4643 1991 386 181 0 1652 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18572

[startup+6.30113 s]
/proc/loadavg: 1.93 2.01 1.99 3/518 5701
/proc/meminfo: memFree=21309176/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=19688 CPUtime=6.29 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 2382 0 0 0 629 0 0 0 25 0 1 0 822150934 20160512 2269 33554432000 4194304 4933572 140733883229936 18446744073709551615 4428384 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 4922 2269 386 181 0 1931 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19688

[startup+12.7008 s]
/proc/loadavg: 1.93 2.01 1.99 3/518 5702
/proc/meminfo: memFree=21303804/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=20856 CPUtime=12.69 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 2682 0 0 0 1269 0 0 0 25 0 1 0 822150934 21356544 2569 33554432000 4194304 4933572 140733883229936 18446744073709551615 4649586 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 5214 2569 386 181 0 2223 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20856

[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.99 3/518 5702
/proc/meminfo: memFree=21301824/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=22684 CPUtime=25.49 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 3155 0 0 0 2549 0 0 0 25 0 1 0 822150934 23228416 3042 33554432000 4194304 4933572 140733883229936 18446744073709551615 4427996 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 5671 3042 386 181 0 2680 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22684

[startup+51.1002 s]
/proc/loadavg: 1.97 2.00 1.99 3/518 5703
/proc/meminfo: memFree=21280892/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=25200 CPUtime=51.09 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 3786 0 0 0 5109 0 0 0 25 0 1 0 822150934 25804800 3666 33554432000 4194304 4933572 140733883229936 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 6300 3666 386 181 0 3309 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 25200

[startup+102.319 s]
/proc/loadavg: 1.98 2.00 1.99 3/518 5704
/proc/meminfo: memFree=21250116/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=31444 CPUtime=102.31 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 5344 0 0 0 10231 0 0 0 25 0 1 0 822150934 32198656 5224 33554432000 4194304 4933572 140733883229936 18446744073709551615 4360863 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 7861 5224 386 181 0 4870 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 31444

[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/518 5706
/proc/meminfo: memFree=21243748/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=33012 CPUtime=162.29 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 5749 0 0 0 16229 0 0 0 25 0 1 0 822150934 33804288 5605 33554432000 4194304 4933572 140733883229936 18446744073709551615 4428048 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 8253 5605 386 181 0 5262 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 33012

[startup+222.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/518 5707
/proc/meminfo: memFree=21242840/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=35432 CPUtime=222.3 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 6379 0 0 0 22230 0 0 0 25 0 1 0 822150934 36282368 6192 33554432000 4194304 4933572 140733883229936 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 8858 6192 386 181 0 5867 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 35432

[startup+282.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/518 5709
/proc/meminfo: memFree=21234752/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=37564 CPUtime=282.31 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 6919 0 0 0 28230 1 0 0 25 0 1 0 822150934 38465536 6704 33554432000 4194304 4933572 140733883229936 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 9391 6704 386 181 0 6400 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 37564

[startup+342.301 s]
/proc/loadavg: 2.06 2.02 2.00 3/518 5710
/proc/meminfo: memFree=21232732/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=39324 CPUtime=342.31 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 7366 0 0 0 34230 1 0 0 25 0 1 0 822150934 40267776 7150 33554432000 4194304 4933572 140733883229936 18446744073709551615 4332744 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 9831 7150 386 181 0 6840 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 39324

[startup+402.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/518 5712
/proc/meminfo: memFree=21228612/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=39692 CPUtime=402.31 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 7448 0 0 0 40230 1 0 0 25 0 1 0 822150934 40644608 7232 33554432000 4194304 4933572 140733883229936 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 9923 7232 386 181 0 6932 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 39692

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/518 5714
/proc/meminfo: memFree=21226960/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=40324 CPUtime=462.31 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 7598 0 0 0 46230 1 0 0 25 0 1 0 822150934 41291776 7382 33554432000 4194304 4933572 140733883229936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 10081 7382 386 181 0 7090 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 40324

[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/518 5724
/proc/meminfo: memFree=21225936/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=40840 CPUtime=522.31 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 7702 0 0 0 52230 1 0 0 25 0 1 0 822150934 41820160 7486 33554432000 4194304 4933572 140733883229936 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 10210 7486 386 181 0 7219 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 40840

[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5726
/proc/meminfo: memFree=21219888/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=42604 CPUtime=582.32 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 8124 0 0 0 58231 1 0 0 25 0 1 0 822150934 43626496 7908 33554432000 4194304 4933572 140733883229936 18446744073709551615 4369056 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 10651 7908 386 181 0 7660 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 42604

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/518 5735
/proc/meminfo: memFree=21209148/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=46860 CPUtime=822.33 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 9724 0 0 0 82231 2 0 0 25 0 1 0 822150934 47984640 9004 33554432000 4194304 4933572 140733883229936 18446744073709551615 4337280 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 11715 9004 386 181 0 8724 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 46860

[startup+882.301 s]
/proc/loadavg: 2.18 2.07 2.02 3/518 5737
/proc/meminfo: memFree=21207008/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=46860 CPUtime=882.33 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 9803 0 0 0 88231 2 0 0 25 0 1 0 822150934 47984640 9004 33554432000 4194304 4933572 140733883229936 18446744073709551615 4331712 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 11715 9004 386 181 0 8724 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 46860

[startup+942.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/518 5738
/proc/meminfo: memFree=21206600/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=47340 CPUtime=942.34 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 9899 0 0 0 94232 2 0 0 25 0 1 0 822150934 48476160 9100 33554432000 4194304 4933572 140733883229936 18446744073709551615 4428013 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 11835 9100 386 181 0 8844 0
Current children cumulated CPU time (s) 942.34
Current children cumulated vsize (KiB) 47340

[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/518 5740
/proc/meminfo: memFree=21205816/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=47844 CPUtime=1002.34 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 9986 0 0 0 100232 2 0 0 25 0 1 0 822150934 48992256 9187 33554432000 4194304 4933572 140733883229936 18446744073709551615 4370204 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 11961 9187 386 181 0 8970 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 47844

[startup+1062.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 5742
/proc/meminfo: memFree=21205648/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=48016 CPUtime=1062.34 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10022 0 0 0 106232 2 0 0 25 0 1 0 822150934 49168384 9223 33554432000 4194304 4933572 140733883229936 18446744073709551615 4428583 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12004 9223 386 181 0 9013 0
Current children cumulated CPU time (s) 1062.34
Current children cumulated vsize (KiB) 48016

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5743
/proc/meminfo: memFree=21205104/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=48212 CPUtime=1122.35 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10064 0 0 0 112233 2 0 0 25 0 1 0 822150934 49369088 9265 33554432000 4194304 4933572 140733883229936 18446744073709551615 4428016 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12053 9265 386 181 0 9062 0
Current children cumulated CPU time (s) 1122.35
Current children cumulated vsize (KiB) 48212

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5745
/proc/meminfo: memFree=21204448/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=48352 CPUtime=1182.35 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10100 0 0 0 118233 2 0 0 25 0 1 0 822150934 49512448 9301 33554432000 4194304 4933572 140733883229936 18446744073709551615 4637446 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12088 9301 386 181 0 9097 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 48352

[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5746
/proc/meminfo: memFree=21199076/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=48688 CPUtime=1242.35 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10173 0 0 0 124233 2 0 0 25 0 1 0 822150934 49856512 9374 33554432000 4194304 4933572 140733883229936 18446744073709551615 4429005 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12172 9374 386 181 0 9181 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 48688

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5748
/proc/meminfo: memFree=21196180/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=48980 CPUtime=1302.36 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10246 0 0 0 130234 2 0 0 25 0 1 0 822150934 50155520 9447 33554432000 4194304 4933572 140733883229936 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12245 9447 386 181 0 9254 0
Current children cumulated CPU time (s) 1302.36
Current children cumulated vsize (KiB) 48980

[startup+1362.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/518 5750
/proc/meminfo: memFree=21196388/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=49428 CPUtime=1362.36 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10339 0 0 0 136234 2 0 0 25 0 1 0 822150934 50614272 9540 33554432000 4194304 4933572 140733883229936 18446744073709551615 4635376 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12357 9540 386 181 0 9366 0
Current children cumulated CPU time (s) 1362.36
Current children cumulated vsize (KiB) 49428

[startup+1422.32 s]
/proc/loadavg: 2.09 2.05 2.01 3/518 5751
/proc/meminfo: memFree=21192372/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=49680 CPUtime=1422.38 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10444 0 0 0 142236 2 0 0 25 0 1 0 822150934 50872320 9619 33554432000 4194304 4933572 140733883229936 18446744073709551615 4428566 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12420 9619 386 181 0 9429 0
Current children cumulated CPU time (s) 1422.38
Current children cumulated vsize (KiB) 49680

[startup+1482.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/518 5753
/proc/meminfo: memFree=21191096/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=50336 CPUtime=1482.36 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10552 0 0 0 148234 2 0 0 25 0 1 0 822150934 51544064 9727 33554432000 4194304 4933572 140733883229936 18446744073709551615 4648512 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12584 9727 386 181 0 9593 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 50336

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 5754
/proc/meminfo: memFree=21191308/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=50504 CPUtime=1542.37 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10586 0 0 0 154235 2 0 0 25 0 1 0 822150934 51716096 9761 33554432000 4194304 4933572 140733883229936 18446744073709551615 4429009 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12626 9761 386 181 0 9635 0
Current children cumulated CPU time (s) 1542.37
Current children cumulated vsize (KiB) 50504

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5756
/proc/meminfo: memFree=21189884/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=50728 CPUtime=1602.37 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10652 0 0 0 160235 2 0 0 25 0 1 0 822150934 51945472 9827 33554432000 4194304 4933572 140733883229936 18446744073709551615 4360959 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12682 9827 386 181 0 9691 0
Current children cumulated CPU time (s) 1602.37
Current children cumulated vsize (KiB) 50728

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 5758
/proc/meminfo: memFree=21189968/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=50728 CPUtime=1662.37 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10665 0 0 0 166235 2 0 0 25 0 1 0 822150934 51945472 9840 33554432000 4194304 4933572 140733883229936 18446744073709551615 4360883 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12682 9840 386 181 0 9691 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 50728

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/518 5759
/proc/meminfo: memFree=21189312/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=50728 CPUtime=1722.37 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10665 0 0 0 172235 2 0 0 25 0 1 0 822150934 51945472 9840 33554432000 4194304 4933572 140733883229936 18446744073709551615 4369217 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12682 9840 386 181 0 9691 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 50728

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 5789
/proc/meminfo: memFree=21332136/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=50728 CPUtime=1782.38 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10665 0 0 0 178236 2 0 0 25 0 1 0 822150934 51945472 9840 33554432000 4194304 4933572 140733883229936 18446744073709551615 4429109 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12682 9840 386 181 0 9691 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 50728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/518 5789
/proc/meminfo: memFree=21328608/32950928 swapFree=34259960/67111528
[pid=5700] ppid=5698 vsize=50860 CPUtime=1800.08 cores=1,3,5,7
/proc/5700/stat : 5700 (clasp) R 5698 5700 4893 0 -1 4202496 10679 0 0 0 180006 2 0 0 25 0 1 0 822150934 52080640 9854 33554432000 4194304 4933572 140733883229936 18446744073709551615 4363259 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/5700/statm: 12715 9854 386 181 0 9724 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 50860

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

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

Child status: 10
Real time (s): 1800.02
CPU time (s): 1800.11
CPU user time (s): 1800.08
CPU system time (s): 0.025996
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 50860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.08
system time used= 0.025996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10687
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= 5
involuntary context switches= 6210

runsolver used 8.5637 second user time and 21.4167 second system time

The end

Launcher Data 

Begin job on node149 at 2011-06-03 14:52:23
IDJOB=3468111
IDBENCH=2848
IDSOLVER=1958
FILE ID=node149/3468111-1307105542
RUNJOBID= node149-1307094704-4912
PBS_JOBID= 13498006
Free space on /tmp= 73524 MiB

SOLVER NAME= clasp 2.0-R4191
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-apex6.b.opb
COMMAND LINE= HOME/clasp BENCHNAME --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3468111-1307105542/watcher-3468111-1307105542 -o /tmp/evaluation-result-3468111-1307105542/solver-3468111-1307105542 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3468111-1307105542.opb --berk-max=512 --berk-once --otfs=1 --recursive-str --dinit=1500,10000 --dsched=10000,1.1,20000 --restart-on-model --opt-heu=2 

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 06ffce7cc6d5515cfd76def90ae69d59
RANDOM SEED=454340941

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      21319452 kB
Buffers:        321664 kB
Cached:        3436724 kB
SwapCached:     123196 kB
Active:         319792 kB
Inactive:     10974468 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      21319452 kB
SwapTotal:    67111528 kB
SwapFree:     34259960 kB
Dirty:            5060 kB
Writeback:         132 kB
AnonPages:     7436896 kB
Mapped:          18424 kB
Slab:           149584 kB
PageTables:     117304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 173164972 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73524 MiB
End job on node149 at 2011-06-03 15:22:25