Trace number 3448308

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 NameAnswerCPU timeWall clock time
clasp 2.0-RC2MSAT (TO) 1800.07 1800.01

General information on the benchmark

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

Verifier Data 

OK	2084

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 /var/tmp/evaluation-result-3448308-1307895524/watcher-3448308-1307895524 -o /var/tmp/evaluation-result-3448308-1307895524/solver-3448308-1307895524 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3448308-1307895524.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once 

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: 1.23 1.69 1.45 5/176 24226
/proc/meminfo: memFree=11237640/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=3004 CPUtime=0 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 564 0 0 0 0 0 0 0 21 0 1 0 979782983 3076096 470 33554432000 134512640 136285325 4293677424 18446744073709551615 134930268 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 751 470 203 433 0 316 0

[startup+0.0685261 s]
/proc/loadavg: 1.23 1.69 1.45 5/176 24226
/proc/meminfo: memFree=11237640/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=3796 CPUtime=0.06 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 766 0 0 0 6 0 0 0 21 0 1 0 979782983 3887104 672 33554432000 134512640 136285325 4293677424 18446744073709551615 134960518 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 949 672 209 433 0 514 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 3796

[startup+0.100525 s]
/proc/loadavg: 1.23 1.69 1.45 5/176 24226
/proc/meminfo: memFree=11237640/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=3796 CPUtime=0.09 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 789 0 0 0 9 0 0 0 21 0 1 0 979782983 3887104 695 33554432000 134512640 136285325 4293677424 18446744073709551615 134625328 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 949 695 209 433 0 514 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3796

[startup+0.3005 s]
/proc/loadavg: 1.23 1.69 1.45 5/176 24226
/proc/meminfo: memFree=11237640/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=4324 CPUtime=0.29 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 900 0 0 0 29 0 0 0 22 0 1 0 979782983 4427776 806 33554432000 134512640 136285325 4293677424 18446744073709551615 135029100 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 1081 806 209 433 0 646 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4324

[startup+0.700427 s]
/proc/loadavg: 1.23 1.69 1.45 5/176 24226
/proc/meminfo: memFree=11237640/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=4588 CPUtime=0.69 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 988 0 0 0 69 0 0 0 24 0 1 0 979782983 4698112 894 33554432000 134512640 136285325 4293677424 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 1147 894 209 433 0 712 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4588

[startup+1.5003 s]
/proc/loadavg: 1.23 1.69 1.45 4/178 24228
/proc/meminfo: memFree=11233944/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=4984 CPUtime=1.49 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 1092 0 0 0 149 0 0 0 25 0 1 0 979782983 5103616 998 33554432000 134512640 136285325 4293677424 18446744073709551615 135027258 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 1246 998 209 433 0 811 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4984

[startup+3.10101 s]
/proc/loadavg: 1.23 1.69 1.45 3/178 24228
/proc/meminfo: memFree=11232856/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=5640 CPUtime=3.09 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 1241 0 0 0 309 0 0 0 25 0 1 0 979782983 5775360 1147 33554432000 134512640 136285325 4293677424 18446744073709551615 134880617 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 1410 1147 210 433 0 975 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5640

[startup+6.30037 s]
/proc/loadavg: 1.29 1.70 1.45 4/178 24228
/proc/meminfo: memFree=11231988/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=6156 CPUtime=6.29 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 1374 0 0 0 629 0 0 0 25 0 1 0 979782983 6303744 1280 33554432000 134512640 136285325 4293677424 18446744073709551615 134954808 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 1539 1280 210 433 0 1104 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6156

[startup+12.7002 s]
/proc/loadavg: 1.35 1.70 1.45 4/178 24228
/proc/meminfo: memFree=11231528/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=7016 CPUtime=12.69 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 1584 0 0 0 1269 0 0 0 25 0 1 0 979782983 7184384 1490 33554432000 134512640 136285325 4293677424 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 1754 1490 210 433 0 1319 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 7016

[startup+25.5009 s]
/proc/loadavg: 1.49 1.72 1.46 4/178 24228
/proc/meminfo: memFree=11231232/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=7980 CPUtime=25.49 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 1915 0 0 0 2549 0 0 0 25 0 1 0 979782983 8171520 1742 33554432000 134512640 136285325 4293677424 18446744073709551615 134970879 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 1995 1742 210 433 0 1560 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7980

