Trace number 3709039

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)77636 1800.11 1800.41

General information on the benchmark

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

Verifier Data 

OK	77636

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25202
/proc/meminfo: memFree=29873208/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0

[startup+0.0961551 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25202
/proc/meminfo: memFree=29873208/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.1003 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25202
/proc/meminfo: memFree=29873208/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300266 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25202
/proc/meminfo: memFree=29873208/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700265 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 25202
/proc/meminfo: memFree=29873208/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50032 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 25204
/proc/meminfo: memFree=29857336/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=19244 CPUtime=1.48 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 4662 0 0 0 148 0 0 0 20 0 1 0 281432578 19705856 4463 33554432000 4194304 6212839 140733887805984 140733887804072 4685801 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 4811 4463 237 493 0 4316 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 28396

[startup+3.10033 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 25204
/proc/meminfo: memFree=29855212/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=23012 CPUtime=3.09 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 5582 0 0 0 308 1 0 0 20 0 1 0 281432578 23564288 5383 33554432000 4194304 6212839 140733887805984 140733887803992 4685433 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 5753 5383 237 493 0 5258 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32164

[startup+6.30034 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 25204
/proc/meminfo: memFree=29852796/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=24688 CPUtime=6.29 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 5988 0 0 0 628 1 0 0 20 0 1 0 281432578 25280512 5789 33554432000 4194304 6212839 140733887805984 140733887804136 4685409 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 6172 5789 237 493 0 5677 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 33840

[startup+12.7003 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 25204
/proc/meminfo: memFree=29848028/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=29524 CPUtime=12.69 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 7166 0 0 0 1268 1 0 0 20 0 1 0 281432578 30232576 6967 33554432000 4194304 6212839 140733887805984 140733887804392 4737575 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 7381 6967 237 493 0 6886 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 38676

[startup+25.5003 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 25204
/proc/meminfo: memFree=29839828/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=37584 CPUtime=25.47 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 9190 0 0 0 2546 1 0 0 20 0 1 0 281432578 38486016 9017 33554432000 4194304 6212839 140733887805984 140733887804392 4635099 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 9396 9017 237 493 0 8901 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 46736

[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 25204
/proc/meminfo: memFree=29830944/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=46196 CPUtime=51.07 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 11291 0 0 0 5105 2 0 0 20 0 1 0 281432578 47304704 11174 33554432000 4194304 6212839 140733887805984 140733887804200 4685801 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 11549 11174 237 493 0 11054 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 55348

[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 25204
/proc/meminfo: memFree=29818660/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=57964 CPUtime=102.26 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 14106 0 0 0 10223 3 0 0 20 0 1 0 281432578 59355136 14012 33554432000 4194304 6212839 140733887805984 140733887803992 4739261 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 14491 14012 237 493 0 13996 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 67116

[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 25204
/proc/meminfo: memFree=29817348/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=58160 CPUtime=162.25 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 14146 0 0 0 16222 3 0 0 20 0 1 0 281432578 59555840 14165 33554432000 4194304 6212839 140733887805984 140733887804392 4372073 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 14540 14165 237 493 0 14045 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 67312

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 25204
/proc/meminfo: memFree=29805928/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=69140 CPUtime=222.24 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 16923 0 0 0 22220 4 0 0 20 0 1 0 281432578 70799360 16949 33554432000 4194304 6212839 140733887805984 140733887803992 4334688 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 17285 16949 237 493 0 16790 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 78292

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 25204
/proc/meminfo: memFree=29802328/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=72712 CPUtime=282.23 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 17825 0 0 0 28219 4 0 0 20 0 1 0 281432578 74457088 17849 33554432000 4194304 6212839 140733887805984 140733887803992 4737291 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 18178 17849 237 493 0 17683 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 81864

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 25205
/proc/meminfo: memFree=29799476/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=77044 CPUtime=342.21 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 18721 0 0 0 34217 4 0 0 20 0 1 0 281432578 78893056 18745 33554432000 4194304 6212839 140733887805984 140733887804280 5437001 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 19261 18745 237 493 0 18766 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 86196

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25205
/proc/meminfo: memFree=29794944/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=110496 CPUtime=1062.11 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 27648 0 0 0 106203 8 0 0 20 0 1 0 281432578 113147904 27275 33554432000 4194304 6212839 140733887805984 140733887804136 4739492 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 27624 27275 237 493 0 27129 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 119648

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25210
/proc/meminfo: memFree=29756404/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=114760 CPUtime=1122.09 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 28709 0 0 0 112201 8 0 0 20 0 1 0 281432578 117514240 28357 33554432000 4194304 6212839 140733887805984 140733887803992 4335274 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 28690 28357 237 493 0 28195 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 123912

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25213
/proc/meminfo: memFree=29756396/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=114760 CPUtime=1182.08 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 28709 0 0 0 118200 8 0 0 20 0 1 0 281432578 117514240 28357 33554432000 4194304 6212839 140733887805984 140733887803992 4705061 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 28690 28357 237 493 0 28195 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 123912

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25214
/proc/meminfo: memFree=29749832/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=121032 CPUtime=1242.08 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 30262 0 0 0 124199 9 0 0 20 0 1 0 281432578 123936768 29910 33554432000 4194304 6212839 140733887805984 140733887803992 4298163 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 30258 29910 237 493 0 29763 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 130184

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25214
/proc/meminfo: memFree=29748400/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=122604 CPUtime=1302.08 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 30798 0 0 0 130199 9 0 0 20 0 1 0 281432578 125546496 30303 33554432000 4194304 6212839 140733887805984 140733887803992 4744675 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 30651 30303 237 493 0 30156 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 131756

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25214
/proc/meminfo: memFree=29748212/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=122604 CPUtime=1362.06 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 30804 0 0 0 136197 9 0 0 20 0 1 0 281432578 125546496 30321 33554432000 4194304 6212839 140733887805984 140733887803992 4737408 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 30651 30321 237 493 0 30156 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 131756

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25214
/proc/meminfo: memFree=29748212/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=122604 CPUtime=1422.06 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 30804 0 0 0 142197 9 0 0 20 0 1 0 281432578 125546496 30321 33554432000 4194304 6212839 140733887805984 140733887803992 4298125 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 30651 30321 237 493 0 30156 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 131756

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25215
/proc/meminfo: memFree=29748080/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=122604 CPUtime=1482.04 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 30804 0 0 0 148195 9 0 0 20 0 1 0 281432578 125546496 30321 33554432000 4194304 6212839 140733887805984 140733887803992 4333789 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 30651 30321 237 493 0 30156 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 131756

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25216
/proc/meminfo: memFree=29748336/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=122604 CPUtime=1542.03 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 30804 0 0 0 154194 9 0 0 20 0 1 0 281432578 125546496 30321 33554432000 4194304 6212839 140733887805984 140733887803992 4685321 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 30651 30321 237 493 0 30156 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 131756

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25216
/proc/meminfo: memFree=29745360/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=127104 CPUtime=1602.02 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 31907 0 0 0 160193 9 0 0 20 0 1 0 281432578 130154496 31424 33554432000 4194304 6212839 140733887805984 140733887803992 4298110 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 31776 31424 237 493 0 31281 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 136256

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 25216
/proc/meminfo: memFree=29742068/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=128544 CPUtime=1662.01 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 32242 0 0 0 166192 9 0 0 20 0 1 0 281432578 131629056 31769 33554432000 4194304 6212839 140733887805984 140733887804280 4661322 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 32136 31769 237 493 0 31641 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 137696

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 25256
/proc/meminfo: memFree=29729836/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=128544 CPUtime=1722 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 32242 0 0 0 172191 9 0 0 20 0 1 0 281432578 131629056 31769 33554432000 4194304 6212839 140733887805984 140733887804280 4333840 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 32136 31769 237 493 0 31641 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 137696

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 25259
/proc/meminfo: memFree=29715872/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=130772 CPUtime=1781.99 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 32757 0 0 0 178190 9 0 0 20 0 1 0 281432578 133910528 32284 33554432000 4194304 6212839 140733887805984 140733887804280 4685294 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 32693 32284 237 493 0 32198 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 139924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 25259
/proc/meminfo: memFree=29713648/32873844 swapFree=7372/7372
[pid=25202] ppid=25200 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/25202/stat : 25202 (clasp-opt.sh) S 25200 25202 24451 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 281432578 9371648 274 33554432000 4194304 5064252 140737245105280 140737245104192 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25202/statm: 2288 274 232 213 0 73 0
[pid=25203] ppid=25202 vsize=130772 CPUtime=1800.09 cores=1,3,5,7
/proc/25203/stat : 25203 (clasp-R5325) R 25202 25202 24451 0 -1 4202496 32757 0 0 0 180000 9 0 0 20 0 1 0 281432578 133910528 32284 33554432000 4194304 6212839 140733887805984 140733887804280 4737432 0 0 4096 18946 0 0 0 17 3 0 0 0 0 0
/proc/25203/statm: 32693 32284 237 493 0 32198 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 139924

Sending SIGTERM to process tree (bottom up)

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

Child status: 10
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1800.01
CPU system time (s): 0.096985
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 139924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.01
system time used= 0.096985
maximum resident set size= 129164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33128
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= 61
involuntary context switches= 1852

runsolver used 4.77427 second user time and 20.2919 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-27 23:11:18
IDJOB=3709039
IDBENCH=2011
IDSOLVER=2288
FILE ID=node133/3709039-1338153078
RUNJOBID= node133-1338143953-24468
PBS_JOBID= 14624517
Free space on /tmp= 71724 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ttp/normalized-data10_3.opb
COMMAND LINE= HOME/clasp-opt.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3709039-1338153078/watcher-3709039-1338153078 -o /tmp/evaluation-result-3709039-1338153078/solver-3709039-1338153078 -C 1800 -W 1900 -M 15500  HOME/clasp-opt.sh HOME/instance-3709039-1338153078.opb

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

MD5SUM BENCH= dccfffd22c38fcd3c497d688dab4b7a4
RANDOM SEED=1626426919

node133.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.540
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.08
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.540
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.92
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.540
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.540
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.540
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.91
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.540
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.90
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.540
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.540
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:       32873844 kB
MemFree:        29873852 kB
Buffers:          362988 kB
Cached:          1789464 kB
SwapCached:          104 kB
Active:           634976 kB
Inactive:        1536376 kB
Active(anon):       9764 kB
Inactive(anon):    11368 kB
Active(file):     625212 kB
Inactive(file):  1525008 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              5436 kB
Writeback:             0 kB
AnonPages:         25588 kB
Mapped:            15320 kB
Shmem:               212 kB
Slab:             686120 kB
SReclaimable:     128224 kB
SUnreclaim:       557896 kB
KernelStack:        1480 kB
PageTables:         4076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     133004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node133 at 2012-05-27 23:41:18