Trace number 3709331

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.6-R5325 (opt)SAT (TO)27 1800.03 1800.31

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/
areaDelay/normalized-f20c10b_018_area_delay.opb
MD5SUMc19adaf233257cdd6134391794b23c65
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark1.07883
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved YES
Number of variables3187
Total number of constraints8922
Number of constraints which are clauses8922
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 constraint63
Number of terms in the objective function 1527
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 1527
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1527
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

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

Verifier Data 

OK	27

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3709331-1338172290/watcher-3709331-1338172290 -o /tmp/evaluation-result-3709331-1338172290/solver-3709331-1338172290 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3709331-1338172290.opb 

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.95 2.00 1.99 3/177 30086
/proc/meminfo: memFree=27314680/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0

[startup+0.086826 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 30086
/proc/meminfo: memFree=27314680/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100257 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 30086
/proc/meminfo: memFree=27314680/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300223 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 30086
/proc/meminfo: memFree=27314680/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700222 s]
/proc/loadavg: 1.95 2.00 1.99 3/177 30086
/proc/meminfo: memFree=27314680/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50026 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 30088
/proc/meminfo: memFree=27312168/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=4604 CPUtime=1.49 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 950 0 0 0 149 0 0 0 20 0 1 0 283356279 4714496 856 33554432000 4194304 6212839 140735172813936 140735172812088 4683418 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 1151 856 237 493 0 656 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13756

