Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-mitre.opb |
MD5SUM | cb52c3dd346b4d656b5e715b686fba39 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8401 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 9324 |
Biggest coefficient in the objective function | 213 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 909647 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 1069 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 909647 |
Number of bits of the biggest sum of numbers | 20 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.27 |
Number of variables | 10724 |
Total number of constraints | 12778 |
Number of constraints which are clauses | 140 |
Number of constraints which are cardinality constraints (but not clauses) | 12255 |
Number of constraints which are nor clauses,nor cardinality constraints | 383 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-09 07:52:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29263 boxname=wulflinc4 idbench=1047 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: cb52c3dd346b4d656b5e715b686fba39 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb IDLAUNCH: 29263 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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.169 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: 898684 kB Buffers: 1928 kB Cached: 113160 kB SwapCached: 852 kB Active: 25860 kB Inactive: 91212 kB HighTotal: 131008 kB HighFree: 14896 kB LowTotal: 903652 kB LowFree: 883788 kB SwapTotal: 2097136 kB SwapFree: 2095216 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4888 kB Slab: 13048 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 08:11:43 (client local time) WITH STATUS 0 IN 1175.17 SECONDS stats: 29263 7 1175.17 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 10724 variables and 2045 constraints. c After prepocess the problem consists of 7047 variables and 2003 constraints. c preprocess terminated 922.585 s c Initial Lower Bound: 7475 c Lower Bound Elapsed time: 3.283 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 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.55 0.85 0.87 2/54 12340 Raw data (stat): 12340 (runsolver) R 12339 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908608844 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0006 s] Raw data (loadavg): 0.62 0.86 0.87 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 39856 0 0 0 919 78 0 0 25 0 1 0 908608844 176320512 39776 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 43047 39776 1111 63 0 42984 0 vsize: 172188 [startup+20.0015 s] Raw data (loadavg): 0.68 0.86 0.87 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 66401 0 0 0 1868 129 0 0 25 0 1 0 908608844 284950528 66321 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69568 66321 1111 63 0 69505 0 vsize: 278272 [startup+30.0028 s] Raw data (loadavg): 0.73 0.86 0.87 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 75807 0 0 0 2845 153 0 0 25 0 1 0 908608844 285720576 68858 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69756 68858 1111 63 0 69693 0 vsize: 279024 [startup+40.0033 s] Raw data (loadavg): 0.77 0.87 0.87 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 172667 0 0 0 3608 390 0 0 25 0 1 0 908608844 286580736 69045 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 69966 69045 1111 63 0 69903 0 vsize: 279864 [startup+50.0042 s] Raw data (loadavg): 0.80 0.87 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 229576 0 0 0 4466 532 0 0 25 0 1 0 908608844 292122624 70421 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71319 70421 1111 63 0 71256 0 vsize: 285276 [startup+60.0055 s] Raw data (loadavg): 0.83 0.87 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 229576 0 0 0 5466 532 0 0 25 0 1 0 908608844 292122624 70421 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71319 70421 1111 63 0 71256 0 vsize: 285276 [startup+70.0059 s] Raw data (loadavg): 0.86 0.88 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 229935 0 0 0 6464 534 0 0 25 0 1 0 908608844 292384768 70485 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 71383 70485 1111 63 0 71320 0 vsize: 285532 [startup+80.0067 s] Raw data (loadavg): 0.88 0.88 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 233415 0 0 0 7455 543 0 0 25 0 1 0 908608844 295387136 71218 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72116 71218 1111 63 0 72053 0 vsize: 288464 [startup+90.007 s] Raw data (loadavg): 0.90 0.89 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 233535 0 0 0 8454 544 0 0 25 0 1 0 908608844 295387136 71218 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72116 71218 1111 63 0 72053 0 vsize: 288464 [startup+100.006 s] Raw data (loadavg): 0.91 0.89 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 234408 0 0 0 9451 547 0 0 25 0 1 0 908608844 296288256 71438 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72336 71438 1111 63 0 72273 0 vsize: 289344 [startup+110.007 s] Raw data (loadavg): 0.93 0.89 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 245916 0 0 0 10423 575 0 0 25 0 1 0 908608844 296288256 71438 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72336 71438 1111 63 0 72273 0 vsize: 289344 [startup+120.009 s] Raw data (loadavg): 0.94 0.89 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 248016 0 0 0 11417 581 0 0 25 0 1 0 908608844 298221568 71910 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 72808 71910 1111 63 0 72745 0 vsize: 291232 [startup+130.009 s] Raw data (loadavg): 0.95 0.90 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 254389 0 0 0 12401 597 0 0 25 0 1 0 908608844 299634688 72255 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73153 72255 1111 63 0 73090 0 vsize: 292612 [startup+140.009 s] Raw data (loadavg): 0.95 0.90 0.88 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 255640 0 0 0 13397 601 0 0 25 0 1 0 908608844 300707840 72517 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73415 72517 1111 63 0 73352 0 vsize: 293660 [startup+150.01 s] Raw data (loadavg): 0.96 0.90 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 256244 0 0 0 14395 603 0 0 25 0 1 0 908608844 302690304 73001 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73899 73001 1111 63 0 73836 0 vsize: 295596 [startup+160.011 s] Raw data (loadavg): 0.97 0.91 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 258974 0 0 0 15387 612 0 0 25 0 1 0 908608844 302690304 73001 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73899 73001 1111 63 0 73836 0 vsize: 295596 [startup+170.011 s] Raw data (loadavg): 0.97 0.91 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 265381 0 0 0 16368 630 0 0 25 0 1 0 908608844 302866432 73044 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73942 73044 1111 63 0 73879 0 vsize: 295768 [startup+180.012 s] Raw data (loadavg): 0.97 0.91 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 274599 0 0 0 17346 653 0 0 25 0 1 0 908608844 302866432 73044 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73942 73044 1111 63 0 73879 0 vsize: 295768 [startup+190.012 s] Raw data (loadavg): 0.98 0.91 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 276307 0 0 0 18342 657 0 0 25 0 1 0 908608844 303468544 73191 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 74089 73191 1111 63 0 74026 0 vsize: 296356 [startup+200.012 s] Raw data (loadavg): 0.98 0.92 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 278076 0 0 0 19337 662 0 0 25 0 1 0 908608844 307372032 74143 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75042 74143 1111 63 0 74979 0 vsize: 300168 [startup+210.013 s] Raw data (loadavg): 0.98 0.92 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 278585 0 0 0 20334 665 0 0 25 0 1 0 908608844 308187136 74342 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75241 74342 1111 63 0 75178 0 vsize: 300964 [startup+220.014 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 279103 0 0 0 21332 667 0 0 25 0 1 0 908608844 308187136 74343 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75241 74343 1111 63 0 75178 0 vsize: 300964 [startup+230.015 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 279824 0 0 0 22330 669 0 0 25 0 1 0 908608844 308617216 74448 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75346 74448 1111 63 0 75283 0 vsize: 301384 [startup+240.016 s] Raw data (loadavg): 0.99 0.92 0.89 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 280264 0 0 0 23329 670 0 0 25 0 1 0 908608844 308617216 74448 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 75346 74448 1111 63 0 75283 0 vsize: 301384 [startup+250.015 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 24324 675 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76708 75809 1111 63 0 76645 0 vsize: 306832 [startup+260.016 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 25324 675 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76708 75809 1111 63 0 76645 0 vsize: 306832 [startup+270.017 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 26323 675 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76708 75809 1111 63 0 76645 0 vsize: 306832 [startup+280.017 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 27323 676 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76708 75809 1111 63 0 76645 0 vsize: 306832 [startup+290.018 s] Raw data (loadavg): 0.99 0.93 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 28323 676 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76708 75809 1111 63 0 76645 0 vsize: 306832 [startup+300.018 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282538 0 0 0 29323 676 0 0 25 0 1 0 908608844 314195968 75810 4294967295 134512640 134716908 3221224560 3221223288 134543552 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76708 75810 1111 63 0 76645 0 vsize: 306832 [startup+310.018 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 285580 0 0 0 30314 685 0 0 25 0 1 0 908608844 314195968 75810 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76708 75810 1111 63 0 76645 0 vsize: 306832 [startup+320.019 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 295797 0 0 0 31288 711 0 0 25 0 1 0 908608844 314195968 75810 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76708 75810 1111 63 0 76645 0 vsize: 306832 [startup+330.021 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 301937 0 0 0 32272 727 0 0 25 0 1 0 908608844 314675200 75927 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76825 75927 1111 63 0 76762 0 vsize: 307300 [startup+340.021 s] Raw data (loadavg): 0.99 0.94 0.90 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 311151 0 0 0 33248 751 0 0 25 0 1 0 908608844 314851328 75970 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76868 75970 1111 63 0 76805 0 vsize: 307472 [startup+350.021 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 311655 0 0 0 34246 753 0 0 25 0 1 0 908608844 315969536 76242 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77141 76242 1111 63 0 77078 0 vsize: 308564 [startup+360.022 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 312406 0 0 0 35244 755 0 0 25 0 1 0 908608844 315969536 76243 4294967295 134512640 134716908 3221224560 3221223128 134558621 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77141 76243 1111 63 0 77078 0 vsize: 308564 [startup+370.023 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 315064 0 0 0 36236 763 0 0 25 0 1 0 908608844 315969536 76243 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77141 76243 1111 63 0 77078 0 vsize: 308564 [startup+380.023 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 317511 0 0 0 37229 771 0 0 25 0 1 0 908608844 317599744 76640 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77539 76640 1111 63 0 77476 0 vsize: 310156 [startup+390.024 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 317865 0 0 0 38227 772 0 0 25 0 1 0 908608844 317939712 76724 4294967295 134512640 134716908 3221224560 3221222984 1077377857 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77622 76724 1111 63 0 77559 0 vsize: 310488 [startup+400.024 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 317978 0 0 0 39226 773 0 0 25 0 1 0 908608844 318242816 76797 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77696 76797 1111 63 0 77633 0 vsize: 310784 [startup+410.026 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 318601 0 0 0 40223 776 0 0 25 0 1 0 908608844 319401984 77080 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 77979 77080 1111 63 0 77916 0 vsize: 311916 [startup+420.026 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 319635 0 0 0 41219 780 0 0 25 0 1 0 908608844 319959040 77217 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78115 77217 1111 63 0 78052 0 vsize: 312460 [startup+430.028 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 319918 0 0 0 42218 781 0 0 25 0 1 0 908608844 320303104 77300 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 78199 77300 1111 63 0 78136 0 vsize: 312796 [startup+440.028 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 320906 0 0 0 43214 785 0 0 25 0 1 0 908608844 320729088 77405 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78303 77405 1111 63 0 78240 0 vsize: 313212 [startup+450.028 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 321369 0 0 0 44213 786 0 0 25 0 1 0 908608844 321032192 77478 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78377 77478 1111 63 0 78314 0 vsize: 313508 [startup+460.028 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 321870 0 0 0 45211 788 0 0 25 0 1 0 908608844 321032192 77479 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78377 77479 1111 63 0 78314 0 vsize: 313508 [startup+470.029 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 12340 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 322425 0 0 0 46210 790 0 0 25 0 1 0 908608844 321458176 77583 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78481 77583 1111 63 0 78418 0 vsize: 313924 [startup+480.03 s] Raw data (loadavg): 0.99 0.96 0.91 3/57 12384 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 322636 0 0 0 47208 791 0 0 25 0 1 0 908608844 321720320 77647 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78545 77647 1111 63 0 78482 0 vsize: 314180 [startup+490.031 s] Raw data (loadavg): 1.07 0.97 0.91 2/54 12393 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 322981 0 0 0 48207 791 0 0 25 0 1 0 908608844 323137536 77992 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78891 77992 1111 63 0 78828 0 vsize: 315564 [startup+500.031 s] Raw data (loadavg): 1.06 0.97 0.91 2/54 12393 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 322981 0 0 0 49207 792 0 0 25 0 1 0 908608844 323137536 77992 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78891 77992 1111 63 0 78828 0 vsize: 315564 [startup+510.032 s] Raw data (loadavg): 1.05 0.97 0.91 2/54 12393 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 323546 0 0 0 50206 794 0 0 25 0 1 0 908608844 323137536 77993 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78891 77993 1111 63 0 78828 0 vsize: 315564 [startup+520.032 s] Raw data (loadavg): 1.04 0.97 0.91 2/54 12393 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 323996 0 0 0 51204 796 0 0 25 0 1 0 908608844 323915776 78182 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79081 78182 1111 63 0 79018 0 vsize: 316324 [startup+530.033 s] Raw data (loadavg): 1.03 0.97 0.91 2/54 12393 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325025 0 0 0 52202 798 0 0 25 0 1 0 908608844 327352320 79022 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79920 79022 1111 63 0 79857 0 vsize: 319680 [startup+540.035 s] Raw data (loadavg): 1.03 0.97 0.91 2/54 12393 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325234 0 0 0 53201 799 0 0 25 0 1 0 908608844 328126464 79211 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80109 79211 1111 63 0 80046 0 vsize: 320436 [startup+550.034 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325327 0 0 0 54200 800 0 0 25 0 1 0 908608844 328425472 79284 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80182 79284 1111 63 0 80119 0 vsize: 320728 [startup+560.035 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325515 0 0 0 55200 801 0 0 25 0 1 0 908608844 329068544 79441 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80339 79441 1111 63 0 80276 0 vsize: 321356 [startup+570.036 s] Raw data (loadavg): 1.02 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325954 0 0 0 56199 802 0 0 25 0 1 0 908608844 329842688 79630 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80528 79630 1111 63 0 80465 0 vsize: 322112 [startup+580.037 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 326057 0 0 0 57198 803 0 0 25 0 1 0 908608844 330141696 79703 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80601 79703 1111 63 0 80538 0 vsize: 322404 [startup+590.039 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 326491 0 0 0 58196 805 0 0 25 0 1 0 908608844 330141696 79703 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80601 79703 1111 63 0 80538 0 vsize: 322404 [startup+600.039 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 328399 0 0 0 59192 809 0 0 25 0 1 0 908608844 330571776 79807 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80706 79807 1111 63 0 80643 0 vsize: 322824 [startup+610.04 s] Raw data (loadavg): 1.01 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 328420 0 0 0 60192 810 0 0 25 0 1 0 908608844 330571776 79808 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80706 79808 1111 63 0 80643 0 vsize: 322824 [startup+620.04 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 329050 0 0 0 61189 812 0 0 25 0 1 0 908608844 330571776 79808 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80706 79808 1111 63 0 80643 0 vsize: 322824 [startup+630.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 329653 0 0 0 62188 814 0 0 25 0 1 0 908608844 331771904 80101 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80999 80101 1111 63 0 80936 0 vsize: 323996 [startup+640.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 329977 0 0 0 63186 816 0 0 25 0 1 0 908608844 333103104 80425 4294967295 134512640 134716908 3221224560 3221223360 134617565 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81324 80425 1111 63 0 81261 0 vsize: 325296 [startup+650.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 330763 0 0 0 64185 818 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82099 81201 1111 63 0 82036 0 vsize: 328396 [startup+660.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 330763 0 0 0 65184 818 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82099 81201 1111 63 0 82036 0 vsize: 328396 [startup+670.041 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 330763 0 0 0 66184 818 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82099 81201 1111 63 0 82036 0 vsize: 328396 [startup+680.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 330874 0 0 0 67184 819 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82099 81201 1111 63 0 82036 0 vsize: 328396 [startup+690.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 331122 0 0 0 68183 820 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82099 81201 1111 63 0 82036 0 vsize: 328396 [startup+700.042 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 331431 0 0 0 69182 821 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82099 81201 1111 63 0 82036 0 vsize: 328396 [startup+710.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 331759 0 0 0 70181 822 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82099 81201 1111 63 0 82036 0 vsize: 328396 [startup+720.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332583 0 0 0 71179 824 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82790 81892 1111 63 0 82727 0 vsize: 331160 [startup+730.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332783 0 0 0 72179 825 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82790 81892 1111 63 0 82727 0 vsize: 331160 [startup+740.043 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332969 0 0 0 73179 825 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82790 81892 1111 63 0 82727 0 vsize: 331160 [startup+750.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332969 0 0 0 74178 826 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82790 81892 1111 63 0 82727 0 vsize: 331160 [startup+760.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332969 0 0 0 75178 826 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82790 81892 1111 63 0 82727 0 vsize: 331160 [startup+770.044 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 333168 0 0 0 76177 827 0 0 25 0 1 0 908608844 339927040 82091 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82990 82091 1111 63 0 82927 0 vsize: 331960 [startup+780.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 333372 0 0 0 77177 828 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82990 82092 1111 63 0 82927 0 vsize: 331960 [startup+790.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 337000 0 0 0 78166 839 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82990 82092 1111 63 0 82927 0 vsize: 331960 [startup+800.045 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12395 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 341981 0 0 0 79152 853 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82990 82092 1111 63 0 82927 0 vsize: 331960 [startup+810.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 347729 0 0 0 80137 868 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82990 82092 1111 63 0 82927 0 vsize: 331960 [startup+820.046 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 354377 0 0 0 81119 887 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82990 82092 1111 63 0 82927 0 vsize: 331960 [startup+830.047 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 362299 0 0 0 82099 906 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82990 82092 1111 63 0 82927 0 vsize: 331960 [startup+840.048 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 371392 0 0 0 83078 928 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82990 82092 1111 63 0 82927 0 vsize: 331960 [startup+850.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 372995 0 0 0 84074 932 0 0 25 0 1 0 908608844 340697088 82280 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83178 82280 1111 63 0 83115 0 vsize: 332712 [startup+860.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373505 0 0 0 85073 933 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82500 1111 63 0 83335 0 vsize: 333592 [startup+870.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 86072 934 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82500 1111 63 0 83335 0 vsize: 333592 [startup+880.049 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 87072 935 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627254 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82500 1111 63 0 83335 0 vsize: 333592 [startup+890.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 88072 935 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82500 1111 63 0 83335 0 vsize: 333592 [startup+900.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 89071 936 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82500 1111 63 0 83335 0 vsize: 333592 [startup+910.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 90071 936 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82500 1111 63 0 83335 0 vsize: 333592 [startup+920.051 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 91071 936 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82500 1111 63 0 83335 0 vsize: 333592 [startup+930.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373922 0 0 0 92071 937 0 0 25 0 1 0 908608844 341598208 82647 4294967295 134512640 134716908 3221224560 3221222784 1075006855 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82647 1111 63 0 83335 0 vsize: 333592 [startup+940.052 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374041 0 0 0 93069 939 0 0 25 0 1 0 908608844 341598208 82650 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82650 1111 63 0 83335 0 vsize: 333592 [startup+950.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374041 0 0 0 94069 939 0 0 25 0 1 0 908608844 341598208 82650 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82650 1111 63 0 83335 0 vsize: 333592 [startup+960.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374041 0 0 0 95069 940 0 0 25 0 1 0 908608844 341598208 82650 4294967295 134512640 134716908 3221224560 3221223336 134613529 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82650 1111 63 0 83335 0 vsize: 333592 [startup+970.053 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 96068 941 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+980.054 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 97068 941 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+990.055 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 98068 941 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+1000.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 99067 942 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+1010.05 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 100067 942 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+1020.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 101066 943 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223352 134597668 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+1030.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 102066 944 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+1040.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 103066 944 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+1050.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 104066 945 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+1060.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 105065 946 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82651 1111 63 0 83335 0 vsize: 333592 [startup+1070.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 106064 946 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1080.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 107064 946 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1090.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 108064 947 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1100.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 109063 948 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1110.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 110063 948 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1120.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 111063 949 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1130.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 112062 949 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1140.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 113062 950 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1150.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 114062 950 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1160.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 115061 951 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1170.06 s] Raw data (loadavg): 1.00 0.97 0.91 2/54 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 116060 952 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 333592 [startup+1175.1 s] Raw data (loadavg): 1.00 0.97 0.91 1/53 12397 Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 116060 952 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83398 82655 1111 63 0 83335 0 vsize: 0 Child status: 0 Real time (s): 1175.1 CPU time (s): 1175.17 CPU user time (s): 1165.48 CPU system time (s): 9.68753 CPU usage (%): 100.006 Max. virtual memory (Kb): 333592 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####