Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb |
MD5SUM | bdf0df6b57384ca8a37c1ce2e87cfc07 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 67174 |
Biggest coefficient in the objective function | 163840000 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 1696626095 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1280000000000000115964116992 |
Number of bits of the biggest number in a constraint | 91 |
Biggest sum of numbers in a constraint | 3721289892401349417752330240 |
Number of bits of the biggest sum of numbers | 92 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.675896 |
Number of variables | 71194 |
Total number of constraints | 70153 |
Number of constraints which are clauses | 6081 |
Number of constraints which are cardinality constraints (but not clauses) | 7185 |
Number of constraints which are nor clauses,nor cardinality constraints | 56887 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 814 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-05-24 20:41:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17759 boxname=wulflinc15 idbench=1367 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: bdf0df6b57384ca8a37c1ce2e87cfc07 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-momentum3.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-momentum3.opb IDLAUNCH: 17759 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 7080 kB Buffers: 22276 kB Cached: 983692 kB SwapCached: 568 kB Active: 317880 kB Inactive: 690544 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 6828 kB SwapTotal: 2097136 kB SwapFree: 2096108 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5708 kB Slab: 13364 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 20:56:23 (client local time) WITH STATUS 0 IN 877.483 SECONDS stats: 17759 7 877.483 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +78125000*x1269_bit_7 +156250000*x1269_bit_6 +312500000*x1269_bit_5 +625000000*x1269_bit_4 +1250000000*x1269_bit_3 +2500000000*x1269_bit_2 +5000000000*x1269_bit_1 +10000000000*x1269_bit0 +20000000000*x1269_bit1 -1374294217*x7733_bit0 >= +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-momentum3.opb s UNKNOWN c Exit Code: 0 c Total time: 877.237 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 1.19 1.01 0.93 2/54 27561 Raw data (stat): 27561 (runsolver) R 27560 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774972166 1052672 99 4294967295 134512640 135381576 3221224480 3221219696 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 1.16 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 1378 0 0 0 985 4 0 0 25 0 1 0 774972166 17772544 1302 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4339 1302 1111 63 0 4276 0 vsize: 17356 [startup+20.0005 s] Raw data (loadavg): 1.14 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 2040 0 0 0 1984 6 0 0 25 0 1 0 774972166 20488192 1964 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5002 1964 1111 63 0 4939 0 vsize: 20008 [startup+30.001 s] Raw data (loadavg): 1.12 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 2705 0 0 0 2983 7 0 0 25 0 1 0 774972166 23179264 2629 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5659 2629 1111 63 0 5596 0 vsize: 22636 [startup+40.0012 s] Raw data (loadavg): 1.10 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 3381 0 0 0 3982 7 0 0 25 0 1 0 774972166 25980928 3305 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6343 3305 1111 63 0 6280 0 vsize: 25372 [startup+50.002 s] Raw data (loadavg): 1.08 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 4354 0 0 0 4981 9 0 0 25 0 1 0 774972166 29962240 4278 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7315 4278 1111 63 0 7252 0 vsize: 29260 [startup+60.0015 s] Raw data (loadavg): 1.07 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 5229 0 0 0 5979 11 0 0 25 0 1 0 774972166 33546240 5153 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8190 5153 1111 63 0 8127 0 vsize: 32760 [startup+70.0019 s] Raw data (loadavg): 1.06 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 6128 0 0 0 6977 13 0 0 25 0 1 0 774972166 37277696 6052 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9101 6052 1111 63 0 9038 0 vsize: 36404 [startup+80.0025 s] Raw data (loadavg): 1.05 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 7018 0 0 0 7976 15 0 0 25 0 1 0 774972166 40837120 6942 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9970 6942 1111 63 0 9907 0 vsize: 39880 [startup+90.0024 s] Raw data (loadavg): 1.04 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 7920 0 0 0 8975 16 0 0 25 0 1 0 774972166 44576768 7844 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10883 7844 1111 63 0 10820 0 vsize: 43532 [startup+100.003 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 8822 0 0 0 9973 18 0 0 25 0 1 0 774972166 48189440 8746 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11765 8746 1111 63 0 11702 0 vsize: 47060 [startup+110.004 s] Raw data (loadavg): 1.03 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 9730 0 0 0 10972 19 0 0 25 0 1 0 774972166 51949568 9654 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12683 9654 1111 63 0 12620 0 vsize: 50732 [startup+120.004 s] Raw data (loadavg): 1.02 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 10642 0 0 0 11970 21 0 0 25 0 1 0 774972166 55693312 10566 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13597 10566 1111 63 0 13534 0 vsize: 54388 [startup+130.005 s] Raw data (loadavg): 1.10 1.02 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 11561 0 0 0 12968 23 0 0 25 0 1 0 774972166 59478016 11485 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14521 11485 1111 63 0 14458 0 vsize: 58084 [startup+140.004 s] Raw data (loadavg): 1.08 1.02 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 12481 0 0 0 13967 24 0 0 25 0 1 0 774972166 63348736 12405 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15466 12405 1111 63 0 15403 0 vsize: 61864 [startup+150.005 s] Raw data (loadavg): 1.07 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 13415 0 0 0 14966 26 0 0 25 0 1 0 774972166 67117056 13339 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16386 13339 1111 63 0 16323 0 vsize: 65544 [startup+160.005 s] Raw data (loadavg): 1.06 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 14344 0 0 0 15964 28 0 0 25 0 1 0 774972166 70860800 14268 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17300 14268 1111 63 0 17237 0 vsize: 69200 [startup+170.005 s] Raw data (loadavg): 1.05 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 15282 0 0 0 16963 29 0 0 25 0 1 0 774972166 74760192 15206 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18252 15206 1111 63 0 18189 0 vsize: 73008 [startup+180.006 s] Raw data (loadavg): 1.04 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 16229 0 0 0 17961 31 0 0 25 0 1 0 774972166 78675968 16153 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19208 16153 1111 63 0 19145 0 vsize: 76832 [startup+190.007 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 17189 0 0 0 18959 33 0 0 25 0 1 0 774972166 82575360 17113 4294967295 134512640 134714508 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20160 17113 1111 63 0 20097 0 vsize: 80640 [startup+200.008 s] Raw data (loadavg): 1.03 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 18147 0 0 0 19958 35 0 0 25 0 1 0 774972166 86499328 18071 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21118 18071 1111 63 0 21055 0 vsize: 84472 [startup+210.008 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 19120 0 0 0 20956 37 0 0 25 0 1 0 774972166 90374144 19044 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22064 19044 1111 63 0 22001 0 vsize: 88256 [startup+220.009 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 20105 0 0 0 21955 38 0 0 25 0 1 0 774972166 94425088 20029 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23053 20029 1111 63 0 22990 0 vsize: 92212 [startup+230.009 s] Raw data (loadavg): 1.02 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 21089 0 0 0 22953 41 0 0 25 0 1 0 774972166 98480128 21013 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24043 21013 1111 63 0 23980 0 vsize: 96172 [startup+240.009 s] Raw data (loadavg): 1.01 1.01 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 22085 0 0 0 23951 43 0 0 25 0 1 0 774972166 102510592 22009 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25027 22009 1111 63 0 24964 0 vsize: 100108 [startup+250.01 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 23100 0 0 0 24949 45 0 0 25 0 1 0 774972166 106889216 23024 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26096 23024 1111 63 0 26033 0 vsize: 104384 [startup+260.01 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 24110 0 0 0 25948 47 0 0 25 0 1 0 774972166 110940160 24034 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27085 24034 1111 63 0 27022 0 vsize: 108340 [startup+270.01 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 25132 0 0 0 26946 49 0 0 25 0 1 0 774972166 115154944 25056 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28114 25056 1111 63 0 28051 0 vsize: 112456 [startup+280.011 s] Raw data (loadavg): 1.01 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 26150 0 0 0 27944 51 0 0 25 0 1 0 774972166 119361536 26074 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29141 26074 1111 63 0 29078 0 vsize: 116564 [startup+290.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 27180 0 0 0 28942 53 0 0 25 0 1 0 774972166 123547648 27104 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30163 27104 1111 63 0 30100 0 vsize: 120652 [startup+300.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 28214 0 0 0 29940 55 0 0 25 0 1 0 774972166 127709184 28138 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31179 28138 1111 63 0 31116 0 vsize: 124716 [startup+310.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 29251 0 0 0 30938 57 0 0 25 0 1 0 774972166 132050944 29175 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32239 29175 1111 63 0 32176 0 vsize: 128956 [startup+320.011 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 30300 0 0 0 31937 59 0 0 25 0 1 0 774972166 136237056 30224 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33261 30224 1111 63 0 33198 0 vsize: 133044 [startup+330.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 31350 0 0 0 32935 60 0 0 25 0 1 0 774972166 140578816 31274 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34321 31274 1111 63 0 34258 0 vsize: 137284 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 32405 0 0 0 33934 62 0 0 25 0 1 0 774972166 144916480 32329 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35380 32329 1111 63 0 35317 0 vsize: 141520 [startup+350.013 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 33467 0 0 0 34933 63 0 0 25 0 1 0 774972166 149266432 33391 4294967295 134512640 134714508 3221224592 3221222820 1077414422 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36442 33391 1111 63 0 36379 0 vsize: 145768 [startup+360.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 34535 0 0 0 35931 65 0 0 25 0 1 0 774972166 153632768 34459 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37508 34459 1111 63 0 37445 0 vsize: 150032 [startup+370.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 35615 0 0 0 36929 67 0 0 25 0 1 0 774972166 158105600 35539 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38600 35539 1111 63 0 38537 0 vsize: 154400 [startup+380.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 36701 0 0 0 37928 69 0 0 25 0 1 0 774972166 162447360 36625 4294967295 134512640 134714508 3221224592 3221222944 134567408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39660 36625 1111 63 0 39597 0 vsize: 158640 [startup+390.014 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 37795 0 0 0 38927 70 0 0 25 0 1 0 774972166 166944768 37719 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 40758 37719 1111 63 0 40695 0 vsize: 163032 [startup+400.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 38915 0 0 0 39924 73 0 0 25 0 1 0 774972166 171577344 38839 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41889 38839 1111 63 0 41826 0 vsize: 167556 [startup+410.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 40042 0 0 0 40922 75 0 0 25 0 1 0 774972166 176103424 39966 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42994 39966 1111 63 0 42931 0 vsize: 171976 [startup+420.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 41172 0 0 0 41920 77 0 0 25 0 1 0 774972166 180736000 41096 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44125 41096 1111 63 0 44062 0 vsize: 176500 [startup+430.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 42316 0 0 0 42918 79 0 0 25 0 1 0 774972166 185384960 42240 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 45260 42240 1111 63 0 45197 0 vsize: 181040 [startup+440.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 43468 0 0 0 43917 81 0 0 25 0 1 0 774972166 190173184 43392 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 46429 43392 1111 63 0 46366 0 vsize: 185716 [startup+450.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 44637 0 0 0 44915 83 0 0 25 0 1 0 774972166 194961408 44561 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47598 44561 1111 63 0 47535 0 vsize: 190392 [startup+460.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 45845 0 0 0 45914 85 0 0 25 0 1 0 774972166 200134656 45769 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 48861 45769 1111 63 0 48798 0 vsize: 195444 [startup+470.019 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 47028 0 0 0 46912 87 0 0 25 0 1 0 774972166 204918784 46952 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 50029 46952 1111 63 0 49966 0 vsize: 200116 [startup+480.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 48231 0 0 0 47910 89 0 0 25 0 1 0 774972166 209866752 48155 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 51237 48155 1111 63 0 51174 0 vsize: 204948 [startup+490.02 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 49445 0 0 0 48908 91 0 0 25 0 1 0 774972166 214913024 49369 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52469 49369 1111 63 0 52406 0 vsize: 209876 [startup+500.021 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 50668 0 0 0 49907 93 0 0 25 0 1 0 774972166 219860992 50592 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 53677 50592 1111 63 0 53614 0 vsize: 214708 [startup+510.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 51908 0 0 0 50906 94 0 0 25 0 1 0 774972166 224935936 51832 4294967295 134512640 134714508 3221224592 3221223312 134563586 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 54916 51832 1111 63 0 54853 0 vsize: 219664 [startup+520.022 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 53149 0 0 0 51904 96 0 0 25 0 1 0 774972166 230010880 53073 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 56155 53073 1111 63 0 56092 0 vsize: 224620 [startup+530.023 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 54390 0 0 0 52902 98 0 0 25 0 1 0 774972166 235085824 54314 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57394 54314 1111 63 0 57331 0 vsize: 229576 [startup+540.024 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 55644 0 0 0 53899 101 0 0 25 0 1 0 774972166 240185344 55568 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58639 55568 1111 63 0 58576 0 vsize: 234556 [startup+550.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 56909 0 0 0 54897 104 0 0 25 0 1 0 774972166 245440512 56833 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 59922 56833 1111 63 0 59859 0 vsize: 239688 [startup+560.025 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 58175 0 0 0 55895 105 0 0 25 0 1 0 774972166 250650624 58099 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61194 58099 1111 63 0 61131 0 vsize: 244776 [startup+570.026 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 59460 0 0 0 56893 108 0 0 25 0 1 0 774972166 255905792 59384 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62477 59384 1111 63 0 62414 0 vsize: 249908 [startup+580.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 60751 0 0 0 57891 110 0 0 25 0 1 0 774972166 261189632 60675 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 63767 60675 1111 63 0 63704 0 vsize: 255068 [startup+590.027 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 62062 0 0 0 58889 113 0 0 25 0 1 0 774972166 266420224 61986 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 65044 61986 1111 63 0 64981 0 vsize: 260176 [startup+600.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 63380 0 0 0 59886 115 0 0 25 0 1 0 774972166 271835136 63304 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 66366 63304 1111 63 0 66303 0 vsize: 265464 [startup+610.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 64711 0 0 0 60884 118 0 0 25 0 1 0 774972166 277381120 64635 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67720 64635 1111 63 0 67657 0 vsize: 270880 [startup+620.028 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 66040 0 0 0 61882 120 0 0 25 0 1 0 774972166 282742784 65964 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69029 65964 1111 63 0 68966 0 vsize: 276116 [startup+630.029 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 67384 0 0 0 62879 123 0 0 25 0 1 0 774972166 288292864 67308 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70384 67308 1111 63 0 70321 0 vsize: 281536 [startup+640.03 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 68747 0 0 0 63877 125 0 0 25 0 1 0 774972166 293838848 68671 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71738 68671 1111 63 0 71675 0 vsize: 286952 [startup+650.031 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 70120 0 0 0 64875 127 0 0 25 0 1 0 774972166 299380736 70044 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73091 70044 1111 63 0 73028 0 vsize: 292364 [startup+660.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 71515 0 0 0 65873 130 0 0 25 0 1 0 774972166 305082368 71439 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 74483 71439 1111 63 0 74420 0 vsize: 297932 [startup+670.032 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 72916 0 0 0 66871 132 0 0 25 0 1 0 774972166 310915072 72840 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75907 72840 1111 63 0 75844 0 vsize: 303628 [startup+680.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 74330 0 0 0 67869 135 0 0 25 0 1 0 774972166 316723200 74254 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77325 74254 1111 63 0 77262 0 vsize: 309300 [startup+690.033 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 75754 0 0 0 68866 137 0 0 25 0 1 0 774972166 322420736 75678 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78716 75678 1111 63 0 78653 0 vsize: 314864 [startup+700.034 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 77200 0 0 0 69863 141 0 0 25 0 1 0 774972166 328413184 77124 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80179 77124 1111 63 0 80116 0 vsize: 320716 [startup+710.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 78652 0 0 0 70860 144 0 0 25 0 1 0 774972166 334274560 78576 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 81610 78576 1111 63 0 81547 0 vsize: 326440 [startup+720.035 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 80110 0 0 0 71858 146 0 0 25 0 1 0 774972166 340262912 80034 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 83072 80034 1111 63 0 83009 0 vsize: 332288 [startup+730.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 81759 0 0 0 72855 150 0 0 25 0 1 0 774972166 347111424 81683 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 84744 81683 1111 63 0 84681 0 vsize: 338976 [startup+740.036 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 83917 0 0 0 73850 155 0 0 25 0 1 0 774972166 355942400 83841 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86900 83841 1111 63 0 86837 0 vsize: 347600 [startup+750.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 86095 0 0 0 74846 159 0 0 25 0 1 0 774972166 364748800 86019 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 89050 86019 1111 63 0 88987 0 vsize: 356200 [startup+760.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 89148 0 0 0 75842 164 0 0 25 0 1 0 774972166 377303040 89072 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 92115 89072 1111 63 0 92052 0 vsize: 368460 [startup+770.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 92290 0 0 0 76835 171 0 0 25 0 1 0 774972166 390144000 92214 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 95250 92214 1111 63 0 95187 0 vsize: 381000 [startup+780.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 95456 0 0 0 77829 177 0 0 25 0 1 0 774972166 403132416 95380 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 98421 95380 1111 63 0 98358 0 vsize: 393684 [startup+790.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 98634 0 0 0 78823 183 0 0 25 0 1 0 774972166 416120832 98558 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101592 98558 1111 63 0 101529 0 vsize: 406368 [startup+800.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 101824 0 0 0 79817 189 0 0 25 0 1 0 774972166 429256704 101748 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104799 101748 1111 63 0 104736 0 vsize: 419196 [startup+810.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 105033 0 0 0 80812 195 0 0 25 0 1 0 774972166 442396672 104957 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108007 104957 1111 63 0 107944 0 vsize: 432028 [startup+820.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 108399 0 0 0 81805 202 0 0 25 0 1 0 774972166 456409088 108197 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 111428 108197 1111 63 0 111365 0 vsize: 445712 [startup+830.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 111664 0 0 0 82799 208 0 0 25 0 1 0 774972166 469704704 111462 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 114674 111462 1111 63 0 114611 0 vsize: 458696 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 114946 0 0 0 83793 214 0 0 25 0 1 0 774972166 483139584 114744 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 117954 114744 1111 63 0 117891 0 vsize: 471816 [startup+850.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 118246 0 0 0 84787 220 0 0 25 0 1 0 774972166 496726016 118044 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 121271 118044 1111 63 0 121208 0 vsize: 485084 [startup+860.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 121559 0 0 0 85780 227 0 0 25 0 1 0 774972166 510312448 121357 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 124588 121357 1111 63 0 124525 0 vsize: 498352 [startup+870.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 124743 0 0 0 86775 233 0 0 25 0 1 0 774972166 523300864 124541 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 127759 124541 1111 63 0 127696 0 vsize: 511036 [startup+877.444 s] Raw data (loadavg): 1.00 1.00 0.93 1/53 27561 Raw data (stat): 27561 (bsolo_lpr) R 27560 23514 23513 0 -1 0 124743 0 0 0 86775 233 0 0 25 0 1 0 774972166 523300864 124541 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 127759 124541 1111 63 0 127696 0 vsize: 0 Child status: 0 Real time (s): 877.444 CPU time (s): 877.483 CPU user time (s): 874.86 CPU system time (s): 2.6226 CPU usage (%): 100.004 Max. virtual memory (Kb): 511036 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####