Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-nw04.opb |
MD5SUM | a5c401bba5afccf02c7b40cb1c595b15 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30407 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 87482 |
Biggest coefficient in the objective function | 5220 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 120189580 |
Number of bits of the sum of numbers in the objective function | 27 |
Biggest number in a constraint | 5220 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 120189580 |
Number of bits of the biggest sum of numbers | 27 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1192.4 |
Number of variables | 87482 |
Total number of constraints | 87518 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 87518 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 42032 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-06-09 16:32:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29653 boxname=wulflinc6 idbench=1437 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: a5c401bba5afccf02c7b40cb1c595b15 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-nw04.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-nw04.opb IDLAUNCH: 29653 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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: 683804 kB Buffers: 24760 kB Cached: 304268 kB SwapCached: 908 kB Active: 44800 kB Inactive: 286300 kB HighTotal: 131008 kB HighFree: 7756 kB LowTotal: 903652 kB LowFree: 676048 kB SwapTotal: 2097136 kB SwapFree: 2095216 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5000 kB Slab: 13932 kB Committed_AS: 63736 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 16:47:23 (client local time) WITH STATUS 0 IN 873.74 SECONDS stats: 29653 7 873.74 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.77 0.92 0.90 1/54 14720 Raw data (stat): 14720 (runsolver) R 14719 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911742157 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0001 s] Raw data (loadavg): 0.80 0.92 0.90 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 3326 0 0 0 989 9 0 0 25 0 1 0 911742157 25235456 3246 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6161 3246 1111 63 0 6098 0 vsize: 24644 [startup+20.0005 s] Raw data (loadavg): 0.83 0.93 0.90 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 5873 0 0 0 1985 14 0 0 25 0 1 0 911742157 35688448 5793 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8713 5793 1111 63 0 8650 0 vsize: 34852 [startup+30.0006 s] Raw data (loadavg): 0.86 0.93 0.90 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 8420 0 0 0 2981 18 0 0 25 0 1 0 911742157 46125056 8340 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11261 8340 1111 63 0 11198 0 vsize: 45044 [startup+40.0004 s] Raw data (loadavg): 0.88 0.93 0.90 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 10965 0 0 0 3976 23 0 0 25 0 1 0 911742157 56573952 10885 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13812 10885 1111 63 0 13749 0 vsize: 55248 [startup+50.0009 s] Raw data (loadavg): 0.90 0.93 0.90 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 13541 0 0 0 4973 27 0 0 25 0 1 0 911742157 67153920 13461 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16395 13461 1111 63 0 16332 0 vsize: 65580 [startup+60.001 s] Raw data (loadavg): 0.91 0.93 0.90 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 16117 0 0 0 5969 31 0 0 25 0 1 0 911742157 77598720 16037 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18945 16037 1111 63 0 18882 0 vsize: 75780 [startup+70.0008 s] Raw data (loadavg): 0.93 0.94 0.90 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 18694 0 0 0 6965 35 0 0 25 0 1 0 911742157 88203264 18614 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21534 18614 1111 63 0 21471 0 vsize: 86136 [startup+80.0013 s] Raw data (loadavg): 0.94 0.94 0.90 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 21275 0 0 0 7962 39 0 0 25 0 1 0 911742157 98803712 21195 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24122 21195 1111 63 0 24059 0 vsize: 96488 [startup+90.0015 s] Raw data (loadavg): 0.95 0.94 0.90 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 23864 0 0 0 8959 42 0 0 25 0 1 0 911742157 109404160 23784 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26710 23784 1111 63 0 26647 0 vsize: 106840 [startup+100.001 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 26458 0 0 0 9956 45 0 0 25 0 1 0 911742157 119975936 26378 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29291 26378 1111 63 0 29228 0 vsize: 117164 [startup+110.002 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 29029 0 0 0 10950 51 0 0 25 0 1 0 911742157 130580480 28949 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31880 28949 1111 63 0 31817 0 vsize: 127520 [startup+120.002 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 31611 0 0 0 11947 55 0 0 25 0 1 0 911742157 141176832 31531 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34467 31531 1111 63 0 34404 0 vsize: 137868 [startup+130.002 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 34164 0 0 0 12943 59 0 0 25 0 1 0 911742157 151633920 34084 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37020 34084 1111 63 0 36957 0 vsize: 148080 [startup+140.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 36722 0 0 0 13938 65 0 0 25 0 1 0 911742157 162082816 36642 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39571 36642 1111 63 0 39508 0 vsize: 158284 [startup+150.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 39263 0 0 0 14934 69 0 0 25 0 1 0 911742157 172535808 39183 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42123 39183 1111 63 0 42060 0 vsize: 168492 [startup+160.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 41839 0 0 0 15931 73 0 0 25 0 1 0 911742157 182984704 41759 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44674 41759 1111 63 0 44611 0 vsize: 178696 [startup+170.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 44428 0 0 0 16926 78 0 0 25 0 1 0 911742157 193589248 44348 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47263 44348 1111 63 0 47200 0 vsize: 189052 [startup+180.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 47003 0 0 0 17923 82 0 0 25 0 1 0 911742157 204185600 46923 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49850 46923 1111 63 0 49787 0 vsize: 199400 [startup+190.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 49681 0 0 0 18918 87 0 0 25 0 1 0 911742157 215232512 49601 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52547 49601 1111 63 0 52484 0 vsize: 210188 [startup+200.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 52318 0 0 0 19914 91 0 0 25 0 1 0 911742157 225980416 52238 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55171 52238 1111 63 0 55108 0 vsize: 220684 [startup+210.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 54913 0 0 0 20910 95 0 0 25 0 1 0 911742157 236584960 54833 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57760 54833 1111 63 0 57697 0 vsize: 231040 [startup+220.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 57466 0 0 0 21907 99 0 0 25 0 1 0 911742157 247029760 57386 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60310 57386 1111 63 0 60247 0 vsize: 241240 [startup+230.003 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 60055 0 0 0 22903 103 0 0 25 0 1 0 911742157 257634304 59975 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62899 59975 1111 63 0 62836 0 vsize: 251596 [startup+240.004 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 62600 0 0 0 23899 107 0 0 25 0 1 0 911742157 268083200 62520 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 65450 62520 1111 63 0 65387 0 vsize: 261800 [startup+250.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 65233 0 0 0 24895 112 0 0 25 0 1 0 911742157 278835200 65153 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68075 65153 1111 63 0 68012 0 vsize: 272300 [startup+260.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 67857 0 0 0 25891 115 0 0 25 0 1 0 911742157 289583104 67777 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70699 67777 1111 63 0 70636 0 vsize: 282796 [startup+270.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 70447 0 0 0 26888 120 0 0 25 0 1 0 911742157 300187648 70367 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73288 70367 1111 63 0 73225 0 vsize: 293152 [startup+280.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 72986 0 0 0 27884 124 0 0 25 0 1 0 911742157 310636544 72906 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75839 72906 1111 63 0 75776 0 vsize: 303356 [startup+290.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 75589 0 0 0 28879 129 0 0 25 0 1 0 911742157 321241088 75509 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78428 75509 1111 63 0 78365 0 vsize: 313712 [startup+300.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 78140 0 0 0 29874 134 0 0 25 0 1 0 911742157 331685888 78060 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80978 78060 1111 63 0 80915 0 vsize: 323912 [startup+310.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 80657 0 0 0 30871 138 0 0 25 0 1 0 911742157 341991424 80577 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 83494 80577 1111 63 0 83431 0 vsize: 333976 [startup+320.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 83275 0 0 0 31865 144 0 0 25 0 1 0 911742157 352739328 83195 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86118 83195 1111 63 0 86055 0 vsize: 344472 [startup+330.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 85894 0 0 0 32861 148 0 0 25 0 1 0 911742157 363491328 85814 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88743 85814 1111 63 0 88680 0 vsize: 354972 [startup+340.005 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 88453 0 0 0 33857 153 0 0 25 0 1 0 911742157 373940224 88373 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91294 88373 1111 63 0 91231 0 vsize: 365176 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 90963 0 0 0 34853 157 0 0 25 0 1 0 911742157 384245760 90883 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 93810 90883 1111 63 0 93747 0 vsize: 375240 [startup+360.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 93569 0 0 0 35849 161 0 0 25 0 1 0 911742157 394846208 93489 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 96398 93489 1111 63 0 96335 0 vsize: 385592 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 96085 0 0 0 36846 165 0 0 25 0 1 0 911742157 405151744 96005 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 98914 96005 1111 63 0 98851 0 vsize: 395656 [startup+380.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 98593 0 0 0 37842 169 0 0 25 0 1 0 911742157 415666176 98513 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101481 98513 1111 63 0 101418 0 vsize: 405924 [startup+390.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 101114 0 0 0 38838 174 0 0 25 0 1 0 911742157 425963520 101034 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103995 101034 1111 63 0 103932 0 vsize: 415980 [startup+400.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 103661 0 0 0 39833 178 0 0 25 0 1 0 911742157 436420608 103581 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106548 103581 1111 63 0 106485 0 vsize: 426192 [startup+410.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 106140 0 0 0 40830 182 0 0 25 0 1 0 911742157 446570496 106060 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 109026 106060 1111 63 0 108963 0 vsize: 436104 [startup+420.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 108851 0 0 0 41825 188 0 0 25 0 1 0 911742157 457621504 108771 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 111724 108771 1111 63 0 111661 0 vsize: 446896 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 111409 0 0 0 42821 191 0 0 25 0 1 0 911742157 468070400 111329 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 114275 111329 1111 63 0 114212 0 vsize: 457100 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 114028 0 0 0 43817 196 0 0 25 0 1 0 911742157 478822400 113948 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 116900 113948 1111 63 0 116837 0 vsize: 467600 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 116630 0 0 0 44813 201 0 0 25 0 1 0 911742157 489418752 116550 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 119487 116550 1111 63 0 119424 0 vsize: 477948 [startup+460.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 119176 0 0 0 45808 206 0 0 25 0 1 0 911742157 499875840 119096 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 122040 119096 1111 63 0 121977 0 vsize: 488160 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 121734 0 0 0 46803 211 0 0 25 0 1 0 911742157 510324736 121654 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 124591 121654 1111 63 0 124528 0 vsize: 498364 [startup+480.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 124318 0 0 0 47800 215 0 0 25 0 1 0 911742157 520925184 124238 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 127179 124238 1111 63 0 127116 0 vsize: 508716 [startup+490.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 126882 0 0 0 48796 219 0 0 25 0 1 0 911742157 531374080 126802 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 129730 126802 1111 63 0 129667 0 vsize: 518920 [startup+500.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 129435 0 0 0 49792 224 0 0 25 0 1 0 911742157 541831168 129355 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 132283 129355 1111 63 0 132220 0 vsize: 529132 [startup+510.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 132314 0 0 0 50787 229 0 0 25 0 1 0 911742157 553619456 132234 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 135161 132234 1111 63 0 135098 0 vsize: 540644 [startup+520.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 135177 0 0 0 51784 232 0 0 25 0 1 0 911742157 565415936 135097 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 138041 135097 1111 63 0 137978 0 vsize: 552164 [startup+530.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 138033 0 0 0 52779 238 0 0 25 0 1 0 911742157 577064960 137953 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 140885 137953 1111 63 0 140822 0 vsize: 563540 [startup+540.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 141048 0 0 0 53774 242 0 0 25 0 1 0 911742157 589455360 140968 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 143910 140968 1111 63 0 143847 0 vsize: 575640 [startup+550.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 143739 0 0 0 54770 247 0 0 25 0 1 0 911742157 600502272 143659 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 146607 143659 1111 63 0 146544 0 vsize: 586428 [startup+560.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 146468 0 0 0 55765 253 0 0 25 0 1 0 911742157 611700736 146388 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 149341 146388 1111 63 0 149278 0 vsize: 597364 [startup+570.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 148973 0 0 0 56761 257 0 0 25 0 1 0 911742157 621850624 148893 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 151819 148893 1111 63 0 151756 0 vsize: 607276 [startup+580.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 151542 0 0 0 57757 261 0 0 25 0 1 0 911742157 632455168 151462 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 154408 151462 1111 63 0 154345 0 vsize: 617632 [startup+590.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 154224 0 0 0 58753 266 0 0 25 0 1 0 911742157 643358720 154144 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 157070 154144 1111 63 0 157007 0 vsize: 628280 [startup+600.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 156975 0 0 0 59749 270 0 0 25 0 1 0 911742157 654700544 156895 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 159839 156895 1111 63 0 159776 0 vsize: 639356 [startup+610.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 159924 0 0 0 60744 275 0 0 25 0 1 0 911742157 666796032 159844 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 162792 159844 1111 63 0 162729 0 vsize: 651168 [startup+620.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 162701 0 0 0 61739 280 0 0 25 0 1 0 911742157 678146048 162621 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 165563 162621 1111 63 0 165500 0 vsize: 662252 [startup+630.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 165254 0 0 0 62736 284 0 0 25 0 1 0 911742157 688590848 165174 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 168113 165174 1111 63 0 168050 0 vsize: 672452 [startup+640.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 167909 0 0 0 63731 289 0 0 25 0 1 0 911742157 699494400 167829 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 170775 167829 1111 63 0 170712 0 vsize: 683100 [startup+650.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 170619 0 0 0 64726 294 0 0 25 0 1 0 911742157 710537216 170539 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 173471 170539 1111 63 0 173408 0 vsize: 693884 [startup+660.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 173148 0 0 0 65720 299 0 0 25 0 1 0 911742157 720842752 173068 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 175987 173068 1111 63 0 175924 0 vsize: 703948 [startup+670.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 175680 0 0 0 66716 303 0 0 25 0 1 0 911742157 731291648 175600 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 178538 175600 1111 63 0 178475 0 vsize: 714152 [startup+680.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 178198 0 0 0 67710 308 0 0 25 0 1 0 911742157 741597184 178118 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 181054 178118 1111 63 0 180991 0 vsize: 724216 [startup+690.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 180573 0 0 0 68705 312 0 0 25 0 1 0 911742157 751300608 180493 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 183423 180493 1111 63 0 183360 0 vsize: 733692 [startup+700.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 182962 0 0 0 69702 315 0 0 25 0 1 0 911742157 761004032 182882 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 185792 182882 1111 63 0 185729 0 vsize: 743168 [startup+710.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 185381 0 0 0 70695 321 0 0 25 0 1 0 911742157 771010560 185301 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 188235 185301 1111 63 0 188172 0 vsize: 752940 [startup+720.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 187744 0 0 0 71691 324 0 0 25 0 1 0 911742157 780713984 187664 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 190604 187664 1111 63 0 190541 0 vsize: 762416 [startup+730.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 190151 0 0 0 72687 328 0 0 25 0 1 0 911742157 790568960 190071 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 193010 190071 1111 63 0 192947 0 vsize: 772040 [startup+740.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 192897 0 0 0 73681 333 0 0 25 0 1 0 911742157 801767424 192817 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 195744 192817 1111 63 0 195681 0 vsize: 782976 [startup+750.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 195428 0 0 0 74675 337 0 0 25 0 1 0 911742157 812433408 195348 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198348 195348 1111 63 0 198285 0 vsize: 793392 [startup+760.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 198040 0 0 0 75667 343 0 0 25 0 1 0 911742157 823033856 197864 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 200936 197864 1111 63 0 200873 0 vsize: 803744 [startup+770.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 200647 0 0 0 76661 348 0 0 25 0 1 0 911742157 833781760 200313 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 203560 200313 1111 63 0 203497 0 vsize: 814240 [startup+780.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 203200 0 0 0 77655 353 0 0 25 0 1 0 911742157 844234752 202640 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 206112 202640 1111 63 0 206049 0 vsize: 824448 [startup+790.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 205709 0 0 0 78649 357 0 0 25 0 1 0 911742157 854536192 204895 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 208627 204895 1111 63 0 208564 0 vsize: 834508 [startup+800.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 208500 0 0 0 79644 363 0 0 25 0 1 0 911742157 865882112 207429 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 211397 207429 1111 63 0 211334 0 vsize: 845588 [startup+810.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 211246 0 0 0 80638 368 0 0 25 0 1 0 911742157 877076480 209887 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214130 209887 1111 63 0 214067 0 vsize: 856520 [startup+820.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 213848 0 0 0 81632 373 0 0 25 0 1 0 911742157 887828480 212233 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 216755 212233 1111 63 0 216692 0 vsize: 867020 [startup+830.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 216533 0 0 0 82626 378 0 0 25 0 1 0 911742157 898732032 214631 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 219417 214631 1111 63 0 219354 0 vsize: 877668 [startup+840.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 219316 0 0 0 83619 383 0 0 25 0 1 0 911742157 910225408 216997 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 222223 216997 1111 63 0 222160 0 vsize: 888892 [startup+850.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 222051 0 0 0 84613 389 0 0 25 0 1 0 911742157 921423872 219444 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224957 219444 1111 63 0 224894 0 vsize: 899828 [startup+860.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 224481 0 0 0 85606 395 0 0 25 0 1 0 911742157 931274752 221586 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227362 221586 1111 63 0 227299 0 vsize: 909448 [startup+870.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 226749 0 0 0 86600 400 0 0 25 0 1 0 911742157 940679168 223470 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229658 223470 1111 63 0 229595 0 vsize: 918632 [startup+873.762 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 14720 Raw data (stat): 14720 (bsolo_lpr_cuts-) R 14719 25568 25567 0 -1 0 226749 0 0 0 86600 400 0 0 25 0 1 0 911742157 940679168 223470 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229658 223470 1111 63 0 229595 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 873.762 CPU time (s): 873.74 CPU user time (s): 869.299 CPU system time (s): 4.44132 CPU usage (%): 99.9975 Max. virtual memory (Kb): 918632 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####