Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-momentum3.opb |
MD5SUM | bdf0df6b57384ca8a37c1ce2e87cfc07 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 67174 |
Biggest coefficient in the objective function | 163840000 |
Number of bits for the biggest coefficient in the objective function | 28 |
Sum of the numbers in the objective function | 1696626095 |
Number of bits of the sum of numbers in the objective function | 31 |
Biggest number in a constraint | 1280000000000000115964116992 |
Number of bits of the biggest number in a constraint | 91 |
Biggest sum of numbers in a constraint | 3721289892401349417752330240 |
Number of bits of the biggest sum of numbers | 92 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.675896 |
Number of variables | 71194 |
Total number of constraints | 70153 |
Number of constraints which are clauses | 6081 |
Number of constraints which are cardinality constraints (but not clauses) | 7185 |
Number of constraints which are nor clauses,nor cardinality constraints | 56887 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 814 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-22 08:21:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17760 boxname=wulflinc31 idbench=1367 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: bdf0df6b57384ca8a37c1ce2e87cfc07 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-momentum3.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-momentum3.opb IDLAUNCH: 17760 /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: 441924 kB Buffers: 7496 kB Cached: 561452 kB SwapCached: 3952 kB Active: 535224 kB Inactive: 38848 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 441672 kB SwapTotal: 2097892 kB SwapFree: 2092908 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5096 kB Slab: 12896 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-22 08:36:37 (client local time) WITH STATUS 0 IN 905.106 SECONDS stats: 17760 7 905.106 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c ERROR Parsing file!!! c ERROR parsing line: +78125000*x1269_bit_7 +156250000*x1269_bit_6 +312500000*x1269_bit_5 +625000000*x1269_bit_4 +1250000000*x1269_bit_3 +2500000000*x1269_bit_2 +5000000000*x1269_bit_1 +10000000000*x1269_bit0 +20000000000*x1269_bit1 -1374294217*x7733_bit0 >= +0; c Cannot parse input file name: /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-momentum3.opb s UNKNOWN c Exit Code: 0 c Total time: 904.857 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): 1.06 1.00 0.96 2/55 21892 Raw data (stat): 21892 (runsolver) R 21891 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 811456183 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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.0001 s] Raw data (loadavg): 1.05 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 1368 0 0 0 991 4 0 0 25 0 1 0 811456183 17776640 1291 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4340 1291 1111 63 0 4277 0 vsize: 17360 [startup+20.0013 s] Raw data (loadavg): 1.04 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 2029 0 0 0 1990 5 0 0 25 0 1 0 811456183 20357120 1952 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4970 1952 1111 63 0 4907 0 vsize: 19880 [startup+30.0009 s] Raw data (loadavg): 1.03 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 2681 0 0 0 2988 7 0 0 25 0 1 0 811456183 23048192 2604 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5627 2604 1111 63 0 5564 0 vsize: 22508 [startup+40.0018 s] Raw data (loadavg): 1.03 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 3345 0 0 0 3988 8 0 0 25 0 1 0 811456183 25829376 3268 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6306 3268 1111 63 0 6243 0 vsize: 25224 [startup+50.0021 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 4298 0 0 0 4986 9 0 0 25 0 1 0 811456183 29655040 4221 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7240 4221 1111 63 0 7177 0 vsize: 28960 [startup+60.0017 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 5166 0 0 0 5985 10 0 0 25 0 1 0 811456183 33255424 5089 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8119 5089 1111 63 0 8056 0 vsize: 32476 [startup+70.0017 s] Raw data (loadavg): 1.02 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 6041 0 0 0 6983 12 0 0 25 0 1 0 811456183 36814848 5964 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8988 5964 1111 63 0 8925 0 vsize: 35952 [startup+80.0019 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 6918 0 0 0 7983 13 0 0 25 0 1 0 811456183 40529920 6841 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9895 6841 1111 63 0 9832 0 vsize: 39580 [startup+90.0025 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 7795 0 0 0 8982 14 0 0 25 0 1 0 811456183 43982848 7718 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10738 7718 1111 63 0 10675 0 vsize: 42952 [startup+100.002 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 8676 0 0 0 9980 16 0 0 25 0 1 0 811456183 47587328 8599 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11618 8599 1111 63 0 11555 0 vsize: 46472 [startup+110.003 s] Raw data (loadavg): 1.01 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 9571 0 0 0 10979 18 0 0 25 0 1 0 811456183 51355648 9494 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12538 9494 1111 63 0 12475 0 vsize: 50152 [startup+120.003 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 10466 0 0 0 11977 20 0 0 25 0 1 0 811456183 54939648 10389 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13413 10389 1111 63 0 13350 0 vsize: 53652 [startup+130.003 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 11360 0 0 0 12975 22 0 0 25 0 1 0 811456183 58683392 11283 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14327 11283 1111 63 0 14264 0 vsize: 57308 [startup+140.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 12279 0 0 0 13972 25 0 0 25 0 1 0 811456183 62443520 12202 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15245 12202 1111 63 0 15182 0 vsize: 60980 [startup+150.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 13186 0 0 0 14971 26 0 0 25 0 1 0 811456183 66203648 13109 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16163 13109 1111 63 0 16100 0 vsize: 64652 [startup+160.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 14094 0 0 0 15970 28 0 0 25 0 1 0 811456183 69816320 14017 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17045 14017 1111 63 0 16982 0 vsize: 68180 [startup+170.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 15022 0 0 0 16968 29 0 0 25 0 1 0 811456183 73711616 14945 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17996 14945 1111 63 0 17933 0 vsize: 71984 [startup+180.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 15950 0 0 0 17967 31 0 0 25 0 1 0 811456183 77479936 15873 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18916 15873 1111 63 0 18853 0 vsize: 75664 [startup+190.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 16883 0 0 0 18965 33 0 0 25 0 1 0 811456183 81223680 16806 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19830 16806 1111 63 0 19767 0 vsize: 79320 [startup+200.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 17824 0 0 0 19963 35 0 0 25 0 1 0 811456183 85123072 17747 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20782 17747 1111 63 0 20719 0 vsize: 83128 [startup+210.005 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 18770 0 0 0 20961 37 0 0 25 0 1 0 811456183 89042944 18693 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21739 18693 1111 63 0 21676 0 vsize: 86956 [startup+220.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 19721 0 0 0 21960 39 0 0 25 0 1 0 811456183 92938240 19644 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22690 19644 1111 63 0 22627 0 vsize: 90760 [startup+230.006 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 20681 0 0 0 22958 41 0 0 25 0 1 0 811456183 96833536 20604 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23641 20604 1111 63 0 23578 0 vsize: 94564 [startup+240.007 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 21640 0 0 0 23956 43 0 0 25 0 1 0 811456183 100732928 21563 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24593 21563 1111 63 0 24530 0 vsize: 98372 [startup+250.007 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 22610 0 0 0 24955 44 0 0 25 0 1 0 811456183 104763392 22533 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25577 22533 1111 63 0 25514 0 vsize: 102308 [startup+260.007 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 23600 0 0 0 25954 46 0 0 25 0 1 0 811456183 108851200 23523 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26575 23523 1111 63 0 26512 0 vsize: 106300 [startup+270.007 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 24579 0 0 0 26952 47 0 0 25 0 1 0 811456183 112910336 24502 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27566 24502 1111 63 0 27503 0 vsize: 110264 [startup+280.007 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 25570 0 0 0 27950 49 0 0 25 0 1 0 811456183 116961280 25493 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28555 25493 1111 63 0 28492 0 vsize: 114220 [startup+290.009 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 26561 0 0 0 28948 52 0 0 25 0 1 0 811456183 121016320 26484 4294967295 134512640 134714508 3221221776 3221220432 134527972 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29545 26484 1111 63 0 29482 0 vsize: 118180 [startup+300.008 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 27553 0 0 0 29946 54 0 0 25 0 1 0 811456183 125046784 27476 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30529 27476 1111 63 0 30466 0 vsize: 122116 [startup+310.008 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 28558 0 0 0 30945 55 0 0 25 0 1 0 811456183 129208320 28481 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31545 28481 1111 63 0 31482 0 vsize: 126180 [startup+320.01 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 29560 0 0 0 31943 57 0 0 25 0 1 0 811456183 133259264 29483 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32534 29483 1111 63 0 32471 0 vsize: 130136 [startup+330.009 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 30571 0 0 0 32942 59 0 0 25 0 1 0 811456183 137445376 30494 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33556 30494 1111 63 0 33493 0 vsize: 134224 [startup+340.009 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 31589 0 0 0 33940 60 0 0 25 0 1 0 811456183 141631488 31512 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34578 31512 1111 63 0 34515 0 vsize: 138312 [startup+350.009 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 32604 0 0 0 34939 62 0 0 25 0 1 0 811456183 145682432 32527 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35567 32527 1111 63 0 35504 0 vsize: 142268 [startup+360.009 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 33628 0 0 0 35937 64 0 0 25 0 1 0 811456183 149868544 33551 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36589 33551 1111 63 0 36526 0 vsize: 146356 [startup+370.01 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 34664 0 0 0 36936 66 0 0 25 0 1 0 811456183 154083328 34587 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37618 34587 1111 63 0 37555 0 vsize: 150472 [startup+380.01 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 35707 0 0 0 37934 67 0 0 25 0 1 0 811456183 158420992 35630 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38677 35630 1111 63 0 38614 0 vsize: 154708 [startup+390.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 36761 0 0 0 38932 69 0 0 25 0 1 0 811456183 162762752 36684 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39737 36684 1111 63 0 39674 0 vsize: 158948 [startup+400.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 37829 0 0 0 39932 70 0 0 25 0 1 0 811456183 167104512 37752 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40797 37752 1111 63 0 40734 0 vsize: 163188 [startup+410.011 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 38910 0 0 0 40930 72 0 0 25 0 1 0 811456183 171446272 38833 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41857 38833 1111 63 0 41794 0 vsize: 167428 [startup+420.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 40012 0 0 0 41928 74 0 0 25 0 1 0 811456183 175951872 39935 4294967295 134512640 134714508 3221221776 3221220108 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42957 39935 1111 63 0 42894 0 vsize: 171828 [startup+430.012 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 41110 0 0 0 42926 76 0 0 25 0 1 0 811456183 180449280 41033 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44055 41033 1111 63 0 43992 0 vsize: 176220 [startup+440.013 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 42223 0 0 0 43924 78 0 0 25 0 1 0 811456183 185102336 42146 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45191 42146 1111 63 0 45128 0 vsize: 180764 [startup+450.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 43348 0 0 0 44923 80 0 0 25 0 1 0 811456183 189730816 43271 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46321 43271 1111 63 0 46258 0 vsize: 185284 [startup+460.013 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 44485 0 0 0 45921 82 0 0 25 0 1 0 811456183 194363392 44408 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47452 44408 1111 63 0 47389 0 vsize: 189808 [startup+470.013 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 45669 0 0 0 46918 84 0 0 25 0 1 0 811456183 199364608 45592 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48673 45592 1111 63 0 48610 0 vsize: 194692 [startup+480.013 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 46832 0 0 0 47917 86 0 0 25 0 1 0 811456183 204169216 46755 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49846 46755 1111 63 0 49783 0 vsize: 199384 [startup+490.014 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 48020 0 0 0 48915 88 0 0 25 0 1 0 811456183 208977920 47943 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51020 47943 1111 63 0 50957 0 vsize: 204080 [startup+500.016 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 49230 0 0 0 49913 91 0 0 25 0 1 0 811456183 214007808 49153 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52248 49153 1111 63 0 52185 0 vsize: 208992 [startup+510.015 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 50458 0 0 0 50911 93 0 0 25 0 1 0 811456183 218972160 50381 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53460 50381 1111 63 0 53397 0 vsize: 213840 [startup+520.016 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 51687 0 0 0 51908 96 0 0 25 0 1 0 811456183 224051200 51610 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 54700 51610 1111 63 0 54637 0 vsize: 218800 [startup+530.016 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 52933 0 0 0 52907 97 0 0 25 0 1 0 811456183 229122048 52856 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55938 52856 1111 63 0 55875 0 vsize: 223752 [startup+540.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 54188 0 0 0 53905 99 0 0 25 0 1 0 811456183 234201088 54111 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 57178 54111 1111 63 0 57115 0 vsize: 228712 [startup+550.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 55452 0 0 0 54904 101 0 0 25 0 1 0 811456183 239431680 55375 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58455 55375 1111 63 0 58392 0 vsize: 233820 [startup+560.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 56725 0 0 0 55902 103 0 0 25 0 1 0 811456183 244666368 56648 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59733 56648 1111 63 0 59670 0 vsize: 238932 [startup+570.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 58016 0 0 0 56899 105 0 0 25 0 1 0 811456183 249921536 57939 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61016 57939 1111 63 0 60953 0 vsize: 244064 [startup+580.017 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 59315 0 0 0 57897 108 0 0 25 0 1 0 811456183 255176704 59238 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 62299 59238 1111 63 0 62236 0 vsize: 249196 [startup+590.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 60606 0 0 0 58894 111 0 0 25 0 1 0 811456183 260587520 60529 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63620 60529 1111 63 0 63557 0 vsize: 254480 [startup+600.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 61924 0 0 0 59892 113 0 0 25 0 1 0 811456183 265977856 61847 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64936 61847 1111 63 0 64873 0 vsize: 259744 [startup+610.018 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 63242 0 0 0 60890 116 0 0 25 0 1 0 811456183 271241216 63165 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66221 63165 1111 63 0 66158 0 vsize: 264884 [startup+620.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 64565 0 0 0 61887 118 0 0 25 0 1 0 811456183 276783104 64488 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67574 64488 1111 63 0 67511 0 vsize: 270296 [startup+630.019 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 65896 0 0 0 62885 121 0 0 25 0 1 0 811456183 282144768 65819 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68883 65819 1111 63 0 68820 0 vsize: 275532 [startup+640.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 67233 0 0 0 63882 124 0 0 25 0 1 0 811456183 287694848 67156 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70238 67156 1111 63 0 70175 0 vsize: 280952 [startup+650.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 68575 0 0 0 64880 126 0 0 25 0 1 0 811456183 293105664 68498 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71559 68498 1111 63 0 71496 0 vsize: 286236 [startup+660.02 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 69919 0 0 0 65878 128 0 0 25 0 1 0 811456183 298651648 69842 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72913 69842 1111 63 0 72850 0 vsize: 291652 [startup+670.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 71268 0 0 0 66876 131 0 0 25 0 1 0 811456183 304173056 71191 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 74261 71191 1111 63 0 74198 0 vsize: 297044 [startup+680.021 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 72622 0 0 0 67874 133 0 0 25 0 1 0 811456183 309739520 72545 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 75620 72545 1111 63 0 75557 0 vsize: 302480 [startup+690.022 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 73979 0 0 0 68871 136 0 0 25 0 1 0 811456183 315236352 73902 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 76962 73902 1111 63 0 76899 0 vsize: 307848 [startup+700.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 75341 0 0 0 69869 138 0 0 25 0 1 0 811456183 320757760 75264 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78310 75264 1111 63 0 78247 0 vsize: 313240 [startup+710.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 76714 0 0 0 70866 141 0 0 25 0 1 0 811456183 326459392 76637 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 79702 76637 1111 63 0 79639 0 vsize: 318808 [startup+720.024 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 78090 0 0 0 71864 144 0 0 25 0 1 0 811456183 332029952 78013 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 81062 78013 1111 63 0 80999 0 vsize: 324248 [startup+730.023 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 79459 0 0 0 72862 146 0 0 25 0 1 0 811456183 337575936 79382 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 82416 79382 1111 63 0 82353 0 vsize: 329664 [startup+740.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 80834 0 0 0 73860 148 0 0 25 0 1 0 811456183 343228416 80757 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 83796 80758 1111 63 0 83733 0 vsize: 335184 [startup+750.026 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 82686 0 0 0 74857 151 0 0 25 0 1 0 811456183 350851072 82609 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 85657 82609 1111 63 0 85594 0 vsize: 342628 [startup+760.025 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 84722 0 0 0 75853 155 0 0 25 0 1 0 811456183 359124992 84645 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 87677 84645 1111 63 0 87614 0 vsize: 350708 [startup+770.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 86938 0 0 0 76849 160 0 0 25 0 1 0 811456183 368197632 86861 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 89892 86861 1111 63 0 89829 0 vsize: 359568 [startup+780.026 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 89825 0 0 0 77844 165 0 0 25 0 1 0 811456183 379994112 89748 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 92772 89748 1111 63 0 92709 0 vsize: 371088 [startup+790.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 92729 0 0 0 78839 171 0 0 25 0 1 0 811456183 391933952 92652 4294967295 134512640 134714508 3221221776 3221220432 134527948 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95687 92652 1111 63 0 95624 0 vsize: 382748 [startup+800.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 95640 0 0 0 79834 175 0 0 25 0 1 0 811456183 403881984 95563 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98604 95563 1111 63 0 98541 0 vsize: 394416 [startup+810.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 98569 0 0 0 80829 181 0 0 25 0 1 0 811456183 415825920 98492 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101520 98492 1111 63 0 101457 0 vsize: 406080 [startup+820.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 101505 0 0 0 81823 186 0 0 25 0 1 0 811456183 427921408 101428 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104473 101428 1111 63 0 104410 0 vsize: 417892 [startup+830.027 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 104453 0 0 0 82819 191 0 0 25 0 1 0 811456183 440016896 104376 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107426 104376 1111 63 0 107363 0 vsize: 429704 [startup+840.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 107558 0 0 0 83814 196 0 0 25 0 1 0 811456183 452984832 107355 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 110592 107355 1111 63 0 110529 0 vsize: 442368 [startup+850.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 110561 0 0 0 84809 201 0 0 25 0 1 0 811456183 465227776 110358 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 113581 110358 1111 63 0 113518 0 vsize: 454324 [startup+860.028 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 113550 0 0 0 85794 207 0 0 25 0 1 0 811456183 477466624 113347 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 116569 113347 1111 63 0 116506 0 vsize: 466276 [startup+870.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 116583 0 0 0 86788 212 0 0 25 0 1 0 811456183 489861120 116380 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 119595 116380 1111 63 0 119532 0 vsize: 478380 [startup+880.03 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 119629 0 0 0 87783 218 0 0 25 0 1 0 811456183 502403072 119426 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 122657 119426 1111 63 0 122594 0 vsize: 490628 [startup+890.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 122685 0 0 0 88777 224 0 0 25 0 1 0 811456183 514793472 122482 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 125682 122482 1111 63 0 125619 0 vsize: 502728 [startup+900.031 s] Raw data (loadavg): 1.00 1.00 0.96 2/55 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 125543 0 0 0 89771 230 0 0 25 0 1 0 811456183 526589952 125340 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 128562 125340 1111 63 0 128499 0 vsize: 514248 [startup+905.119 s] Raw data (loadavg): 1.00 1.00 0.96 1/54 21892 Raw data (stat): 21892 (bsolo_lpr_cuts) R 21891 7876 7672 0 -1 0 125543 0 0 0 89771 230 0 0 25 0 1 0 811456183 526589952 125340 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 128562 125340 1111 63 0 128499 0 vsize: 0 Child status: 0 Real time (s): 905.119 CPU time (s): 905.106 CPU user time (s): 902.52 CPU system time (s): 2.58661 CPU usage (%): 99.9986 Max. virtual memory (Kb): 514248 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####