Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb |
MD5SUM | 978e3479aff123296d0a3461e698e01d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 14101 |
Biggest coefficient in the objective function | 292878668 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 975388850291 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 292878668 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 975388850291 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 10.9833 |
Number of variables | 14101 |
Total number of constraints | 15862 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 15263 |
Number of constraints which are nor clauses,nor cardinality constraints | 418 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2463 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 20:33:12 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=29773 boxname=wulflinc2 idbench=1557 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 978e3479aff123296d0a3461e698e01d /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sp97ar.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sp97ar.opb IDLAUNCH: 29773 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 895048 kB Buffers: 5076 kB Cached: 110468 kB SwapCached: 4408 kB Active: 28204 kB Inactive: 92324 kB HighTotal: 131008 kB HighFree: 32816 kB LowTotal: 903652 kB LowFree: 862232 kB SwapTotal: 2097136 kB SwapFree: 2091668 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4976 kB Slab: 13316 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 20:53:14 (client local time) WITH STATUS 0 IN 1200.4 SECONDS stats: 29773 7 1200.4 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 14101 variables and 1739 constraints. c After prepocess the problem consists of 14099 variables and 1639 constraints. c preprocess terminated 287.496 s c Initial Lower Bound: 2041610440 c Lower Bound Elapsed time: 50.29 c Not use computed LB before first solution. c NEW SOLUTION FOUND: -485808217 @ 450.969 c NEW SOLUTION FOUND: -494927183 @ 450.984 c NEW SOLUTION FOUND: -2133666157 @ 451.123 #### 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.86 0.97 0.91 1/54 486 Raw data (stat): 486 (runsolver) R 485 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913189210 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.0009 s] Raw data (loadavg): 0.88 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 22491 0 0 0 951 46 0 0 25 0 1 0 913189210 105074688 22411 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25653 22411 1111 63 0 25590 0 vsize: 102612 [startup+20.0018 s] Raw data (loadavg): 0.90 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 43937 0 0 0 1914 83 0 0 25 0 1 0 913189210 192843776 43857 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47081 43857 1111 63 0 47018 0 vsize: 188324 [startup+30.0015 s] Raw data (loadavg): 0.91 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 65015 0 0 0 2879 119 0 0 25 0 1 0 913189210 279285760 64935 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68185 64935 1111 63 0 68122 0 vsize: 272740 [startup+40.0025 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 85275 0 0 0 3847 151 0 0 25 0 1 0 913189210 362143744 85195 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 88414 85195 1111 63 0 88351 0 vsize: 353656 [startup+50.0029 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 87236 0 0 0 4842 155 0 0 25 0 1 0 913189210 370229248 87156 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90388 87156 1111 63 0 90325 0 vsize: 361552 [startup+60.0025 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 88270 0 0 0 5839 158 0 0 25 0 1 0 913189210 374427648 88190 4294967295 134512640 134716908 3221224560 3221223040 134540336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91413 88190 1111 63 0 91350 0 vsize: 365652 [startup+70.0029 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 89223 0 0 0 6836 161 0 0 25 0 1 0 913189210 378380288 89143 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92378 89143 1111 63 0 92315 0 vsize: 369512 [startup+80.0029 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 90361 0 0 0 7834 164 0 0 25 0 1 0 913189210 382980096 90281 4294967295 134512640 134716908 3221224560 3221222848 134566780 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 93501 90281 1111 63 0 93438 0 vsize: 374004 [startup+90.0027 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 91490 0 0 0 8829 168 0 0 25 0 1 0 913189210 387715072 91410 4294967295 134512640 134716908 3221224560 3221222836 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94657 91411 1111 63 0 94594 0 vsize: 378628 [startup+100.003 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93012 0 0 0 9825 172 0 0 25 0 1 0 913189210 384245760 92857 4294967295 134512640 134716908 3221224560 3221223004 134536760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 93810 92857 1111 63 0 93747 0 vsize: 375240 [startup+110.003 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93146 0 0 0 10823 173 0 0 25 0 1 0 913189210 384786432 92991 4294967295 134512640 134716908 3221224560 3221223288 134675316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 93942 92991 1111 63 0 93879 0 vsize: 375768 [startup+120.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93255 0 0 0 11823 173 0 0 25 0 1 0 913189210 385191936 93100 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94041 93100 1111 63 0 93978 0 vsize: 376164 [startup+130.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93377 0 0 0 12823 174 0 0 25 0 1 0 913189210 385732608 93222 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94173 93222 1111 63 0 94110 0 vsize: 376692 [startup+140.004 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93527 0 0 0 13822 175 0 0 25 0 1 0 913189210 386273280 93372 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94305 93372 1111 63 0 94242 0 vsize: 377220 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93637 0 0 0 14822 175 0 0 25 0 1 0 913189210 386813952 93482 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94437 93482 1111 63 0 94374 0 vsize: 377748 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93782 0 0 0 15822 176 0 0 25 0 1 0 913189210 387358720 93627 4294967295 134512640 134716908 3221224560 3221223004 134536766 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94570 93627 1111 63 0 94507 0 vsize: 378280 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 93915 0 0 0 16821 176 0 0 25 0 1 0 913189210 387899392 93760 4294967295 134512640 134716908 3221224560 3221223004 134535956 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94702 93760 1111 63 0 94639 0 vsize: 378808 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94042 0 0 0 17821 176 0 0 25 0 1 0 913189210 388440064 93887 4294967295 134512640 134716908 3221224560 3221223028 134543027 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94834 93887 1111 63 0 94771 0 vsize: 379336 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94152 0 0 0 18821 177 0 0 25 0 1 0 913189210 388845568 93997 4294967295 134512640 134716908 3221224560 3221223004 134535900 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94933 93997 1111 63 0 94870 0 vsize: 379732 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94223 0 0 0 19821 177 0 0 25 0 1 0 913189210 389115904 94068 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94999 94068 1111 63 0 94936 0 vsize: 379996 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94350 0 0 0 20821 178 0 0 25 0 1 0 913189210 389656576 94195 4294967295 134512640 134716908 3221224560 3221223048 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95131 94195 1111 63 0 95068 0 vsize: 380524 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94487 0 0 0 21820 178 0 0 25 0 1 0 913189210 390197248 94332 4294967295 134512640 134716908 3221224560 3221223004 134535942 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95263 94332 1111 63 0 95200 0 vsize: 381052 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94656 0 0 0 22820 179 0 0 25 0 1 0 913189210 391008256 94501 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95461 94501 1111 63 0 95398 0 vsize: 381844 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94661 0 0 0 23820 179 0 0 25 0 1 0 913189210 391008256 94506 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95461 94506 1111 63 0 95398 0 vsize: 381844 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94667 0 0 0 24820 179 0 0 25 0 1 0 913189210 391008256 94512 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95461 94512 1111 63 0 95398 0 vsize: 381844 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94670 0 0 0 25820 179 0 0 25 0 1 0 913189210 391008256 94515 4294967295 134512640 134716908 3221224560 3221223232 134627268 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95461 94515 1111 63 0 95398 0 vsize: 381844 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94675 0 0 0 26821 179 0 0 25 0 1 0 913189210 391008256 94520 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95461 94520 1111 63 0 95398 0 vsize: 381844 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 94680 0 0 0 27820 179 0 0 25 0 1 0 913189210 391008256 94525 4294967295 134512640 134716908 3221224560 3221223232 134627257 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95461 94525 1111 63 0 95398 0 vsize: 381844 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 96068 0 0 0 28818 182 0 0 25 0 1 0 913189210 396111872 95771 4294967295 134512640 134716908 3221224560 3221218432 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 96707 95771 1111 63 0 96644 0 vsize: 386828 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 96317 0 0 0 29815 184 0 0 25 0 1 0 913189210 397131776 96020 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 96956 96020 1111 63 0 96893 0 vsize: 387824 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 96347 0 0 0 30815 184 0 0 25 0 1 0 913189210 397250560 96050 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96985 96050 1111 63 0 96922 0 vsize: 387940 [startup+320.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 101000 0 0 0 31805 194 0 0 25 0 1 0 913189210 405798912 98078 4294967295 134512640 134716908 3221224560 3221220624 1074794542 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 99072 98078 1111 63 0 99009 0 vsize: 396288 [startup+330.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 101004 0 0 0 32805 194 0 0 25 0 1 0 913189210 405798912 98082 4294967295 134512640 134716908 3221224560 3221221040 1076047814 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 99072 98082 1111 63 0 99009 0 vsize: 396288 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 101004 0 0 0 33806 194 0 0 25 0 1 0 913189210 405798912 98082 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 99072 98082 1111 63 0 99009 0 vsize: 396288 [startup+350.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 105307 0 0 0 34796 204 0 0 25 0 1 0 913189210 398921728 96583 4294967295 134512640 134716908 3221224560 3221222976 134646800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97393 96583 1111 63 0 97330 0 vsize: 389572 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 106087 0 0 0 35793 206 0 0 25 0 1 0 913189210 398921728 96583 4294967295 134512640 134716908 3221224560 3221222976 134646842 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97393 96583 1111 63 0 97330 0 vsize: 389572 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 110959 0 0 0 36782 218 0 0 25 0 1 0 913189210 406982656 98465 4294967295 134512640 134716908 3221224560 3221220332 1074787816 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 99361 98465 1111 63 0 99298 0 vsize: 397444 [startup+380.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 113546 0 0 0 37777 224 0 0 25 0 1 0 913189210 403877888 97795 4294967295 134512640 134716908 3221224560 3221221568 1074138614 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 98603 97795 1111 63 0 98540 0 vsize: 394412 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 114429 0 0 0 38774 226 0 0 25 0 1 0 913189210 399851520 96780 4294967295 134512640 134716908 3221224560 3221222956 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97620 96780 1111 63 0 97557 0 vsize: 390480 [startup+400.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 114429 0 0 0 39774 226 0 0 25 0 1 0 913189210 399851520 96780 4294967295 134512640 134716908 3221224560 3221222976 134646694 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97620 96780 1111 63 0 97557 0 vsize: 390480 [startup+410.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 118927 0 0 0 40765 236 0 0 25 0 1 0 913189210 407568384 98560 4294967295 134512640 134716908 3221224560 3221220704 1075088560 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 99504 98560 1111 63 0 99441 0 vsize: 398016 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 122542 0 0 0 41757 244 0 0 25 0 1 0 913189210 400093184 96857 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97679 96857 1111 63 0 97616 0 vsize: 390716 [startup+430.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 122542 0 0 0 42757 244 0 0 25 0 1 0 913189210 400093184 96857 4294967295 134512640 134716908 3221224560 3221222976 134646788 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97679 96857 1111 63 0 97616 0 vsize: 390716 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 122542 0 0 0 43757 244 0 0 25 0 1 0 913189210 400093184 96857 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 97679 96857 1111 63 0 97616 0 vsize: 390716 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 122542 0 0 0 44755 245 0 0 25 0 1 0 913189210 400093184 96857 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97679 96857 1111 63 0 97616 0 vsize: 390716 [startup+460.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 154431 0 0 0 45685 315 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+470.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 178809 0 0 0 46633 367 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+480.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 198118 0 0 0 47590 410 0 0 25 0 1 0 913189210 396525568 96004 4294967295 134512640 134716908 3221224560 3221222208 1074247399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96808 96004 1111 63 0 96745 0 vsize: 387232 [startup+490.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 214871 0 0 0 48554 447 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+500.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 230655 0 0 0 49522 480 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222712 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+510.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 244969 0 0 0 50488 513 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+520.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 258354 0 0 0 51457 545 0 0 25 0 1 0 913189210 397459456 96010 4294967295 134512640 134716908 3221224560 3221222588 1077404742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97036 96010 1111 63 0 96973 0 vsize: 388144 [startup+530.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 271202 0 0 0 52427 575 0 0 25 0 1 0 913189210 396730368 96026 4294967295 134512640 134716908 3221224560 3221222960 1074118815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96858 96026 1111 63 0 96795 0 vsize: 387432 [startup+540.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 283183 0 0 0 53400 602 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222680 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 294338 0 0 0 54376 626 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222752 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+560.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 304910 0 0 0 55353 650 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222912 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+570.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 315311 0 0 0 56330 672 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222832 1074056255 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96741 95937 1111 63 0 96678 0 vsize: 387096 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 325165 0 0 0 57309 693 0 0 25 0 1 0 913189210 396636160 95990 4294967295 134512640 134716908 3221224560 3221222304 1075646995 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387340 [startup+590.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 334906 0 0 0 58287 716 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 344023 0 0 0 59268 735 0 0 25 0 1 0 913189210 397500416 96073 4294967295 134512640 134716908 3221224560 3221222288 1075828211 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97046 96073 1111 63 0 96983 0 vsize: 388184 [startup+610.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 353167 0 0 0 60246 758 0 0 25 0 1 0 913189210 396898304 96060 4294967295 134512640 134716908 3221224560 3221222912 1074115331 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96899 96064 1111 63 0 96836 0 vsize: 387596 [startup+620.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 362320 0 0 0 61226 777 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222448 1074056202 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+630.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 371026 0 0 0 62207 796 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222664 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 379761 0 0 0 63188 816 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+650.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 388051 0 0 0 64171 833 0 0 25 0 1 0 913189210 397643776 96108 4294967295 134512640 134716908 3221224560 3221222672 1074867344 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97081 96108 1111 63 0 97018 0 vsize: 388324 [startup+660.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 396471 0 0 0 65152 852 0 0 25 0 1 0 913189210 396697600 96046 4294967295 134512640 134716908 3221224560 3221222136 1077410205 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96850 96046 1111 63 0 96787 0 vsize: 387400 [startup+670.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 404324 0 0 0 66134 871 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+680.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 412624 0 0 0 67116 889 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222432 1074050884 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+690.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 420313 0 0 0 68101 904 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+700.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 428029 0 0 0 69084 921 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222332 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+710.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 435753 0 0 0 70068 937 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+720.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 442914 0 0 0 71053 952 0 0 25 0 1 0 913189210 396402688 95974 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96779 95975 1111 63 0 96716 0 vsize: 387112 [startup+730.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 450089 0 0 0 72035 971 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222824 1074138162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+740.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 457362 0 0 0 73020 985 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+750.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 464672 0 0 0 74004 1002 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222752 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+760.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 471983 0 0 0 74988 1018 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+770.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 478644 0 0 0 75975 1031 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222768 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+780.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 485305 0 0 0 76960 1046 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+790.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 491823 0 0 0 77946 1061 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222936 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+800.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 498279 0 0 0 78932 1075 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222768 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+810.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 504683 0 0 0 79918 1089 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+820.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 510882 0 0 0 80904 1103 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+830.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 516522 0 0 0 81891 1116 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+840.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 522771 0 0 0 82879 1129 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222944 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+850.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 528475 0 0 0 83867 1141 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222752 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+860.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 534190 0 0 0 84855 1153 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222800 1074153736 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+870.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 539925 0 0 0 85843 1165 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222800 1074153767 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+880.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 545659 0 0 0 86830 1178 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222776 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+890.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 551406 0 0 0 87819 1190 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+900.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 556591 0 0 0 88809 1200 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138155 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+910.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 562397 0 0 0 89797 1214 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+920.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 567553 0 0 0 90790 1225 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222816 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+930.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 572694 0 0 0 91778 1237 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+940.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 578179 0 0 0 92765 1250 0 0 25 0 1 0 913189210 397164544 96138 4294967295 134512640 134716908 3221224560 3221222960 1074118806 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96964 96138 1111 63 0 96901 0 vsize: 387856 [startup+950.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 583556 0 0 0 93754 1261 0 0 25 0 1 0 913189210 397856768 96070 4294967295 134512640 134716908 3221224560 3221221544 1074831411 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97133 96070 1111 63 0 97070 0 vsize: 388532 [startup+960.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 588700 0 0 0 94744 1272 0 0 25 0 1 0 913189210 396935168 96073 4294967295 134512640 134716908 3221224560 3221222696 1077378037 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96908 96075 1111 63 0 96845 0 vsize: 387632 [startup+970.074 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 594009 0 0 0 95731 1285 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+980.073 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 599490 0 0 0 96720 1296 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+990.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 604971 0 0 0 97710 1309 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222816 1074153812 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+1000.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 609779 0 0 0 98700 1319 0 0 25 0 1 0 913189210 396435456 95982 4294967295 134512640 134716908 3221224560 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96786 95982 1111 63 0 96723 0 vsize: 387144 [startup+1010.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 615299 0 0 0 99688 1330 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+1020.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 620180 0 0 0 100677 1342 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+1030.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 625555 0 0 0 101665 1353 0 0 25 0 1 0 913189210 397955072 96095 4294967295 134512640 134716908 3221224560 3221221600 1075859942 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97157 96095 1111 63 0 97094 0 vsize: 388628 [startup+1040.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 630637 0 0 0 102656 1363 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222752 1074153800 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+1050.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 635541 0 0 0 103646 1373 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+1060.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 640429 0 0 0 104635 1384 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222760 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+1070.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 645303 0 0 0 105626 1394 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222768 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+1080.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 650151 0 0 0 106616 1404 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222848 1074153815 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+1090.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 654970 0 0 0 107604 1416 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222792 1077410279 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+1100.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 659797 0 0 0 108595 1425 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222712 1074138144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+1110.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 664716 0 0 0 109584 1436 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222856 1074138150 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+1120.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 669673 0 0 0 110572 1448 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222144 1077814665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+1130.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 674024 0 0 0 111562 1458 0 0 25 0 1 0 913189210 397905920 96077 4294967295 134512640 134716908 3221224560 3221222384 1075823363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97145 96081 1111 63 0 97082 0 vsize: 388580 [startup+1140.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 678858 0 0 0 112552 1468 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 [startup+1150.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 683796 0 0 0 113540 1481 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222800 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+1160.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 688057 0 0 0 114530 1491 0 0 25 0 1 0 913189210 396435456 95982 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96786 95982 1111 63 0 96723 0 vsize: 387144 [startup+1170.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 693008 0 0 0 115519 1503 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222664 1074138158 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+1180.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 697266 0 0 0 116509 1513 0 0 25 0 1 0 913189210 396435456 95982 4294967295 134512640 134716908 3221224560 3221222752 1074153822 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96786 95982 1111 63 0 96723 0 vsize: 387144 [startup+1190.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 702191 0 0 0 117497 1524 0 0 25 0 1 0 913189210 396386304 95970 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 96774 95970 1111 63 0 96711 0 vsize: 387096 [startup+1200.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) R 485 31399 31398 0 -1 0 706439 0 0 0 118487 1534 0 0 25 0 1 0 913189210 396410880 95976 4294967295 134512640 134716908 3221224560 3221222752 1074153736 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 96780 95976 1111 63 0 96717 0 vsize: 387120 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.27 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 486 Raw data (stat): 486 (bsolo_lpr_cuts-) Z 485 31399 31398 0 -1 1036 706439 0 0 0 118487 1552 0 0 25 0 1 0 913189210 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.27 CPU time (s): 1200.4 CPU user time (s): 1184.87 CPU system time (s): 15.5256 CPU usage (%): 100.01 Max. virtual memory (Kb): 398016 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####