[startup+51.1001 s]
/proc/loadavg: 1.66 1.74 1.47 4/178 24229
/proc/meminfo: memFree=11229416/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=9024 CPUtime=51.09 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 2227 0 0 0 5109 0 0 0 25 0 1 0 979782983 9240576 2010 33554432000 134512640 136285325 4293677424 18446744073709551615 134625227 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 2256 2010 210 433 0 1821 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 9024

[startup+102.307 s]
/proc/loadavg: 1.93 1.81 1.51 4/178 24230
/proc/meminfo: memFree=11227000/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=10588 CPUtime=102.3 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 2638 0 0 0 10230 0 0 0 25 0 1 0 979782983 10842112 2401 33554432000 134512640 136285325 4293677424 18446744073709551615 134945108 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 2647 2401 210 433 0 2212 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 10588

[startup+162.301 s]
/proc/loadavg: 1.97 1.84 1.54 4/178 24232
/proc/meminfo: memFree=11224852/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=12292 CPUtime=162.3 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 3145 0 0 0 16229 1 0 0 25 0 1 0 979782983 12587008 2812 33554432000 134512640 136285325 4293677424 18446744073709551615 134954355 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 3073 2812 210 433 0 2638 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 12292

[startup+222.301 s]
/proc/loadavg: 1.99 1.86 1.56 4/178 24234
/proc/meminfo: memFree=11223660/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=12836 CPUtime=222.3 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 3342 0 0 0 22229 1 0 0 25 0 1 0 979782983 13144064 2940 33554432000 134512640 136285325 4293677424 18446744073709551615 135020825 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 3209 2940 210 433 0 2774 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 12836

[startup+282.301 s]
/proc/loadavg: 1.99 1.89 1.58 4/178 24235
/proc/meminfo: memFree=11222472/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=14076 CPUtime=282.3 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 3705 0 0 0 28229 1 0 0 25 0 1 0 979782983 14413824 3247 33554432000 134512640 136285325 4293677424 18446744073709551615 134669661 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 3519 3247 210 433 0 3084 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 14076

[startup+342.301 s]
/proc/loadavg: 1.99 1.90 1.61 4/178 24237
/proc/meminfo: memFree=11220796/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=14500 CPUtime=342.3 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 3858 0 0 0 34229 1 0 0 25 0 1 0 979782983 14848000 3379 33554432000 134512640 136285325 4293677424 18446744073709551615 134970904 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 3625 3379 210 433 0 3190 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 14500

[startup+402.301 s]
/proc/loadavg: 1.99 1.92 1.63 4/178 24238
/proc/meminfo: memFree=11219976/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=15468 CPUtime=402.3 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 4145 0 0 0 40229 1 0 0 25 0 1 0 979782983 15839232 3621 33554432000 134512640 136285325 4293677424 18446744073709551615 134954404 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 3867 3621 210 433 0 3432 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 15468

[startup+462.301 s]
/proc/loadavg: 1.99 1.93 1.65 4/178 24240
/proc/meminfo: memFree=11219676/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=15708 CPUtime=462.3 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 4584 0 0 0 46229 1 0 0 25 0 1 0 979782983 16084992 3676 33554432000 134512640 136285325 4293677424 18446744073709551615 134625274 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 3927 3676 210 433 0 3492 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 15708

[startup+522.301 s]
/proc/loadavg: 1.99 1.94 1.67 4/178 24241
/proc/meminfo: memFree=11219632/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=15596 CPUtime=522.3 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 4943 0 0 0 52229 1 0 0 25 0 1 0 979782983 15970304 3653 33554432000 134512640 136285325 4293677424 18446744073709551615 134625325 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 3899 3653 210 433 0 3464 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 15596

[startup+582.301 s]
/proc/loadavg: 1.99 1.95 1.69 4/178 24243
/proc/meminfo: memFree=11218956/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=16648 CPUtime=582.3 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 5371 0 0 0 58229 1 0 0 25 0 1 0 979782983 17047552 3916 33554432000 134512640 136285325 4293677424 18446744073709551615 134954766 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 4162 3916 210 433 0 3727 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 16648

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 1.99 1.97 1.75 4/178 24249
/proc/meminfo: memFree=11216348/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=18572 CPUtime=822.31 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 5855 0 0 0 82229 2 0 0 25 0 1 0 979782983 19017728 4371 33554432000 134512640 136285325 4293677424 18446744073709551615 135022809 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 4643 4371 210 433 0 4208 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 18572

