Trace number 3711347

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
clasp 2.0.6-R5325MSAT (TO) 1800.02 1800.31

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
MD5SUMa1a1d6ef1095be996fe403c53206d252
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark12
Best CPU time to get the best result obtained on this benchmark1.12183
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables3150
Total number of constraints160
Number of soft constraints62
Number of constraints which are clauses90
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint35
Maximum length of a constraint45
Top cost 3271
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 3270
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 46
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

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

Verifier Data 

OK	1358

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-3711347-1338191319/watcher-3711347-1338191319 -o /tmp/evaluation-result-3711347-1338191319/solver-3711347-1338191319 -C 1800 -W 1900 -M 15500 HOME/clasp-wbo.sh HOME/instance-3711347-1338191319.wbo 

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.00 2.00 2.00 3/179 28298
/proc/meminfo: memFree=29856928/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0

[startup+0.0358799 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28298
/proc/meminfo: memFree=29856928/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.100238 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28298
/proc/meminfo: memFree=29856928/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.300236 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28298
/proc/meminfo: memFree=29856928/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9152

[startup+0.700208 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28298
/proc/meminfo: memFree=29856928/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/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.00 2.00 2.00 3/181 28300
/proc/meminfo: memFree=29852704/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=6840 CPUtime=1.49 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 1507 0 0 0 149 0 0 0 20 0 1 0 285256702 7004160 1412 33554432000 4194304 6212839 140734847856464 140734847854472 4300593 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 1710 1412 242 493 0 1215 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15992

[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28300
/proc/meminfo: memFree=29851216/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=7896 CPUtime=3.08 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 1752 0 0 0 308 0 0 0 20 0 1 0 285256702 8085504 1657 33554432000 4194304 6212839 140734847856464 140734847854472 4685455 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 1974 1657 242 493 0 1479 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17048

[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28300
/proc/meminfo: memFree=29850224/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=8768 CPUtime=6.28 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 1989 0 0 0 628 0 0 0 20 0 1 0 285256702 8978432 1894 33554432000 4194304 6212839 140734847856464 140734847854472 4686028 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 2192 1894 242 493 0 1697 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17920

[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28300
/proc/meminfo: memFree=29848636/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=9956 CPUtime=12.68 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 2287 0 0 0 1268 0 0 0 20 0 1 0 285256702 10194944 2192 33554432000 4194304 6212839 140734847856464 140734847854472 4681504 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 2489 2192 242 493 0 1994 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 19108

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28300
/proc/meminfo: memFree=29847272/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=11292 CPUtime=25.48 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 2603 0 0 0 2548 0 0 0 20 0 1 0 285256702 11563008 2508 33554432000 4194304 6212839 140734847856464 140734847854472 4745239 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 2823 2508 242 493 0 2328 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20444

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28300
/proc/meminfo: memFree=29844352/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=13912 CPUtime=51.07 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 3279 0 0 0 5107 0 0 0 20 0 1 0 285256702 14245888 3184 33554432000 4194304 6212839 140734847856464 140734847854472 4744798 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 3478 3184 242 493 0 2983 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 23064

[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/182 28344
/proc/meminfo: memFree=29846764/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=15076 CPUtime=102.28 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 3736 0 0 0 10227 1 0 0 20 0 1 0 285256702 15437824 3477 33554432000 4194304 6212839 140734847856464 140734847854760 4661882 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 3769 3477 242 493 0 3274 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 24228

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 28344
/proc/meminfo: memFree=29843296/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=17316 CPUtime=162.26 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 4362 0 0 0 16225 1 0 0 20 0 1 0 285256702 17731584 4040 33554432000 4194304 6212839 140734847856464 140734847854760 4298110 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 4329 4040 242 493 0 3834 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 26468

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 28344
/proc/meminfo: memFree=29840688/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=20248 CPUtime=222.25 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 5117 0 0 0 22224 1 0 0 20 0 1 0 285256702 20733952 4762 33554432000 4194304 6212839 140734847856464 140734847854760 4308182 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 5062 4762 242 493 0 4567 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 29400

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28344
/proc/meminfo: memFree=29839324/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=21464 CPUtime=282.24 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 5447 0 0 0 28223 1 0 0 20 0 1 0 285256702 21979136 5059 33554432000 4194304 6212839 140734847856464 140734847854472 4298186 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 5366 5059 242 493 0 4871 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 30616

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28344
/proc/meminfo: memFree=29838524/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=22204 CPUtime=342.23 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 5775 0 0 0 34222 1 0 0 20 0 1 0 285256702 22736896 5262 33554432000 4194304 6212839 140734847856464 140734847854760 4685484 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 5551 5262 242 493 0 5056 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 31356

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28346
/proc/meminfo: memFree=29837212/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7

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

/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=28176 CPUtime=1122.11 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 7839 0 0 0 112209 2 0 0 20 0 1 0 285256702 28852224 6727 33554432000 4194304 6212839 140734847856464 140734847854872 4333789 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7044 6727 242 493 0 6549 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 37328

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28374
/proc/meminfo: memFree=29830632/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=28176 CPUtime=1182.1 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 7839 0 0 0 118208 2 0 0 20 0 1 0 285256702 28852224 6727 33554432000 4194304 6212839 140734847856464 140734847854872 4298171 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7044 6727 242 493 0 6549 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 37328

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28374
/proc/meminfo: memFree=29830012/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=28228 CPUtime=1242.09 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 7932 0 0 0 124207 2 0 0 20 0 1 0 285256702 28905472 6764 33554432000 4194304 6212839 140734847856464 140734847854760 4333840 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7057 6764 242 493 0 6562 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 37380

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28377
/proc/meminfo: memFree=29829764/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=28176 CPUtime=1302.09 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 8082 0 0 0 130207 2 0 0 20 0 1 0 285256702 28852224 6751 33554432000 4194304 6212839 140734847856464 140734847854664 4674907 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7044 6751 242 493 0 6549 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 37328

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28378
/proc/meminfo: memFree=29829392/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=28304 CPUtime=1362.07 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 8558 0 0 0 136205 2 0 0 20 0 1 0 285256702 28983296 6783 33554432000 4194304 6212839 140734847856464 140734847854760 4683117 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7076 6783 242 493 0 6581 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 37456

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28378
/proc/meminfo: memFree=29829516/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=28416 CPUtime=1422.07 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 8678 0 0 0 142205 2 0 0 20 0 1 0 285256702 29097984 6811 33554432000 4194304 6212839 140734847856464 140734847854760 4333818 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7104 6811 242 493 0 6609 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 37568

[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 28378
/proc/meminfo: memFree=29829516/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=29012 CPUtime=1482.05 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 8825 0 0 0 148203 2 0 0 20 0 1 0 285256702 29708288 6958 33554432000 4194304 6212839 140734847856464 140734847854760 4298198 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7253 6958 242 493 0 6758 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 38164

[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 28378
/proc/meminfo: memFree=29829392/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=28692 CPUtime=1542.04 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 8856 0 0 0 154202 2 0 0 20 0 1 0 285256702 29380608 6880 33554432000 4194304 6212839 140734847856464 140734847854872 4298064 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7173 6880 242 493 0 6678 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 37844

[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 28378
/proc/meminfo: memFree=29829516/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=28692 CPUtime=1602.03 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 8867 0 0 0 160201 2 0 0 20 0 1 0 285256702 29380608 6880 33554432000 4194304 6212839 140734847856464 140734847854760 4298064 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7173 6880 242 493 0 6678 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 37844

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 28379
/proc/meminfo: memFree=29828708/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=29576 CPUtime=1662.02 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 9102 0 0 0 166200 2 0 0 20 0 1 0 285256702 30285824 7104 33554432000 4194304 6212839 140734847856464 140734847854760 4333818 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7394 7104 242 493 0 6899 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 38728

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 28379
/proc/meminfo: memFree=29827840/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=29776 CPUtime=1722.01 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 9434 0 0 0 172199 2 0 0 20 0 1 0 285256702 30490624 7153 33554432000 4194304 6212839 140734847856464 140734847854760 4298175 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7444 7153 242 493 0 6949 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 38928

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 28379
/proc/meminfo: memFree=29827592/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=30044 CPUtime=1782 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 9496 0 0 0 178198 2 0 0 20 0 1 0 285256702 30765056 7215 33554432000 4194304 6212839 140734847856464 140734847854616 4674504 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7511 7215 242 493 0 7016 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 39196



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 28379
/proc/meminfo: memFree=29827840/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=30044 CPUtime=1800.01 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 9496 0 0 0 179999 2 0 0 20 0 1 0 285256702 30765056 7215 33554432000 4194304 6212839 140734847856464 140734847854616 4674268 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7511 7215 242 493 0 7016 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 39196

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 28379
/proc/meminfo: memFree=29827840/32873844 swapFree=7372/7372
[pid=28298] ppid=28296 vsize=9152 CPUtime=0 cores=1,3,5,7
/proc/28298/stat : 28298 (clasp-wbo.sh) S 28296 28298 27436 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 285256702 9371648 275 33554432000 4194304 5064252 140737134642800 140737134641712 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28298/statm: 2288 275 232 213 0 73 0
[pid=28299] ppid=28298 vsize=30044 CPUtime=1800.01 cores=1,3,5,7
/proc/28299/stat : 28299 (clasp-R5325) R 28298 28298 27436 0 -1 4202496 9496 0 0 0 179999 2 0 0 20 0 1 0 285256702 30765056 7215 33554432000 4194304 6212839 140734847856464 140734847854616 4674268 0 0 4096 18946 0 0 0 17 5 0 0 0 0 0
/proc/28299/statm: 7511 7215 242 493 0 7016 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 39196

Child status: 10
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.99
CPU system time (s): 0.029995
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 40152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.99
system time used= 0.029995
maximum resident set size= 29744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9869
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= 18
involuntary context switches= 1851

runsolver used 3.19151 second user time and 8.30074 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-28 09:48:39
IDJOB=3711347
IDBENCH=78694
IDSOLVER=2290
FILE ID=node133/3711347-1338191319
RUNJOBID= node133-1338178524-27453
PBS_JOBID= 14624565
Free space on /tmp= 71728 MiB

SOLVER NAME= clasp 2.0.6-R5325
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl35_45_pb.cnf.cr--soft-66-100-0.wbo
COMMAND LINE= HOME/clasp-wbo.sh BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711347-1338191319/watcher-3711347-1338191319 -o /tmp/evaluation-result-3711347-1338191319/solver-3711347-1338191319 -C 1800 -W 1900 -M 15500  HOME/clasp-wbo.sh HOME/instance-3711347-1338191319.wbo

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

MD5SUM BENCH= a1a1d6ef1095be996fe403c53206d252
RANDOM SEED=1860063029

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:        29857440 kB
Buffers:          370244 kB
Cached:          1797724 kB
SwapCached:          104 kB
Active:           645368 kB
Inactive:        1544392 kB
Active(anon):      12676 kB
Inactive(anon):    11368 kB
Active(file):     632692 kB
Inactive(file):  1533024 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67108752 kB
Dirty:              2348 kB
Writeback:             0 kB
AnonPages:         36696 kB
Mapped:            15528 kB
Shmem:               212 kB
Slab:             686532 kB
SReclaimable:     128792 kB
SUnreclaim:       557740 kB
KernelStack:        1504 kB
PageTables:         4120 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     136264 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71724 MiB
End job on node133 at 2012-05-28 10:18:39