[startup+3.10027 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 30088
/proc/meminfo: memFree=27311424/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=5132 CPUtime=3.09 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 1058 0 0 0 309 0 0 0 20 0 1 0 283356279 5255168 964 33554432000 4194304 6212839 140735172813936 140735172811944 4662616 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 1283 964 237 493 0 788 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14284

[startup+6.30027 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 30088
/proc/meminfo: memFree=27310468/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=5664 CPUtime=6.29 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 1207 0 0 0 629 0 0 0 20 0 1 0 283356279 5799936 1113 33554432000 4194304 6212839 140735172813936 140735172812088 4635515 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 1416 1113 237 493 0 921 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14816

[startup+12.7003 s]
/proc/loadavg: 1.95 2.00 1.99 3/179 30088
/proc/meminfo: memFree=27309192/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=6580 CPUtime=12.69 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 1423 0 0 0 1269 0 0 0 20 0 1 0 283356279 6737920 1329 33554432000 4194304 6212839 140735172813936 140735172811944 4333840 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 1645 1329 237 493 0 1150 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15732

[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 1.99 3/179 30088
/proc/meminfo: memFree=27305652/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=7900 CPUtime=25.49 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 1738 0 0 0 2549 0 0 0 20 0 1 0 283356279 8089600 1645 33554432000 4194304 6212839 140735172813936 140735172812344 4424505 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 1975 1645 237 493 0 1480 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17052

[startup+51.1003 s]
/proc/loadavg: 1.98 2.00 1.99 3/179 30088
/proc/meminfo: memFree=27302664/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=9716 CPUtime=51.08 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 2201 0 0 0 5108 0 0 0 20 0 1 0 283356279 9949184 2108 33554432000 4194304 6212839 140735172813936 140735172812088 4423547 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 2429 2108 237 493 0 1934 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 18868

[startup+102.306 s]
/proc/loadavg: 1.99 2.00 1.99 3/180 30089
/proc/meminfo: memFree=27298756/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=12828 CPUtime=102.28 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 2940 0 0 0 10228 0 0 0 20 0 1 0 283356279 13135872 2854 33554432000 4194304 6212839 140735172813936 140735172812088 4634942 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 3207 2854 237 493 0 2712 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 21980

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 30089
/proc/meminfo: memFree=27295480/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=14832 CPUtime=162.26 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 3403 0 0 0 16226 0 0 0 20 0 1 0 283356279 15187968 3388 33554432000 4194304 6212839 140735172813936 140735172812088 4674290 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 3708 3388 237 493 0 3213 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 23984

[startup+222.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 30089
/proc/meminfo: memFree=27292068/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=16504 CPUtime=222.25 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 3774 0 0 0 22225 0 0 0 20 0 1 0 283356279 16900096 3793 33554432000 4194304 6212839 140735172813936 140735172812088 4635944 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 4126 3793 237 493 0 3631 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 25656

[startup+282.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 30089
/proc/meminfo: memFree=27290452/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=17560 CPUtime=282.24 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 4013 0 0 0 28224 0 0 0 20 0 1 0 283356279 17981440 4032 33554432000 4194304 6212839 140735172813936 140735172811944 4634973 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 4390 4032 237 493 0 3895 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 26712

[startup+342.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 30090
/proc/meminfo: memFree=27288576/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=19028 CPUtime=342.23 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 4329 0 0 0 34222 1 0 0 20 0 1 0 283356279 19484672 4348 33554432000 4194304 6212839 140735172813936 140735172812088 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 4757 4348 237 493 0 4262 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 28180

[startup+402.3 s]
/proc/loadavg: 1.99 2.00 1.99 3/179 30090
/proc/meminfo: memFree=27284452/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=29464 CPUtime=1122.11 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 6587 0 0 0 112210 1 0 0 20 0 1 0 283356279 30171136 6924 33554432000 4194304 6212839 140735172813936 140735172812088 4424389 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 7366 6924 237 493 0 6871 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 38616

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30098
/proc/meminfo: memFree=27261748/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=29916 CPUtime=1182.11 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 6714 0 0 0 118209 2 0 0 20 0 1 0 283356279 30633984 7129 33554432000 4194304 6212839 140735172813936 140735172811944 4674393 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 7479 7129 237 493 0 6984 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 39068

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30099
/proc/meminfo: memFree=27260420/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=30368 CPUtime=1242.1 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 6789 0 0 0 124208 2 0 0 20 0 1 0 283356279 31096832 7204 33554432000 4194304 6212839 140735172813936 140735172812088 4635604 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 7592 7204 237 493 0 7097 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 39520

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30099
/proc/meminfo: memFree=27256200/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=30704 CPUtime=1302.1 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 6885 0 0 0 130208 2 0 0 20 0 1 0 283356279 31440896 7369 33554432000 4194304 6212839 140735172813936 140735172812088 4333840 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 7676 7369 237 493 0 7181 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 39856

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30099
/proc/meminfo: memFree=27254652/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=31024 CPUtime=1362.08 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 6946 0 0 0 136206 2 0 0 20 0 1 0 283356279 31768576 7430 33554432000 4194304 6212839 140735172813936 140735172812088 4674519 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 7756 7430 237 493 0 7261 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 40176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30099
/proc/meminfo: memFree=27252616/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=31852 CPUtime=1422.08 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 7108 0 0 0 142206 2 0 0 20 0 1 0 283356279 32616448 7592 33554432000 4194304 6212839 140735172813936 140735172812088 4372073 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 7963 7592 237 493 0 7468 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 41004

[startup+1482.3 s]
/proc/loadavg: 1.97 2.00 2.00 3/179 30139
/proc/meminfo: memFree=27225808/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=32524 CPUtime=1482.06 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 7234 0 0 0 148204 2 0 0 20 0 1 0 283356279 33304576 7718 33554432000 4194304 6212839 140735172813936 140735172812088 4421962 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 8131 7718 237 493 0 7636 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 41676

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 30140
/proc/meminfo: memFree=27225060/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=32864 CPUtime=1542.05 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 7305 0 0 0 154203 2 0 0 20 0 1 0 283356279 33652736 7789 33554432000 4194304 6212839 140735172813936 140735172812088 4681533 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 8216 7789 237 493 0 7721 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 42016

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 30140
/proc/meminfo: memFree=27224440/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=33200 CPUtime=1602.04 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 7398 0 0 0 160202 2 0 0 20 0 1 0 283356279 33996800 7882 33554432000 4194304 6212839 140735172813936 140735172812088 4333809 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 8300 7882 237 493 0 7805 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 42352

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/179 30140
/proc/meminfo: memFree=27223880/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=33368 CPUtime=1662.03 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 7432 0 0 0 166201 2 0 0 20 0 1 0 283356279 34168832 7995 33554432000 4194304 6212839 140735172813936 140735172812088 4421867 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 8342 7995 237 493 0 7847 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 42520

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/180 30143
/proc/meminfo: memFree=27223052/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=33792 CPUtime=1722.02 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 7514 0 0 0 172200 2 0 0 20 0 1 0 283356279 34603008 8077 33554432000 4194304 6212839 140735172813936 140735172812088 4634964 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 8448 8077 237 493 0 7953 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 42944

[startup+1782.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/180 30166
/proc/meminfo: memFree=27221844/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=34108 CPUtime=1782.01 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 7573 0 0 0 178199 2 0 0 20 0 1 0 283356279 34926592 8136 33554432000 4194304 6212839 140735172813936 140735172812088 4634953 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 8527 8136 237 493 0 8032 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 43260



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/180 30166
/proc/meminfo: memFree=27222724/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=34108 CPUtime=1800.02 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 7584 0 0 0 180000 2 0 0 20 0 1 0 283356279 34926592 8147 33554432000 4194304 6212839 140735172813936 140735172812088 4635944 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 8527 8147 237 493 0 8032 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 43260

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/180 30166
/proc/meminfo: memFree=27222724/32873648 swapFree=6336/6336
[pid=30086] ppid=30084 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/30086/stat : 30086 (clasp-opt.sh) S 30084 30086 28940 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 283356279 9371648 275 33554432000 4194304 5064252 140734328926016 140734328924928 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30086/statm: 2288 275 232 213 0 73 0
[pid=30087] ppid=30086 vsize=34108 CPUtime=1800.02 cores=1,3,5,7
/proc/30087/stat : 30087 (clasp-R5325) R 30086 30086 28940 0 -1 4202496 7584 0 0 0 180000 2 0 0 20 0 1 0 283356279 34926592 8147 33554432000 4194304 6212839 140735172813936 140735172812088 4635944 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/30087/statm: 8527 8147 237 493 0 8032 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 43260

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.01
CPU system time (s): 0.023996
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 43260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.023996
maximum resident set size= 32620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7957
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= 19
involuntary context switches= 1849

runsolver used 3.75143 second user time and 9.38357 second system time

The end

Launcher Data 

Begin job on node112 at 2012-05-28 04:31:30
IDJOB=3709331
IDBENCH=24997
IDSOLVER=2288
FILE ID=node112/3709331-1338172290
RUNJOBID= node112-1338157548-28957
PBS_JOBID= 14624531
Free space on /tmp= 71588 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_018_area_delay.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709331-1338172290/watcher-3709331-1338172290 -o /tmp/evaluation-result-3709331-1338172290/solver-3709331-1338172290 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709331-1338172290.opb

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

MD5SUM BENCH= c19adaf233257cdd6134391794b23c65
RANDOM SEED=1572330256

node112.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.763
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27315060 kB
Buffers:          379544 kB
Cached:          4313792 kB
SwapCached:            0 kB
Active:           830504 kB
Inactive:        3902824 kB
Active(anon):      42648 kB
Inactive(anon):        0 kB
Active(file):     787856 kB
Inactive(file):  3902824 kB
Unevictable:        6336 kB
Mlocked:            6336 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2724 kB
Writeback:             4 kB
AnonPages:         46552 kB
Mapped:            15296 kB
Shmem:               200 kB
Slab:             688448 kB
SReclaimable:     132244 kB
SUnreclaim:       556204 kB
KernelStack:        1456 kB
PageTables:         4104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     153792 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71576 MiB
End job on node112 at 2012-05-28 05:01:30