Name | normalized-opb/submitted/manquinho/ttp/normalized-circ8_3.opb |
MD5SUM | 2ea3853c4fb57dccc00d289069858df9 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 172 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 448 |
Biggest coefficient in the objective function | 4 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 1024 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 24 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 1024 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.06 |
Number of variables | 1344 |
Total number of constraints | 16096 |
Number of constraints which are clauses | 8208 |
Number of constraints which are cardinality constraints (but not clauses) | 496 |
Number of constraints which are nor clauses,nor cardinality constraints | 7392 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 28 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-10 09:57:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2324 boxname=wulflinc31 idbench=259 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 2ea3853c4fb57dccc00d289069858df9 /oldhome/oroussel/tmp/wulflinc31/normalized-circ8_3.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-circ8_3.opb IDLAUNCH: 2324 /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: 295048 kB Buffers: 46424 kB Cached: 658976 kB SwapCached: 644 kB Active: 308816 kB Inactive: 398952 kB HighTotal: 131008 kB HighFree: 31584 kB LowTotal: 903652 kB LowFree: 263464 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26044 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-10 10:17:24 (client local time) WITH STATUS 0 IN 1200.19 SECONDS stats: 2324 7 1200.19 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1344 variables and 16376 constraints. c After prepocess the problem consists of 1344 variables and 15618 constraints. c preprocess terminated 54.847 s c Initial Lower Bound: 96 c Lower Bound Elapsed time: 168.626 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 188 @ 487.781 #### 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 1.08 2/54 9439 Raw data (stat): 9439 (runsolver) R 9438 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 708339426 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.0004 s] Raw data (loadavg): 0.93 0.98 1.08 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 5813 0 0 0 977 19 0 0 25 0 1 0 708339426 24379392 5096 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5952 5096 1111 63 0 5889 0 vsize: 23808 [startup+20.0009 s] Raw data (loadavg): 0.94 0.98 1.08 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 6723 0 0 0 1974 22 0 0 25 0 1 0 708339426 26226688 5568 4294967295 134512640 134714508 3221221776 3221220400 134529225 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6403 5568 1111 63 0 6340 0 vsize: 25612 [startup+30.002 s] Raw data (loadavg): 0.95 0.98 1.08 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7167 0 0 0 2973 23 0 0 25 0 1 0 708339426 27770880 5913 4294967295 134512640 134714508 3221221776 3221220256 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6780 5913 1111 63 0 6717 0 vsize: 27120 [startup+40.0023 s] Raw data (loadavg): 0.96 0.98 1.08 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7600 0 0 0 3971 25 0 0 25 0 1 0 708339426 28606464 6145 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6984 6145 1111 63 0 6921 0 vsize: 27936 [startup+50.0031 s] Raw data (loadavg): 0.96 0.98 1.08 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7600 0 0 0 4971 25 0 0 25 0 1 0 708339426 28606464 6145 4294967295 134512640 134714508 3221221776 3221220428 134558608 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6984 6145 1111 63 0 6921 0 vsize: 27936 [startup+60.0028 s] Raw data (loadavg): 0.97 0.98 1.08 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7728 0 0 0 5970 27 0 0 25 0 1 0 708339426 29130752 6273 4294967295 134512640 134714508 3221221776 3221219696 1077814665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7112 6273 1111 63 0 7049 0 vsize: 28448 [startup+70.0041 s] Raw data (loadavg): 0.97 0.98 1.08 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7809 0 0 0 6969 28 0 0 25 0 1 0 708339426 29351936 6354 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7166 6354 1111 63 0 7103 0 vsize: 28664 [startup+80.0048 s] Raw data (loadavg): 0.98 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 7926 0 0 0 7968 29 0 0 25 0 1 0 708339426 29704192 6441 4294967295 134512640 134714508 3221221776 3221219952 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7252 6441 1111 63 0 7189 0 vsize: 29008 [startup+90.0049 s] Raw data (loadavg): 0.98 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8020 0 0 0 8967 30 0 0 25 0 1 0 708339426 30105600 6535 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7350 6535 1111 63 0 7287 0 vsize: 29400 [startup+100.006 s] Raw data (loadavg): 0.98 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8053 0 0 0 9966 31 0 0 25 0 1 0 708339426 30240768 6568 4294967295 134512640 134714508 3221221776 3221219888 1074153766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7383 6568 1111 63 0 7320 0 vsize: 29532 [startup+110.007 s] Raw data (loadavg): 0.98 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8152 0 0 0 10965 32 0 0 25 0 1 0 708339426 30547968 6647 4294967295 134512640 134714508 3221221776 3221220000 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7458 6647 1111 63 0 7395 0 vsize: 29832 [startup+120.008 s] Raw data (loadavg): 0.99 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8182 0 0 0 11965 33 0 0 25 0 1 0 708339426 30670848 6677 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7488 6677 1111 63 0 7425 0 vsize: 29952 [startup+130.008 s] Raw data (loadavg): 0.99 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8209 0 0 0 12965 33 0 0 25 0 1 0 708339426 30781440 6704 4294967295 134512640 134714508 3221221776 3221219936 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7515 6704 1111 63 0 7452 0 vsize: 30060 [startup+140.009 s] Raw data (loadavg): 0.99 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 8235 0 0 0 13965 33 0 0 25 0 1 0 708339426 30887936 6730 4294967295 134512640 134714508 3221221776 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7541 6730 1111 63 0 7478 0 vsize: 30164 [startup+150.009 s] Raw data (loadavg): 0.99 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 12514 0 0 0 14956 42 0 0 25 0 1 0 708339426 44474368 9334 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10858 9334 1111 63 0 10795 0 vsize: 43432 [startup+160.009 s] Raw data (loadavg): 0.99 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 12790 0 0 0 15956 43 0 0 25 0 1 0 708339426 43134976 9153 4294967295 134512640 134714508 3221221776 3221217924 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10531 9153 1111 63 0 10468 0 vsize: 42124 [startup+170.01 s] Raw data (loadavg): 0.99 0.98 1.07 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 12901 0 0 0 16955 43 0 0 25 0 1 0 708339426 43593728 9264 4294967295 134512640 134714508 3221221776 3221217740 1074873527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10643 9264 1111 63 0 10580 0 vsize: 42572 [startup+180.01 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13034 0 0 0 17955 44 0 0 25 0 1 0 708339426 44105728 9397 4294967295 134512640 134714508 3221221776 3221217760 1075084533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10768 9397 1111 63 0 10705 0 vsize: 43072 [startup+190.011 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13076 0 0 0 18955 44 0 0 25 0 1 0 708339426 44380160 9439 4294967295 134512640 134714508 3221221776 3221217904 1074815299 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10835 9439 1111 63 0 10772 0 vsize: 43340 [startup+200.011 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13106 0 0 0 19955 44 0 0 25 0 1 0 708339426 44380160 9469 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10835 9469 1111 63 0 10772 0 vsize: 43340 [startup+210.011 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13184 0 0 0 20955 44 0 0 25 0 1 0 708339426 44974080 9547 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9547 1111 63 0 10917 0 vsize: 43920 [startup+220.013 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13224 0 0 0 21955 44 0 0 25 0 1 0 708339426 44974080 9587 4294967295 134512640 134714508 3221221776 3221217740 1074873478 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9587 1111 63 0 10917 0 vsize: 43920 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13225 0 0 0 22955 44 0 0 25 0 1 0 708339426 44974080 9588 4294967295 134512640 134714508 3221221776 3221217904 1074815253 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10980 9588 1111 63 0 10917 0 vsize: 43920 [startup+240.013 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13270 0 0 0 23956 44 0 0 25 0 1 0 708339426 45285376 9633 4294967295 134512640 134714508 3221221776 3221217924 1075115065 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9633 1111 63 0 10993 0 vsize: 44224 [startup+250.014 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 24956 44 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221217968 1074961132 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9635 1111 63 0 10993 0 vsize: 44224 [startup+260.014 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 25956 44 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221217572 1074786567 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9635 1111 63 0 10993 0 vsize: 44224 [startup+270.015 s] Raw data (loadavg): 0.99 0.98 1.06 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 26956 45 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221217656 1075964745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9635 1111 63 0 10993 0 vsize: 44224 [startup+280.015 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 27956 45 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221217740 1074873456 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9635 1111 63 0 10993 0 vsize: 44224 [startup+290.015 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13272 0 0 0 28956 45 0 0 25 0 1 0 708339426 45285376 9635 4294967295 134512640 134714508 3221221776 3221218072 1075112546 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11056 9635 1111 63 0 10993 0 vsize: 44224 [startup+300.016 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13305 0 0 0 29956 45 0 0 25 0 1 0 708339426 45625344 9668 4294967295 134512640 134714508 3221221776 3221217688 1075964771 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9668 1111 63 0 11076 0 vsize: 44556 [startup+310.016 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13327 0 0 0 30957 45 0 0 25 0 1 0 708339426 45625344 9686 4294967295 134512640 134714508 3221221776 3221217936 1075115715 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9686 1111 63 0 11076 0 vsize: 44556 [startup+320.017 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13331 0 0 0 31957 45 0 0 25 0 1 0 708339426 45625344 9690 4294967295 134512640 134714508 3221221776 3221218768 1074867308 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9690 1111 63 0 11076 0 vsize: 44556 [startup+330.018 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13331 0 0 0 32957 45 0 0 25 0 1 0 708339426 45625344 9690 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9690 1111 63 0 11076 0 vsize: 44556 [startup+340.018 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 13331 0 0 0 33957 45 0 0 25 0 1 0 708339426 45625344 9690 4294967295 134512640 134714508 3221221776 3221217872 1074882630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11139 9690 1111 63 0 11076 0 vsize: 44556 [startup+350.019 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 19017 0 0 0 34942 60 0 0 25 0 1 0 708339426 33898496 7542 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8276 7542 1111 63 0 8213 0 vsize: 33104 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 21137 0 0 0 35935 68 0 0 25 0 1 0 708339426 33898496 7542 4294967295 134512640 134714508 3221221776 3221220224 134648533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8276 7542 1111 63 0 8213 0 vsize: 33104 [startup+370.021 s] Raw data (loadavg): 0.99 0.98 1.05 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 26458 0 0 0 36923 80 0 0 25 0 1 0 708339426 46100480 9359 4294967295 134512640 134714508 3221221776 3221217664 1074872888 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11255 9359 1111 63 0 11192 0 vsize: 45020 [startup+380.022 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 32195 0 0 0 37906 97 0 0 25 0 1 0 708339426 34332672 7651 4294967295 134512640 134714508 3221221776 3221220016 1074039443 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8382 7651 1111 63 0 8319 0 vsize: 33528 [startup+390.022 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34299 0 0 0 38897 106 0 0 25 0 1 0 708339426 34332672 7651 4294967295 134512640 134714508 3221221776 3221219848 1074950096 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8382 7651 1111 63 0 8319 0 vsize: 33528 [startup+400.023 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34725 0 0 0 39895 108 0 0 25 0 1 0 708339426 34332672 7653 4294967295 134512640 134714508 3221221776 3221220284 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8382 7653 1111 63 0 8319 0 vsize: 33528 [startup+410.023 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34726 0 0 0 40894 109 0 0 25 0 1 0 708339426 34332672 7654 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8382 7654 1111 63 0 8319 0 vsize: 33528 [startup+420.024 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34736 0 0 0 41894 109 0 0 25 0 1 0 708339426 34332672 7664 4294967295 134512640 134714508 3221221776 3221220416 134539446 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8382 7664 1111 63 0 8319 0 vsize: 33528 [startup+430.025 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34770 0 0 0 42894 109 0 0 25 0 1 0 708339426 34463744 7698 4294967295 134512640 134714508 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8414 7698 1111 63 0 8351 0 vsize: 33656 [startup+440.025 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34822 0 0 0 43894 109 0 0 25 0 1 0 708339426 34734080 7750 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8480 7750 1111 63 0 8417 0 vsize: 33920 [startup+450.025 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34873 0 0 0 44894 110 0 0 25 0 1 0 708339426 35000320 7801 4294967295 134512640 134714508 3221221776 3221220308 134543025 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8545 7801 1111 63 0 8482 0 vsize: 34180 [startup+460.025 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 34947 0 0 0 45893 111 0 0 25 0 1 0 708339426 35266560 7875 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8610 7875 1111 63 0 8547 0 vsize: 34440 [startup+470.026 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 35026 0 0 0 46893 111 0 0 25 0 1 0 708339426 35536896 7954 4294967295 134512640 134714508 3221221776 3221220380 134536831 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8676 7954 1111 63 0 8613 0 vsize: 34704 [startup+480.027 s] Raw data (loadavg): 0.99 0.98 1.04 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 35094 0 0 0 47894 111 0 0 25 0 1 0 708339426 35807232 8022 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8742 8022 1111 63 0 8679 0 vsize: 34968 [startup+490.027 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 38006 0 0 0 48885 119 0 0 25 0 1 0 708339426 39215104 7631 4294967295 134512640 134714508 3221221776 3221218320 1075088563 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9574 7631 1111 63 0 9511 0 vsize: 38296 [startup+500.027 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 40456 0 0 0 49879 126 0 0 25 0 1 0 708339426 40804352 8063 4294967295 134512640 134714508 3221221776 3221218048 1074961301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9962 8063 1111 63 0 9899 0 vsize: 39848 [startup+510.027 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 42779 0 0 0 50873 131 0 0 25 0 1 0 708339426 44265472 8872 4294967295 134512640 134714508 3221221776 3221217928 1074883029 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10807 8872 1111 63 0 10744 0 vsize: 43228 [startup+520.029 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 44049 0 0 0 51870 135 0 0 25 0 1 0 708339426 35700736 7879 4294967295 134512640 134714508 3221221776 3221217904 1074882610 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8716 7879 1111 63 0 8653 0 vsize: 34864 [startup+530.03 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 45549 0 0 0 52866 139 0 0 25 0 1 0 708339426 45658112 8094 4294967295 134512640 134714508 3221221776 3221218004 1075115123 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11147 8094 1111 63 0 11084 0 vsize: 44588 [startup+540.029 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 46690 0 0 0 53864 142 0 0 25 0 1 0 708339426 42147840 8391 4294967295 134512640 134714508 3221221776 3221217788 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10290 8391 1111 63 0 10227 0 vsize: 41160 [startup+550.03 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 47414 0 0 0 54862 144 0 0 25 0 1 0 708339426 33804288 7504 4294967295 134512640 134714508 3221221776 3221220032 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8253 7504 1111 63 0 8190 0 vsize: 33012 [startup+560.029 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 49462 0 0 0 55857 148 0 0 25 0 1 0 708339426 33636352 7543 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8212 7543 1111 63 0 8149 0 vsize: 32848 [startup+570.03 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 51586 0 0 0 56853 153 0 0 25 0 1 0 708339426 42405888 8477 4294967295 134512640 134714508 3221221776 3221217876 1075964282 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10353 8477 1111 63 0 10290 0 vsize: 41412 [startup+580.031 s] Raw data (loadavg): 0.99 0.98 1.03 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 51588 0 0 0 57853 153 0 0 25 0 1 0 708339426 42405888 8478 4294967295 134512640 134714508 3221221776 3221217660 1074788915 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10353 8478 1111 63 0 10290 0 vsize: 41412 [startup+590.03 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 53069 0 0 0 58850 156 0 0 25 0 1 0 708339426 34217984 7632 4294967295 134512640 134714508 3221221776 3221219992 1074138162 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8354 7632 1111 63 0 8291 0 vsize: 33416 [startup+600.031 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 54873 0 0 0 59846 160 0 0 25 0 1 0 708339426 34082816 7652 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8321 7652 1111 63 0 8258 0 vsize: 33284 [startup+610.031 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 57008 0 0 0 60841 166 0 0 25 0 1 0 708339426 42651648 8525 4294967295 134512640 134714508 3221221776 3221217660 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10413 8525 1111 63 0 10350 0 vsize: 41652 [startup+620.032 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 57022 0 0 0 61841 166 0 0 25 0 1 0 708339426 42651648 8538 4294967295 134512640 134714508 3221221776 3221218016 1075115747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10413 8538 1111 63 0 10350 0 vsize: 41652 [startup+630.032 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 57022 0 0 0 62841 166 0 0 25 0 1 0 708339426 42651648 8538 4294967295 134512640 134714508 3221221776 3221217684 1074786562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10413 8538 1111 63 0 10350 0 vsize: 41652 [startup+640.032 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 59060 0 0 0 63835 172 0 0 25 0 1 0 708339426 46030848 8178 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11238 8178 1111 63 0 11175 0 vsize: 44952 [startup+650.033 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 60208 0 0 0 64833 174 0 0 25 0 1 0 708339426 42520576 8485 4294967295 134512640 134714508 3221221776 3221218352 1076048143 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10381 8485 1111 63 0 10318 0 vsize: 41524 [startup+660.033 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 61086 0 0 0 65830 177 0 0 25 0 1 0 708339426 33046528 7387 4294967295 134512640 134714508 3221221776 3221220160 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8068 7387 1111 63 0 8005 0 vsize: 32272 [startup+670.034 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 63353 0 0 0 66825 183 0 0 25 0 1 0 708339426 42315776 8435 4294967295 134512640 134714508 3221221776 3221217820 1074873483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10331 8435 1111 63 0 10268 0 vsize: 41324 [startup+680.035 s] Raw data (loadavg): 0.99 0.98 1.02 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 64074 0 0 0 67822 186 0 0 25 0 1 0 708339426 34103296 7569 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8326 7569 1111 63 0 8263 0 vsize: 33304 [startup+690.035 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 65306 0 0 0 68819 189 0 0 25 0 1 0 708339426 37683200 8211 4294967295 134512640 134714508 3221221776 3221217696 1075965246 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9200 8211 1111 63 0 9137 0 vsize: 36800 [startup+700.035 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 65984 0 0 0 69817 191 0 0 25 0 1 0 708339426 34041856 7639 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8311 7639 1111 63 0 8248 0 vsize: 33244 [startup+710.036 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 68003 0 0 0 70812 196 0 0 25 0 1 0 708339426 42536960 8504 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10385 8504 1111 63 0 10322 0 vsize: 41540 [startup+720.036 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 68005 0 0 0 71812 196 0 0 25 0 1 0 708339426 42536960 8505 4294967295 134512640 134714508 3221221776 3221217984 1074815241 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10385 8505 1111 63 0 10322 0 vsize: 41540 [startup+730.036 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 68711 0 0 0 72811 198 0 0 25 0 1 0 708339426 33452032 7499 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8167 7499 1111 63 0 8104 0 vsize: 32668 [startup+740.036 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 70933 0 0 0 73805 204 0 0 25 0 1 0 708339426 42504192 8479 4294967295 134512640 134714508 3221221776 3221218696 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10377 8479 1111 63 0 10314 0 vsize: 41508 [startup+750.036 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 70939 0 0 0 74805 204 0 0 25 0 1 0 708339426 42504192 8484 4294967295 134512640 134714508 3221221776 3221218160 1076117217 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10377 8484 1111 63 0 10314 0 vsize: 41508 [startup+760.036 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 71645 0 0 0 75803 206 0 0 25 0 1 0 708339426 34242560 7602 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8360 7602 1111 63 0 8297 0 vsize: 33440 [startup+770.036 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 73045 0 0 0 76800 209 0 0 25 0 1 0 708339426 38338560 8360 4294967295 134512640 134714508 3221221776 3221218496 1076083606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9360 8360 1111 63 0 9297 0 vsize: 37440 [startup+780.037 s] Raw data (loadavg): 0.99 0.98 1.01 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 75670 0 0 0 77793 216 0 0 25 0 1 0 708339426 42561536 8498 4294967295 134512640 134714508 3221221776 3221217820 1074873474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10391 8498 1111 63 0 10328 0 vsize: 41564 [startup+790.037 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 75681 0 0 0 78793 216 0 0 25 0 1 0 708339426 42561536 8508 4294967295 134512640 134714508 3221221776 3221217788 1074788944 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10391 8508 1111 63 0 10328 0 vsize: 41564 [startup+800.038 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 76333 0 0 0 79792 218 0 0 25 0 1 0 708339426 34357248 7688 4294967295 134512640 134714508 3221221776 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8388 7688 1111 63 0 8325 0 vsize: 33552 [startup+810.037 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 77653 0 0 0 80789 221 0 0 25 0 1 0 708339426 38359040 8321 4294967295 134512640 134714508 3221221776 3221218272 1075088563 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9365 8321 1111 63 0 9302 0 vsize: 37460 [startup+820.038 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 78307 0 0 0 81787 223 0 0 25 0 1 0 708339426 34287616 7702 4294967295 134512640 134714508 3221221776 3221219860 1077378716 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8371 7702 1111 63 0 8308 0 vsize: 33484 [startup+830.039 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 80328 0 0 0 82783 227 0 0 25 0 1 0 708339426 42721280 8563 4294967295 134512640 134714508 3221221776 3221218048 1074961155 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10430 8563 1111 63 0 10367 0 vsize: 41720 [startup+840.038 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 80329 0 0 0 83783 227 0 0 25 0 1 0 708339426 42721280 8564 4294967295 134512640 134714508 3221221776 3221218004 1075115039 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10430 8564 1111 63 0 10367 0 vsize: 41720 [startup+850.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 80915 0 0 0 84782 228 0 0 25 0 1 0 708339426 34263040 7697 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8365 7697 1111 63 0 8302 0 vsize: 33460 [startup+860.039 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 82755 0 0 0 85778 233 0 0 25 0 1 0 708339426 42467328 8508 4294967295 134512640 134714508 3221221776 3221217984 1074815253 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10368 8508 1111 63 0 10305 0 vsize: 41472 [startup+870.039 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 82758 0 0 0 86778 233 0 0 25 0 1 0 708339426 42467328 8510 4294967295 134512640 134714508 3221221776 3221217712 1075965250 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10368 8510 1111 63 0 10305 0 vsize: 41472 [startup+880.041 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 85019 0 0 0 87772 239 0 0 25 0 1 0 708339426 45969408 9330 4294967295 134512640 134714508 3221221776 3221217876 1075964214 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11223 9330 1111 63 0 11160 0 vsize: 44892 [startup+890.041 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 85039 0 0 0 88772 239 0 0 25 0 1 0 708339426 42459136 8508 4294967295 134512640 134714508 3221221776 3221217936 1075093371 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10366 8508 1111 63 0 10303 0 vsize: 41464 [startup+900.041 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 87286 0 0 0 89767 244 0 0 25 0 1 0 708339426 45989888 9317 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11228 9317 1111 63 0 11165 0 vsize: 44912 [startup+910.041 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 87307 0 0 0 90767 245 0 0 25 0 1 0 708339426 42479616 8497 4294967295 134512640 134714508 3221221776 3221218172 1075114064 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10371 8497 1111 63 0 10308 0 vsize: 41484 [startup+920.041 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 87746 0 0 0 91766 246 0 0 25 0 1 0 708339426 34263040 7697 4294967295 134512640 134714508 3221221776 3221220160 1074153792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8365 7697 1111 63 0 8302 0 vsize: 33460 [startup+930.041 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 89478 0 0 0 92762 250 0 0 25 0 1 0 708339426 42393600 8481 4294967295 134512640 134714508 3221221776 3221217712 1075965308 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10350 8481 1111 63 0 10287 0 vsize: 41400 [startup+940.041 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 90204 0 0 0 93760 253 0 0 25 0 1 0 708339426 35008512 7847 4294967295 134512640 134714508 3221221776 3221220272 134558521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8547 7847 1111 63 0 8484 0 vsize: 34188 [startup+950.042 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 91947 0 0 0 94756 257 0 0 25 0 1 0 708339426 42246144 8467 4294967295 134512640 134714508 3221221776 3221217660 1074788964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10314 8467 1111 63 0 10251 0 vsize: 41256 [startup+960.042 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 92662 0 0 0 95754 259 0 0 25 0 1 0 708339426 34820096 7833 4294967295 134512640 134714508 3221221776 3221220256 1074031958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8501 7833 1111 63 0 8438 0 vsize: 34004 [startup+970.042 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 94319 0 0 0 96750 263 0 0 25 0 1 0 708339426 41938944 8400 4294967295 134512640 134714508 3221221776 3221217788 1074788953 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10239 8400 1111 63 0 10176 0 vsize: 40956 [startup+980.043 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 94856 0 0 0 97749 264 0 0 25 0 1 0 708339426 34754560 7817 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8485 7817 1111 63 0 8422 0 vsize: 33940 [startup+990.043 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 96393 0 0 0 98746 268 0 0 25 0 1 0 708339426 41635840 8291 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10165 8291 1111 63 0 10102 0 vsize: 40660 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 97107 0 0 0 99744 269 0 0 25 0 1 0 708339426 45531136 8107 4294967295 134512640 134714508 3221221776 3221218048 1074961146 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11116 8107 1111 63 0 11053 0 vsize: 44464 [startup+1010.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 98794 0 0 0 100741 273 0 0 25 0 1 0 708339426 34750464 7816 4294967295 134512640 134714508 3221221776 3221219988 1075964214 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8484 7816 1111 63 0 8421 0 vsize: 33936 [startup+1020.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 100475 0 0 0 101737 277 0 0 25 0 1 0 708339426 42041344 8422 4294967295 134512640 134714508 3221221776 3221218016 1075115709 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10264 8422 1111 63 0 10201 0 vsize: 41056 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 101024 0 0 0 102735 278 0 0 25 0 1 0 708339426 34750464 7816 4294967295 134512640 134714508 3221221776 3221220272 134558521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8484 7816 1111 63 0 8421 0 vsize: 33936 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 102823 0 0 0 103732 283 0 0 25 0 1 0 708339426 42139648 8470 4294967295 134512640 134714508 3221221776 3221217888 1075895670 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10288 8470 1111 63 0 10225 0 vsize: 41152 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 103494 0 0 0 104730 284 0 0 25 0 1 0 708339426 34947072 7857 4294967295 134512640 134714508 3221221776 3221220028 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8532 7857 1111 63 0 8469 0 vsize: 34128 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 107647 0 0 0 105721 294 0 0 25 0 1 0 708339426 45748224 9279 4294967295 134512640 134714508 3221221776 3221217936 1075095371 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11169 9279 1111 63 0 11106 0 vsize: 44676 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 107666 0 0 0 106720 294 0 0 25 0 1 0 708339426 42237952 8453 4294967295 134512640 134714508 3221221776 3221217712 1075965234 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10312 8453 1111 63 0 10249 0 vsize: 41248 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 109178 0 0 0 107717 298 0 0 25 0 1 0 708339426 37990400 8213 4294967295 134512640 134714508 3221221776 3221217692 1074788177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9275 8213 1111 63 0 9212 0 vsize: 37100 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 111067 0 0 0 108713 302 0 0 25 0 1 0 708339426 41390080 8244 4294967295 134512640 134714508 3221221776 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10105 8244 1111 63 0 10042 0 vsize: 40420 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 112094 0 0 0 109710 305 0 0 25 0 1 0 708339426 34213888 7685 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8353 7685 1111 63 0 8290 0 vsize: 33412 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 113679 0 0 0 110707 309 0 0 25 0 1 0 708339426 41791488 8370 4294967295 134512640 134714508 3221221776 3221217936 1074883521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10203 8370 1111 63 0 10140 0 vsize: 40812 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 115021 0 0 0 111704 311 0 0 25 0 1 0 708339426 37933056 8160 4294967295 134512640 134714508 3221221776 3221217888 1075093369 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9261 8160 1111 63 0 9198 0 vsize: 37044 [startup+1130.05 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 116211 0 0 0 112701 315 0 0 25 0 1 0 708339426 46190592 8174 4294967295 134512640 134714508 3221221776 3221217984 1074815265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11277 8174 1111 63 0 11214 0 vsize: 45108 [startup+1140.05 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 117442 0 0 0 113698 318 0 0 25 0 1 0 708339426 42680320 8559 4294967295 134512640 134714508 3221221776 3221217928 1074883029 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10420 8559 1111 63 0 10357 0 vsize: 41680 [startup+1150.05 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 118381 0 0 0 114696 320 0 0 25 0 1 0 708339426 35037184 7871 4294967295 134512640 134714508 3221221776 3221220160 1074153779 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8554 7871 1111 63 0 8491 0 vsize: 34216 [startup+1160.05 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 120285 0 0 0 115692 325 0 0 25 0 1 0 708339426 42721280 8558 4294967295 134512640 134714508 3221221776 3221217768 1075964778 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10430 8558 1111 63 0 10367 0 vsize: 41720 [startup+1170.05 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 121074 0 0 0 116690 326 0 0 25 0 1 0 708339426 35201024 7921 4294967295 134512640 134714508 3221221776 3221219928 1074950114 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8594 7921 1111 63 0 8531 0 vsize: 34376 [startup+1180.05 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 125636 0 0 0 117679 338 0 0 25 0 1 0 708339426 45948928 8185 4294967295 134512640 134714508 3221221776 3221217820 1074873465 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11218 8185 1111 63 0 11155 0 vsize: 44872 [startup+1190.05 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 126822 0 0 0 118676 341 0 0 25 0 1 0 708339426 42438656 8519 4294967295 134512640 134714508 3221221776 3221217712 1075965303 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10361 8519 1111 63 0 10298 0 vsize: 41444 [startup+1200.05 s] Raw data (loadavg): 0.99 0.98 1.00 2/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) R 9438 7876 7672 0 -1 0 128456 0 0 0 119671 346 0 0 25 0 1 0 708339426 38334464 8274 4294967295 134512640 134714508 3221221776 3221217936 1074815253 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9359 8274 1111 63 0 9296 0 vsize: 37436 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.06 s] Raw data (loadavg): 0.99 0.98 1.00 1/54 9439 Raw data (stat): 9439 (bsolo_lpr_cuts) Z 9438 7876 7672 0 -1 1036 128456 0 0 0 119671 347 0 0 25 0 1 0 708339426 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.06 CPU time (s): 1200.19 CPU user time (s): 1196.72 CPU system time (s): 3.47847 CPU usage (%): 100.011 Max. virtual memory (Kb): 45108 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####