Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dolom1.opb |
MD5SUM | bafd5f2a91d0ace4ec9dc114753d5b3e |
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 | 66480 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 35987090508169210757120 |
Number of bits of the sum of numbers in the objective function | 75 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 35987192908169210757120 |
Number of bits of the biggest sum of numbers | 75 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.632903 |
Number of variables | 66480 |
Total number of constraints | 11523 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 9721 |
Number of constraints which are nor clauses,nor cardinality constraints | 1802 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 66480 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-24 12:42:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15107 boxname=wulflinc31 idbench=1163 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: bafd5f2a91d0ace4ec9dc114753d5b3e /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-dolom1.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-dolom1.opb IDLAUNCH: 15107 /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: 656328 kB Buffers: 32684 kB Cached: 324732 kB SwapCached: 944 kB Active: 146468 kB Inactive: 213052 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 656076 kB SwapTotal: 2097892 kB SwapFree: 2095920 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5104 kB Slab: 13152 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 13:02:22 (client local time) WITH STATUS 0 IN 1200.44 SECONDS stats: 15107 7 1200.44 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.14 1.02 0.96 2/55 28559 Raw data (stat): 28559 (runsolver) R 28558 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 830303155 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0008 s] Raw data (loadavg): 1.12 1.02 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 2033 0 0 0 989 6 0 0 25 0 1 0 830303155 19865600 1956 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4850 1956 1111 63 0 4787 0 vsize: 19400 [startup+20.0016 s] Raw data (loadavg): 1.10 1.02 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 3230 0 0 0 1986 9 0 0 25 0 1 0 830303155 24793088 3153 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6053 3153 1111 63 0 5990 0 vsize: 24212 [startup+30.0026 s] Raw data (loadavg): 1.08 1.02 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 4427 0 0 0 2984 12 0 0 25 0 1 0 830303155 29716480 4350 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7255 4350 1111 63 0 7192 0 vsize: 29020 [startup+40.0036 s] Raw data (loadavg): 1.07 1.02 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 5611 0 0 0 3981 15 0 0 25 0 1 0 830303155 34496512 5534 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8422 5534 1111 63 0 8359 0 vsize: 33688 [startup+50.0043 s] Raw data (loadavg): 1.06 1.01 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 6808 0 0 0 4981 16 0 0 25 0 1 0 830303155 39419904 6731 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9624 6731 1111 63 0 9561 0 vsize: 38496 [startup+60.0052 s] Raw data (loadavg): 1.05 1.01 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 8009 0 0 0 5979 17 0 0 25 0 1 0 830303155 44339200 7932 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10825 7932 1111 63 0 10762 0 vsize: 43300 [startup+70.0052 s] Raw data (loadavg): 1.04 1.01 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 9205 0 0 0 6977 20 0 0 25 0 1 0 830303155 49266688 9128 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12028 9128 1111 63 0 11965 0 vsize: 48112 [startup+80.0061 s] Raw data (loadavg): 1.04 1.01 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 10408 0 0 0 7975 22 0 0 25 0 1 0 830303155 54194176 10331 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13231 10331 1111 63 0 13168 0 vsize: 52924 [startup+90.006 s] Raw data (loadavg): 1.03 1.01 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 11617 0 0 0 8973 24 0 0 25 0 1 0 830303155 59117568 11540 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14433 11540 1111 63 0 14370 0 vsize: 57732 [startup+100.006 s] Raw data (loadavg): 1.02 1.01 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 12825 0 0 0 9971 26 0 0 25 0 1 0 830303155 64045056 12748 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15636 12748 1111 63 0 15573 0 vsize: 62544 [startup+110.007 s] Raw data (loadavg): 1.02 1.01 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 14046 0 0 0 10969 28 0 0 25 0 1 0 830303155 69095424 13969 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16869 13969 1111 63 0 16806 0 vsize: 67476 [startup+120.008 s] Raw data (loadavg): 1.02 1.01 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 15262 0 0 0 11968 30 0 0 25 0 1 0 830303155 74027008 15185 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18073 15185 1111 63 0 18010 0 vsize: 72292 [startup+130.009 s] Raw data (loadavg): 1.01 1.01 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 16483 0 0 0 12966 32 0 0 25 0 1 0 830303155 79101952 16406 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19312 16406 1111 63 0 19249 0 vsize: 77248 [startup+140.009 s] Raw data (loadavg): 1.09 1.02 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 17710 0 0 0 13964 34 0 0 25 0 1 0 830303155 84029440 17633 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20515 17633 1111 63 0 20452 0 vsize: 82060 [startup+150.009 s] Raw data (loadavg): 1.08 1.02 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 18943 0 0 0 14963 36 0 0 25 0 1 0 830303155 89104384 18866 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21754 18866 1111 63 0 21691 0 vsize: 87016 [startup+160.01 s] Raw data (loadavg): 1.06 1.02 0.96 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 20176 0 0 0 15960 38 0 0 25 0 1 0 830303155 94179328 20099 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22993 20099 1111 63 0 22930 0 vsize: 91972 [startup+170.009 s] Raw data (loadavg): 1.20 1.05 0.97 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 21410 0 0 0 16958 41 0 0 25 0 1 0 830303155 99258368 21333 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24233 21333 1111 63 0 24170 0 vsize: 96932 [startup+180.01 s] Raw data (loadavg): 1.17 1.05 0.97 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 22655 0 0 0 17956 43 0 0 25 0 1 0 830303155 104333312 22578 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25472 22578 1111 63 0 25409 0 vsize: 101888 [startup+190.011 s] Raw data (loadavg): 1.14 1.05 0.97 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 23901 0 0 0 18954 45 0 0 25 0 1 0 830303155 109408256 23824 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26711 23824 1111 63 0 26648 0 vsize: 106844 [startup+200.011 s] Raw data (loadavg): 1.12 1.05 0.97 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 25146 0 0 0 19951 48 0 0 25 0 1 0 830303155 114483200 25069 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 27950 25069 1111 63 0 27887 0 vsize: 111800 [startup+210.012 s] Raw data (loadavg): 1.10 1.04 0.97 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 26410 0 0 0 20949 51 0 0 25 0 1 0 830303155 119681024 26333 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29219 26333 1111 63 0 29156 0 vsize: 116876 [startup+220.013 s] Raw data (loadavg): 1.09 1.04 0.97 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 27668 0 0 0 21947 53 0 0 25 0 1 0 830303155 124911616 27591 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30496 27591 1111 63 0 30433 0 vsize: 121984 [startup+230.014 s] Raw data (loadavg): 1.15 1.06 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 28933 0 0 0 22945 55 0 0 25 0 1 0 830303155 129986560 28856 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31735 28856 1111 63 0 31672 0 vsize: 126940 [startup+240.014 s] Raw data (loadavg): 1.12 1.06 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 30196 0 0 0 23944 56 0 0 25 0 1 0 830303155 135213056 30119 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33011 30119 1111 63 0 32948 0 vsize: 132044 [startup+250.014 s] Raw data (loadavg): 1.10 1.05 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 31466 0 0 0 24942 59 0 0 25 0 1 0 830303155 140435456 31389 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34286 31389 1111 63 0 34223 0 vsize: 137144 [startup+260.015 s] Raw data (loadavg): 1.09 1.05 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 32742 0 0 0 25938 62 0 0 25 0 1 0 830303155 145661952 32665 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35562 32665 1111 63 0 35499 0 vsize: 142248 [startup+270.015 s] Raw data (loadavg): 1.07 1.05 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 34025 0 0 0 26936 65 0 0 25 0 1 0 830303155 150892544 33948 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36839 33948 1111 63 0 36776 0 vsize: 147356 [startup+280.016 s] Raw data (loadavg): 1.06 1.05 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 35307 0 0 0 27934 67 0 0 25 0 1 0 830303155 156114944 35230 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38114 35230 1111 63 0 38051 0 vsize: 152456 [startup+290.017 s] Raw data (loadavg): 1.05 1.05 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 36595 0 0 0 28932 69 0 0 25 0 1 0 830303155 161488896 36518 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39426 36518 1111 63 0 39363 0 vsize: 157704 [startup+300.017 s] Raw data (loadavg): 1.04 1.04 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 37890 0 0 0 29930 72 0 0 25 0 1 0 830303155 166711296 37813 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40701 37813 1111 63 0 40638 0 vsize: 162804 [startup+310.018 s] Raw data (loadavg): 1.04 1.04 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 39185 0 0 0 30928 74 0 0 25 0 1 0 830303155 172093440 39108 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42015 39108 1111 63 0 41952 0 vsize: 168060 [startup+320.018 s] Raw data (loadavg): 1.03 1.04 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 40491 0 0 0 31927 75 0 0 25 0 1 0 830303155 177315840 40414 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43290 40414 1111 63 0 43227 0 vsize: 173160 [startup+330.019 s] Raw data (loadavg): 1.02 1.04 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 41797 0 0 0 32925 77 0 0 25 0 1 0 830303155 182689792 41720 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44602 41720 1111 63 0 44539 0 vsize: 178408 [startup+340.02 s] Raw data (loadavg): 1.02 1.04 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 43109 0 0 0 33923 80 0 0 25 0 1 0 830303155 188063744 43032 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45914 43032 1111 63 0 45851 0 vsize: 183656 [startup+350.02 s] Raw data (loadavg): 1.02 1.03 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 44429 0 0 0 34920 83 0 0 25 0 1 0 830303155 193441792 44352 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47227 44352 1111 63 0 47164 0 vsize: 188908 [startup+360.021 s] Raw data (loadavg): 1.01 1.03 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 45747 0 0 0 35918 85 0 0 25 0 1 0 830303155 198963200 45670 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48575 45670 1111 63 0 48512 0 vsize: 194300 [startup+370.021 s] Raw data (loadavg): 1.01 1.03 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 47077 0 0 0 36916 87 0 0 25 0 1 0 830303155 204341248 47000 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49888 47000 1111 63 0 49825 0 vsize: 199552 [startup+380.022 s] Raw data (loadavg): 1.01 1.03 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 48415 0 0 0 37914 89 0 0 25 0 1 0 830303155 209870848 48338 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51238 48338 1111 63 0 51175 0 vsize: 204952 [startup+390.022 s] Raw data (loadavg): 1.01 1.03 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 49768 0 0 0 38912 91 0 0 25 0 1 0 830303155 215392256 49691 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52586 49691 1111 63 0 52523 0 vsize: 210344 [startup+400.022 s] Raw data (loadavg): 1.01 1.03 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 51111 0 0 0 39910 93 0 0 25 0 1 0 830303155 220913664 51034 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53934 51034 1111 63 0 53871 0 vsize: 215736 [startup+410.023 s] Raw data (loadavg): 1.00 1.03 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 52460 0 0 0 40908 95 0 0 25 0 1 0 830303155 226439168 52383 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 55283 52383 1111 63 0 55220 0 vsize: 221132 [startup+420.023 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 53822 0 0 0 41906 98 0 0 25 0 1 0 830303155 231968768 53745 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 56633 53745 1111 63 0 56570 0 vsize: 226532 [startup+430.024 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 55183 0 0 0 42904 100 0 0 25 0 1 0 830303155 237641728 55106 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 58018 55106 1111 63 0 57955 0 vsize: 232072 [startup+440.025 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 56551 0 0 0 43902 102 0 0 25 0 1 0 830303155 243167232 56474 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 59367 56474 1111 63 0 59304 0 vsize: 237468 [startup+450.025 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 57927 0 0 0 44899 105 0 0 25 0 1 0 830303155 248844288 57850 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 60753 57850 1111 63 0 60690 0 vsize: 243012 [startup+460.026 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 59306 0 0 0 45896 108 0 0 25 0 1 0 830303155 254521344 59229 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 62139 59229 1111 63 0 62076 0 vsize: 248556 [startup+470.026 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60027 0 0 0 46895 110 0 0 25 0 1 0 830303155 257499136 59950 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 62866 59950 1111 63 0 62803 0 vsize: 251464 [startup+480.027 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60138 0 0 0 47895 110 0 0 25 0 1 0 830303155 257941504 60061 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 62974 60061 1111 63 0 62911 0 vsize: 251896 [startup+490.027 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60257 0 0 0 48895 110 0 0 25 0 1 0 830303155 258367488 60180 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63078 60180 1111 63 0 63015 0 vsize: 252312 [startup+500.027 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60374 0 0 0 49895 111 0 0 25 0 1 0 830303155 258813952 60297 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63187 60297 1111 63 0 63124 0 vsize: 252748 [startup+510.028 s] Raw data (loadavg): 1.00 1.02 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60491 0 0 0 50895 111 0 0 25 0 1 0 830303155 259264512 60414 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63297 60414 1111 63 0 63234 0 vsize: 253188 [startup+520.028 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60609 0 0 0 51895 111 0 0 25 0 1 0 830303155 259866624 60532 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63444 60532 1111 63 0 63381 0 vsize: 253776 [startup+530.029 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60727 0 0 0 52894 112 0 0 25 0 1 0 830303155 260317184 60650 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63554 60650 1111 63 0 63491 0 vsize: 254216 [startup+540.029 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60844 0 0 0 53895 112 0 0 25 0 1 0 830303155 260767744 60767 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63664 60767 1111 63 0 63601 0 vsize: 254656 [startup+550.029 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 60961 0 0 0 54895 112 0 0 25 0 1 0 830303155 261214208 60884 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63773 60884 1111 63 0 63710 0 vsize: 255092 [startup+560.03 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61079 0 0 0 55895 112 0 0 25 0 1 0 830303155 261664768 61002 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 63883 61002 1111 63 0 63820 0 vsize: 255532 [startup+570.03 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61196 0 0 0 56894 113 0 0 25 0 1 0 830303155 262262784 61119 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64029 61119 1111 63 0 63966 0 vsize: 256116 [startup+580.031 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61322 0 0 0 57894 113 0 0 25 0 1 0 830303155 262717440 61245 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64140 61245 1111 63 0 64077 0 vsize: 256560 [startup+590.032 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61445 0 0 0 58894 113 0 0 25 0 1 0 830303155 263159808 61368 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64248 61368 1111 63 0 64185 0 vsize: 256992 [startup+600.032 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61563 0 0 0 59894 114 0 0 25 0 1 0 830303155 263761920 61486 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64395 61486 1111 63 0 64332 0 vsize: 257580 [startup+610.033 s] Raw data (loadavg): 1.00 1.01 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61681 0 0 0 60894 114 0 0 25 0 1 0 830303155 264212480 61604 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64505 61604 1111 63 0 64442 0 vsize: 258020 [startup+620.034 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61800 0 0 0 61893 115 0 0 25 0 1 0 830303155 264663040 61723 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64615 61723 1111 63 0 64552 0 vsize: 258460 [startup+630.035 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 61931 0 0 0 62893 115 0 0 25 0 1 0 830303155 265265152 61854 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64762 61854 1111 63 0 64699 0 vsize: 259048 [startup+640.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62048 0 0 0 63893 116 0 0 25 0 1 0 830303155 265711616 61971 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64871 61971 1111 63 0 64808 0 vsize: 259484 [startup+650.035 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62167 0 0 0 64892 116 0 0 25 0 1 0 830303155 266162176 62090 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64981 62090 1111 63 0 64918 0 vsize: 259924 [startup+660.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62298 0 0 0 65892 117 0 0 25 0 1 0 830303155 266760192 62221 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65127 62221 1111 63 0 65064 0 vsize: 260508 [startup+670.036 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62417 0 0 0 66892 117 0 0 25 0 1 0 830303155 267214848 62340 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65238 62340 1111 63 0 65175 0 vsize: 260952 [startup+680.037 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62547 0 0 0 67892 117 0 0 25 0 1 0 830303155 267657216 62470 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65346 62470 1111 63 0 65283 0 vsize: 261384 [startup+690.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62665 0 0 0 68892 117 0 0 25 0 1 0 830303155 268259328 62588 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65493 62588 1111 63 0 65430 0 vsize: 261972 [startup+700.038 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62795 0 0 0 69892 118 0 0 25 0 1 0 830303155 268709888 62718 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65603 62718 1111 63 0 65540 0 vsize: 262412 [startup+710.039 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 62914 0 0 0 70892 118 0 0 25 0 1 0 830303155 269160448 62837 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65713 62837 1111 63 0 65650 0 vsize: 262852 [startup+720.04 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63074 0 0 0 71892 118 0 0 25 0 1 0 830303155 269922304 62997 4294967295 134512640 134714508 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 65899 62997 1111 63 0 65836 0 vsize: 263596 [startup+730.041 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63189 0 0 0 72892 118 0 0 25 0 1 0 830303155 270520320 63112 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66045 63112 1111 63 0 65982 0 vsize: 264180 [startup+740.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63314 0 0 0 73892 119 0 0 25 0 1 0 830303155 270970880 63237 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66155 63237 1111 63 0 66092 0 vsize: 264620 [startup+750.042 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63444 0 0 0 74892 119 0 0 25 0 1 0 830303155 271564800 63367 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66300 63367 1111 63 0 66237 0 vsize: 265200 [startup+760.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63578 0 0 0 75891 120 0 0 25 0 1 0 830303155 272019456 63501 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66411 63501 1111 63 0 66348 0 vsize: 265644 [startup+770.043 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63702 0 0 0 76891 120 0 0 25 0 1 0 830303155 272617472 63625 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66557 63625 1111 63 0 66494 0 vsize: 266228 [startup+780.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63828 0 0 0 77891 120 0 0 25 0 1 0 830303155 273068032 63751 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66667 63751 1111 63 0 66604 0 vsize: 266668 [startup+790.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 63960 0 0 0 78891 120 0 0 25 0 1 0 830303155 273670144 63883 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66814 63883 1111 63 0 66751 0 vsize: 267256 [startup+800.044 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64093 0 0 0 79891 121 0 0 25 0 1 0 830303155 274116608 64016 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 66923 64016 1111 63 0 66860 0 vsize: 267692 [startup+810.045 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64225 0 0 0 80891 121 0 0 25 0 1 0 830303155 274718720 64148 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67070 64148 1111 63 0 67007 0 vsize: 268280 [startup+820.046 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64356 0 0 0 81891 121 0 0 25 0 1 0 830303155 275165184 64279 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67179 64279 1111 63 0 67116 0 vsize: 268716 [startup+830.047 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64490 0 0 0 82891 121 0 0 25 0 1 0 830303155 275767296 64413 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67326 64413 1111 63 0 67263 0 vsize: 269304 [startup+840.048 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64623 0 0 0 83891 122 0 0 25 0 1 0 830303155 276369408 64546 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67473 64546 1111 63 0 67410 0 vsize: 269892 [startup+850.048 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64754 0 0 0 84891 122 0 0 25 0 1 0 830303155 276815872 64677 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67582 64677 1111 63 0 67519 0 vsize: 270328 [startup+860.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 64893 0 0 0 85891 122 0 0 25 0 1 0 830303155 277417984 64816 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67729 64816 1111 63 0 67666 0 vsize: 270916 [startup+870.049 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65033 0 0 0 86891 122 0 0 25 0 1 0 830303155 278011904 64956 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67874 64956 1111 63 0 67811 0 vsize: 271496 [startup+880.05 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65166 0 0 0 87891 123 0 0 25 0 1 0 830303155 278466560 65089 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 67985 65089 1111 63 0 67922 0 vsize: 271940 [startup+890.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65299 0 0 0 88891 123 0 0 25 0 1 0 830303155 279064576 65222 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68131 65222 1111 63 0 68068 0 vsize: 272524 [startup+900.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65443 0 0 0 89890 123 0 0 25 0 1 0 830303155 279662592 65366 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68277 65366 1111 63 0 68214 0 vsize: 273108 [startup+910.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65578 0 0 0 90890 124 0 0 25 0 1 0 830303155 280264704 65501 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68424 65501 1111 63 0 68361 0 vsize: 273696 [startup+920.051 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65717 0 0 0 91890 124 0 0 25 0 1 0 830303155 280711168 65640 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68533 65640 1111 63 0 68470 0 vsize: 274132 [startup+930.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65855 0 0 0 92890 125 0 0 25 0 1 0 830303155 281313280 65778 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68680 65778 1111 63 0 68617 0 vsize: 274720 [startup+940.053 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 65996 0 0 0 93890 125 0 0 25 0 1 0 830303155 281915392 65919 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68827 65919 1111 63 0 68764 0 vsize: 275308 [startup+950.052 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66135 0 0 0 94889 126 0 0 25 0 1 0 830303155 282509312 66058 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 68972 66058 1111 63 0 68909 0 vsize: 275888 [startup+960.053 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66282 0 0 0 95889 126 0 0 25 0 1 0 830303155 283111424 66205 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69119 66205 1111 63 0 69056 0 vsize: 276476 [startup+970.053 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66421 0 0 0 96889 126 0 0 25 0 1 0 830303155 283713536 66344 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69266 66344 1111 63 0 69203 0 vsize: 277064 [startup+980.054 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66562 0 0 0 97889 126 0 0 25 0 1 0 830303155 284160000 66485 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69375 66485 1111 63 0 69312 0 vsize: 277500 [startup+990.055 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66709 0 0 0 98889 127 0 0 25 0 1 0 830303155 284762112 66632 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69522 66632 1111 63 0 69459 0 vsize: 278088 [startup+1000.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 66855 0 0 0 99889 127 0 0 25 0 1 0 830303155 285364224 66778 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69669 66778 1111 63 0 69606 0 vsize: 278676 [startup+1010.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67003 0 0 0 100889 127 0 0 25 0 1 0 830303155 285958144 66926 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69814 66926 1111 63 0 69751 0 vsize: 279256 [startup+1020.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67149 0 0 0 101889 127 0 0 25 0 1 0 830303155 286560256 67072 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69961 67072 1111 63 0 69898 0 vsize: 279844 [startup+1030.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67296 0 0 0 102889 128 0 0 25 0 1 0 830303155 287162368 67219 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70108 67219 1111 63 0 70045 0 vsize: 280432 [startup+1040.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67442 0 0 0 103889 128 0 0 25 0 1 0 830303155 287756288 67365 4294967295 134512640 134714508 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70253 67365 1111 63 0 70190 0 vsize: 281012 [startup+1050.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67591 0 0 0 104889 128 0 0 25 0 1 0 830303155 288358400 67514 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70400 67514 1111 63 0 70337 0 vsize: 281600 [startup+1060.06 s] Raw data (loadavg): 1.00 1.00 0.98 2/55 28559 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67738 0 0 0 105889 128 0 0 25 0 1 0 830303155 288960512 67661 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70547 67661 1111 63 0 70484 0 vsize: 282188 [startup+1070.16 s] Raw data (loadavg): 1.08 1.02 0.98 3/58 28607 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 67891 0 0 0 106898 129 0 0 25 0 1 0 830303155 289705984 67814 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70729 67814 1111 63 0 70666 0 vsize: 282916 [startup+1080.16 s] Raw data (loadavg): 1.21 1.05 0.99 2/55 28612 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68047 0 0 0 107898 129 0 0 25 0 1 0 830303155 290308096 67970 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 70876 67970 1111 63 0 70813 0 vsize: 283504 [startup+1090.16 s] Raw data (loadavg): 1.18 1.05 0.99 2/55 28612 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68194 0 0 0 108898 129 0 0 25 0 1 0 830303155 290910208 68117 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71023 68117 1111 63 0 70960 0 vsize: 284092 [startup+1100.16 s] Raw data (loadavg): 1.15 1.04 0.99 2/55 28612 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68353 0 0 0 109898 129 0 0 25 0 1 0 830303155 291504128 68276 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71168 68276 1111 63 0 71105 0 vsize: 284672 [startup+1110.16 s] Raw data (loadavg): 1.13 1.04 0.99 2/55 28612 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68503 0 0 0 110898 129 0 0 25 0 1 0 830303155 292106240 68426 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71315 68426 1111 63 0 71252 0 vsize: 285260 [startup+1120.16 s] Raw data (loadavg): 1.11 1.04 0.99 2/55 28612 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68664 0 0 0 111898 130 0 0 25 0 1 0 830303155 292855808 68587 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71498 68587 1111 63 0 71435 0 vsize: 285992 [startup+1130.16 s] Raw data (loadavg): 1.09 1.04 0.99 2/55 28612 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68818 0 0 0 112898 130 0 0 25 0 1 0 830303155 293457920 68741 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71645 68741 1111 63 0 71582 0 vsize: 286580 [startup+1140.16 s] Raw data (loadavg): 1.08 1.04 0.99 2/55 28614 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 68972 0 0 0 113898 130 0 0 25 0 1 0 830303155 294051840 68895 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71790 68895 1111 63 0 71727 0 vsize: 287160 [startup+1150.16 s] Raw data (loadavg): 1.06 1.03 0.99 2/55 28614 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69135 0 0 0 114898 130 0 0 25 0 1 0 830303155 294653952 69058 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 71937 69058 1111 63 0 71874 0 vsize: 287748 [startup+1160.16 s] Raw data (loadavg): 1.05 1.03 0.99 2/55 28614 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69303 0 0 0 115898 131 0 0 25 0 1 0 830303155 295407616 69226 4294967295 134512640 134714508 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72121 69226 1111 63 0 72058 0 vsize: 288484 [startup+1170.16 s] Raw data (loadavg): 1.05 1.03 0.99 2/55 28614 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69472 0 0 0 116898 131 0 0 25 0 1 0 830303155 296157184 69395 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72304 69395 1111 63 0 72241 0 vsize: 289216 [startup+1180.16 s] Raw data (loadavg): 1.04 1.03 0.99 2/55 28614 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69634 0 0 0 117898 131 0 0 25 0 1 0 830303155 296751104 69557 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72449 69557 1111 63 0 72386 0 vsize: 289796 [startup+1190.16 s] Raw data (loadavg): 1.03 1.03 0.99 2/55 28614 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69809 0 0 0 118898 132 0 0 25 0 1 0 830303155 297504768 69732 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72633 69732 1111 63 0 72570 0 vsize: 290532 [startup+1200.16 s] Raw data (loadavg): 1.03 1.03 0.99 2/55 28614 Raw data (stat): 28559 (bsolo_lpr) R 28558 7876 7672 0 -1 0 69972 0 0 0 119898 132 0 0 25 0 1 0 830303155 298106880 69895 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72780 69895 1111 63 0 72717 0 vsize: 291120 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.29 s] Raw data (loadavg): 1.03 1.03 0.99 1/55 28614 Raw data (stat): 28559 (bsolo_lpr) Z 28558 7876 7672 0 -1 1036 69972 0 0 0 119898 145 0 0 25 0 1 0 830303155 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.29 CPU time (s): 1200.44 CPU user time (s): 1198.98 CPU system time (s): 1.45178 CPU usage (%): 100.012 Max. virtual memory (Kb): 291120 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####