Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A1C1S1.opb |
MD5SUM | 4927ae8cbb5bb871eb7a61843614b4ec |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 25152 |
Biggest coefficient in the objective function | 30395596800 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 14310357806800 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 30395596800 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 14310357806800 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.630904 |
Number of variables | 69312 |
Total number of constraints | 3504 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 192 |
Number of constraints which are nor clauses,nor cardinality constraints | 3312 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 485 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-17 20:43:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19866 boxname=wulflinc31 idbench=1529 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 4927ae8cbb5bb871eb7a61843614b4ec /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-A1C1S1.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-A1C1S1.opb IDLAUNCH: 19866 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 830208 kB Buffers: 29868 kB Cached: 149468 kB SwapCached: 2836 kB Active: 91340 kB Inactive: 93076 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 829956 kB SwapTotal: 2097892 kB SwapFree: 2094220 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5380 kB Slab: 14368 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-17 21:02:37 (client local time) WITH STATUS 0 IN 1175.3 SECONDS stats: 19866 7 1175.3 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 69312 variables and 4560 constraints. c After prepocess the problem consists of 50352 variables and 5235 constraints. c preprocess terminated 294.44 s c Initial Lower Bound: 2147483344 c Lower Bound Elapsed time: 201.399 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.05 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 Raw data (loadavg): 0.85 0.94 0.97 2/55 29908 Raw data (stat): 29908 (runsolver) R 29907 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 772700772 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0007 s] Raw data (loadavg): 0.87 0.94 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1524 0 0 0 989 7 0 0 25 0 1 0 772700772 18898944 1447 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4614 1447 1111 63 0 4551 0 vsize: 18456 [startup+20.0015 s] Raw data (loadavg): 0.89 0.94 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 2508 0 0 0 1986 10 0 0 25 0 1 0 772700772 22847488 2431 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5578 2431 1111 63 0 5515 0 vsize: 22312 [startup+30.0044 s] Raw data (loadavg): 0.91 0.94 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 3529 0 0 0 2984 12 0 0 25 0 1 0 772700772 27107328 3452 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6618 3452 1111 63 0 6555 0 vsize: 26472 [startup+40.0043 s] Raw data (loadavg): 0.92 0.94 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 4572 0 0 0 3982 14 0 0 25 0 1 0 772700772 31338496 4495 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7651 4495 1111 63 0 7588 0 vsize: 30604 [startup+50.0052 s] Raw data (loadavg): 0.93 0.94 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 5664 0 0 0 4981 16 0 0 25 0 1 0 772700772 35856384 5587 4294967295 134512640 134714508 3221221776 3221220024 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8754 5587 1111 63 0 8691 0 vsize: 35016 [startup+60.0054 s] Raw data (loadavg): 0.94 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 6848 0 0 0 5979 18 0 0 25 0 1 0 772700772 40673280 6771 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9930 6771 1111 63 0 9867 0 vsize: 39720 [startup+70.006 s] Raw data (loadavg): 0.95 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 8093 0 0 0 6977 20 0 0 25 0 1 0 772700772 45752320 8016 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11170 8016 1111 63 0 11107 0 vsize: 44680 [startup+80.0069 s] Raw data (loadavg): 0.96 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 9436 0 0 0 7974 23 0 0 25 0 1 0 772700772 51261440 9359 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12515 9359 1111 63 0 12452 0 vsize: 50060 [startup+90.0068 s] Raw data (loadavg): 0.96 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 10857 0 0 0 8972 26 0 0 25 0 1 0 772700772 57049088 10780 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13928 10780 1111 63 0 13865 0 vsize: 55712 [startup+100.007 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 12380 0 0 0 9968 29 0 0 25 0 1 0 772700772 63479808 12303 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15498 12303 1111 63 0 15435 0 vsize: 61992 [startup+110.007 s] Raw data (loadavg): 0.97 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 14054 0 0 0 10966 32 0 0 25 0 1 0 772700772 70258688 13977 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17153 13977 1111 63 0 17090 0 vsize: 68612 [startup+120.008 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 15922 0 0 0 11962 36 0 0 25 0 1 0 772700772 77881344 15845 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19014 15845 1111 63 0 18951 0 vsize: 76056 [startup+130.009 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 18265 0 0 0 12957 41 0 0 25 0 1 0 772700772 87416832 18188 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21342 18188 1111 63 0 21279 0 vsize: 85368 [startup+140.008 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 38928 0 0 0 13912 86 0 0 25 0 1 0 772700772 172109824 38851 4294967295 134512640 134714508 3221221776 3221219692 1077270148 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42019 38851 1111 63 0 41956 0 vsize: 168076 [startup+150.009 s] Raw data (loadavg): 0.98 0.95 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 55348 0 0 0 14881 116 0 0 25 0 1 0 772700772 238616576 54941 4294967295 134512640 134714508 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 58256 54941 1111 63 0 58193 0 vsize: 233024 [startup+160.009 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 69951 0 0 0 15844 153 0 0 25 0 1 0 772700772 261627904 62461 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63874 62461 1111 63 0 63811 0 vsize: 255496 [startup+170.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 88031 0 0 0 16802 195 0 0 25 0 1 0 772700772 265469952 63405 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64812 63405 1111 63 0 64749 0 vsize: 259248 [startup+180.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 88224 0 0 0 17802 195 0 0 25 0 1 0 772700772 266289152 63598 4294967295 134512640 134714508 3221221776 3221220576 134617634 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65012 63598 1111 63 0 64949 0 vsize: 260048 [startup+190.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 88427 0 0 0 18802 196 0 0 25 0 1 0 772700772 267112448 63801 4294967295 134512640 134714508 3221221776 3221220504 134672911 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65213 63801 1111 63 0 65150 0 vsize: 260852 [startup+200.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 88514 0 0 0 19802 196 0 0 25 0 1 0 772700772 267522048 63888 4294967295 134512640 134714508 3221221776 3221220252 134539296 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65313 63888 1111 63 0 65250 0 vsize: 261252 [startup+210.01 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 178922 0 0 0 20608 390 0 0 25 0 1 0 772700772 267653120 63924 4294967295 134512640 134714508 3221221776 3221220576 134617634 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65345 63924 1111 63 0 65282 0 vsize: 261380 [startup+220.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 278577 0 0 0 21393 605 0 0 25 0 1 0 772700772 268623872 64028 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65582 64035 1111 63 0 65519 0 vsize: 262328 [startup+230.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 380157 0 0 0 22178 820 0 0 25 0 1 0 772700772 268058624 64015 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65444 64015 1111 63 0 65381 0 vsize: 261776 [startup+240.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 434131 0 0 0 23061 937 0 0 25 0 1 0 772700772 268472320 64133 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65545 64133 1111 63 0 65482 0 vsize: 262180 [startup+250.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 434136 0 0 0 24062 937 0 0 25 0 1 0 772700772 268472320 64138 4294967295 134512640 134714508 3221221776 3221220440 134627136 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+260.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 434136 0 0 0 25062 937 0 0 25 0 1 0 772700772 268472320 64138 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+270.012 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 434136 0 0 0 26062 937 0 0 25 0 1 0 772700772 268472320 64138 4294967295 134512640 134714508 3221221776 3221220432 134627348 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 434136 0 0 0 27062 937 0 0 25 0 1 0 772700772 268472320 64138 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+290.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 434136 0 0 0 28062 937 0 0 25 0 1 0 772700772 268472320 64138 4294967295 134512640 134714508 3221221776 3221220448 134627241 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 512716 0 0 0 28894 1105 0 0 25 0 1 0 772700772 282370048 67238 4294967295 134512640 134714508 3221221776 3221219660 1077411564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68938 67244 1111 63 0 68875 0 vsize: 275752 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 640452 0 0 0 29608 1391 0 0 25 0 1 0 772700772 282284032 67338 4294967295 134512640 134714508 3221221776 3221220000 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68917 67338 1111 63 0 68854 0 vsize: 275668 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 756868 0 0 0 30347 1652 0 0 25 0 1 0 772700772 282787840 67391 4294967295 134512640 134714508 3221221776 3221219816 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69040 67399 1111 63 0 68977 0 vsize: 276160 [startup+330.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 856358 0 0 0 31123 1877 0 0 25 0 1 0 772700772 282972160 67510 4294967295 134512640 134714508 3221221776 3221219552 1074153675 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69085 67510 1111 63 0 69022 0 vsize: 276340 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 938897 0 0 0 31926 2074 0 0 25 0 1 0 772700772 283471872 67633 4294967295 134512640 134714508 3221221776 3221219280 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69139 67565 1111 63 0 69076 0 vsize: 276828 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1008917 0 0 0 32757 2243 0 0 25 0 1 0 772700772 283947008 67749 4294967295 134512640 134714508 3221221776 3221219328 1074153663 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69323 67749 1111 63 0 69260 0 vsize: 277292 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1070617 0 0 0 33609 2391 0 0 25 0 1 0 772700772 284323840 67841 4294967295 134512640 134714508 3221221776 3221219408 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69415 67841 1111 63 0 69352 0 vsize: 277660 [startup+370.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1126196 0 0 0 34475 2525 0 0 25 0 1 0 772700772 284692480 67932 4294967295 134512640 134714508 3221221776 3221219280 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69505 67932 1111 63 0 69442 0 vsize: 278020 [startup+380.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159087 0 0 0 35397 2603 0 0 25 0 1 0 772700772 300359680 71161 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71161 1111 63 0 73267 0 vsize: 293320 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159126 0 0 0 36397 2603 0 0 25 0 1 0 772700772 300359680 71200 4294967295 134512640 134714508 3221221776 3221217904 1074815309 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71200 1111 63 0 73267 0 vsize: 293320 [startup+400.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159139 0 0 0 37398 2603 0 0 25 0 1 0 772700772 300359680 71213 4294967295 134512640 134714508 3221221776 3221217916 1075116722 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71213 1111 63 0 73267 0 vsize: 293320 [startup+410.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159141 0 0 0 38398 2603 0 0 25 0 1 0 772700772 300359680 71215 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71215 1111 63 0 73267 0 vsize: 293320 [startup+420.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159141 0 0 0 39398 2603 0 0 25 0 1 0 772700772 300359680 71215 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71215 1111 63 0 73267 0 vsize: 293320 [startup+430.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159141 0 0 0 40398 2603 0 0 25 0 1 0 772700772 300359680 71215 4294967295 134512640 134714508 3221221776 3221218240 1075088563 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71215 1111 63 0 73267 0 vsize: 293320 [startup+440.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159141 0 0 0 41398 2603 0 0 25 0 1 0 772700772 300359680 71215 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71215 1111 63 0 73267 0 vsize: 293320 [startup+450.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159143 0 0 0 42398 2603 0 0 25 0 1 0 772700772 300359680 71217 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71217 1111 63 0 73267 0 vsize: 293320 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159143 0 0 0 43399 2603 0 0 25 0 1 0 772700772 300359680 71217 4294967295 134512640 134714508 3221221776 3221217916 1075116741 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71217 1111 63 0 73267 0 vsize: 293320 [startup+470.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159143 0 0 0 44399 2604 0 0 25 0 1 0 772700772 300359680 71217 4294967295 134512640 134714508 3221221776 3221217856 1075091544 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71217 1111 63 0 73267 0 vsize: 293320 [startup+480.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159144 0 0 0 45399 2604 0 0 25 0 1 0 772700772 300359680 71218 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71218 1111 63 0 73267 0 vsize: 293320 [startup+490.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159144 0 0 0 46399 2604 0 0 25 0 1 0 772700772 300359680 71218 4294967295 134512640 134714508 3221221776 3221217944 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71218 1111 63 0 73267 0 vsize: 293320 [startup+500.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159144 0 0 0 47399 2604 0 0 25 0 1 0 772700772 300359680 71218 4294967295 134512640 134714508 3221221776 3221217936 1075088566 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71218 1111 63 0 73267 0 vsize: 293320 [startup+510.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159144 0 0 0 48399 2604 0 0 25 0 1 0 772700772 300359680 71218 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71218 1111 63 0 73267 0 vsize: 293320 [startup+520.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159144 0 0 0 49400 2604 0 0 25 0 1 0 772700772 300359680 71218 4294967295 134512640 134714508 3221221776 3221218224 1075119993 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71218 1111 63 0 73267 0 vsize: 293320 [startup+530.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159144 0 0 0 50400 2604 0 0 25 0 1 0 772700772 300359680 71218 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73330 71218 1111 63 0 73267 0 vsize: 293320 [startup+540.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159161 0 0 0 51400 2604 0 0 25 0 1 0 772700772 301076480 71235 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73505 71235 1111 63 0 73442 0 vsize: 294020 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159161 0 0 0 52400 2604 0 0 25 0 1 0 772700772 301076480 71235 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73505 71235 1111 63 0 73442 0 vsize: 294020 [startup+560.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159161 0 0 0 53400 2604 0 0 25 0 1 0 772700772 301076480 71235 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73505 71235 1111 63 0 73442 0 vsize: 294020 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159161 0 0 0 54400 2604 0 0 25 0 1 0 772700772 301076480 71235 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73505 71235 1111 63 0 73442 0 vsize: 294020 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159161 0 0 0 55401 2604 0 0 25 0 1 0 772700772 301076480 71235 4294967295 134512640 134714508 3221221776 3221217660 1074860655 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73505 71235 1111 63 0 73442 0 vsize: 294020 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159162 0 0 0 56401 2604 0 0 25 0 1 0 772700772 301076480 71236 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73505 71236 1111 63 0 73442 0 vsize: 294020 [startup+600.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159162 0 0 0 57401 2604 0 0 25 0 1 0 772700772 301076480 71236 4294967295 134512640 134714508 3221221776 3221217660 1074860620 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73505 71236 1111 63 0 73442 0 vsize: 294020 [startup+610.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159167 0 0 0 58401 2604 0 0 25 0 1 0 772700772 301076480 71241 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73505 71241 1111 63 0 73442 0 vsize: 294020 [startup+620.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1159168 0 0 0 59401 2604 0 0 25 0 1 0 772700772 301076480 71242 4294967295 134512640 134714508 3221221776 3221217692 1074861001 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73505 71242 1111 63 0 73442 0 vsize: 294020 [startup+630.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1163144 0 0 0 60392 2613 0 0 25 0 1 0 772700772 295518208 70046 4294967295 134512640 134714508 3221221776 3221218888 1074138303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72148 70055 1111 63 0 72085 0 vsize: 288592 [startup+640.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1219983 0 0 0 61257 2748 0 0 25 0 1 0 772700772 294133760 70203 4294967295 134512640 134714508 3221221776 3221219840 1074790226 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71810 70203 1111 63 0 71747 0 vsize: 287240 [startup+650.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271130 0 0 0 62141 2865 0 0 25 0 1 0 772700772 351309824 83627 4294967295 134512640 134714508 3221221776 3221217916 1075116498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83627 1111 63 0 85706 0 vsize: 343076 [startup+660.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271194 0 0 0 63141 2865 0 0 25 0 1 0 772700772 351309824 83691 4294967295 134512640 134714508 3221221776 3221217660 1074860659 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83691 1111 63 0 85706 0 vsize: 343076 [startup+670.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271195 0 0 0 64141 2865 0 0 25 0 1 0 772700772 351309824 83692 4294967295 134512640 134714508 3221221776 3221218768 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83692 1111 63 0 85706 0 vsize: 343076 [startup+680.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271195 0 0 0 65141 2865 0 0 25 0 1 0 772700772 351309824 83692 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83692 1111 63 0 85706 0 vsize: 343076 [startup+690.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 66141 2865 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+700.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 67141 2865 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+710.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 68141 2865 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+720.029 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 69142 2865 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217916 1075116862 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+730.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 70141 2866 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221218224 1074885000 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+740.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 71141 2866 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+750.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 72142 2866 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217660 1074860816 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+760.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 73142 2866 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+770.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 74142 2866 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+780.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 75142 2866 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221218640 1074620363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+790.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 76142 2866 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+800.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 77142 2866 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217768 1074950220 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+810.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271198 0 0 0 78142 2867 0 0 25 0 1 0 772700772 351309824 83694 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85769 83694 1111 63 0 85706 0 vsize: 343076 [startup+820.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271210 0 0 0 79142 2867 0 0 25 0 1 0 772700772 352026624 83706 4294967295 134512640 134714508 3221221776 3221217660 1074860620 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85944 83706 1111 63 0 85881 0 vsize: 343776 [startup+830.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271210 0 0 0 80143 2867 0 0 25 0 1 0 772700772 352026624 83706 4294967295 134512640 134714508 3221221776 3221217660 1074860595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85944 83706 1111 63 0 85881 0 vsize: 343776 [startup+840.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271210 0 0 0 81143 2867 0 0 25 0 1 0 772700772 352026624 83706 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85944 83706 1111 63 0 85881 0 vsize: 343776 [startup+850.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271211 0 0 0 82143 2867 0 0 25 0 1 0 772700772 352026624 83707 4294967295 134512640 134714508 3221221776 3221218464 1076083427 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85944 83707 1111 63 0 85881 0 vsize: 343776 [startup+860.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1271211 0 0 0 83143 2867 0 0 25 0 1 0 772700772 352026624 83707 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85944 83707 1111 63 0 85881 0 vsize: 343776 [startup+870.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1293184 0 0 0 84090 2920 0 0 25 0 1 0 772700772 342323200 82057 4294967295 134512640 134714508 3221221776 3221220176 1074031989 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83575 82057 1111 63 0 83512 0 vsize: 334300 [startup+880.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1338515 0 0 0 84982 3028 0 0 25 0 1 0 772700772 411398144 98859 4294967295 134512640 134714508 3221221776 3221220032 134554866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 100439 98865 1111 63 0 100376 0 vsize: 401756 [startup+890.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353600 0 0 0 85950 3060 0 0 25 0 1 0 772700772 427307008 102208 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104323 102208 1111 63 0 104260 0 vsize: 417292 [startup+900.034 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353602 0 0 0 86950 3060 0 0 25 0 1 0 772700772 427307008 102210 4294967295 134512640 134714508 3221221776 3221218700 1074621120 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104323 102210 1111 63 0 104260 0 vsize: 417292 [startup+910.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353603 0 0 0 87950 3060 0 0 25 0 1 0 772700772 427307008 102211 4294967295 134512640 134714508 3221221776 3221218624 1075960342 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104323 102211 1111 63 0 104260 0 vsize: 417292 [startup+920.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353604 0 0 0 88951 3060 0 0 25 0 1 0 772700772 427307008 102212 4294967295 134512640 134714508 3221221776 3221217916 1075116731 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104323 102212 1111 63 0 104260 0 vsize: 417292 [startup+930.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353604 0 0 0 89951 3060 0 0 25 0 1 0 772700772 427307008 102212 4294967295 134512640 134714508 3221221776 3221217576 1074788452 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104323 102212 1111 63 0 104260 0 vsize: 417292 [startup+940.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353604 0 0 0 90951 3060 0 0 25 0 1 0 772700772 427307008 102212 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104323 102212 1111 63 0 104260 0 vsize: 417292 [startup+950.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353604 0 0 0 91951 3060 0 0 25 0 1 0 772700772 427307008 102212 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104323 102212 1111 63 0 104260 0 vsize: 417292 [startup+960.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353616 0 0 0 92951 3060 0 0 25 0 1 0 772700772 428023808 102224 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104498 102224 1111 63 0 104435 0 vsize: 417992 [startup+970.033 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353620 0 0 0 93951 3060 0 0 25 0 1 0 772700772 428023808 102228 4294967295 134512640 134714508 3221221776 3221217768 1077410163 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104498 102228 1111 63 0 104435 0 vsize: 417992 [startup+980.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1353620 0 0 0 94951 3060 0 0 25 0 1 0 772700772 428023808 102228 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104498 102228 1111 63 0 104435 0 vsize: 417992 [startup+990.032 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1368195 0 0 0 95919 3092 0 0 25 0 1 0 772700772 417259520 100381 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101870 100381 1111 63 0 101807 0 vsize: 407480 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1411921 0 0 0 96817 3195 0 0 25 0 1 0 772700772 485920768 117112 4294967295 134512640 134714508 3221221776 3221219944 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 118633 117112 1111 63 0 118570 0 vsize: 474532 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1438473 0 0 0 97756 3256 0 0 25 0 1 0 772700772 523264000 125664 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127750 125664 1111 63 0 127687 0 vsize: 511000 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 29908 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1438486 0 0 0 98756 3256 0 0 25 0 1 0 772700772 523264000 125677 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127750 125677 1111 63 0 127687 0 vsize: 511000 [startup+1030.03 s] Raw data (loadavg): 1.07 0.99 0.97 2/59 29951 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1438486 0 0 0 99755 3257 0 0 25 0 1 0 772700772 523264000 125677 4294967295 134512640 134714508 3221221776 3221218736 1075859966 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127750 125677 1111 63 0 127687 0 vsize: 511000 [startup+1040.03 s] Raw data (loadavg): 1.14 1.00 0.98 2/55 29961 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1438486 0 0 0 100755 3257 0 0 25 0 1 0 772700772 523264000 125677 4294967295 134512640 134714508 3221221776 3221217968 1074960868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127750 125677 1111 63 0 127687 0 vsize: 511000 [startup+1050.03 s] Raw data (loadavg): 1.11 1.00 0.98 2/55 29961 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1438486 0 0 0 101756 3257 0 0 25 0 1 0 772700772 523264000 125677 4294967295 134512640 134714508 3221221776 3221217916 1075116564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127750 125677 1111 63 0 127687 0 vsize: 511000 [startup+1060.04 s] Raw data (loadavg): 1.10 1.00 0.98 2/55 29961 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1438487 0 0 0 102756 3257 0 0 25 0 1 0 772700772 523264000 125678 4294967295 134512640 134714508 3221221776 3221217564 1074787739 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127750 125678 1111 63 0 127687 0 vsize: 511000 [startup+1070.03 s] Raw data (loadavg): 1.08 1.00 0.98 2/55 29961 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1438487 0 0 0 103756 3257 0 0 25 0 1 0 772700772 523264000 125678 4294967295 134512640 134714508 3221221776 3221218028 1075113118 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127750 125678 1111 63 0 127687 0 vsize: 511000 [startup+1080.04 s] Raw data (loadavg): 1.07 1.00 0.98 2/55 29961 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1438499 0 0 0 104756 3257 0 0 25 0 1 0 772700772 523980800 125690 4294967295 134512640 134714508 3221221776 3221217752 1074860223 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127925 125690 1111 63 0 127862 0 vsize: 511700 [startup+1090.04 s] Raw data (loadavg): 1.06 1.00 0.98 2/55 29961 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1438499 0 0 0 105756 3257 0 0 25 0 1 0 772700772 523980800 125690 4294967295 134512640 134714508 3221221776 3221217968 1074960964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 127925 125690 1111 63 0 127862 0 vsize: 511700 [startup+1100.04 s] Raw data (loadavg): 1.05 1.00 0.98 2/55 29961 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1443054 0 0 0 106747 3267 0 0 25 0 1 0 772700772 507662336 122522 4294967295 134512640 134714508 3221221776 3221220336 134649077 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123941 122522 1111 63 0 123878 0 vsize: 495764 [startup+1110.04 s] Raw data (loadavg): 1.04 1.00 0.98 2/55 29963 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1443055 0 0 0 107746 3267 0 0 25 0 1 0 772700772 507662336 122523 4294967295 134512640 134714508 3221221776 3221220576 134597779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123941 122523 1111 63 0 123878 0 vsize: 495764 [startup+1120.04 s] Raw data (loadavg): 1.03 1.00 0.98 2/55 29963 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1443055 0 0 0 108746 3267 0 0 25 0 1 0 772700772 507662336 122523 4294967295 134512640 134714508 3221221776 3221220552 134613539 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123941 122523 1111 63 0 123878 0 vsize: 495764 [startup+1130.04 s] Raw data (loadavg): 1.03 1.00 0.98 2/55 29963 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1443055 0 0 0 109746 3267 0 0 25 0 1 0 772700772 507662336 122523 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123941 122523 1111 63 0 123878 0 vsize: 495764 [startup+1140.04 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 29963 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1443055 0 0 0 110746 3267 0 0 25 0 1 0 772700772 507662336 122523 4294967295 134512640 134714508 3221221776 3221220564 134597610 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123941 122523 1111 63 0 123878 0 vsize: 495764 [startup+1150.04 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 29963 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1443055 0 0 0 111747 3267 0 0 25 0 1 0 772700772 507662336 122523 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123941 122523 1111 63 0 123878 0 vsize: 495764 [startup+1160.04 s] Raw data (loadavg): 1.02 1.00 0.98 2/55 29963 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1443055 0 0 0 112747 3267 0 0 25 0 1 0 772700772 507662336 122523 4294967295 134512640 134714508 3221221776 3221220576 134597769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123941 122523 1111 63 0 123878 0 vsize: 495764 [startup+1170.04 s] Raw data (loadavg): 1.01 1.00 0.98 2/55 29963 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1443055 0 0 0 113747 3267 0 0 25 0 1 0 772700772 507662336 122523 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123941 122523 1111 63 0 123878 0 vsize: 495764 [startup+1175.19 s] Raw data (loadavg): 1.01 1.00 0.98 1/54 29963 Raw data (stat): 29908 (bsolo_lpr_cuts) R 29907 7876 7672 0 -1 0 1443055 0 0 0 113747 3267 0 0 25 0 1 0 772700772 507662336 122523 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 123941 122523 1111 63 0 123878 0 vsize: 0 Child status: 0 Real time (s): 1175.19 CPU time (s): 1175.3 CPU user time (s): 1142.4 CPU system time (s): 32.903 CPU usage (%): 100.009 Max. virtual memory (Kb): 511700 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####