[startup+882.301 s]
/proc/loadavg: 1.99 1.97 1.76 4/178 24251
/proc/meminfo: memFree=11216164/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=18572 CPUtime=882.32 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 5862 0 0 0 88230 2 0 0 25 0 1 0 979782983 19017728 4378 33554432000 134512640 136285325 4293677424 18446744073709551615 134954559 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 4643 4378 210 433 0 4208 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 18572

[startup+942.301 s]
/proc/loadavg: 1.99 1.97 1.77 4/178 24253
/proc/meminfo: memFree=11214976/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=19952 CPUtime=942.32 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 6383 0 0 0 94230 2 0 0 25 0 1 0 979782983 20430848 4742 33554432000 134512640 136285325 4293677424 18446744073709551615 134960430 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 4988 4742 210 433 0 4553 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 19952

[startup+1002.3 s]
/proc/loadavg: 1.99 1.97 1.78 4/178 24254
/proc/meminfo: memFree=11214936/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=19952 CPUtime=1002.32 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 6383 0 0 0 100230 2 0 0 25 0 1 0 979782983 20430848 4742 33554432000 134512640 136285325 4293677424 18446744073709551615 134625266 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 4988 4742 210 433 0 4553 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 19952

[startup+1062.3 s]
/proc/loadavg: 1.99 1.97 1.79 4/178 24256
/proc/meminfo: memFree=11214620/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=19952 CPUtime=1062.32 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 6438 0 0 0 106230 2 0 0 25 0 1 0 979782983 20430848 4742 33554432000 134512640 136285325 4293677424 18446744073709551615 134954401 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 4988 4742 210 433 0 4553 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 19952

[startup+1122.3 s]
/proc/loadavg: 1.99 1.97 1.81 4/178 24258
/proc/meminfo: memFree=11214436/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=19952 CPUtime=1122.32 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 6460 0 0 0 112230 2 0 0 25 0 1 0 979782983 20430848 4742 33554432000 134512640 136285325 4293677424 18446744073709551615 134667143 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 4988 4742 210 433 0 4553 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 19952

[startup+1182.3 s]
/proc/loadavg: 1.99 1.97 1.82 4/178 24259
/proc/meminfo: memFree=11214248/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=19952 CPUtime=1182.33 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 6470 0 0 0 118231 2 0 0 25 0 1 0 979782983 20430848 4742 33554432000 134512640 136285325 4293677424 18446744073709551615 134636592 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 4988 4742 210 433 0 4553 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 19952

[startup+1242.3 s]
/proc/loadavg: 1.99 1.97 1.82 4/178 24264
/proc/meminfo: memFree=11213420/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=19952 CPUtime=1242.33 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 6544 0 0 0 124231 2 0 0 25 0 1 0 979782983 20430848 4742 33554432000 134512640 136285325 4293677424 18446744073709551615 134625314 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 4988 4742 210 433 0 4553 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 19952

[startup+1302.3 s]
/proc/loadavg: 1.99 1.97 1.83 4/178 24265
/proc/meminfo: memFree=11213152/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=20540 CPUtime=1302.33 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 6774 0 0 0 130231 2 0 0 25 0 1 0 979782983 21032960 4888 33554432000 134512640 136285325 4293677424 18446744073709551615 134625304 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5135 4888 210 433 0 4700 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 20540

[startup+1362.3 s]
/proc/loadavg: 1.99 1.97 1.84 4/178 24267
/proc/meminfo: memFree=11212968/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=20644 CPUtime=1362.33 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 6787 0 0 0 136230 3 0 0 25 0 1 0 979782983 21139456 4901 33554432000 134512640 136285325 4293677424 18446744073709551615 134667205 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5161 4901 210 433 0 4726 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 20644

[startup+1422.31 s]
/proc/loadavg: 1.99 1.97 1.84 4/178 24269
/proc/meminfo: memFree=11211780/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=22224 CPUtime=1422.34 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 7180 0 0 0 142231 3 0 0 25 0 1 0 979782983 22757376 5285 33554432000 134512640 136285325 4293677424 18446744073709551615 134667119 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5556 5285 210 433 0 5121 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 22224

[startup+1482.3 s]
/proc/loadavg: 1.99 1.97 1.85 4/178 24270
/proc/meminfo: memFree=11211836/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=22224 CPUtime=1482.33 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 7180 0 0 0 148230 3 0 0 25 0 1 0 979782983 22757376 5285 33554432000 134512640 136285325 4293677424 18446744073709551615 134954360 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5556 5285 210 433 0 5121 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 22224

