Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet3.opb |
MD5SUM | d5b458ca51c84d53d4ddd22dc72bb5f7 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 16410049 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9830 |
Biggest coefficient in the objective function | 52428800 |
Number of bits for the biggest coefficient in the objective function | 26 |
Sum of the numbers in the objective function | 23652414692 |
Number of bits of the sum of numbers in the objective function | 35 |
Biggest number in a constraint | 52428800 |
Number of bits of the biggest number in a constraint | 26 |
Biggest sum of numbers in a constraint | 23652414692 |
Number of bits of the biggest sum of numbers | 35 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.25 |
Number of variables | 9890 |
Total number of constraints | 978 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 378 |
Number of constraints which are nor clauses,nor cardinality constraints | 600 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1072 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-06-08 05:42:34 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28338 boxname=wulflinc5 idbench=1294 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: d5b458ca51c84d53d4ddd22dc72bb5f7 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-fixnet3.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-fixnet3.opb IDLAUNCH: 28338 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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.007 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: 669192 kB Buffers: 23692 kB Cached: 319352 kB SwapCached: 696 kB Active: 27808 kB Inactive: 317344 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 668940 kB SwapTotal: 2097136 kB SwapFree: 2095508 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5152 kB Slab: 14748 kB Committed_AS: 63604 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 05:55:01 (client local time) WITH STATUS 20 IN 746.924 SECONDS stats: 28338 7 746.924 20 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 9890 variables and 700 constraints. c After prepocess the problem consists of 5883 variables and 787 constraints. c preprocess terminated 741.584 s c Initial Lower Bound: 5254389 c Lower Bound Elapsed time: 0.58 c Use computed LB before first solution. s UNSATISFIABLE c Exit Code: 20 c Total time: 746.885 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.92 0.95 0.90 1/54 15578 Raw data (stat): 15578 (runsolver) R 15577 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899199842 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 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 5050 0 0 0 987 10 0 0 25 0 1 0 899199842 33603584 4970 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8204 4974 1111 63 0 8141 0 vsize: 32816 [startup+20.0005 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 10514 0 0 0 1977 20 0 0 25 0 1 0 899199842 56037376 10434 4294967295 134512640 134716908 3221224576 3221222492 1077253380 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13681 10434 1111 63 0 13618 0 vsize: 54724 [startup+30.0003 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 17655 0 0 0 2960 37 0 0 25 0 1 0 899199842 75280384 17483 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18379 17483 1111 63 0 18316 0 vsize: 73516 [startup+40.0013 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 17753 0 0 0 3960 37 0 0 25 0 1 0 899199842 75284480 17484 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18380 17484 1111 63 0 18317 0 vsize: 73520 [startup+50.0017 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 17857 0 0 0 4960 37 0 0 25 0 1 0 899199842 75284480 17484 4294967295 134512640 134716908 3221224576 3221223188 134557818 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18380 17484 1111 63 0 18317 0 vsize: 73520 [startup+60.0015 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 18001 0 0 0 5959 38 0 0 25 0 1 0 899199842 75284480 17484 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18380 17484 1111 63 0 18317 0 vsize: 73520 [startup+70.0025 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 18081 0 0 0 6959 38 0 0 25 0 1 0 899199842 75284480 17484 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18380 17484 1111 63 0 18317 0 vsize: 73520 [startup+80.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 18123 0 0 0 7959 38 0 0 25 0 1 0 899199842 75284480 17484 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18380 17484 1111 63 0 18317 0 vsize: 73520 [startup+90.0037 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 18305 0 0 0 8959 39 0 0 25 0 1 0 899199842 75284480 17484 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18380 17484 1111 63 0 18317 0 vsize: 73520 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 18591 0 0 0 9958 40 0 0 25 0 1 0 899199842 75284480 17484 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18380 17484 1111 63 0 18317 0 vsize: 73520 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 18687 0 0 0 10958 40 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 18760 0 0 0 11958 40 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 18947 0 0 0 12958 41 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 19229 0 0 0 13957 42 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 19489 0 0 0 14956 43 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 20523 0 0 0 15953 46 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 21997 0 0 0 16949 50 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 24643 0 0 0 17943 57 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 27564 0 0 0 18935 65 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 30584 0 0 0 19927 74 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 34501 0 0 0 20916 85 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 39139 0 0 0 21904 97 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 44738 0 0 0 22890 111 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 51019 0 0 0 23873 128 0 0 25 0 1 0 899199842 75567104 17550 4294967295 134512640 134716908 3221224576 3221223060 1077378674 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73796 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 57912 0 0 0 24856 145 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 65625 0 0 0 25834 167 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 73384 0 0 0 26815 186 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 82264 0 0 0 27792 210 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 91551 0 0 0 28770 232 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 100603 0 0 0 29747 255 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 110704 0 0 0 30722 280 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 121582 0 0 0 31695 308 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 132460 0 0 0 32666 337 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 143135 0 0 0 33639 364 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223000 1077377854 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 154521 0 0 0 34610 393 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 166915 0 0 0 35578 425 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 179780 0 0 0 36546 458 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 193507 0 0 0 37516 488 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18410 17514 1111 63 0 18347 0 vsize: 73640 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 207263 0 0 0 38480 524 0 0 25 0 1 0 899199842 75407360 17514 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18449 17516 1111 63 0 18386 0 vsize: 73640 [startup+400.013 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217531 0 0 0 39456 548 0 0 25 0 1 0 899199842 76009472 17638 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17638 1111 63 0 18494 0 vsize: 74228 [startup+410.013 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217531 0 0 0 40456 548 0 0 25 0 1 0 899199842 76009472 17638 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17638 1111 63 0 18494 0 vsize: 74228 [startup+420.013 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217531 0 0 0 41456 549 0 0 25 0 1 0 899199842 76009472 17638 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17638 1111 63 0 18494 0 vsize: 74228 [startup+430.013 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217541 0 0 0 42456 549 0 0 25 0 1 0 899199842 76009472 17648 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17648 1111 63 0 18494 0 vsize: 74228 [startup+440.014 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217541 0 0 0 43456 549 0 0 25 0 1 0 899199842 76009472 17648 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17648 1111 63 0 18494 0 vsize: 74228 [startup+450.015 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217541 0 0 0 44457 549 0 0 25 0 1 0 899199842 76009472 17648 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17648 1111 63 0 18494 0 vsize: 74228 [startup+460.015 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217551 0 0 0 45457 549 0 0 25 0 1 0 899199842 76009472 17658 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17658 1111 63 0 18494 0 vsize: 74228 [startup+470.015 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217551 0 0 0 46457 549 0 0 25 0 1 0 899199842 76009472 17658 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17658 1111 63 0 18494 0 vsize: 74228 [startup+480.015 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217551 0 0 0 47457 549 0 0 25 0 1 0 899199842 76009472 17658 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17658 1111 63 0 18494 0 vsize: 74228 [startup+490.016 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217566 0 0 0 48457 549 0 0 25 0 1 0 899199842 76009472 17661 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17661 1111 63 0 18494 0 vsize: 74228 [startup+500.017 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217608 0 0 0 49457 549 0 0 25 0 1 0 899199842 76009472 17661 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17661 1111 63 0 18494 0 vsize: 74228 [startup+510.016 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217692 0 0 0 50457 549 0 0 25 0 1 0 899199842 76009472 17661 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17661 1111 63 0 18494 0 vsize: 74228 [startup+520.017 s] Raw data (loadavg): 1.08 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217794 0 0 0 51457 550 0 0 25 0 1 0 899199842 76009472 17661 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17661 1111 63 0 18494 0 vsize: 74228 [startup+530.017 s] Raw data (loadavg): 1.07 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 217838 0 0 0 52457 550 0 0 25 0 1 0 899199842 76009472 17661 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17661 1111 63 0 18494 0 vsize: 74228 [startup+540.017 s] Raw data (loadavg): 1.06 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 218062 0 0 0 53457 551 0 0 25 0 1 0 899199842 76009472 17661 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17661 1111 63 0 18494 0 vsize: 74228 [startup+550.017 s] Raw data (loadavg): 1.05 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 218206 0 0 0 54456 551 0 0 25 0 1 0 899199842 76009472 17661 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17661 1111 63 0 18494 0 vsize: 74228 [startup+560.017 s] Raw data (loadavg): 1.04 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 218350 0 0 0 55456 551 0 0 25 0 1 0 899199842 76009472 17661 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18557 17661 1111 63 0 18494 0 vsize: 74228 [startup+570.018 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 218511 0 0 0 56456 552 0 0 25 0 1 0 899199842 76095488 17682 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18578 17682 1111 63 0 18515 0 vsize: 74312 [startup+580.018 s] Raw data (loadavg): 1.03 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 218555 0 0 0 57456 552 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+590.018 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 218632 0 0 0 58456 552 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+600.019 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 218695 0 0 0 59456 552 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+610.019 s] Raw data (loadavg): 1.02 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 218793 0 0 0 60456 553 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+620.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 218837 0 0 0 61456 553 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+630.02 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 219029 0 0 0 62456 553 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+640.021 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 219141 0 0 0 63455 554 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+650.022 s] Raw data (loadavg): 1.01 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 219333 0 0 0 64455 555 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+660.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 219493 0 0 0 65455 555 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+670.021 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 219733 0 0 0 66454 556 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+680.022 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 219877 0 0 0 67453 557 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+690.023 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 220049 0 0 0 68453 558 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223248 134606864 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+700.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 220439 0 0 0 69452 559 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+710.024 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 220595 0 0 0 70452 559 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+720.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 220829 0 0 0 71451 560 0 0 25 0 1 0 899199842 76099584 17683 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18579 17683 1111 63 0 18516 0 vsize: 74316 [startup+730.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 221029 0 0 0 72451 561 0 0 25 0 1 0 899199842 76931072 17883 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18782 17883 1111 63 0 18719 0 vsize: 75128 [startup+740.025 s] Raw data (loadavg): 1.00 1.00 0.92 2/54 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 221029 0 0 0 73450 561 0 0 25 0 1 0 899199842 76931072 17883 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18782 17883 1111 63 0 18719 0 vsize: 75128 [startup+746.833 s] Raw data (loadavg): 1.00 1.00 0.92 1/53 15578 Raw data (stat): 15578 (bsolo_lpr-v2) R 15577 7266 7265 0 -1 0 221029 0 0 0 73450 561 0 0 25 0 1 0 899199842 76931072 17883 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18782 17883 1111 63 0 18719 0 vsize: 0 Child status: 20 Real time (s): 746.832 CPU time (s): 746.924 CPU user time (s): 741.211 CPU system time (s): 5.71313 CPU usage (%): 100.012 Max. virtual memory (Kb): 75128 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####