Trace number 3708977

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)140 1800.1 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
MD5SUM82ceb454755e01aa6cecb68eb859eaa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark1.12483
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 116
Optimality of the best value was proved NO
Number of variables1451
Total number of constraints2932
Number of constraints which are clauses2932
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
Number of terms in the objective function 1451
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1451
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1451
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.00/0.00	c Calling clasp with: --sat-p=-1,50,160,-1,1 --heuristic=Vsids --restarts=256 --dinit=1000,10000 --del=3.0,1.1,10.0 --recursive-str --update-lbd --dglue=2 --otfs=2 --dgrowS=100,1.5  --reverse-arcs=2 --dsched=+,10000,2000 --dfrac=0.5 --opt-heu=2 --restart-on-model
0.00/0.00	c clasp version 2.0.6
0.00/0.00	c Reading from ...155838/instance-3708977-1338155838.opb
0.00/0.01	c Solving...
0.00/0.01	o 160
0.00/0.07	o 158
0.00/0.07	o 156
0.00/0.07	o 155
0.00/0.07	o 154
0.00/0.07	o 153
0.00/0.45	o 151
0.00/0.90	o 149
1.10/1.13	o 146
27.58/27.64	o 145
53.57/53.66	o 144
71.67/71.74	o 143
138.66/138.71	o 142
1455.74/1456.06	o 141
1510.13/1510.45	o 140
1800.09/1800.40	
1800.09/1800.40	*** INTERRUPTED! ***
1800.09/1800.40	c Answer: 15
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
1800.09/1800.40	v -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166
1800.09/1800.40	v -x167 x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178
1800.09/1800.40	v -x179 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 -x204
1800.09/1800.40	v -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 -x241
1800.09/1800.40	v x242 -x243 -x244 -x245 x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254
1800.09/1800.40	v -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266
1800.09/1800.40	v -x267 -x268 -x269 -x270 -x271 x272 -x273 -x274 x275 -x276 -x277 -x278 -x279
1800.09/1800.40	v -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291
1800.09/1800.40	v -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303
1800.09/1800.40	v -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 -x352
1800.09/1800.40	v -x353 -x354 -x355 -x356 -x357 -x358 x359 -x360 -x361 -x362 -x363 -x364
1800.09/1800.40	v -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376
1800.09/1800.40	v -x377 -x378 -x379 x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388
1800.09/1800.40	v -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
1800.09/1800.40	v -x437 -x438 -x439 -x440 -x441 -x442 -x443 x444 -x445 -x446 -x447 -x448
1800.09/1800.40	v -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460
1800.09/1800.40	v -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472
1800.09/1800.40	v -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484
1800.09/1800.40	v -x485 -x486 -x487 x488 x489 x490 x491 -x492 -x493 -x494 -x495 x496 -x497
1800.09/1800.40	v -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509
1800.09/1800.40	v -x510 -x511 x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521
1800.09/1800.40	v -x522 -x523 -x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533
1800.09/1800.40	v -x534 -x535 -x536 -x537 -x538 x539 -x540 -x541 -x542 -x543 -x544 -x545
1800.09/1800.40	v -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557
1800.09/1800.40	v -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 x567 -x568 -x569
1800.09/1800.40	v -x570 -x571 -x572 x573 -x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582
1800.09/1800.40	v -x583 -x584 -x585 -x586 x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594
1800.09/1800.40	v -x595 x596 -x597 x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607
1800.09/1800.40	v -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619
1800.09/1800.40	v x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631
1800.09/1800.40	v -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x643
1800.09/1800.40	v -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655
1800.09/1800.40	v -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 x665 -x666 -x667
1800.09/1800.40	v -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679
1800.09/1800.40	v -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691
1800.09/1800.40	v -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 x702 -x703
1800.09/1800.40	v -x704 -x705 -x706 -x707 -x708 -x709 -x710 x711 -x712 -x713 -x714 -x715
1800.09/1800.40	v -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727
1800.09/1800.40	v x728 x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 x738 -x739 -x740
1800.09/1800.40	v -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x752
1800.09/1800.40	v -x753 -x754 -x755 -x756 -x757 -x758 -x759 x760 -x761 -x762 x763 x764 -x765
1800.09/1800.40	v -x766 -x767 x768 -x769 -x770 -x771 x772 -x773 -x774 -x775 -x776 -x777 -x778
1800.09/1800.40	v -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 x788 -x789 -x790
1800.09/1800.40	v -x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 -x802
1800.09/1800.40	v -x803 -x804 -x805 -x806 -x807 -x808 -x809 -x810 -x811 -x812 -x813 -x814
1800.09/1800.40	v -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826
1800.09/1800.40	v -x827 -x828 -x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838
1800.09/1800.40	v -x839 -x840 -x841 -x842 x843 -x844 -x845 -x846 -x847 -x848 -x849 -x850
1800.09/1800.40	v -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 -x862
1800.09/1800.40	v -x863 -x864 -x865 -x866 -x867 -x868 -x869 x870 -x871 -x872 x873 -x874 -x875
1800.09/1800.40	v x876 x877 x878 -x879 -x880 -x881 -x882 x883 -x884 -x885 -x886 -x887 -x888
1800.09/1800.40	v -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 x898 -x899 -x900 -x901
1800.09/1800.40	v -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 x912 -x913 -x914
1800.09/1800.40	v x915 -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 
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  : 15
1800.09/1800.40	c   Optimum     : unknown
1800.09/1800.40	c Optimization  : 140
1800.09/1800.40	c Time          : 1800.405s (Solving: 1800.40s 1st Model: 0.00s Unsat: 0.00s)
1800.09/1800.40	c CPU Time      : 1800.090s