[startup+1542.3 s]
/proc/loadavg: 1.99 1.97 1.85 4/178 24272
/proc/meminfo: memFree=11211500/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=22304 CPUtime=1542.34 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 7226 0 0 0 154231 3 0 0 25 0 1 0 979782983 22839296 5329 33554432000 134512640 136285325 4293677424 18446744073709551615 134954766 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5576 5329 210 433 0 5141 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 22304

[startup+1602.3 s]
/proc/loadavg: 1.99 1.97 1.86 4/178 24273
/proc/meminfo: memFree=11211172/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=22224 CPUtime=1602.34 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 7306 0 0 0 160231 3 0 0 25 0 1 0 979782983 22757376 5309 33554432000 134512640 136285325 4293677424 18446744073709551615 134954368 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5556 5309 210 433 0 5121 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 22224

[startup+1662.3 s]
/proc/loadavg: 1.99 1.97 1.86 4/178 24275
/proc/meminfo: memFree=11211108/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=22224 CPUtime=1662.34 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 7370 0 0 0 166231 3 0 0 25 0 1 0 979782983 22757376 5309 33554432000 134512640 136285325 4293677424 18446744073709551615 134669661 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5556 5309 210 433 0 5121 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 22224

[startup+1722.3 s]
/proc/loadavg: 2.08 2.00 1.88 4/178 24276
/proc/meminfo: memFree=11211044/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=22224 CPUtime=1722.34 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 7563 0 0 0 172231 3 0 0 25 0 1 0 979782983 22757376 5309 33554432000 134512640 136285325 4293677424 18446744073709551615 134625338 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5556 5309 210 433 0 5121 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 22224

[startup+1782.3 s]
/proc/loadavg: 2.03 2.00 1.89 4/178 24278
/proc/meminfo: memFree=11210620/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=22224 CPUtime=1782.34 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 7818 0 0 0 178231 3 0 0 25 0 1 0 979782983 22757376 5309 33554432000 134512640 136285325 4293677424 18446744073709551615 134954368 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5556 5309 210 433 0 5121 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 22224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.02 2.00 1.89 4/178 24279
/proc/meminfo: memFree=11210596/32951124 swapFree=67056304/67111528
[pid=24224] ppid=24221 vsize=22224 CPUtime=1800.05 cores=0,2,4,6
/proc/24224/stat : 24224 (clasp) R 24221 24224 24181 0 -1 4202496 7818 0 0 0 180002 3 0 0 25 0 1 0 979782983 22757376 5309 33554432000 134512640 136285325 4293677424 18446744073709551615 134954583 0 0 4096 18946 0 0 0 17 0 0 0 0
/proc/24224/statm: 5556 5309 210 433 0 5121 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 22224

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

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

Child status: 10
Real time (s): 1800.01
CPU time (s): 1800.07
CPU user time (s): 1800.03
CPU system time (s): 0.038994
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 23272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7828
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= 3
involuntary context switches= 3619

runsolver used 3.07653 second user time and 6.62199 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-12 18:18:44
IDJOB=3448308
IDBENCH=78702
IDSOLVER=1946
FILE ID=node110/3448308-1307895524
RUNJOBID= node110-1307895524-24199
PBS_JOBID= 13559603
Free space on /var/tmp= 2884 MiB

SOLVER NAME= clasp 2.0-RC2
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= HOME/clasp BENCHNAME --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3448308-1307895524/watcher-3448308-1307895524 -o /var/tmp/evaluation-result-3448308-1307895524/solver-3448308-1307895524 -C 1800 -W 1900 -M 15500  HOME/clasp HOME/instance-3448308-1307895524.wbo --restart-on-model --opt-heu=2 --heu=Berkmin --berk-max=512 --berk-once

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

MD5SUM BENCH= 3aafd47af6446049bcdbc11c9b966efe
RANDOM SEED=259435192

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11238620 kB
Buffers:         38680 kB
Cached:       20938032 kB
SwapCached:       9144 kB
Active:        5711460 kB
Inactive:     15284916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11238620 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:            3920 kB
Writeback:           0 kB
AnonPages:       17120 kB
Mapped:          12576 kB
Slab:           649120 kB
PageTables:       4688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2880 MiB
End job on node110 at 2011-06-12 18:48:46