Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-2-c.opb |
MD5SUM | 40e47c460002545cc2670ca84fd53082 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2606 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2606 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2606 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2606 |
Total number of constraints | 6509 |
Number of constraints which are clauses | 6509 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-08 14:47:31 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1838 boxname=wulflinc31 idbench=205 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 40e47c460002545cc2670ca84fd53082 /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par32-2-c.opb IDLAUNCH: 1838 /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: 139040 kB Buffers: 41964 kB Cached: 819292 kB SwapCached: 644 kB Active: 493348 kB Inactive: 370236 kB HighTotal: 131008 kB HighFree: 2324 kB LowTotal: 903652 kB LowFree: 136716 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26528 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-08 15:07:07 (client local time) WITH STATUS 0 IN 1175.05 SECONDS stats: 1838 7 1175.05 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2606 variables and 6509 constraints. c After prepocess the problem consists of 2541 variables and 8358 constraints. c preprocess terminated 57.672 s c Initial Lower Bound: 803 c Lower Bound Elapsed time: 14.8599 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 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.92 0.98 0.92 2/54 16113 Raw data (stat): 16113 (runsolver) R 16112 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 692798610 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.0009 s] Raw data (loadavg): 0.93 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 4766 0 0 0 982 13 0 0 25 0 1 0 692798610 18038784 3561 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4404 3561 1111 63 0 4341 0 vsize: 17616 [startup+20.0008 s] Raw data (loadavg): 0.94 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 4766 0 0 0 1982 13 0 0 25 0 1 0 692798610 18038784 3561 4294967295 134512640 134714508 3221221776 3221220448 134627231 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4404 3561 1111 63 0 4341 0 vsize: 17616 [startup+30.0018 s] Raw data (loadavg): 0.95 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 4773 0 0 0 2983 13 0 0 25 0 1 0 692798610 18173952 3568 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4437 3568 1111 63 0 4374 0 vsize: 17748 [startup+40.0017 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 4927 0 0 0 3983 13 0 0 25 0 1 0 692798610 18714624 3722 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4569 3722 1111 63 0 4506 0 vsize: 18276 [startup+50.0016 s] Raw data (loadavg): 0.96 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 5050 0 0 0 4982 14 0 0 25 0 1 0 692798610 19259392 3845 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4702 3845 1111 63 0 4639 0 vsize: 18808 [startup+60.0017 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 6229 0 0 0 5979 17 0 0 25 0 1 0 692798610 24170496 5024 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5901 5024 1111 63 0 5838 0 vsize: 23604 [startup+70.0025 s] Raw data (loadavg): 0.97 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 7583 0 0 0 6975 21 0 0 25 0 1 0 692798610 30490624 6137 4294967295 134512640 134714508 3221221776 3221217844 1075964406 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7444 6137 1111 63 0 7381 0 vsize: 29776 [startup+80.0034 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 7617 0 0 0 7975 22 0 0 25 0 1 0 692798610 30490624 6171 4294967295 134512640 134714508 3221221776 3221217644 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7444 6171 1111 63 0 7381 0 vsize: 29776 [startup+90.0034 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 7833 0 0 0 8974 22 0 0 25 0 1 0 692798610 30490624 6387 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7444 6387 1111 63 0 7381 0 vsize: 29776 [startup+100.003 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 7860 0 0 0 9974 22 0 0 25 0 1 0 692798610 29507584 6152 4294967295 134512640 134714508 3221221776 3221217688 1075964737 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7204 6152 1111 63 0 7141 0 vsize: 28816 [startup+110.004 s] Raw data (loadavg): 0.98 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 8072 0 0 0 10974 23 0 0 25 0 1 0 692798610 31006720 6358 4294967295 134512640 134714508 3221221776 3221217968 1074961396 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7570 6358 1111 63 0 7507 0 vsize: 30280 [startup+120.004 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 8197 0 0 0 11974 23 0 0 25 0 1 0 692798610 29749248 6179 4294967295 134512640 134714508 3221221776 3221218136 1077410205 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7263 6179 1111 63 0 7200 0 vsize: 29052 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 8197 0 0 0 12974 23 0 0 25 0 1 0 692798610 29749248 6179 4294967295 134512640 134714508 3221221776 3221217924 1075115003 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7263 6179 1111 63 0 7200 0 vsize: 29052 [startup+140.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 8342 0 0 0 13974 24 0 0 25 0 1 0 692798610 31006720 6324 4294967295 134512640 134714508 3221221776 3221217592 1074789806 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7570 6324 1111 63 0 7507 0 vsize: 30280 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 10335 0 0 0 14969 29 0 0 25 0 1 0 692798610 25952256 5623 4294967295 134512640 134714508 3221221776 3221219696 1074918597 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6336 5623 1111 63 0 6273 0 vsize: 25344 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 16425 0 0 0 15955 43 0 0 25 0 1 0 692798610 31756288 6397 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7753 6397 1111 63 0 7690 0 vsize: 31012 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 22511 0 0 0 16942 56 0 0 25 0 1 0 692798610 32534528 6535 4294967295 134512640 134714508 3221221776 3221217916 1075116862 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7943 6535 1111 63 0 7880 0 vsize: 31772 [startup+180.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29228 0 0 0 17928 70 0 0 25 0 1 0 692798610 26427392 5741 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6452 5741 1111 63 0 6389 0 vsize: 25808 [startup+190.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29228 0 0 0 18927 71 0 0 25 0 1 0 692798610 26427392 5741 4294967295 134512640 134714508 3221221776 3221220320 134539213 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6452 5741 1111 63 0 6389 0 vsize: 25808 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29228 0 0 0 19927 71 0 0 25 0 1 0 692798610 26427392 5741 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6452 5741 1111 63 0 6389 0 vsize: 25808 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29276 0 0 0 20927 71 0 0 25 0 1 0 692798610 26693632 5789 4294967295 134512640 134714508 3221221776 3221220416 134696066 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6517 5789 1111 63 0 6454 0 vsize: 26068 [startup+220.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29384 0 0 0 21927 72 0 0 25 0 1 0 692798610 27099136 5897 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6616 5897 1111 63 0 6553 0 vsize: 26464 [startup+230.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29491 0 0 0 22927 72 0 0 25 0 1 0 692798610 27504640 6004 4294967295 134512640 134714508 3221221776 3221220316 134539301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6715 6004 1111 63 0 6652 0 vsize: 26860 [startup+240.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29594 0 0 0 23927 73 0 0 25 0 1 0 692798610 28045312 6107 4294967295 134512640 134714508 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6847 6107 1111 63 0 6784 0 vsize: 27388 [startup+250.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29707 0 0 0 24926 74 0 0 25 0 1 0 692798610 28450816 6220 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6946 6220 1111 63 0 6883 0 vsize: 27784 [startup+260.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29804 0 0 0 25925 74 0 0 25 0 1 0 692798610 28856320 6317 4294967295 134512640 134714508 3221221776 3221220424 134543628 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7045 6317 1111 63 0 6982 0 vsize: 28180 [startup+270.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 29912 0 0 0 26925 75 0 0 25 0 1 0 692798610 29261824 6425 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7144 6425 1111 63 0 7081 0 vsize: 28576 [startup+280.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30012 0 0 0 27925 75 0 0 25 0 1 0 692798610 29667328 6525 4294967295 134512640 134714508 3221221776 3221220316 134539282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7243 6525 1111 63 0 7180 0 vsize: 28972 [startup+290.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30105 0 0 0 28924 76 0 0 25 0 1 0 692798610 30072832 6618 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7342 6618 1111 63 0 7279 0 vsize: 29368 [startup+300.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30199 0 0 0 29924 77 0 0 25 0 1 0 692798610 30478336 6712 4294967295 134512640 134714508 3221221776 3221220336 134542359 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7441 6712 1111 63 0 7378 0 vsize: 29764 [startup+310.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30297 0 0 0 30924 77 0 0 25 0 1 0 692798610 30883840 6810 4294967295 134512640 134714508 3221221776 3221220520 134524381 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7540 6810 1111 63 0 7477 0 vsize: 30160 [startup+320.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30392 0 0 0 31924 77 0 0 25 0 1 0 692798610 31289344 6905 4294967295 134512640 134714508 3221221776 3221220284 134535903 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7639 6905 1111 63 0 7576 0 vsize: 30556 [startup+330.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30489 0 0 0 32923 78 0 0 25 0 1 0 692798610 31694848 7002 4294967295 134512640 134714508 3221221776 3221220380 134536763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7738 7002 1111 63 0 7675 0 vsize: 30952 [startup+340.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30588 0 0 0 33923 78 0 0 25 0 1 0 692798610 32100352 7101 4294967295 134512640 134714508 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7837 7101 1111 63 0 7774 0 vsize: 31348 [startup+350.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30684 0 0 0 34923 78 0 0 25 0 1 0 692798610 32505856 7197 4294967295 134512640 134714508 3221221776 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7936 7197 1111 63 0 7873 0 vsize: 31744 [startup+360.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30783 0 0 0 35923 79 0 0 25 0 1 0 692798610 32911360 7296 4294967295 134512640 134714508 3221221776 3221220448 134543671 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8035 7296 1111 63 0 7972 0 vsize: 32140 [startup+370.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30875 0 0 0 36923 79 0 0 25 0 1 0 692798610 33181696 7388 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8101 7388 1111 63 0 8038 0 vsize: 32404 [startup+380.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 30981 0 0 0 37923 79 0 0 25 0 1 0 692798610 33722368 7494 4294967295 134512640 134714508 3221221776 3221220260 134697183 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8233 7494 1111 63 0 8170 0 vsize: 32932 [startup+390.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31074 0 0 0 38923 80 0 0 25 0 1 0 692798610 33992704 7587 4294967295 134512640 134714508 3221221776 3221220100 134697327 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8299 7587 1111 63 0 8236 0 vsize: 33196 [startup+400.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31162 0 0 0 39922 80 0 0 25 0 1 0 692798610 34398208 7675 4294967295 134512640 134714508 3221221776 3221220316 134539251 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8398 7675 1111 63 0 8335 0 vsize: 33592 [startup+410.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31259 0 0 0 40922 81 0 0 25 0 1 0 692798610 34803712 7772 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8497 7772 1111 63 0 8434 0 vsize: 33988 [startup+420.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31354 0 0 0 41922 81 0 0 25 0 1 0 692798610 35209216 7867 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8596 7867 1111 63 0 8533 0 vsize: 34384 [startup+430.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31445 0 0 0 42922 81 0 0 25 0 1 0 692798610 35614720 7958 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8695 7958 1111 63 0 8632 0 vsize: 34780 [startup+440.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31547 0 0 0 43921 82 0 0 25 0 1 0 692798610 36020224 8060 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8794 8060 1111 63 0 8731 0 vsize: 35176 [startup+450.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31650 0 0 0 44921 82 0 0 25 0 1 0 692798610 36425728 8163 4294967295 134512640 134714508 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8893 8163 1111 63 0 8830 0 vsize: 35572 [startup+460.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31743 0 0 0 45921 83 0 0 25 0 1 0 692798610 36831232 8256 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8992 8256 1111 63 0 8929 0 vsize: 35968 [startup+470.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31833 0 0 0 46921 83 0 0 25 0 1 0 692798610 37101568 8346 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9058 8346 1111 63 0 8995 0 vsize: 36232 [startup+480.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 31931 0 0 0 47921 83 0 0 25 0 1 0 692798610 37507072 8444 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9157 8444 1111 63 0 9094 0 vsize: 36628 [startup+490.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32023 0 0 0 48921 84 0 0 25 0 1 0 692798610 37912576 8536 4294967295 134512640 134714508 3221221776 3221220448 134543684 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9256 8536 1111 63 0 9193 0 vsize: 37024 [startup+500.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32116 0 0 0 49920 85 0 0 25 0 1 0 692798610 38318080 8629 4294967295 134512640 134714508 3221221776 3221220428 134542288 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9355 8629 1111 63 0 9292 0 vsize: 37420 [startup+510.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32201 0 0 0 50919 85 0 0 25 0 1 0 692798610 38723584 8714 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9454 8714 1111 63 0 9391 0 vsize: 37816 [startup+520.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32288 0 0 0 51919 86 0 0 25 0 1 0 692798610 38993920 8801 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9520 8801 1111 63 0 9457 0 vsize: 38080 [startup+530.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32372 0 0 0 52919 86 0 0 25 0 1 0 692798610 39399424 8885 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9619 8885 1111 63 0 9556 0 vsize: 38476 [startup+540.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32460 0 0 0 53918 87 0 0 25 0 1 0 692798610 39669760 8973 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9685 8973 1111 63 0 9622 0 vsize: 38740 [startup+550.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32553 0 0 0 54918 87 0 0 25 0 1 0 692798610 40075264 9066 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9784 9066 1111 63 0 9721 0 vsize: 39136 [startup+560.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32640 0 0 0 55918 87 0 0 25 0 1 0 692798610 40480768 9153 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9883 9153 1111 63 0 9820 0 vsize: 39532 [startup+570.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32728 0 0 0 56918 87 0 0 25 0 1 0 692798610 40886272 9241 4294967295 134512640 134714508 3221221776 3221220448 134543712 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9982 9241 1111 63 0 9919 0 vsize: 39928 [startup+580.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32814 0 0 0 57918 88 0 0 25 0 1 0 692798610 41156608 9327 4294967295 134512640 134714508 3221221776 3221220416 134539460 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10048 9327 1111 63 0 9985 0 vsize: 40192 [startup+590.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32904 0 0 0 58918 88 0 0 25 0 1 0 692798610 41562112 9417 4294967295 134512640 134714508 3221221776 3221220460 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10147 9417 1111 63 0 10084 0 vsize: 40588 [startup+600.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 32993 0 0 0 59918 88 0 0 25 0 1 0 692798610 41967616 9506 4294967295 134512640 134714508 3221221776 3221220316 134539243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10246 9506 1111 63 0 10183 0 vsize: 40984 [startup+610.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33078 0 0 0 60917 89 0 0 25 0 1 0 692798610 42237952 9591 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10312 9591 1111 63 0 10249 0 vsize: 41248 [startup+620.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33160 0 0 0 61917 89 0 0 25 0 1 0 692798610 42643456 9673 4294967295 134512640 134714508 3221221776 3221220464 134542898 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10411 9673 1111 63 0 10348 0 vsize: 41644 [startup+630.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33251 0 0 0 62916 90 0 0 25 0 1 0 692798610 42913792 9764 4294967295 134512640 134714508 3221221776 3221220336 134542342 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10477 9764 1111 63 0 10414 0 vsize: 41908 [startup+640.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33331 0 0 0 63916 90 0 0 25 0 1 0 692798610 43319296 9844 4294967295 134512640 134714508 3221221776 3221220496 134584757 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10576 9844 1111 63 0 10513 0 vsize: 42304 [startup+650.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33412 0 0 0 64916 91 0 0 25 0 1 0 692798610 43589632 9925 4294967295 134512640 134714508 3221221776 3221220488 134543665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10642 9925 1111 63 0 10579 0 vsize: 42568 [startup+660.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33488 0 0 0 65915 91 0 0 25 0 1 0 692798610 43999232 10001 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10742 10001 1111 63 0 10679 0 vsize: 42968 [startup+670.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33570 0 0 0 66915 92 0 0 25 0 1 0 692798610 44273664 10083 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10809 10083 1111 63 0 10746 0 vsize: 43236 [startup+680.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33651 0 0 0 67915 93 0 0 25 0 1 0 692798610 44675072 10164 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10907 10164 1111 63 0 10844 0 vsize: 43628 [startup+690.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33731 0 0 0 68914 93 0 0 25 0 1 0 692798610 44945408 10244 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10973 10244 1111 63 0 10910 0 vsize: 43892 [startup+700.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33811 0 0 0 69914 94 0 0 25 0 1 0 692798610 45215744 10324 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11039 10324 1111 63 0 10976 0 vsize: 44156 [startup+710.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33903 0 0 0 70914 94 0 0 25 0 1 0 692798610 45621248 10416 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11138 10416 1111 63 0 11075 0 vsize: 44552 [startup+720.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 33987 0 0 0 71913 95 0 0 25 0 1 0 692798610 46026752 10500 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11237 10500 1111 63 0 11174 0 vsize: 44948 [startup+730.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34068 0 0 0 72914 95 0 0 25 0 1 0 692798610 46297088 10581 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11303 10581 1111 63 0 11240 0 vsize: 45212 [startup+740.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34149 0 0 0 73913 95 0 0 25 0 1 0 692798610 46702592 10662 4294967295 134512640 134714508 3221221776 3221220368 134543707 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11402 10662 1111 63 0 11339 0 vsize: 45608 [startup+750.028 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34232 0 0 0 74912 96 0 0 25 0 1 0 692798610 46972928 10745 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11468 10745 1111 63 0 11405 0 vsize: 45872 [startup+760.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34308 0 0 0 75912 97 0 0 25 0 1 0 692798610 47243264 10821 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11534 10821 1111 63 0 11471 0 vsize: 46136 [startup+770.029 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34382 0 0 0 76912 97 0 0 25 0 1 0 692798610 47648768 10895 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11633 10895 1111 63 0 11570 0 vsize: 46532 [startup+780.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34459 0 0 0 77912 97 0 0 25 0 1 0 692798610 47919104 10972 4294967295 134512640 134714508 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11699 10972 1111 63 0 11636 0 vsize: 46796 [startup+790.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34536 0 0 0 78912 98 0 0 25 0 1 0 692798610 48193536 11049 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11766 11049 1111 63 0 11703 0 vsize: 47064 [startup+800.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34612 0 0 0 79912 98 0 0 25 0 1 0 692798610 48599040 11125 4294967295 134512640 134714508 3221221776 3221220344 134543589 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11865 11125 1111 63 0 11802 0 vsize: 47460 [startup+810.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34683 0 0 0 80911 98 0 0 25 0 1 0 692798610 48869376 11196 4294967295 134512640 134714508 3221221776 3221220416 134542365 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11931 11196 1111 63 0 11868 0 vsize: 47724 [startup+820.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34762 0 0 0 81911 99 0 0 25 0 1 0 692798610 49139712 11275 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11997 11275 1111 63 0 11934 0 vsize: 47988 [startup+830.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34836 0 0 0 82911 99 0 0 25 0 1 0 692798610 49410048 11349 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12063 11349 1111 63 0 12000 0 vsize: 48252 [startup+840.03 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34912 0 0 0 83911 99 0 0 25 0 1 0 692798610 49815552 11425 4294967295 134512640 134714508 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12162 11425 1111 63 0 12099 0 vsize: 48648 [startup+850.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 34986 0 0 0 84911 100 0 0 25 0 1 0 692798610 50085888 11499 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12228 11499 1111 63 0 12165 0 vsize: 48912 [startup+860.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35061 0 0 0 85911 100 0 0 25 0 1 0 692798610 50356224 11574 4294967295 134512640 134714508 3221221776 3221220600 134590015 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12294 11574 1111 63 0 12231 0 vsize: 49176 [startup+870.031 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35138 0 0 0 86910 100 0 0 25 0 1 0 692798610 50761728 11651 4294967295 134512640 134714508 3221221776 3221220560 134529288 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12393 11651 1111 63 0 12330 0 vsize: 49572 [startup+880.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35213 0 0 0 87910 101 0 0 25 0 1 0 692798610 51032064 11726 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12459 11726 1111 63 0 12396 0 vsize: 49836 [startup+890.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35288 0 0 0 88910 102 0 0 25 0 1 0 692798610 51302400 11801 4294967295 134512640 134714508 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12525 11801 1111 63 0 12462 0 vsize: 50100 [startup+900.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35359 0 0 0 89910 102 0 0 25 0 1 0 692798610 51572736 11872 4294967295 134512640 134714508 3221221776 3221220416 134542306 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12591 11872 1111 63 0 12528 0 vsize: 50364 [startup+910.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35428 0 0 0 90909 102 0 0 25 0 1 0 692798610 51843072 11941 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12657 11941 1111 63 0 12594 0 vsize: 50628 [startup+920.032 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35500 0 0 0 91910 102 0 0 25 0 1 0 692798610 52248576 12013 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12756 12013 1111 63 0 12693 0 vsize: 51024 [startup+930.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35572 0 0 0 92909 103 0 0 25 0 1 0 692798610 52518912 12085 4294967295 134512640 134714508 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12822 12085 1111 63 0 12759 0 vsize: 51288 [startup+940.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35634 0 0 0 93909 103 0 0 25 0 1 0 692798610 52789248 12147 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12888 12147 1111 63 0 12825 0 vsize: 51552 [startup+950.033 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35705 0 0 0 94909 103 0 0 25 0 1 0 692798610 53059584 12218 4294967295 134512640 134714508 3221221776 3221220548 134529375 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12954 12218 1111 63 0 12891 0 vsize: 51816 [startup+960.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35772 0 0 0 95909 104 0 0 25 0 1 0 692798610 53329920 12285 4294967295 134512640 134714508 3221221776 3221220324 134696398 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13020 12285 1111 63 0 12957 0 vsize: 52080 [startup+970.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35838 0 0 0 96909 104 0 0 25 0 1 0 692798610 53600256 12351 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13086 12351 1111 63 0 13023 0 vsize: 52344 [startup+980.034 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35904 0 0 0 97909 104 0 0 25 0 1 0 692798610 53870592 12417 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13152 12417 1111 63 0 13089 0 vsize: 52608 [startup+990.035 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 35975 0 0 0 98908 105 0 0 25 0 1 0 692798610 54140928 12488 4294967295 134512640 134714508 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13218 12488 1111 63 0 13155 0 vsize: 52872 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36037 0 0 0 99908 105 0 0 25 0 1 0 692798610 54411264 12550 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13284 12550 1111 63 0 13221 0 vsize: 53136 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36099 0 0 0 100908 106 0 0 25 0 1 0 692798610 54681600 12612 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13350 12612 1111 63 0 13287 0 vsize: 53400 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36161 0 0 0 101908 106 0 0 25 0 1 0 692798610 54951936 12674 4294967295 134512640 134714508 3221221776 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13416 12674 1111 63 0 13353 0 vsize: 53664 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36224 0 0 0 102908 106 0 0 25 0 1 0 692798610 55222272 12737 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13482 12737 1111 63 0 13419 0 vsize: 53928 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36287 0 0 0 103908 107 0 0 25 0 1 0 692798610 55357440 12800 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13515 12800 1111 63 0 13452 0 vsize: 54060 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36352 0 0 0 104907 107 0 0 25 0 1 0 692798610 55627776 12865 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13581 12865 1111 63 0 13518 0 vsize: 54324 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36420 0 0 0 105907 107 0 0 25 0 1 0 692798610 55898112 12933 4294967295 134512640 134714508 3221221776 3221220544 134529279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13647 12933 1111 63 0 13584 0 vsize: 54588 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36482 0 0 0 106907 108 0 0 25 0 1 0 692798610 56168448 12995 4294967295 134512640 134714508 3221221776 3221220560 134529234 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13713 12995 1111 63 0 13650 0 vsize: 54852 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36542 0 0 0 107907 108 0 0 25 0 1 0 692798610 56438784 13055 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13779 13055 1111 63 0 13716 0 vsize: 55116 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36607 0 0 0 108907 108 0 0 25 0 1 0 692798610 56709120 13120 4294967295 134512640 134714508 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13845 13120 1111 63 0 13782 0 vsize: 55380 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36663 0 0 0 109906 109 0 0 25 0 1 0 692798610 56979456 13176 4294967295 134512640 134714508 3221221776 3221220416 134539437 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13911 13176 1111 63 0 13848 0 vsize: 55644 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36722 0 0 0 110906 109 0 0 25 0 1 0 692798610 57249792 13235 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13977 13235 1111 63 0 13914 0 vsize: 55908 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36783 0 0 0 111906 109 0 0 25 0 1 0 692798610 57384960 13296 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14010 13296 1111 63 0 13947 0 vsize: 56040 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36847 0 0 0 112906 109 0 0 25 0 1 0 692798610 57655296 13360 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14076 13360 1111 63 0 14013 0 vsize: 56304 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36919 0 0 0 113906 110 0 0 25 0 1 0 692798610 58060800 13432 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14175 13432 1111 63 0 14112 0 vsize: 56700 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 36984 0 0 0 114906 110 0 0 25 0 1 0 692798610 58331136 13497 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14241 13497 1111 63 0 14178 0 vsize: 56964 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 37047 0 0 0 115905 111 0 0 25 0 1 0 692798610 58466304 13560 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14274 13560 1111 63 0 14211 0 vsize: 57096 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.92 2/54 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 37105 0 0 0 116905 111 0 0 25 0 1 0 692798610 58736640 13618 4294967295 134512640 134714508 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14340 13618 1111 63 0 14277 0 vsize: 57360 [startup+1174.92 s] Raw data (loadavg): 0.99 0.98 0.92 1/53 16113 Raw data (stat): 16113 (bsolo_lpr_cuts) R 16112 7876 7672 0 -1 0 37105 0 0 0 116905 111 0 0 25 0 1 0 692798610 58736640 13618 4294967295 134512640 134714508 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14340 13618 1111 63 0 14277 0 vsize: 0 Child status: 0 Real time (s): 1174.92 CPU time (s): 1175.05 CPU user time (s): 1173.91 CPU system time (s): 1.14183 CPU usage (%): 100.011 Max. virtual memory (Kb): 57360 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####