Name | normalized-opb/submitted/een/normalized-fast0507.opb |
MD5SUM | bc1a4f1c9875fd4d3273e85dcf5e871e |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 311 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 63009 |
Biggest coefficient in the objective function | 2 |
Number of bits for the biggest coefficient in the objective function | 2 |
Sum of the numbers in the objective function | 122425 |
Number of bits of the sum of numbers in the objective function | 17 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 122425 |
Number of bits of the biggest sum of numbers | 17 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.19 |
Number of variables | 63001 |
Total number of constraints | 489 |
Number of constraints which are clauses | 489 |
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 | 7753 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-16 11:09:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=5007 boxname=wulflinc31 idbench=386 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: bc1a4f1c9875fd4d3273e85dcf5e871e /oldhome/oroussel/tmp/wulflinc31/normalized-fast0507.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fast0507.opb IDLAUNCH: 5007 /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: 788604 kB Buffers: 49032 kB Cached: 174436 kB SwapCached: 1952 kB Active: 182648 kB Inactive: 44036 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 788352 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5380 kB Slab: 13796 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-16 11:29:52 (client local time) WITH STATUS 0 IN 1200.21 SECONDS stats: 5007 7 1200.21 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 63009 variables and 489 constraints. #### 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.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (runsolver) R 12630 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 760620209 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 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 730 0 0 0 991 3 0 0 25 0 1 0 760620209 15622144 653 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3814 653 1111 63 0 3751 0 vsize: 15256 [startup+20.0009 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 842 0 0 0 1992 3 0 0 25 0 1 0 760620209 16027648 765 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3913 765 1111 63 0 3850 0 vsize: 15652 [startup+30.0011 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 954 0 0 0 2991 4 0 0 25 0 1 0 760620209 16433152 877 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4012 877 1111 63 0 3949 0 vsize: 16048 [startup+40.0011 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1072 0 0 0 3991 4 0 0 25 0 1 0 760620209 16982016 995 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4146 995 1111 63 0 4083 0 vsize: 16584 [startup+50.0017 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1209 0 0 0 4991 4 0 0 25 0 1 0 760620209 17510400 1132 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4275 1132 1111 63 0 4212 0 vsize: 17100 [startup+60.0019 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1328 0 0 0 5991 5 0 0 25 0 1 0 760620209 17985536 1251 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4391 1251 1111 63 0 4328 0 vsize: 17564 [startup+70.0026 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1456 0 0 0 6991 5 0 0 25 0 1 0 760620209 18579456 1379 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4536 1379 1111 63 0 4473 0 vsize: 18144 [startup+80.0025 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1585 0 0 0 7991 5 0 0 25 0 1 0 760620209 19042304 1508 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4649 1508 1111 63 0 4586 0 vsize: 18596 [startup+90.0027 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1722 0 0 0 8991 5 0 0 25 0 1 0 760620209 19623936 1645 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4791 1645 1111 63 0 4728 0 vsize: 19164 [startup+100.004 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1849 0 0 0 9991 6 0 0 25 0 1 0 760620209 20123648 1772 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4913 1772 1111 63 0 4850 0 vsize: 19652 [startup+110.004 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1991 0 0 0 10991 6 0 0 25 0 1 0 760620209 20680704 1914 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5049 1914 1111 63 0 4986 0 vsize: 20196 [startup+120.006 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 2131 0 0 0 11990 7 0 0 25 0 1 0 760620209 21237760 2054 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5185 2054 1111 63 0 5122 0 vsize: 20740 [startup+130.005 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 2641 0 0 0 12988 9 0 0 25 0 1 0 760620209 22114304 2210 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5399 2210 1111 63 0 5336 0 vsize: 21596 [startup+140.005 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 4632 0 0 0 13981 16 0 0 25 0 1 0 760620209 22564864 2355 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5509 2355 1111 63 0 5446 0 vsize: 22036 [startup+150.006 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 8224 0 0 0 14972 26 0 0 25 0 1 0 760620209 23293952 2504 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5687 2504 1111 63 0 5624 0 vsize: 22748 [startup+160.006 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 13707 0 0 0 15961 37 0 0 25 0 1 0 760620209 23736320 2648 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5795 2648 1111 63 0 5732 0 vsize: 23180 [startup+170.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 21243 0 0 0 16945 52 0 0 25 0 1 0 760620209 24391680 2811 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5955 2811 1111 63 0 5892 0 vsize: 23820 [startup+180.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 30525 0 0 0 17926 72 0 0 25 0 1 0 760620209 25202688 2980 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6153 2980 1111 63 0 6090 0 vsize: 24612 [startup+190.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 41941 0 0 0 18906 92 0 0 25 0 1 0 760620209 25649152 3125 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6262 3125 1111 63 0 6199 0 vsize: 25048 [startup+200.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 55922 0 0 0 19879 119 0 0 25 0 1 0 760620209 26337280 3297 4294967295 134512640 134714508 3221221776 3221219988 1077358979 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6430 3297 1111 63 0 6367 0 vsize: 25720 [startup+210.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 72548 0 0 0 20846 152 0 0 25 0 1 0 760620209 27197440 3474 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6640 3478 1111 63 0 6577 0 vsize: 26560 [startup+220.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 93786 0 0 0 21808 191 0 0 25 0 1 0 760620209 28114944 3642 4294967295 134512640 134714508 3221221776 3221219868 1077387418 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6864 3648 1111 63 0 6801 0 vsize: 27456 [startup+230.007 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 155053 0 0 0 22687 311 0 0 25 0 1 0 760620209 28663808 3803 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6998 3803 1111 63 0 6935 0 vsize: 27992 [startup+240.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 222754 0 0 0 23559 440 0 0 25 0 1 0 760620209 29343744 3976 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7164 3976 1111 63 0 7101 0 vsize: 28656 [startup+250.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 294473 0 0 0 24429 570 0 0 25 0 1 0 760620209 30027776 4151 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7331 4151 1111 63 0 7268 0 vsize: 29324 [startup+260.008 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 373847 0 0 0 25283 717 0 0 25 0 1 0 760620209 30846976 4337 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7531 4337 1111 63 0 7468 0 vsize: 30124 [startup+270.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 460973 0 0 0 26121 879 0 0 25 0 1 0 760620209 31838208 4565 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7773 4571 1111 63 0 7710 0 vsize: 31092 [startup+280.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 553849 0 0 0 26950 1050 0 0 25 0 1 0 760620209 32530432 4763 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7942 4768 1111 63 0 7879 0 vsize: 31768 [startup+290.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 649726 0 0 0 27773 1227 0 0 25 0 1 0 760620209 33357824 4928 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8144 4933 1111 63 0 8081 0 vsize: 32576 [startup+300.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 753696 0 0 0 28579 1421 0 0 25 0 1 0 760620209 33992704 5122 4294967295 134512640 134714508 3221221776 3221219736 1077377771 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8299 5122 1111 63 0 8236 0 vsize: 33196 [startup+310.009 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 864666 0 0 0 29368 1632 0 0 25 0 1 0 760620209 35024896 5376 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8500 5325 1111 63 0 8437 0 vsize: 34204 [startup+320.01 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 983697 0 0 0 30141 1860 0 0 25 0 1 0 760620209 35635200 5536 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8700 5536 1111 63 0 8637 0 vsize: 34800 [startup+330.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1111108 0 0 0 30900 2101 0 0 25 0 1 0 760620209 36683776 5763 4294967295 134512640 134714508 3221221776 3221220128 134568037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8956 5768 1111 63 0 8893 0 vsize: 35824 [startup+340.011 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1248357 0 0 0 31636 2365 0 0 25 0 1 0 760620209 37416960 5975 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9135 5975 1111 63 0 9072 0 vsize: 36540 [startup+350.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1398177 0 0 0 32353 2648 0 0 25 0 1 0 760620209 38375424 6207 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9369 6207 1111 63 0 9306 0 vsize: 37476 [startup+360.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1518383 0 0 0 33126 2875 0 0 25 0 1 0 760620209 44539904 7717 4294967295 134512640 134714508 3221221776 3221220264 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10874 7717 1111 63 0 10811 0 vsize: 43496 [startup+370.012 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1521071 0 0 0 34118 2883 0 0 25 0 1 0 760620209 55508992 10405 4294967295 134512640 134714508 3221221776 3221219692 1077244347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13552 10405 1111 63 0 13489 0 vsize: 54208 [startup+380.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1522666 0 0 0 35112 2888 0 0 25 0 1 0 760620209 62398464 12000 4294967295 134512640 134714508 3221221776 3221220052 1077414370 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 15234 12000 1111 63 0 15171 0 vsize: 60936 [startup+390.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1523599 0 0 0 36110 2890 0 0 25 0 1 0 760620209 66449408 12925 4294967295 134512640 134714508 3221221776 3221219768 1077360204 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16223 12925 1111 63 0 16160 0 vsize: 64892 [startup+400.014 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 37098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220228 134536752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+410.013 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 38098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+420.015 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 39098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535906 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+430.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 40098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+440.016 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 41098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+450.017 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 42098 2902 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+460.017 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 43099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+470.018 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 44099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+480.018 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 45099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+490.018 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 46099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+500.019 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 47099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+510.019 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 48099 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+520.02 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 49100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+530.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 50100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+540.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 51100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220256 134543110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+550.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 52100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220236 134536748 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+560.021 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 53100 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535973 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+570.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 54101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+580.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 55101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+590.022 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 56101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+600.023 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 57101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+610.024 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 58101 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+620.025 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 59102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+630.025 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 60102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+640.025 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 61102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+650.026 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 62102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+660.026 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 63102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+670.027 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 64102 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+680.028 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 65103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+690.028 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 66103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+700.029 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 67103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+710.029 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 68103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220504 134672936 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+720.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 69103 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+730.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 70104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+740.03 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 71104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220224 134535985 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+750.031 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 72104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+760.031 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 73104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+770.032 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 74104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+780.033 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 75104 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+790.033 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 76105 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220236 134535988 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+800.034 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 77105 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+810.035 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 78105 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+820.036 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 79105 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535942 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+830.037 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 80106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+840.037 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 81106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+850.037 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 82106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535952 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+860.037 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 83106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+870.038 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 84106 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220244 134543025 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+880.039 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 85107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+890.039 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 86107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+900.04 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 87107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+910.041 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 88107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+920.042 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 89107 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220256 134543043 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+930.042 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 90108 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+940.042 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 91108 2903 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+950.043 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 92107 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+960.043 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 93107 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+970.044 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 94108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+980.044 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 95108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220512 134630815 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+990.044 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 96108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+1000.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 97108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+1010.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529126 0 0 0 98108 2904 0 0 25 0 1 0 760620209 80773120 18284 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18284 1111 63 0 19657 0 vsize: 78880 [startup+1020.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529127 0 0 0 99108 2904 0 0 25 0 1 0 760620209 80773120 18285 4294967295 134512640 134714508 3221221776 3221220220 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18285 1111 63 0 19657 0 vsize: 78880 [startup+1030.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529127 0 0 0 100108 2904 0 0 25 0 1 0 760620209 80773120 18285 4294967295 134512640 134714508 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18285 1111 63 0 19657 0 vsize: 78880 [startup+1040.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 101109 2904 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220220 134536788 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18287 1111 63 0 19657 0 vsize: 78880 [startup+1050.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 102109 2904 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18287 1111 63 0 19657 0 vsize: 78880 [startup+1060.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 103109 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18287 1111 63 0 19657 0 vsize: 78880 [startup+1070.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 104109 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18287 1111 63 0 19657 0 vsize: 78880 [startup+1080.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 105109 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18287 1111 63 0 19657 0 vsize: 78880 [startup+1090.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 106109 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18287 1111 63 0 19657 0 vsize: 78880 [startup+1100.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 107110 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18287 1111 63 0 19657 0 vsize: 78880 [startup+1110.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 108110 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220220 134535903 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18287 1111 63 0 19657 0 vsize: 78880 [startup+1120.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529129 0 0 0 109110 2905 0 0 25 0 1 0 760620209 80773120 18287 4294967295 134512640 134714508 3221221776 3221220240 134543097 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18287 1111 63 0 19657 0 vsize: 78880 [startup+1130.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529130 0 0 0 110110 2905 0 0 25 0 1 0 760620209 80773120 18288 4294967295 134512640 134714508 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18288 1111 63 0 19657 0 vsize: 78880 [startup+1140.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529130 0 0 0 111110 2905 0 0 25 0 1 0 760620209 80773120 18288 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18288 1111 63 0 19657 0 vsize: 78880 [startup+1150.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529131 0 0 0 112111 2905 0 0 25 0 1 0 760620209 80773120 18289 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18289 1111 63 0 19657 0 vsize: 78880 [startup+1160.05 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529132 0 0 0 113111 2905 0 0 25 0 1 0 760620209 80773120 18290 4294967295 134512640 134714508 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18290 1111 63 0 19657 0 vsize: 78880 [startup+1170.06 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529132 0 0 0 114111 2905 0 0 25 0 1 0 760620209 80773120 18290 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18290 1111 63 0 19657 0 vsize: 78880 [startup+1180.06 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529133 0 0 0 115111 2905 0 0 25 0 1 0 760620209 80773120 18291 4294967295 134512640 134714508 3221221776 3221220220 134535895 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18291 1111 63 0 19657 0 vsize: 78880 [startup+1190.06 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529133 0 0 0 116112 2905 0 0 25 0 1 0 760620209 80773120 18291 4294967295 134512640 134714508 3221221776 3221220256 134543043 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18291 1111 63 0 19657 0 vsize: 78880 [startup+1200.06 s] Raw data (loadavg): 0.99 1.00 1.00 2/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) R 12630 7876 7672 0 -1 0 1529133 0 0 0 117112 2905 0 0 25 0 1 0 760620209 80773120 18291 4294967295 134512640 134714508 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19720 18291 1111 63 0 19657 0 vsize: 78880 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.09 s] Raw data (loadavg): 0.99 1.00 1.00 1/55 12631 Raw data (stat): 12631 (bsolo_lpr_cuts) Z 12630 7876 7672 0 -1 1036 1529133 0 0 0 117112 2908 0 0 25 0 1 0 760620209 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.09 CPU time (s): 1200.21 CPU user time (s): 1171.12 CPU system time (s): 29.0866 CPU usage (%): 100.01 Max. virtual memory (Kb): 78880 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####