Verifier Data

OK	140

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-3708977-1338155838/watcher-3708977-1338155838 -o /tmp/evaluation-result-3708977-1338155838/solver-3708977-1338155838 -C 1800 -W 1900 -M 15500 HOME/clasp-opt.sh HOME/instance-3708977-1338155838.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.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0

[startup+0.0555541 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100249 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300215 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.70021 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 18221
/proc/meminfo: memFree=31436948/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+1.50025 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18223
/proc/meminfo: memFree=31433344/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=5804 CPUtime=1.49 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 1191 0 0 0 149 0 0 0 20 0 1 0 281709130 5943296 1125 33554432000 4194304 6212839 140733337379344 140733337377352 4683425 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 1451 1125 236 493 0 956 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14956

[startup+3.10025 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18223
/proc/meminfo: memFree=31432228/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=6724 CPUtime=3.09 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 1448 0 0 0 309 0 0 0 20 0 1 0 281709130 6885376 1382 33554432000 4194304 6212839 140733337379344 140733337377352 4421867 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 1681 1382 236 493 0 1186 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15876

[startup+6.30025 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18223
/proc/meminfo: memFree=31430368/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=8176 CPUtime=6.29 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 1815 0 0 0 629 0 0 0 20 0 1 0 281709130 8372224 1749 33554432000 4194304 6212839 140733337379344 140733337377352 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 2044 1749 236 493 0 1549 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17328

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18223
/proc/meminfo: memFree=31427652/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=10448 CPUtime=12.68 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 2374 0 0 0 1268 0 0 0 20 0 1 0 281709130 10698752 2306 33554432000 4194304 6212839 140733337379344 140733337377352 4685291 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 2612 2306 236 493 0 2117 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19600

[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18223
/proc/meminfo: memFree=31424440/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=14120 CPUtime=25.48 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 3296 0 0 0 2547 1 0 0 20 0 1 0 281709130 14458880 3225 33554432000 4194304 6212839 140733337379344 140733337377352 4421867 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 3530 3225 236 493 0 3035 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 23272

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18263
/proc/meminfo: memFree=31431640/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=18548 CPUtime=51.08 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 4402 0 0 0 5107 1 0 0 20 0 1 0 281709130 18993152 4326 33554432000 4194304 6212839 140733337379344 140733337377352 4662656 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 4637 4326 236 493 0 4142 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 27700

[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 18263
/proc/meminfo: memFree=31420964/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=24948 CPUtime=102.27 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 6038 0 0 0 10226 1 0 0 20 0 1 0 281709130 25546752 5918 33554432000 4194304 6212839 140733337379344 140733337377496 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 6237 5918 236 493 0 5742 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 34100

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 18263
/proc/meminfo: memFree=31413216/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=30156 CPUtime=162.25 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 7441 0 0 0 16223 2 0 0 20 0 1 0 281709130 30879744 7236 33554432000 4194304 6212839 140733337379344 140733337377640 4423547 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 7539 7236 236 493 0 7044 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 39308

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18267
/proc/meminfo: memFree=31406436/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=35132 CPUtime=222.24 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 8803 0 0 0 22222 2 0 0 20 0 1 0 281709130 35975168 8469 33554432000 4194304 6212839 140733337379344 140733337377496 4683129 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 8783 8469 236 493 0 8288 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 44284

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18290
/proc/meminfo: memFree=31402340/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=38356 CPUtime=282.23 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 9563 0 0 0 28221 2 0 0 20 0 1 0 281709130 39276544 9252 33554432000 4194304 6212839 140733337379344 140733337377640 4674483 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 9589 9252 236 493 0 9094 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 47508

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18290
/proc/meminfo: memFree=31396080/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=43468 CPUtime=342.22 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 11291 0 0 0 34219 3 0 0 20 0 1 0 281709130 44511232 10543 33554432000 4194304 6212839 140733337379344 140733337377640 4685794 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 10867 10543 236 493 0 10372 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 52620

[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 18290
/proc/meminfo: memFree=31392232/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=70152 CPUtime=1062.1 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 17785 0 0 0 106205 5 0 0 20 0 1 0 281709130 71835648 17145 33554432000 4194304 6212839 140733337379344 140733337377640 4333831 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 17538 17145 236 493 0 17043 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 79304

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 18296
/proc/meminfo: memFree=31362752/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=71072 CPUtime=1122.09 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 17972 0 0 0 112204 5 0 0 20 0 1 0 281709130 72777728 17365 33554432000 4194304 6212839 140733337379344 140733337377496 4421856 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 17768 17365 236 493 0 17273 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 80224

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18296
/proc/meminfo: memFree=31361760/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=71916 CPUtime=1182.09 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 18151 0 0 0 118204 5 0 0 20 0 1 0 281709130 73641984 17544 33554432000 4194304 6212839 140733337379344 140733337377496 4685328 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 17979 17544 236 493 0 17484 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 81068

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18296
/proc/meminfo: memFree=31359588/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=73432 CPUtime=1242.07 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 18573 0 0 0 124202 5 0 0 20 0 1 0 281709130 75194368 17971 33554432000 4194304 6212839 140733337379344 140733337377496 4333840 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 18358 17971 236 493 0 17863 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 82584

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18296
/proc/meminfo: memFree=31357788/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=75136 CPUtime=1302.07 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 18996 0 0 0 130202 5 0 0 20 0 1 0 281709130 76939264 18396 33554432000 4194304 6212839 140733337379344 140733337377496 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 18784 18396 236 493 0 18289 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 84288

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18296
/proc/meminfo: memFree=31355740/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=76764 CPUtime=1362.05 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 19395 0 0 0 136200 5 0 0 20 0 1 0 281709130 78606336 18872 33554432000 4194304 6212839 140733337379344 140733337377352 4674320 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 19191 18872 236 493 0 18696 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 85916

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 18300
/proc/meminfo: memFree=31354056/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=78584 CPUtime=1422.05 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 19740 0 0 0 142200 5 0 0 20 0 1 0 281709130 80470016 19274 33554432000 4194304 6212839 140733337379344 140733337377496 4316335 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 19646 19274 236 493 0 19151 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 87736

[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 18300
/proc/meminfo: memFree=31352824/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=79852 CPUtime=1482.03 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 20113 0 0 0 148198 5 0 0 20 0 1 0 281709130 81768448 19579 33554432000 4194304 6212839 140733337379344 140733337377496 4683117 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 19963 19579 236 493 0 19468 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 89004

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 18300
/proc/meminfo: memFree=31350776/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=81864 CPUtime=1542.02 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 20626 0 0 0 154197 5 0 0 20 0 1 0 281709130 83828736 20089 33554432000 4194304 6212839 140733337379344 140733337377640 4674504 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 20466 20089 236 493 0 19971 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 91016

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 18300
/proc/meminfo: memFree=31349224/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=83016 CPUtime=1602.01 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 21231 0 0 0 160196 5 0 0 20 0 1 0 281709130 85008384 20439 33554432000 4194304 6212839 140733337379344 140733337377640 4661900 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 20754 20439 236 493 0 20259 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 92168

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18300
/proc/meminfo: memFree=31348108/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=84608 CPUtime=1662 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 21619 0 0 0 166195 5 0 0 20 0 1 0 281709130 86638592 20772 33554432000 4194304 6212839 140733337379344 140733337377496 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 21152 20772 236 493 0 20657 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 93760

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18301
/proc/meminfo: memFree=31346928/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=85648 CPUtime=1722 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 21855 0 0 0 172194 6 0 0 20 0 1 0 281709130 87703552 21020 33554432000 4194304 6212839 140733337379344 140733337377496 4421948 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 21412 21020 236 493 0 20917 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 94800

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18301
/proc/meminfo: memFree=31345872/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=86392 CPUtime=1781.99 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 22024 0 0 0 178193 6 0 0 20 0 1 0 281709130 88465408 21259 33554432000 4194304 6212839 140733337379344 140733337377496 4685336 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 21598 21259 236 493 0 21103 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 95544



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 18301
/proc/meminfo: memFree=31345500/32873844 swapFree=7112/7112
[pid=18221] ppid=18219 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/18221/stat : 18221 (clasp-opt.sh) S 18219 18221 4091 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 281709130 9371648 275 33554432000 4194304 5064252 140734096578496 140734096577408 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/18221/statm: 2288 275 232 213 0 73 0
[pid=18222] ppid=18221 vsize=86524 CPUtime=1800.09 cores=1,3,5,7
/proc/18222/stat : 18222 (clasp-R5325) R 18221 18221 4091 0 -1 4202496 22067 0 0 0 180003 6 0 0 20 0 1 0 281709130 88600576 21302 33554432000 4194304 6212839 140733337379344 140733337377352 4328867 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/18222/statm: 21631 21302 236 493 0 21136 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 95676

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.1
CPU user time (s): 1800.04
CPU system time (s): 0.06199
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 95676

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.06199
maximum resident set size= 85240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22440
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= 43
involuntary context switches= 1838

runsolver used 3.15552 second user time and 8.31574 second system time

The end

Launcher Data

Begin job on node132 at 2012-05-27 23:57:18
IDJOB=3708977
IDBENCH=2055
IDSOLVER=2288
FILE ID=node132/3708977-1338155838
RUNJOBID= node132-1338145000-17227
PBS_JOBID= 14624343
Free space on /tmp= 71640 MiB

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

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

MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6
RANDOM SEED=877018148

node132.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.832
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.66
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31437220 kB
Buffers:          394968 kB
Cached:           141276 kB
SwapCached:         2292 kB
Active:           496212 kB
Inactive:          69756 kB
Active(anon):      21412 kB
Inactive(anon):     8896 kB
Active(file):     474800 kB
Inactive(file):    60860 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67103732 kB
Dirty:              2760 kB
Writeback:             0 kB
AnonPages:         32896 kB
Mapped:            12088 kB
Shmem:                 8 kB
Slab:             730920 kB
SReclaimable:     172232 kB
SUnreclaim:       558688 kB
KernelStack:        1504 kB
PageTables:         3800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     144416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 71636 MiB
End job on node132 at 2012-05-28 00:27:18