Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb |
MD5SUM | 270e069f649d19b0da4e4d23c0e1ebfc |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -30 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 760 |
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 | 760 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 760 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.06 |
Number of variables | 760 |
Total number of constraints | 41263 |
Number of constraints which are clauses | 41263 |
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 | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-12 16:38:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2918 boxname=wulflinc31 idbench=325 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 270e069f649d19b0da4e4d23c0e1ebfc /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-2.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-2.opb IDLAUNCH: 2918 /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: 885060 kB Buffers: 34972 kB Cached: 93108 kB SwapCached: 1936 kB Active: 95300 kB Inactive: 35924 kB HighTotal: 131008 kB HighFree: 37100 kB LowTotal: 903652 kB LowFree: 847960 kB SwapTotal: 2097892 kB SwapFree: 2095224 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 12712 kB Committed_AS: 63848 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-12 16:58:25 (client local time) WITH STATUS 0 IN 1200.17 SECONDS stats: 2918 7 1200.17 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 760 variables and 41263 constraints. c After prepocess the problem consists of 760 variables and 29238 constraints. c preprocess terminated 267.847 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.91 0.95 0.96 1/55 10584 Raw data (stat): 10584 (runsolver) R 10583 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 728027722 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0004 s] Raw data (loadavg): 0.93 0.95 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15609 0 0 0 954 40 0 0 25 0 1 0 728027722 67018752 15529 4294967295 134512640 134714508 3221221776 3221220100 1077374218 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16362 15529 1111 63 0 16299 0 vsize: 65448 [startup+20.0013 s] Raw data (loadavg): 0.94 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15724 0 0 0 1954 41 0 0 25 0 1 0 728027722 67559424 15644 4294967295 134512640 134714508 3221221776 3221220384 134538598 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15644 1111 63 0 16431 0 vsize: 65976 [startup+30.0022 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 2954 41 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220184 134543614 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+40.0036 s] Raw data (loadavg): 0.95 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 3953 42 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+50.0041 s] Raw data (loadavg): 0.96 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 4953 42 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220160 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+60.004 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 5953 42 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220140 134539223 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+70.0049 s] Raw data (loadavg): 0.97 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 6953 43 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220392 134543793 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+80.0059 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 7953 43 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220280 134539345 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+90.0068 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 8952 44 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220256 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+100.007 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 9952 44 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220392 134543804 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+110.008 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 10952 44 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220160 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 11952 44 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220340 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 12952 44 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 13952 45 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 14951 45 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220392 134536921 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 15952 45 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220184 134543600 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 16951 46 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220160 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 17951 46 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220404 134594953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 18951 46 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220256 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 19951 47 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 20950 47 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+220.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 21950 47 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+230.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 22950 48 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220448 134627125 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 23950 48 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15732 0 0 0 24949 49 0 0 25 0 1 0 728027722 67559424 15652 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16494 15652 1111 63 0 16431 0 vsize: 65976 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15817 0 0 0 25949 50 0 0 25 0 1 0 728027722 67903488 15737 4294967295 134512640 134714508 3221221776 3221220656 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16578 15737 1111 63 0 16515 0 vsize: 66312 [startup+270.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15843 0 0 0 26948 50 0 0 25 0 1 0 728027722 68247552 15763 4294967295 134512640 134714508 3221221776 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16662 15763 1111 63 0 16599 0 vsize: 66648 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15944 0 0 0 27947 52 0 0 25 0 1 0 728027722 68636672 15864 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16757 15864 1111 63 0 16694 0 vsize: 67028 [startup+290.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 15971 0 0 0 28945 53 0 0 25 0 1 0 728027722 68739072 15891 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16782 15891 1111 63 0 16719 0 vsize: 67128 [startup+300.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16063 0 0 0 29944 55 0 0 25 0 1 0 728027722 69107712 15983 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16872 15983 1111 63 0 16809 0 vsize: 67488 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16089 0 0 0 30942 56 0 0 25 0 1 0 728027722 69206016 16009 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16896 16009 1111 63 0 16833 0 vsize: 67584 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16113 0 0 0 31941 58 0 0 25 0 1 0 728027722 69300224 16033 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16919 16033 1111 63 0 16856 0 vsize: 67676 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16135 0 0 0 32939 60 0 0 25 0 1 0 728027722 69386240 16055 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16940 16055 1111 63 0 16877 0 vsize: 67760 [startup+340.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16155 0 0 0 33938 61 0 0 25 0 1 0 728027722 69464064 16075 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16959 16075 1111 63 0 16896 0 vsize: 67836 [startup+350.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16176 0 0 0 34938 61 0 0 25 0 1 0 728027722 69545984 16096 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16979 16096 1111 63 0 16916 0 vsize: 67916 [startup+360.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16196 0 0 0 35937 62 0 0 25 0 1 0 728027722 69619712 16116 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16997 16116 1111 63 0 16934 0 vsize: 67988 [startup+370.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16215 0 0 0 36936 64 0 0 25 0 1 0 728027722 69693440 16135 4294967295 134512640 134714508 3221221776 3221220032 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17015 16135 1111 63 0 16952 0 vsize: 68060 [startup+380.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16231 0 0 0 37935 65 0 0 25 0 1 0 728027722 69758976 16151 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17031 16151 1111 63 0 16968 0 vsize: 68124 [startup+390.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16471 0 0 0 38933 66 0 0 25 0 1 0 728027722 70737920 16391 4294967295 134512640 134714508 3221221776 3221220032 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17270 16391 1111 63 0 17207 0 vsize: 69080 [startup+400.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16489 0 0 0 39932 67 0 0 25 0 1 0 728027722 70807552 16409 4294967295 134512640 134714508 3221221776 3221220048 1074153760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17287 16409 1111 63 0 17224 0 vsize: 69148 [startup+410.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16506 0 0 0 40932 68 0 0 25 0 1 0 728027722 70873088 16426 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17303 16426 1111 63 0 17240 0 vsize: 69212 [startup+420.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16524 0 0 0 41931 69 0 0 25 0 1 0 728027722 70942720 16444 4294967295 134512640 134714508 3221221776 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17320 16444 1111 63 0 17257 0 vsize: 69280 [startup+430.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16540 0 0 0 42930 70 0 0 25 0 1 0 728027722 71004160 16460 4294967295 134512640 134714508 3221221776 3221220048 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17335 16460 1111 63 0 17272 0 vsize: 69340 [startup+440.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16667 0 0 0 43929 70 0 0 25 0 1 0 728027722 71524352 16587 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17462 16587 1111 63 0 17399 0 vsize: 69848 [startup+450.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16685 0 0 0 44928 72 0 0 25 0 1 0 728027722 71593984 16605 4294967295 134512640 134714508 3221221776 3221220048 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17479 16605 1111 63 0 17416 0 vsize: 69916 [startup+460.025 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 16702 0 0 0 45927 72 0 0 25 0 1 0 728027722 71659520 16622 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17495 16622 1111 63 0 17432 0 vsize: 69980 [startup+470.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 21823 0 0 0 46916 83 0 0 25 0 1 0 728027722 93110272 19891 4294967295 134512640 134714508 3221221776 3221217644 1074788953 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22732 19891 1111 63 0 22669 0 vsize: 90928 [startup+480.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 21921 0 0 0 47915 85 0 0 25 0 1 0 728027722 93110272 19989 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22732 19989 1111 63 0 22669 0 vsize: 90928 [startup+490.026 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 22971 0 0 0 48912 88 0 0 25 0 1 0 728027722 95256576 21039 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 23256 21039 1111 63 0 23193 0 vsize: 93024 [startup+500.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23145 0 0 0 49911 89 0 0 25 0 1 0 728027722 90947584 20248 4294967295 134512640 134714508 3221221776 3221217840 1074969449 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20248 1111 63 0 22141 0 vsize: 88816 [startup+510.027 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23162 0 0 0 50911 90 0 0 25 0 1 0 728027722 90947584 20265 4294967295 134512640 134714508 3221221776 3221217840 1074969474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20265 1111 63 0 22141 0 vsize: 88816 [startup+520.028 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23184 0 0 0 51911 90 0 0 25 0 1 0 728027722 90947584 20287 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20287 1111 63 0 22141 0 vsize: 88816 [startup+530.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23190 0 0 0 52910 91 0 0 25 0 1 0 728027722 90947584 20293 4294967295 134512640 134714508 3221221776 3221217840 1074969474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20293 1111 63 0 22141 0 vsize: 88816 [startup+540.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23208 0 0 0 53910 91 0 0 25 0 1 0 728027722 90947584 20311 4294967295 134512640 134714508 3221221776 3221217968 1074961264 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20311 1111 63 0 22141 0 vsize: 88816 [startup+550.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23231 0 0 0 54909 91 0 0 25 0 1 0 728027722 90947584 20334 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20334 1111 63 0 22141 0 vsize: 88816 [startup+560.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23238 0 0 0 55909 92 0 0 25 0 1 0 728027722 90947584 20341 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20341 1111 63 0 22141 0 vsize: 88816 [startup+570.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23256 0 0 0 56909 92 0 0 25 0 1 0 728027722 90947584 20359 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 22204 20359 1111 63 0 22141 0 vsize: 88816 [startup+580.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23271 0 0 0 57909 93 0 0 25 0 1 0 728027722 90947584 20374 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22204 20374 1111 63 0 22141 0 vsize: 88816 [startup+590.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23332 0 0 0 58909 93 0 0 25 0 1 0 728027722 91373568 20435 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22308 20435 1111 63 0 22245 0 vsize: 89232 [startup+600.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23353 0 0 0 59909 93 0 0 25 0 1 0 728027722 91373568 20456 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22308 20456 1111 63 0 22245 0 vsize: 89232 [startup+610.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23409 0 0 0 60909 93 0 0 25 0 1 0 728027722 91832320 20512 4294967295 134512640 134714508 3221221776 3221217808 1075895908 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22420 20512 1111 63 0 22357 0 vsize: 89680 [startup+620.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23446 0 0 0 61908 93 0 0 25 0 1 0 728027722 91832320 20549 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22420 20549 1111 63 0 22357 0 vsize: 89680 [startup+630.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23464 0 0 0 62909 93 0 0 25 0 1 0 728027722 91832320 20567 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22420 20567 1111 63 0 22357 0 vsize: 89680 [startup+640.029 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23471 0 0 0 63909 93 0 0 25 0 1 0 728027722 91832320 20574 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22420 20574 1111 63 0 22357 0 vsize: 89680 [startup+650.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23474 0 0 0 64909 93 0 0 25 0 1 0 728027722 91832320 20577 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22420 20577 1111 63 0 22357 0 vsize: 89680 [startup+660.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23481 0 0 0 65909 93 0 0 25 0 1 0 728027722 91832320 20584 4294967295 134512640 134714508 3221221776 3221217904 1074815265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22420 20584 1111 63 0 22357 0 vsize: 89680 [startup+670.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23486 0 0 0 66909 93 0 0 25 0 1 0 728027722 91832320 20589 4294967295 134512640 134714508 3221221776 3221218640 1074620104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22420 20589 1111 63 0 22357 0 vsize: 89680 [startup+680.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23495 0 0 0 67909 93 0 0 25 0 1 0 728027722 91832320 20598 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22420 20598 1111 63 0 22357 0 vsize: 89680 [startup+690.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23499 0 0 0 68909 93 0 0 25 0 1 0 728027722 91832320 20602 4294967295 134512640 134714508 3221221776 3221217840 1074969458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22420 20602 1111 63 0 22357 0 vsize: 89680 [startup+700.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23610 0 0 0 69909 94 0 0 25 0 1 0 728027722 92307456 20713 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22536 20713 1111 63 0 22473 0 vsize: 90144 [startup+710.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23619 0 0 0 70909 94 0 0 25 0 1 0 728027722 92307456 20722 4294967295 134512640 134714508 3221221776 3221217688 1075964730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22536 20722 1111 63 0 22473 0 vsize: 90144 [startup+720.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23624 0 0 0 71910 94 0 0 25 0 1 0 728027722 92307456 20727 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22536 20727 1111 63 0 22473 0 vsize: 90144 [startup+730.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23626 0 0 0 72910 94 0 0 25 0 1 0 728027722 92307456 20729 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22536 20729 1111 63 0 22473 0 vsize: 90144 [startup+740.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23637 0 0 0 73910 94 0 0 25 0 1 0 728027722 92798976 20740 4294967295 134512640 134714508 3221221776 3221218736 1075971386 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22656 20740 1111 63 0 22593 0 vsize: 90624 [startup+750.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23727 0 0 0 74910 94 0 0 25 0 1 0 728027722 92798976 20830 4294967295 134512640 134714508 3221221776 3221217904 1074815309 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22656 20830 1111 63 0 22593 0 vsize: 90624 [startup+760.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23729 0 0 0 75910 94 0 0 25 0 1 0 728027722 92798976 20832 4294967295 134512640 134714508 3221221776 3221217656 1075964730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22656 20832 1111 63 0 22593 0 vsize: 90624 [startup+770.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23729 0 0 0 76910 94 0 0 25 0 1 0 728027722 92798976 20832 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22656 20832 1111 63 0 22593 0 vsize: 90624 [startup+780.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23798 0 0 0 77910 94 0 0 25 0 1 0 728027722 93323264 20901 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22784 20901 1111 63 0 22721 0 vsize: 91136 [startup+790.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23824 0 0 0 78910 94 0 0 25 0 1 0 728027722 93323264 20927 4294967295 134512640 134714508 3221221776 3221218676 1075964073 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22784 20927 1111 63 0 22721 0 vsize: 91136 [startup+800.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23891 0 0 0 79910 95 0 0 25 0 1 0 728027722 93876224 20994 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22919 20994 1111 63 0 22856 0 vsize: 91676 [startup+810.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23923 0 0 0 80910 95 0 0 25 0 1 0 728027722 93876224 21026 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22919 21026 1111 63 0 22856 0 vsize: 91676 [startup+820.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 23929 0 0 0 81910 95 0 0 25 0 1 0 728027722 93876224 21032 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22919 21032 1111 63 0 22856 0 vsize: 91676 [startup+830.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24028 0 0 0 82910 95 0 0 25 0 1 0 728027722 94453760 21131 4294967295 134512640 134714508 3221221776 3221218240 1075088560 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21131 1111 63 0 22997 0 vsize: 92240 [startup+840.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24028 0 0 0 83910 95 0 0 25 0 1 0 728027722 94453760 21131 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21131 1111 63 0 22997 0 vsize: 92240 [startup+850.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24041 0 0 0 84910 95 0 0 25 0 1 0 728027722 94453760 21144 4294967295 134512640 134714508 3221221776 3221217548 1074788964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21144 1111 63 0 22997 0 vsize: 92240 [startup+860.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24042 0 0 0 85911 95 0 0 25 0 1 0 728027722 94453760 21145 4294967295 134512640 134714508 3221221776 3221217840 1074969461 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21145 1111 63 0 22997 0 vsize: 92240 [startup+870.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24044 0 0 0 86911 95 0 0 25 0 1 0 728027722 94453760 21147 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21147 1111 63 0 22997 0 vsize: 92240 [startup+880.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24044 0 0 0 87911 95 0 0 25 0 1 0 728027722 94453760 21147 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21147 1111 63 0 22997 0 vsize: 92240 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24044 0 0 0 88911 95 0 0 25 0 1 0 728027722 94453760 21147 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21147 1111 63 0 22997 0 vsize: 92240 [startup+900.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24045 0 0 0 89911 95 0 0 25 0 1 0 728027722 94453760 21148 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21148 1111 63 0 22997 0 vsize: 92240 [startup+910.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24046 0 0 0 90911 95 0 0 25 0 1 0 728027722 94453760 21149 4294967295 134512640 134714508 3221221776 3221217968 1074961267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+920.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24046 0 0 0 91911 95 0 0 25 0 1 0 728027722 94453760 21149 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+930.031 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24046 0 0 0 92911 95 0 0 25 0 1 0 728027722 94453760 21149 4294967295 134512640 134714508 3221221776 3221218240 1075088564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+940.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24046 0 0 0 93912 95 0 0 25 0 1 0 728027722 94453760 21149 4294967295 134512640 134714508 3221221776 3221218816 1074835532 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+950.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24046 0 0 0 94912 95 0 0 25 0 1 0 728027722 94453760 21149 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+960.032 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24046 0 0 0 95912 95 0 0 25 0 1 0 728027722 94453760 21149 4294967295 134512640 134714508 3221221776 3221217924 1075115060 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23060 21149 1111 63 0 22997 0 vsize: 92240 [startup+970.033 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24165 0 0 0 96912 96 0 0 25 0 1 0 728027722 95059968 21266 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23208 21266 1111 63 0 23145 0 vsize: 92832 [startup+980.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24273 0 0 0 97912 96 0 0 25 0 1 0 728027722 95694848 21374 4294967295 134512640 134714508 3221221776 3221217924 1075115043 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23363 21374 1111 63 0 23300 0 vsize: 93452 [startup+990.034 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24298 0 0 0 98912 96 0 0 25 0 1 0 728027722 95694848 21399 4294967295 134512640 134714508 3221221776 3221217924 1075115043 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23363 21399 1111 63 0 23300 0 vsize: 93452 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24301 0 0 0 99912 96 0 0 25 0 1 0 728027722 95694848 21402 4294967295 134512640 134714508 3221221776 3221218768 1074867308 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23363 21402 1111 63 0 23300 0 vsize: 93452 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24301 0 0 0 100912 96 0 0 25 0 1 0 728027722 95694848 21402 4294967295 134512640 134714508 3221221776 3221217664 1075965246 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23363 21402 1111 63 0 23300 0 vsize: 93452 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24303 0 0 0 101913 96 0 0 25 0 1 0 728027722 95694848 21404 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23363 21404 1111 63 0 23300 0 vsize: 93452 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24305 0 0 0 102913 96 0 0 25 0 1 0 728027722 95694848 21406 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23363 21406 1111 63 0 23300 0 vsize: 93452 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24306 0 0 0 103913 96 0 0 25 0 1 0 728027722 95694848 21407 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23363 21407 1111 63 0 23300 0 vsize: 93452 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24316 0 0 0 104913 96 0 0 25 0 1 0 728027722 95694848 21417 4294967295 134512640 134714508 3221221776 3221217548 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23363 21417 1111 63 0 23300 0 vsize: 93452 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24316 0 0 0 105913 96 0 0 25 0 1 0 728027722 95694848 21417 4294967295 134512640 134714508 3221221776 3221217580 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23363 21417 1111 63 0 23300 0 vsize: 93452 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24404 0 0 0 106913 96 0 0 25 0 1 0 728027722 96366592 21505 4294967295 134512640 134714508 3221221776 3221217968 1074960918 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23527 21505 1111 63 0 23464 0 vsize: 94108 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24439 0 0 0 107913 96 0 0 25 0 1 0 728027722 96366592 21540 4294967295 134512640 134714508 3221221776 3221218028 1076111491 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23527 21540 1111 63 0 23464 0 vsize: 94108 [startup+1090.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24440 0 0 0 108914 96 0 0 25 0 1 0 728027722 96366592 21541 4294967295 134512640 134714508 3221221776 3221217796 1075964290 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23527 21541 1111 63 0 23464 0 vsize: 94108 [startup+1100.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24448 0 0 0 109914 96 0 0 25 0 1 0 728027722 96366592 21549 4294967295 134512640 134714508 3221221776 3221218288 1074885975 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23527 21549 1111 63 0 23464 0 vsize: 94108 [startup+1110.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24451 0 0 0 110914 96 0 0 25 0 1 0 728027722 96366592 21552 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23527 21552 1111 63 0 23464 0 vsize: 94108 [startup+1120.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24456 0 0 0 111914 96 0 0 25 0 1 0 728027722 96366592 21557 4294967295 134512640 134714508 3221221776 3221217968 1074960795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23527 21557 1111 63 0 23464 0 vsize: 94108 [startup+1130.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24595 0 0 0 112913 97 0 0 25 0 1 0 728027722 97071104 21696 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23699 21696 1111 63 0 23636 0 vsize: 94796 [startup+1140.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24619 0 0 0 113913 98 0 0 25 0 1 0 728027722 97071104 21720 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23699 21720 1111 63 0 23636 0 vsize: 94796 [startup+1150.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24623 0 0 0 114913 98 0 0 25 0 1 0 728027722 97071104 21724 4294967295 134512640 134714508 3221221776 3221217856 1074794472 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23699 21724 1111 63 0 23636 0 vsize: 94796 [startup+1160.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24623 0 0 0 115913 98 0 0 25 0 1 0 728027722 97071104 21724 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23699 21724 1111 63 0 23636 0 vsize: 94796 [startup+1170.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24633 0 0 0 116913 98 0 0 25 0 1 0 728027722 97071104 21734 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23699 21734 1111 63 0 23636 0 vsize: 94796 [startup+1180.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24647 0 0 0 117913 98 0 0 25 0 1 0 728027722 97071104 21748 4294967295 134512640 134714508 3221221776 3221217604 1074786571 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23699 21748 1111 63 0 23636 0 vsize: 94796 [startup+1190.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24661 0 0 0 118913 98 0 0 25 0 1 0 728027722 97071104 21762 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23699 21762 1111 63 0 23636 0 vsize: 94796 [startup+1200.04 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) R 10583 7876 7672 0 -1 0 24661 0 0 0 119914 98 0 0 25 0 1 0 728027722 97071104 21762 4294967295 134512640 134714508 3221221776 3221217708 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23699 21762 1111 63 0 23636 0 vsize: 94796 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 0.99 0.97 0.96 1/55 10584 Raw data (stat): 10584 (bsolo_lpr_cuts) Z 10583 7876 7672 0 -1 1036 24661 0 0 0 119914 102 0 0 25 0 1 0 728027722 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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.08 CPU time (s): 1200.17 CPU user time (s): 1199.14 CPU system time (s): 1.02484 CPU usage (%): 100.007 Max. virtual memory (Kb): 94796 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####