Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-nw04.opb |
MD5SUM | a5c401bba5afccf02c7b40cb1c595b15 |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 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 | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.13683 |
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 wulflinc3 THE 2005-06-09 08:01:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29269 boxname=wulflinc3 idbench=1053 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: a5c401bba5afccf02c7b40cb1c595b15 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-nw04.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-nw04.opb IDLAUNCH: 29269 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 451.190 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: 881384 kB Buffers: 16240 kB Cached: 116256 kB SwapCached: 716 kB Active: 46988 kB Inactive: 87508 kB HighTotal: 131008 kB HighFree: 20944 kB LowTotal: 903652 kB LowFree: 860440 kB SwapTotal: 2097136 kB SwapFree: 2095372 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5036 kB Slab: 13036 kB Committed_AS: 71784 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 08:16:26 (client local time) WITH STATUS 0 IN 874.053 SECONDS stats: 29269 7 874.053 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.87 0.95 0.90 2/54 5897 Raw data (stat): 5897 (runsolver) R 5896 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908668303 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.001 s] Raw data (loadavg): 0.89 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 3326 0 0 0 988 9 0 0 25 0 1 0 908668303 25235456 3246 4294967295 134512640 134716908 3221224560 3221222788 1077414426 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.0022 s] Raw data (loadavg): 0.91 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 5867 0 0 0 1984 13 0 0 25 0 1 0 908668303 35688448 5787 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8713 5787 1111 63 0 8650 0 vsize: 34852 [startup+30.0021 s] Raw data (loadavg): 0.92 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 8414 0 0 0 2980 17 0 0 25 0 1 0 908668303 46125056 8334 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11261 8334 1111 63 0 11198 0 vsize: 45044 [startup+40.0033 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 10959 0 0 0 3976 22 0 0 25 0 1 0 908668303 56573952 10879 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13812 10879 1111 63 0 13749 0 vsize: 55248 [startup+50.0038 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 13529 0 0 0 4973 26 0 0 25 0 1 0 908668303 67002368 13449 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16358 13449 1111 63 0 16295 0 vsize: 65432 [startup+60.0046 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 16105 0 0 0 5969 30 0 0 25 0 1 0 908668303 77598720 16025 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18945 16025 1111 63 0 18882 0 vsize: 75780 [startup+70.0048 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 18681 0 0 0 6965 33 0 0 25 0 1 0 908668303 88203264 18601 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21534 18601 1111 63 0 21471 0 vsize: 86136 [startup+80.0057 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 21263 0 0 0 7960 39 0 0 25 0 1 0 908668303 98803712 21183 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24122 21183 1111 63 0 24059 0 vsize: 96488 [startup+90.0061 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 23851 0 0 0 8957 43 0 0 25 0 1 0 908668303 109404160 23771 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26710 23771 1111 63 0 26647 0 vsize: 106840 [startup+100.006 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 26445 0 0 0 9952 48 0 0 25 0 1 0 908668303 119975936 26365 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29291 26365 1111 63 0 29228 0 vsize: 117164 [startup+110.007 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 29017 0 0 0 10948 52 0 0 25 0 1 0 908668303 130580480 28937 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31880 28937 1111 63 0 31817 0 vsize: 127520 [startup+120.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 31593 0 0 0 11943 56 0 0 25 0 1 0 908668303 141029376 31513 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34431 31513 1111 63 0 34368 0 vsize: 137724 [startup+130.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 34152 0 0 0 12940 60 0 0 25 0 1 0 908668303 151482368 34072 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36983 34072 1111 63 0 36920 0 vsize: 147932 [startup+140.009 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 36704 0 0 0 13935 65 0 0 25 0 1 0 908668303 161931264 36624 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 39534 36624 1111 63 0 39471 0 vsize: 158136 [startup+150.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 39245 0 0 0 14931 70 0 0 25 0 1 0 908668303 172388352 39165 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 42087 39165 1111 63 0 42024 0 vsize: 168348 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 41821 0 0 0 15926 75 0 0 25 0 1 0 908668303 182984704 41741 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44674 41741 1111 63 0 44611 0 vsize: 178696 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 44410 0 0 0 16922 79 0 0 25 0 1 0 908668303 193589248 44330 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47263 44330 1111 63 0 47200 0 vsize: 189052 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 46991 0 0 0 17918 83 0 0 25 0 1 0 908668303 204185600 46911 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49850 46911 1111 63 0 49787 0 vsize: 199400 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 49663 0 0 0 18913 89 0 0 25 0 1 0 908668303 215085056 49583 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52511 49583 1111 63 0 52448 0 vsize: 210044 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 52300 0 0 0 19909 93 0 0 25 0 1 0 908668303 225980416 52220 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55171 52220 1111 63 0 55108 0 vsize: 220684 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5897 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 54895 0 0 0 20905 97 0 0 25 0 1 0 908668303 236584960 54815 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 57760 54817 1111 63 0 57697 0 vsize: 231040 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 57454 0 0 0 21901 101 0 0 25 0 1 0 908668303 247029760 57374 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 60310 57374 1111 63 0 60247 0 vsize: 241240 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 60036 0 0 0 22896 106 0 0 25 0 1 0 908668303 257634304 59956 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 62899 59956 1111 63 0 62836 0 vsize: 251596 [startup+240.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 62582 0 0 0 23892 111 0 0 25 0 1 0 908668303 268083200 62502 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 65450 62502 1111 63 0 65387 0 vsize: 261800 [startup+250.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 65214 0 0 0 24888 115 0 0 25 0 1 0 908668303 278835200 65134 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 68075 65134 1111 63 0 68012 0 vsize: 272300 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 67833 0 0 0 25883 119 0 0 25 0 1 0 908668303 289583104 67753 4294967295 134512640 134716908 3221224560 3221221276 1077197764 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70699 67753 1111 63 0 70636 0 vsize: 282796 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 70429 0 0 0 26879 124 0 0 25 0 1 0 908668303 300187648 70349 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73288 70349 1111 63 0 73225 0 vsize: 293152 [startup+280.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 72968 0 0 0 27876 127 0 0 25 0 1 0 908668303 310484992 72888 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75802 72888 1111 63 0 75739 0 vsize: 303208 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 75571 0 0 0 28871 132 0 0 25 0 1 0 908668303 321241088 75491 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78428 75491 1111 63 0 78365 0 vsize: 313712 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 78122 0 0 0 29867 137 0 0 25 0 1 0 908668303 331685888 78042 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 80978 78042 1111 63 0 80915 0 vsize: 323912 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 80645 0 0 0 30862 142 0 0 25 0 1 0 908668303 341991424 80565 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 83494 80565 1111 63 0 83431 0 vsize: 333976 [startup+320.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 83263 0 0 0 31856 148 0 0 25 0 1 0 908668303 352739328 83183 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 86118 83183 1111 63 0 86055 0 vsize: 344472 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 85876 0 0 0 32852 152 0 0 25 0 1 0 908668303 363343872 85796 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88743 85801 1111 63 0 88680 0 vsize: 354828 [startup+340.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 88441 0 0 0 33847 157 0 0 25 0 1 0 908668303 373940224 88361 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91294 88361 1111 63 0 91231 0 vsize: 365176 [startup+350.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 90951 0 0 0 34843 161 0 0 25 0 1 0 908668303 384245760 90871 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 93810 90871 1111 63 0 93747 0 vsize: 375240 [startup+360.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 93557 0 0 0 35840 165 0 0 25 0 1 0 908668303 394846208 93477 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 96398 93477 1111 63 0 96335 0 vsize: 385592 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 96073 0 0 0 36835 170 0 0 25 0 1 0 908668303 405151744 95993 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 98914 95993 1111 63 0 98851 0 vsize: 395656 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 98581 0 0 0 37832 173 0 0 25 0 1 0 908668303 415518720 98501 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101445 98501 1111 63 0 101382 0 vsize: 405780 [startup+390.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 101101 0 0 0 38828 178 0 0 25 0 1 0 908668303 425816064 101021 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 103959 101021 1111 63 0 103896 0 vsize: 415836 [startup+400.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 103649 0 0 0 39825 181 0 0 25 0 1 0 908668303 436269056 103569 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 106511 103569 1111 63 0 106448 0 vsize: 426044 [startup+410.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 106128 0 0 0 40821 185 0 0 25 0 1 0 908668303 446423040 106048 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108990 106048 1111 63 0 108927 0 vsize: 435960 [startup+420.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 108833 0 0 0 41816 190 0 0 25 0 1 0 908668303 457474048 108753 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 111688 108753 1111 63 0 111625 0 vsize: 446752 [startup+430.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 111397 0 0 0 42812 194 0 0 25 0 1 0 908668303 468070400 111317 4294967295 134512640 134716908 3221224560 3221223216 134527928 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 114275 111317 1111 63 0 114212 0 vsize: 457100 [startup+440.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 114010 0 0 0 43808 198 0 0 25 0 1 0 908668303 478674944 113930 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 116864 113930 1111 63 0 116801 0 vsize: 467456 [startup+450.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 116617 0 0 0 44804 203 0 0 25 0 1 0 908668303 489418752 116537 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 119487 116537 1111 63 0 119424 0 vsize: 477948 [startup+460.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 119158 0 0 0 45798 209 0 0 25 0 1 0 908668303 499875840 119078 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 122040 119078 1111 63 0 121977 0 vsize: 488160 [startup+470.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 121716 0 0 0 46794 213 0 0 25 0 1 0 908668303 510324736 121636 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 124591 121636 1111 63 0 124528 0 vsize: 498364 [startup+480.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 124299 0 0 0 47790 217 0 0 25 0 1 0 908668303 520925184 124219 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 127179 124219 1111 63 0 127116 0 vsize: 508716 [startup+490.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 126863 0 0 0 48786 222 0 0 25 0 1 0 908668303 531374080 126783 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 129730 126783 1111 63 0 129667 0 vsize: 518920 [startup+500.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 129417 0 0 0 49782 226 0 0 25 0 1 0 908668303 541831168 129337 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 132283 129337 1111 63 0 132220 0 vsize: 529132 [startup+510.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 132295 0 0 0 50777 231 0 0 25 0 1 0 908668303 553619456 132215 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 135161 132215 1111 63 0 135098 0 vsize: 540644 [startup+520.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 135159 0 0 0 51772 236 0 0 25 0 1 0 908668303 565268480 135079 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 138005 135079 1111 63 0 137942 0 vsize: 552020 [startup+530.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 138015 0 0 0 52769 240 0 0 25 0 1 0 908668303 577064960 137935 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 140885 137935 1111 63 0 140822 0 vsize: 563540 [startup+540.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 141030 0 0 0 53763 246 0 0 25 0 1 0 908668303 589307904 140950 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 143874 140950 1111 63 0 143811 0 vsize: 575496 [startup+550.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 143721 0 0 0 54758 250 0 0 25 0 1 0 908668303 600350720 143641 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 146570 143641 1111 63 0 146507 0 vsize: 586280 [startup+560.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 146450 0 0 0 55754 254 0 0 25 0 1 0 908668303 611553280 146370 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 149305 146370 1111 63 0 149242 0 vsize: 597220 [startup+570.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 148961 0 0 0 56751 258 0 0 25 0 1 0 908668303 621850624 148881 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 151819 148881 1111 63 0 151756 0 vsize: 607276 [startup+580.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 151524 0 0 0 57747 263 0 0 25 0 1 0 908668303 632307712 151444 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 154372 151444 1111 63 0 154309 0 vsize: 617488 [startup+590.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 154206 0 0 0 58743 266 0 0 25 0 1 0 908668303 643358720 154126 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 157070 154126 1111 63 0 157007 0 vsize: 628280 [startup+600.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 156963 0 0 0 59738 272 0 0 25 0 1 0 908668303 654553088 156883 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 159803 156883 1111 63 0 159740 0 vsize: 639212 [startup+610.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 159906 0 0 0 60733 277 0 0 25 0 1 0 908668303 666644480 159826 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 162755 159826 1111 63 0 162692 0 vsize: 651020 [startup+620.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 162682 0 0 0 61729 281 0 0 25 0 1 0 908668303 677994496 162602 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 165526 162602 1111 63 0 165463 0 vsize: 662104 [startup+630.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 165235 0 0 0 62724 286 0 0 25 0 1 0 908668303 688443392 165155 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 168077 165155 1111 63 0 168014 0 vsize: 672308 [startup+640.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 167891 0 0 0 63718 292 0 0 25 0 1 0 908668303 699346944 167811 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 170739 167811 1111 63 0 170676 0 vsize: 682956 [startup+650.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 170600 0 0 0 64715 296 0 0 25 0 1 0 908668303 710389760 170520 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 173435 170520 1111 63 0 173372 0 vsize: 693740 [startup+660.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 173136 0 0 0 65711 300 0 0 25 0 1 0 908668303 720842752 173056 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 175987 173056 1111 63 0 175924 0 vsize: 703948 [startup+670.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 175674 0 0 0 66707 304 0 0 25 0 1 0 908668303 731291648 175594 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 178538 175594 1111 63 0 178475 0 vsize: 714152 [startup+680.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 178192 0 0 0 67703 308 0 0 25 0 1 0 908668303 741597184 178112 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 181054 178112 1111 63 0 180991 0 vsize: 724216 [startup+690.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 180573 0 0 0 68699 312 0 0 25 0 1 0 908668303 751300608 180493 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 182962 0 0 0 69694 318 0 0 25 0 1 0 908668303 761004032 182882 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.029 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 185388 0 0 0 70690 321 0 0 25 0 1 0 908668303 771010560 185308 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 188235 185308 1111 63 0 188172 0 vsize: 752940 [startup+720.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 187750 0 0 0 71687 325 0 0 25 0 1 0 908668303 780713984 187670 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 190604 187670 1111 63 0 190541 0 vsize: 762416 [startup+730.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 190163 0 0 0 72684 328 0 0 25 0 1 0 908668303 790568960 190083 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 193010 190083 1111 63 0 192947 0 vsize: 772040 [startup+740.031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 192915 0 0 0 73679 333 0 0 25 0 1 0 908668303 801767424 192835 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 195744 192835 1111 63 0 195681 0 vsize: 782976 [startup+750.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 195439 0 0 0 74675 338 0 0 25 0 1 0 908668303 812433408 195359 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 198348 195359 1111 63 0 198285 0 vsize: 793392 [startup+760.032 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 198058 0 0 0 75670 343 0 0 25 0 1 0 908668303 823181312 197978 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 200972 197978 1111 63 0 200909 0 vsize: 803888 [startup+770.033 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 200665 0 0 0 76666 347 0 0 25 0 1 0 908668303 833781760 200585 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 203560 200585 1111 63 0 203497 0 vsize: 814240 [startup+780.033 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 203200 0 0 0 77662 351 0 0 25 0 1 0 908668303 844234752 203120 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 206112 203120 1111 63 0 206049 0 vsize: 824448 [startup+790.033 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 205715 0 0 0 78658 355 0 0 25 0 1 0 908668303 854536192 205635 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 208627 205635 1111 63 0 208564 0 vsize: 834508 [startup+800.033 s] Raw data (loadavg): 1.11 1.00 0.92 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 208481 0 0 0 79654 360 0 0 25 0 1 0 908668303 865882112 208401 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 211397 208401 1111 63 0 211334 0 vsize: 845588 [startup+810.033 s] Raw data (loadavg): 1.10 1.00 0.92 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 211214 0 0 0 80649 364 0 0 25 0 1 0 908668303 877076480 211134 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 214130 211134 1111 63 0 214067 0 vsize: 856520 [startup+820.034 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 213823 0 0 0 81645 369 0 0 25 0 1 0 908668303 887681024 213743 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 216719 213743 1111 63 0 216656 0 vsize: 866876 [startup+830.034 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 216503 0 0 0 82641 373 0 0 25 0 1 0 908668303 898732032 216423 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 219417 216423 1111 63 0 219354 0 vsize: 877668 [startup+840.034 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 219273 0 0 0 83636 379 0 0 25 0 1 0 908668303 910073856 219193 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 222186 219193 1111 63 0 222123 0 vsize: 888744 [startup+850.035 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 222003 0 0 0 84628 386 0 0 25 0 1 0 908668303 921124864 221315 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 224884 221315 1111 63 0 224821 0 vsize: 899536 [startup+860.036 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 224444 0 0 0 85620 392 0 0 25 0 1 0 908668303 931127296 223117 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 227326 223117 1111 63 0 227263 0 vsize: 909304 [startup+870.036 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 226706 0 0 0 86613 398 0 0 25 0 1 0 908668303 940384256 224836 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229586 224836 1111 63 0 229523 0 vsize: 918344 [startup+873.968 s] Raw data (loadavg): 1.03 1.00 0.92 1/53 5899 Raw data (stat): 5897 (bsolo_lpr_cuts-) R 5896 20224 20223 0 -1 0 226706 0 0 0 86613 398 0 0 25 0 1 0 908668303 940384256 224836 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 229586 224836 1111 63 0 229523 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 873.968 CPU time (s): 874.053 CPU user time (s): 869.63 CPU system time (s): 4.42333 CPU usage (%): 100.01 Max. virtual memory (Kb): 918344 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####