Trace number 3709319

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)22 1800.02 1800.31

General information on the benchmark

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

Verifier Data

OK	22

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

running on 4 cores: 0,2,4,6

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: 2.00 2.01 2.00 2/177 29924
/proc/meminfo: memFree=27308748/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0

[startup+0.0974609 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 29924
/proc/meminfo: memFree=27308748/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100159 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 29924
/proc/meminfo: memFree=27308748/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300225 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 29924
/proc/meminfo: memFree=27308748/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700223 s]
/proc/loadavg: 2.00 2.01 2.00 2/177 29924
/proc/meminfo: memFree=27308748/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29926
/proc/meminfo: memFree=27306764/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=4336 CPUtime=1.49 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 880 0 0 0 149 0 0 0 20 0 1 0 283142990 4440064 789 33554432000 4194304 6212839 140734516837680 140734516835832 4635510 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 1084 789 237 493 0 589 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13488

[startup+3.10026 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29926
/proc/meminfo: memFree=27305972/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=4752 CPUtime=3.09 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 984 0 0 0 309 0 0 0 20 0 1 0 283142990 4866048 893 33554432000 4194304 6212839 140734516837680 140734516835832 4356564 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 1188 893 237 493 0 693 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13904

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29926
/proc/meminfo: memFree=27305104/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=5436 CPUtime=6.29 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 1132 0 0 0 629 0 0 0 20 0 1 0 283142990 5566464 1041 33554432000 4194304 6212839 140734516837680 140734516835832 4683384 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 1359 1041 237 493 0 864 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14588

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 29926
/proc/meminfo: memFree=27303632/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=6264 CPUtime=12.69 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 1356 0 0 0 1269 0 0 0 20 0 1 0 283142990 6414336 1265 33554432000 4194304 6212839 140734516837680 140734516835832 4424409 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 1566 1265 237 493 0 1071 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 15416

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29926
/proc/meminfo: memFree=27301972/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=7344 CPUtime=25.49 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 1612 0 0 0 2549 0 0 0 20 0 1 0 283142990 7520256 1523 33554432000 4194304 6212839 140734516837680 140734516835688 4372100 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 1836 1523 237 493 0 1341 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 16496

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29926
/proc/meminfo: memFree=27301528/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=8584 CPUtime=51.08 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 1919 0 0 0 5108 0 0 0 20 0 1 0 283142990 8790016 1830 33554432000 4194304 6212839 140734516837680 140734516835832 4685321 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 2146 1830 237 493 0 1651 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17736

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29926
/proc/meminfo: memFree=27297696/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=11156 CPUtime=102.28 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 2512 0 0 0 10228 0 0 0 20 0 1 0 283142990 11423744 2458 33554432000 4194304 6212839 140734516837680 140734516835832 4685722 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 2789 2458 237 493 0 2294 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 20308

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29926
/proc/meminfo: memFree=27296356/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=12932 CPUtime=162.26 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 2920 0 0 0 16226 0 0 0 20 0 1 0 283142990 13242368 2899 33554432000 4194304 6212839 140734516837680 140734516835832 4424366 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 3233 2899 237 493 0 2738 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 22084

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29926
/proc/meminfo: memFree=27295416/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=14240 CPUtime=222.25 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 3229 0 0 0 22225 0 0 0 20 0 1 0 283142990 14581760 3208 33554432000 4194304 6212839 140734516837680 140734516835832 4683418 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 3560 3208 237 493 0 3065 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 23392

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 29930
/proc/meminfo: memFree=27293860/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=14968 CPUtime=282.24 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 3392 0 0 0 28224 0 0 0 20 0 1 0 283142990 15327232 3410 33554432000 4194304 6212839 140734516837680 140734516835832 4357006 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 3742 3410 237 493 0 3247 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 24120

[startup+342.3 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 29993
/proc/meminfo: memFree=27322028/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=16432 CPUtime=342.23 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 3729 0 0 0 34223 0 0 0 20 0 1 0 283142990 16826368 3747 33554432000 4194304 6212839 140734516837680 140734516835832 4424413 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 4108 3747 237 493 0 3613 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 25584

[startup+402.3 s]
/proc/loadavg: 1.97 1.98 1.99 3/179 29993
/proc/meminfo: memFree=27315288/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6

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

/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=24024 CPUtime=1122.11 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 5421 0 0 0 112210 1 0 0 20 0 1 0 283142990 24600576 5666 33554432000 4194304 6212839 140734516837680 140734516835832 4421962 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6006 5666 237 493 0 5511 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 33176

[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 29998
/proc/meminfo: memFree=27287140/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=24332 CPUtime=1182.1 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 5464 0 0 0 118209 1 0 0 20 0 1 0 283142990 24915968 5709 33554432000 4194304 6212839 140734516837680 140734516835832 4683420 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6083 5709 237 493 0 5588 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 33484

[startup+1242.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 29999
/proc/meminfo: memFree=27285652/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=24532 CPUtime=1242.09 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 5506 0 0 0 124208 1 0 0 20 0 1 0 283142990 25120768 5751 33554432000 4194304 6212839 140734516837680 140734516835832 4423550 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6133 5751 237 493 0 5638 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 33684

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29999
/proc/meminfo: memFree=27284472/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=24848 CPUtime=1302.08 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 5573 0 0 0 130207 1 0 0 20 0 1 0 283142990 25444352 5818 33554432000 4194304 6212839 140734516837680 140734516835832 4421873 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6212 5818 237 493 0 5717 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 34000

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29999
/proc/meminfo: memFree=27283976/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=25184 CPUtime=1362.07 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 5669 0 0 0 136206 1 0 0 20 0 1 0 283142990 25788416 5914 33554432000 4194304 6212839 140734516837680 140734516835832 4423547 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6296 5914 237 493 0 5801 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 34336

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29999
/proc/meminfo: memFree=27282116/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=25888 CPUtime=1422.06 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 5790 0 0 0 142205 1 0 0 20 0 1 0 283142990 26509312 6035 33554432000 4194304 6212839 140734516837680 140734516835832 4424413 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6472 6035 237 493 0 5977 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 35040

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 30002
/proc/meminfo: memFree=27281320/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=26560 CPUtime=1482.06 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 5935 0 0 0 148204 2 0 0 20 0 1 0 283142990 27197440 6180 33554432000 4194304 6212839 140734516837680 140734516835832 4685957 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6640 6180 237 493 0 6145 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 35712

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 30003
/proc/meminfo: memFree=27279360/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=26728 CPUtime=1542.05 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 5975 0 0 0 154203 2 0 0 20 0 1 0 283142990 27369472 6277 33554432000 4194304 6212839 140734516837680 140734516835832 4298117 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6682 6277 237 493 0 6187 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 35880

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30003
/proc/meminfo: memFree=27278244/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=26728 CPUtime=1602.04 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 5992 0 0 0 160202 2 0 0 20 0 1 0 283142990 27369472 6294 33554432000 4194304 6212839 140734516837680 140734516835832 4683420 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6682 6294 237 493 0 6187 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 35880

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30003
/proc/meminfo: memFree=27277436/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=27040 CPUtime=1662.03 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 6043 0 0 0 166201 2 0 0 20 0 1 0 283142990 27688960 6345 33554432000 4194304 6212839 140734516837680 140734516835832 4683360 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6760 6345 237 493 0 6265 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 36192

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30003
/proc/meminfo: memFree=27276824/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=27176 CPUtime=1722.02 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 6082 0 0 0 172200 2 0 0 20 0 1 0 283142990 27828224 6474 33554432000 4194304 6212839 140734516837680 140734516835832 4421884 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6794 6474 237 493 0 6299 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 36328

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30003
/proc/meminfo: memFree=27275956/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=27484 CPUtime=1782.01 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 6127 0 0 0 178199 2 0 0 20 0 1 0 283142990 28143616 6519 33554432000 4194304 6212839 140734516837680 140734516835832 4423520 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6871 6519 237 493 0 6376 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 36636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30003
/proc/meminfo: memFree=27275520/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=27484 CPUtime=1800.01 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 6127 0 0 0 179999 2 0 0 20 0 1 0 283142990 28143616 6519 33554432000 4194304 6212839 140734516837680 140734516835832 4424518 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6871 6519 237 493 0 6376 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 36636

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30003
/proc/meminfo: memFree=27275520/32873648 swapFree=6336/6336
[pid=29924] ppid=29922 vsize=9152 CPUtime=0 cores=0,2,4,6
/proc/29924/stat : 29924 (clasp-opt.sh) S 29922 29924 28940 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 283142990 9371648 274 33554432000 4194304 5064252 140735820282704 140735820281616 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29924/statm: 2288 274 232 213 0 73 0
[pid=29925] ppid=29924 vsize=27484 CPUtime=1800.01 cores=0,2,4,6
/proc/29925/stat : 29925 (clasp-R5325) R 29924 29924 28940 0 -1 4202496 6127 0 0 0 179999 2 0 0 20 0 1 0 283142990 28143616 6519 33554432000 4194304 6212839 140734516837680 140734516835832 4424518 0 0 4096 18946 0 0 0 17 2 0 0 0 0 0
/proc/29925/statm: 6871 6519 237 493 0 6376 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 36636

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1800
CPU system time (s): 0.024996
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 36636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800
system time used= 0.024996
maximum resident set size= 26104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6497
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16
involuntary context switches= 1977

runsolver used 2.70059 second user time and 7.12692 second system time

The end

Launcher Data

Begin job on node112 at 2012-05-28 03:55:57
IDJOB=3709319
IDBENCH=24979
IDSOLVER=2288
FILE ID=node112/3709319-1338170157
RUNJOBID= node112-1338157548-28956
PBS_JOBID= 14624531
Free space on /tmp= 71576 MiB

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

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

MD5SUM BENCH= 7294dff8a2fbe1f0b26c181010dcfed2
RANDOM SEED=74523536

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:        27308748 kB
Buffers:          379124 kB
Cached:          4327060 kB
SwapCached:            0 kB
Active:           837852 kB
Inactive:        3902456 kB
Active(anon):      36656 kB
Inactive(anon):        0 kB
Active(file):     801196 kB
Inactive(file):  3902456 kB
Unevictable:        6336 kB
Mlocked:            6336 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2336 kB
Writeback:             0 kB
AnonPages:         83008 kB
Mapped:            15468 kB
Shmem:               200 kB
Slab:             688168 kB
SReclaimable:     132180 kB
SUnreclaim:       555988 kB
KernelStack:        1488 kB
PageTables:         4284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     147676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:     61440 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= 71588 MiB
End job on node112 at 2012-05-28 04:25:58