Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-fixnet4.opb |
MD5SUM | c6a26aa8aefc43a120ecaff31b506c53 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4227509 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9638 |
Biggest coefficient in the objective function | 5242880 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 2427493442 |
Number of bits of the sum of numbers in the objective function | 32 |
Biggest number in a constraint | 5242880 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 2427493442 |
Number of bits of the biggest sum of numbers | 32 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.06 |
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 wulflinc6 THE 2005-06-09 12:38:52 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29511 boxname=wulflinc6 idbench=1295 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: c6a26aa8aefc43a120ecaff31b506c53 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet4.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet4.opb IDLAUNCH: 29511 /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: 416572 kB Buffers: 28200 kB Cached: 568384 kB SwapCached: 932 kB Active: 36508 kB Inactive: 562120 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 416320 kB SwapTotal: 2097136 kB SwapFree: 2095216 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 13784 kB Committed_AS: 63724 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 12:51:35 (client local time) WITH STATUS 20 IN 762.584 SECONDS stats: 29511 7 762.584 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 788 constraints. c preprocess terminated 750.697 s c Initial Lower Bound: 555277 c Lower Bound Elapsed time: 0.8121 c Use computed LB before first solution. s UNSATISFIABLE c Exit Code: 20 c Total time: 762.542 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.91 2/54 12171 Raw data (stat): 12171 (runsolver) R 12170 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910338270 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99988 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 5686 0 0 0 984 13 0 0 25 0 1 0 910338270 36274176 5606 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8856 5606 1111 63 0 8793 0 vsize: 35424 [startup+20.0003 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 17562 0 0 0 1959 38 0 0 25 0 1 0 910338270 75034624 17421 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18319 17421 1111 63 0 18256 0 vsize: 73276 [startup+30 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 17714 0 0 0 2958 39 0 0 25 0 1 0 910338270 75272192 17482 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18377 17482 1111 63 0 18314 0 vsize: 73508 [startup+40.0006 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 17770 0 0 0 3958 40 0 0 25 0 1 0 910338270 75272192 17482 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18377 17482 1111 63 0 18314 0 vsize: 73508 [startup+50.0011 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 17829 0 0 0 4957 40 0 0 25 0 1 0 910338270 75272192 17482 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18377 17482 1111 63 0 18314 0 vsize: 73508 [startup+60.0005 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 18033 0 0 0 5956 41 0 0 25 0 1 0 910338270 75272192 17482 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18377 17482 1111 63 0 18314 0 vsize: 73508 [startup+70.0008 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 18050 0 0 0 6957 41 0 0 25 0 1 0 910338270 75272192 17482 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18377 17482 1111 63 0 18314 0 vsize: 73508 [startup+80.0009 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 18240 0 0 0 7956 42 0 0 25 0 1 0 910338270 75272192 17482 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18377 17482 1111 63 0 18314 0 vsize: 73508 [startup+90.0007 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 18526 0 0 0 8956 42 0 0 25 0 1 0 910338270 75272192 17482 4294967295 134512640 134716908 3221224560 3221223172 134557790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18377 17482 1111 63 0 18314 0 vsize: 73508 [startup+100 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 18772 0 0 0 9955 43 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+110.001 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 20165 0 0 0 10951 48 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+120.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 22431 0 0 0 11945 55 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+130 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 25445 0 0 0 12936 64 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+140 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 29922 0 0 0 13925 75 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+150 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 34540 0 0 0 14914 86 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+159.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 40558 0 0 0 15899 102 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+170 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 46818 0 0 0 16882 119 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+179.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 54137 0 0 0 17863 139 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+189.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 61659 0 0 0 18841 160 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+199.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 69752 0 0 0 19820 182 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+209.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 78984 0 0 0 20797 205 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+219.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 88126 0 0 0 21773 230 0 0 25 0 1 0 910338270 75280384 17484 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18379 17484 1111 63 0 18316 0 vsize: 73516 [startup+229.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 91426 0 0 0 22765 238 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+239.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 91496 0 0 0 23765 239 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+249.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 91671 0 0 0 24765 239 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+259.999 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 91807 0 0 0 25765 239 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+269.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 91909 0 0 0 26765 240 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221222984 1077377249 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+279.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 92238 0 0 0 27764 240 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+289.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 92342 0 0 0 28764 241 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+299.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 92576 0 0 0 29764 242 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+309.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 92862 0 0 0 30763 242 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+319.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 94269 0 0 0 31759 247 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+329.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 95584 0 0 0 32755 252 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+339.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 96870 0 0 0 33751 255 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+349.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 99111 0 0 0 34744 262 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+359.998 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 102201 0 0 0 35736 271 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+369.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 106591 0 0 0 36723 284 0 0 25 0 1 0 910338270 75800576 17596 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18506 17603 1111 63 0 18443 0 vsize: 74024 [startup+379.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 112696 0 0 0 37709 298 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+389.996 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 118818 0 0 0 38694 314 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+399.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 124889 0 0 0 39680 329 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221222996 1077782939 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+409.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 130866 0 0 0 40664 345 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+419.997 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 137257 0 0 0 41646 363 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+430.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 145185 0 0 0 42628 382 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+440.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 152765 0 0 0 43607 403 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+450.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 160985 0 0 0 44585 425 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+460.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 170043 0 0 0 45562 449 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+470.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 179188 0 0 0 46539 472 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+480.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 188365 0 0 0 47517 495 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+490.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 198143 0 0 0 48492 520 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+500.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 209043 0 0 0 49465 548 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+510.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 219972 0 0 0 50437 576 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+520.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 230553 0 0 0 51410 604 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+530.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 242111 0 0 0 52382 632 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+540.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 254401 0 0 0 53349 665 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+550.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 266662 0 0 0 54317 697 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+560.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 278916 0 0 0 55286 729 0 0 25 0 1 0 910338270 75960320 17640 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18545 17646 1111 63 0 18482 0 vsize: 74180 [startup+570.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 291901 0 0 0 56252 763 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+580.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 305576 0 0 0 57213 802 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221222984 1077377790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+590.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 319193 0 0 0 58177 838 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+600.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 332926 0 0 0 59142 874 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+610.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 346578 0 0 0 60106 910 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+620.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 361908 0 0 0 61066 951 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+630.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 377173 0 0 0 62026 991 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+640.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 392438 0 0 0 62986 1032 0 0 25 0 1 0 910338270 75960320 17630 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18545 17636 1111 63 0 18482 0 vsize: 74180 [startup+650.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 407681 0 0 0 63947 1071 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+660.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 423149 0 0 0 64908 1110 0 0 25 0 1 0 910338270 75640832 17572 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18467 17572 1111 63 0 18404 0 vsize: 73868 [startup+670.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 428098 0 0 0 65896 1123 0 0 25 0 1 0 910338270 76161024 17699 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18594 17699 1111 63 0 18531 0 vsize: 74376 [startup+680.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 428133 0 0 0 66896 1123 0 0 25 0 1 0 910338270 76161024 17699 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18594 17699 1111 63 0 18531 0 vsize: 74376 [startup+690.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 428217 0 0 0 67896 1123 0 0 25 0 1 0 910338270 76161024 17699 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18594 17699 1111 63 0 18531 0 vsize: 74376 [startup+700.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 428287 0 0 0 68896 1123 0 0 25 0 1 0 910338270 76161024 17699 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18594 17699 1111 63 0 18531 0 vsize: 74376 [startup+710.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 428343 0 0 0 69896 1124 0 0 25 0 1 0 910338270 76161024 17699 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18594 17699 1111 63 0 18531 0 vsize: 74376 [startup+720.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 428545 0 0 0 70896 1124 0 0 25 0 1 0 910338270 76914688 17880 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18778 17880 1111 63 0 18715 0 vsize: 75112 [startup+730.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 428545 0 0 0 71896 1124 0 0 25 0 1 0 910338270 76914688 17880 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18778 17880 1111 63 0 18715 0 vsize: 75112 [startup+740.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 428545 0 0 0 72897 1124 0 0 25 0 1 0 910338270 76914688 17880 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18778 17880 1111 63 0 18715 0 vsize: 75112 [startup+750.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 428545 0 0 0 73897 1125 0 0 25 0 1 0 910338270 76914688 17880 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18778 17880 1111 63 0 18715 0 vsize: 75112 [startup+760.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 434808 0 0 0 74882 1140 0 0 25 0 1 0 910338270 77901824 18195 4294967295 134512640 134716908 3221224560 3221220632 1074950201 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19019 18195 1111 63 0 18956 0 vsize: 76076 [startup+762.369 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 12171 Raw data (stat): 12171 (bsolo_lpr_cuts-) R 12170 25568 25567 0 -1 0 434808 0 0 0 74882 1140 0 0 25 0 1 0 910338270 77901824 18195 4294967295 134512640 134716908 3221224560 3221220632 1074950201 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19019 18195 1111 63 0 18956 0 vsize: 0 Child status: 20 Real time (s): 762.369 CPU time (s): 762.584 CPU user time (s): 751.12 CPU system time (s): 11.4643 CPU usage (%): 100.028 Max. virtual memory (Kb): 76076 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####