Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb |
MD5SUM | 60a85eb68562d07c063b16fa35f27512 |
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 | 27456 |
Biggest coefficient in the objective function | 1310720000000 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 254165973806800 |
Number of bits of the sum of numbers in the objective function | 48 |
Biggest number in a constraint | 1310720000000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 254165973806800 |
Number of bits of the biggest sum of numbers | 48 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.648901 |
Number of variables | 71616 |
Total number of constraints | 3312 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 3312 |
Minimum length of a constraint | 33 |
Maximum length of a constraint | 545 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-22 18:46:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=17382 boxname=wulflinc31 idbench=1338 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 60a85eb68562d07c063b16fa35f27512 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-a1c1s1.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-a1c1s1.opb IDLAUNCH: 17382 /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: 876412 kB Buffers: 17652 kB Cached: 120384 kB SwapCached: 1024 kB Active: 76244 kB Inactive: 64028 kB HighTotal: 131008 kB HighFree: 11508 kB LowTotal: 903652 kB LowFree: 864904 kB SwapTotal: 2097892 kB SwapFree: 2095884 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5096 kB Slab: 12324 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-22 19:06:57 (client local time) WITH STATUS 0 IN 1200.3 SECONDS stats: 17382 7 1200.3 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 71616 variables and 4560 constraints. c After prepocess the problem consists of 59596 variables and 5065 constraints. c preprocess terminated 327.335 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.95 0.90 2/55 27547 Raw data (stat): 27547 (runsolver) R 27546 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 815208944 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0008 s] Raw data (loadavg): 0.93 0.95 0.90 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1786 0 0 0 991 4 0 0 25 0 1 0 815208944 20013056 1709 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4886 1709 1111 63 0 4823 0 vsize: 19544 [startup+20.0017 s] Raw data (loadavg): 0.94 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2988 0 0 0 1989 6 0 0 25 0 1 0 815208944 24936448 2911 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6088 2911 1111 63 0 6025 0 vsize: 24352 [startup+30.0026 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 4289 0 0 0 2986 10 0 0 25 0 1 0 815208944 30167040 4212 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7365 4212 1111 63 0 7302 0 vsize: 29460 [startup+40.0025 s] Raw data (loadavg): 0.95 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 5666 0 0 0 3982 13 0 0 25 0 1 0 815208944 35799040 5589 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8740 5589 1111 63 0 8677 0 vsize: 34960 [startup+50.0024 s] Raw data (loadavg): 0.96 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 7109 0 0 0 4979 17 0 0 25 0 1 0 815208944 41865216 7032 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10221 7032 1111 63 0 10158 0 vsize: 40884 [startup+60.0024 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 8557 0 0 0 5977 18 0 0 25 0 1 0 815208944 47779840 8480 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11665 8480 1111 63 0 11602 0 vsize: 46660 [startup+70.0023 s] Raw data (loadavg): 0.97 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 10060 0 0 0 6975 21 0 0 25 0 1 0 815208944 53833728 9983 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13143 9983 1111 63 0 13080 0 vsize: 52572 [startup+80.0032 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 11602 0 0 0 7972 25 0 0 25 0 1 0 815208944 60170240 11525 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14690 11525 1111 63 0 14627 0 vsize: 58760 [startup+90.0034 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 13191 0 0 0 8969 28 0 0 25 0 1 0 815208944 66723840 13114 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16290 13114 1111 63 0 16227 0 vsize: 65160 [startup+100.003 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 14818 0 0 0 9965 31 0 0 25 0 1 0 815208944 73482240 14741 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17940 14741 1111 63 0 17877 0 vsize: 71760 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 16502 0 0 0 10962 35 0 0 25 0 1 0 815208944 80244736 16425 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19591 16425 1111 63 0 19528 0 vsize: 78364 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 18225 0 0 0 11959 38 0 0 25 0 1 0 815208944 87339008 18148 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 21323 18148 1111 63 0 21260 0 vsize: 85292 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 34554 0 0 0 12925 72 0 0 25 0 1 0 815208944 154353664 34477 4294967295 134512640 134714508 3221221776 3221220080 134567410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37684 34478 1111 63 0 37621 0 vsize: 150736 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 53984 0 0 0 13882 114 0 0 25 0 1 0 815208944 233013248 53565 4294967295 134512640 134714508 3221221776 3221218396 1077253729 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 56888 53565 1111 63 0 56825 0 vsize: 227552 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 68258 0 0 0 14848 149 0 0 25 0 1 0 815208944 262475776 62663 4294967295 134512640 134714508 3221221776 3221220504 134672913 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 64081 62663 1111 63 0 64018 0 vsize: 256324 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 68325 0 0 0 15846 150 0 0 25 0 1 0 815208944 262746112 62730 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64147 62730 1111 63 0 64084 0 vsize: 256588 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 92506 0 0 0 16796 200 0 0 25 0 1 0 815208944 266719232 63601 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65117 63607 1111 63 0 65054 0 vsize: 260468 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 274338 0 0 0 17398 599 0 0 25 0 1 0 815208944 266268672 63573 4294967295 134512640 134714508 3221221776 3221220504 134672932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65007 63573 1111 63 0 64944 0 vsize: 260028 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 409395 0 0 0 18100 897 0 0 25 0 1 0 815208944 268079104 63810 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65449 63817 1111 63 0 65386 0 vsize: 261796 [startup+200.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 568860 0 0 0 18750 1247 0 0 25 0 1 0 815208944 268349440 64095 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65515 64096 1111 63 0 65452 0 vsize: 262060 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 719346 0 0 0 19421 1576 0 0 25 0 1 0 815208944 268029952 64011 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65647 64013 1111 63 0 65584 0 vsize: 261748 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 887498 0 0 0 20050 1947 0 0 25 0 1 0 815208944 269164544 64163 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65714 64169 1111 63 0 65651 0 vsize: 262856 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1051703 0 0 0 20688 2309 0 0 25 0 1 0 815208944 268566528 64148 4294967295 134512640 134714508 3221221776 3221220360 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65568 64148 1111 63 0 65505 0 vsize: 262272 [startup+240.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1222259 0 0 0 21315 2682 0 0 25 0 1 0 815208944 268701696 64184 4294967295 134512640 134714508 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65601 64184 1111 63 0 65538 0 vsize: 262404 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1400502 0 0 0 21925 3073 0 0 25 0 1 0 815208944 269832192 64347 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65877 64353 1111 63 0 65814 0 vsize: 263508 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1606401 0 0 0 22477 3521 0 0 25 0 1 0 815208944 268972032 64236 4294967295 134512640 134714508 3221221776 3221220360 1077799185 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65667 64236 1111 63 0 65604 0 vsize: 262668 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693688 0 0 0 23284 3714 0 0 25 0 1 0 815208944 269533184 64373 4294967295 134512640 134714508 3221221776 3221220424 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65804 64373 1111 63 0 65741 0 vsize: 263216 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 24284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65804 64391 1111 63 0 65741 0 vsize: 263216 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 25284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65804 64391 1111 63 0 65741 0 vsize: 263216 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 26284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65804 64391 1111 63 0 65741 0 vsize: 263216 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 27284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65804 64391 1111 63 0 65741 0 vsize: 263216 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1693706 0 0 0 28284 3714 0 0 25 0 1 0 815208944 269533184 64391 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65804 64391 1111 63 0 65741 0 vsize: 263216 [startup+330.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1732289 0 0 0 29197 3802 0 0 25 0 1 0 815208944 284123136 67764 4294967295 134512640 134714508 3221221776 3221220096 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69366 67764 1111 63 0 69303 0 vsize: 277464 [startup+340.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1857720 0 0 0 29914 4085 0 0 25 0 1 0 815208944 284442624 67871 4294967295 134512640 134714508 3221221776 3221219792 1074153672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 69444 67871 1111 63 0 69381 0 vsize: 277776 [startup+350.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 1964030 0 0 0 30667 4332 0 0 25 0 1 0 815208944 284647424 67921 4294967295 134512640 134714508 3221221776 3221219904 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 69494 67921 1111 63 0 69431 0 vsize: 277976 [startup+360.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2055199 0 0 0 31455 4545 0 0 25 0 1 0 815208944 285212672 68060 4294967295 134512640 134714508 3221221776 3221219360 1074153779 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 69632 68060 1111 63 0 69569 0 vsize: 278528 [startup+370.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2130214 0 0 0 32278 4721 0 0 25 0 1 0 815208944 285679616 68175 4294967295 134512640 134714508 3221221776 3221219312 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 69746 68175 1111 63 0 69683 0 vsize: 278984 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2195133 0 0 0 33120 4880 0 0 25 0 1 0 815208944 286085120 68274 4294967295 134512640 134714508 3221221776 3221219808 1074153675 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 69845 68274 1111 63 0 69782 0 vsize: 279380 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2252206 0 0 0 33980 5020 0 0 25 0 1 0 815208944 286466048 68367 4294967295 134512640 134714508 3221221776 3221219264 1074153786 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 69938 68367 1111 63 0 69875 0 vsize: 279752 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2305683 0 0 0 34848 5152 0 0 25 0 1 0 815208944 286982144 68434 4294967295 134512640 134714508 3221221776 3221219768 1074138158 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 70064 68439 1111 63 0 70001 0 vsize: 280256 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2356480 0 0 0 35722 5278 0 0 25 0 1 0 815208944 286928896 68481 4294967295 134512640 134714508 3221221776 3221219568 1074153822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 70051 68481 1111 63 0 69988 0 vsize: 280204 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2404291 0 0 0 36603 5397 0 0 25 0 1 0 815208944 287219712 68552 4294967295 134512640 134714508 3221221776 3221219312 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 70122 68552 1111 63 0 70059 0 vsize: 280488 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416590 0 0 0 37574 5426 0 0 25 0 1 0 815208944 303005696 71846 4294967295 134512640 134714508 3221221776 3221218624 1075960265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71846 1111 63 0 73913 0 vsize: 295904 [startup+440.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416599 0 0 0 38574 5426 0 0 25 0 1 0 815208944 303005696 71855 4294967295 134512640 134714508 3221221776 3221217916 1075116784 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71855 1111 63 0 73913 0 vsize: 295904 [startup+450.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416607 0 0 0 39574 5426 0 0 25 0 1 0 815208944 303005696 71862 4294967295 134512640 134714508 3221221776 3221217660 1074860630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71862 1111 63 0 73913 0 vsize: 295904 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416619 0 0 0 40575 5426 0 0 25 0 1 0 815208944 303005696 71874 4294967295 134512640 134714508 3221221776 3221217720 1074860217 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71874 1111 63 0 73913 0 vsize: 295904 [startup+470.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416621 0 0 0 41575 5426 0 0 25 0 1 0 815208944 303005696 71876 4294967295 134512640 134714508 3221221776 3221217720 1074860217 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71876 1111 63 0 73913 0 vsize: 295904 [startup+480.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416621 0 0 0 42575 5426 0 0 25 0 1 0 815208944 303005696 71876 4294967295 134512640 134714508 3221221776 3221217660 1074860574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71876 1111 63 0 73913 0 vsize: 295904 [startup+490.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416624 0 0 0 43575 5426 0 0 25 0 1 0 815208944 303005696 71879 4294967295 134512640 134714508 3221221776 3221218728 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71879 1111 63 0 73913 0 vsize: 295904 [startup+500.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416635 0 0 0 44575 5426 0 0 25 0 1 0 815208944 303005696 71890 4294967295 134512640 134714508 3221221776 3221217856 1074794460 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71890 1111 63 0 73913 0 vsize: 295904 [startup+510.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416644 0 0 0 45575 5426 0 0 25 0 1 0 815208944 303005696 71899 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71899 1111 63 0 73913 0 vsize: 295904 [startup+520.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416644 0 0 0 46576 5426 0 0 25 0 1 0 815208944 303005696 71899 4294967295 134512640 134714508 3221221776 3221217660 1074860637 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73976 71899 1111 63 0 73913 0 vsize: 295904 [startup+530.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416657 0 0 0 47576 5426 0 0 25 0 1 0 815208944 303742976 71912 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74156 71912 1111 63 0 74093 0 vsize: 296624 [startup+540.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2416657 0 0 0 48576 5426 0 0 25 0 1 0 815208944 303742976 71912 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74156 71912 1111 63 0 74093 0 vsize: 296624 [startup+550.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2421598 0 0 0 49566 5437 0 0 25 0 1 0 815208944 297476096 70598 4294967295 134512640 134714508 3221221776 3221217660 1074787724 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 72626 70598 1111 63 0 72563 0 vsize: 290504 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2421602 0 0 0 50566 5437 0 0 25 0 1 0 815208944 297476096 70602 4294967295 134512640 134714508 3221221776 3221218032 1075113493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 72626 70602 1111 63 0 72563 0 vsize: 290504 [startup+570.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2426461 0 0 0 51555 5448 0 0 25 0 1 0 815208944 290783232 69355 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 70992 69355 1111 63 0 70929 0 vsize: 283968 [startup+580.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2481443 0 0 0 52426 5577 0 0 25 0 1 0 815208944 292503552 69913 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 71412 69913 1111 63 0 71349 0 vsize: 285648 [startup+590.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2537176 0 0 0 53296 5707 0 0 25 0 1 0 815208944 299384832 71593 4294967295 134512640 134714508 3221221776 3221220176 1074031945 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73092 71593 1111 63 0 73029 0 vsize: 292368 [startup+600.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2568966 0 0 0 54220 5783 0 0 25 0 1 0 815208944 310157312 73657 4294967295 134512640 134714508 3221221776 3221217660 1074787806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75722 73657 1111 63 0 75659 0 vsize: 302888 [startup+610.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2568971 0 0 0 55220 5783 0 0 25 0 1 0 815208944 310157312 73662 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75722 73662 1111 63 0 75659 0 vsize: 302888 [startup+620.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2568973 0 0 0 56221 5783 0 0 25 0 1 0 815208944 310157312 73664 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75722 73664 1111 63 0 75659 0 vsize: 302888 [startup+630.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2568986 0 0 0 57221 5783 0 0 25 0 1 0 815208944 310157312 73677 4294967295 134512640 134714508 3221221776 3221217856 1074794557 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75722 73677 1111 63 0 75659 0 vsize: 302888 [startup+640.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2573562 0 0 0 58211 5793 0 0 25 0 1 0 815208944 304291840 72280 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74290 72280 1111 63 0 74227 0 vsize: 297160 [startup+650.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2573564 0 0 0 59211 5793 0 0 25 0 1 0 815208944 304291840 72282 4294967295 134512640 134714508 3221221776 3221218736 1075971273 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74290 72282 1111 63 0 74227 0 vsize: 297160 [startup+660.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2573577 0 0 0 60211 5793 0 0 25 0 1 0 815208944 304291840 72295 4294967295 134512640 134714508 3221221776 3221218464 1076084822 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74290 72295 1111 63 0 74227 0 vsize: 297160 [startup+670.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2573577 0 0 0 61211 5793 0 0 25 0 1 0 815208944 304291840 72295 4294967295 134512640 134714508 3221221776 3221217692 1074860959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74290 72295 1111 63 0 74227 0 vsize: 297160 [startup+680.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2622072 0 0 0 62098 5907 0 0 25 0 1 0 815208944 297988096 71301 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 72751 71301 1111 63 0 72688 0 vsize: 291004 [startup+690.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2677378 0 0 0 62966 6039 0 0 25 0 1 0 815208944 304009216 72716 4294967295 134512640 134714508 3221221776 3221220016 1075006831 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74221 72724 1111 63 0 74158 0 vsize: 296884 [startup+700.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2720803 0 0 0 63866 6139 0 0 25 0 1 0 815208944 312152064 74098 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76209 74098 1111 63 0 76146 0 vsize: 304836 [startup+710.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2725470 0 0 0 64857 6148 0 0 25 0 1 0 815208944 306155520 72751 4294967295 134512640 134714508 3221221776 3221217916 1075116569 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74745 72751 1111 63 0 74682 0 vsize: 298980 [startup+720.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2725479 0 0 0 65857 6148 0 0 25 0 1 0 815208944 306155520 72760 4294967295 134512640 134714508 3221221776 3221217660 1074860566 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74745 72760 1111 63 0 74682 0 vsize: 298980 [startup+730.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2725491 0 0 0 66857 6148 0 0 25 0 1 0 815208944 306155520 72772 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74745 72772 1111 63 0 74682 0 vsize: 298980 [startup+740.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2752384 0 0 0 67793 6212 0 0 25 0 1 0 815208944 299069440 71423 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73015 71423 1111 63 0 72952 0 vsize: 292060 [startup+750.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2806986 0 0 0 68665 6341 0 0 25 0 1 0 815208944 305664000 72928 4294967295 134512640 134714508 3221221776 3221220144 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74625 72936 1111 63 0 74562 0 vsize: 298500 [startup+760.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2861932 0 0 0 69534 6471 0 0 25 0 1 0 815208944 308531200 73871 4294967295 134512640 134714508 3221221776 3221219848 1074950121 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75325 73871 1111 63 0 75262 0 vsize: 301300 [startup+770.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2876148 0 0 0 70502 6504 0 0 25 0 1 0 815208944 308142080 73241 4294967295 134512640 134714508 3221221776 3221217916 1075116566 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75230 73241 1111 63 0 75167 0 vsize: 300920 [startup+780.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 27547 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2876150 0 0 0 71502 6504 0 0 25 0 1 0 815208944 308142080 73243 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75230 73243 1111 63 0 75167 0 vsize: 300920 [startup+790.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 27548 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2883815 0 0 0 72482 6524 0 0 25 0 1 0 815208944 302186496 72127 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73776 72130 1111 63 0 73713 0 vsize: 295104 [startup+800.016 s] Raw data (loadavg): 1.07 0.99 0.91 2/55 27600 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2918152 0 0 0 73399 6607 0 0 25 0 1 0 815208944 303476736 72546 4294967295 134512640 134714508 3221221776 3221219692 1074788964 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74091 72546 1111 63 0 74028 0 vsize: 296364 [startup+810.018 s] Raw data (loadavg): 1.06 0.99 0.91 2/55 27600 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2953358 0 0 0 74315 6691 0 0 25 0 1 0 815208944 309432320 74086 4294967295 134512640 134714508 3221221776 3221219928 1074138153 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75545 74086 1111 63 0 75482 0 vsize: 302180 [startup+820.018 s] Raw data (loadavg): 1.05 0.99 0.91 2/55 27600 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2959818 0 0 0 75301 6706 0 0 25 0 1 0 815208944 316276736 75153 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77216 75153 1111 63 0 77153 0 vsize: 308864 [startup+830.018 s] Raw data (loadavg): 1.04 0.99 0.91 2/55 27600 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2959833 0 0 0 76301 6706 0 0 25 0 1 0 815208944 317014016 75168 4294967295 134512640 134714508 3221221776 3221218760 1075007302 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77396 75168 1111 63 0 77333 0 vsize: 309584 [startup+840.018 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 27600 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2964601 0 0 0 77288 6719 0 0 25 0 1 0 815208944 310341632 73746 4294967295 134512640 134714508 3221221776 3221218032 1075113493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75767 73746 1111 63 0 75704 0 vsize: 303068 [startup+850.018 s] Raw data (loadavg): 1.03 0.99 0.91 2/55 27600 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2964614 0 0 0 78288 6719 0 0 25 0 1 0 815208944 310341632 73759 4294967295 134512640 134714508 3221221776 3221217856 1074794649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75767 73759 1111 63 0 75704 0 vsize: 303068 [startup+860.019 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2964614 0 0 0 79288 6720 0 0 25 0 1 0 815208944 310341632 73759 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75767 73759 1111 63 0 75704 0 vsize: 303068 [startup+870.019 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 2980323 0 0 0 80250 6758 0 0 25 0 1 0 815208944 302682112 72482 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73897 72482 1111 63 0 73834 0 vsize: 295588 [startup+880.019 s] Raw data (loadavg): 1.02 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3014586 0 0 0 81165 6842 0 0 25 0 1 0 815208944 306122752 73322 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74737 73322 1111 63 0 74674 0 vsize: 298948 [startup+890.02 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3049331 0 0 0 82083 6925 0 0 25 0 1 0 815208944 309276672 73851 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75507 73858 1111 63 0 75444 0 vsize: 302028 [startup+900.02 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3067342 0 0 0 83044 6964 0 0 25 0 1 0 815208944 312233984 74066 4294967295 134512640 134714508 3221221776 3221218640 1074620294 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76229 74066 1111 63 0 76166 0 vsize: 304916 [startup+910.02 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3067495 0 0 0 84043 6965 0 0 25 0 1 0 815208944 312233984 74219 4294967295 134512640 134714508 3221221776 3221217660 1074860824 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76229 74219 1111 63 0 76166 0 vsize: 304916 [startup+920.021 s] Raw data (loadavg): 1.01 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3067495 0 0 0 85043 6966 0 0 25 0 1 0 815208944 312233984 74219 4294967295 134512640 134714508 3221221776 3221217856 1074794657 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76229 74219 1111 63 0 76166 0 vsize: 304916 [startup+930.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3099833 0 0 0 85963 7046 0 0 25 0 1 0 815208944 304848896 73007 4294967295 134512640 134714508 3221221776 3221219848 1074950077 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74426 73007 1111 63 0 74363 0 vsize: 297704 [startup+940.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3153910 0 0 0 86832 7177 0 0 25 0 1 0 815208944 309149696 73919 4294967295 134512640 134714508 3221221776 3221219908 1075964218 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75476 73919 1111 63 0 75413 0 vsize: 301904 [startup+950.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3207973 0 0 0 87700 7309 0 0 25 0 1 0 815208944 313163776 74765 4294967295 134512640 134714508 3221221776 3221220144 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76456 74771 1111 63 0 76393 0 vsize: 305824 [startup+960.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3216670 0 0 0 88681 7328 0 0 25 0 1 0 815208944 318418944 75671 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77739 75671 1111 63 0 77676 0 vsize: 310956 [startup+970.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3216671 0 0 0 89681 7329 0 0 25 0 1 0 815208944 318418944 75672 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77739 75672 1111 63 0 77676 0 vsize: 310956 [startup+980.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3221406 0 0 0 90670 7340 0 0 25 0 1 0 815208944 312344576 74270 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76256 74270 1111 63 0 76193 0 vsize: 305024 [startup+990.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3229311 0 0 0 91650 7360 0 0 25 0 1 0 815208944 304766976 72924 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74406 72924 1111 63 0 74343 0 vsize: 297624 [startup+1000.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3263754 0 0 0 92568 7442 0 0 25 0 1 0 815208944 306487296 73344 4294967295 134512640 134714508 3221221776 3221220000 1074039267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74826 73344 1111 63 0 74763 0 vsize: 299304 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3298556 0 0 0 93483 7528 0 0 25 0 1 0 815208944 309067776 73974 4294967295 134512640 134714508 3221221776 3221219848 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75456 73974 1111 63 0 75393 0 vsize: 301824 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317865 0 0 0 94438 7573 0 0 25 0 1 0 815208944 318664704 75740 4294967295 134512640 134714508 3221221776 3221217660 1074860571 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77799 75740 1111 63 0 77736 0 vsize: 311196 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317876 0 0 0 95437 7573 0 0 25 0 1 0 815208944 318664704 75751 4294967295 134512640 134714508 3221221776 3221217968 1074961264 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77799 75751 1111 63 0 77736 0 vsize: 311196 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317878 0 0 0 96438 7574 0 0 25 0 1 0 815208944 318664704 75753 4294967295 134512640 134714508 3221221776 3221217916 1075116478 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77799 75753 1111 63 0 77736 0 vsize: 311196 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317878 0 0 0 97437 7574 0 0 25 0 1 0 815208944 318664704 75753 4294967295 134512640 134714508 3221221776 3221218616 1074950114 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77799 75753 1111 63 0 77736 0 vsize: 311196 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317878 0 0 0 98437 7575 0 0 25 0 1 0 815208944 318664704 75753 4294967295 134512640 134714508 3221221776 3221217660 1074860637 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77799 75753 1111 63 0 77736 0 vsize: 311196 [startup+1070.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317888 0 0 0 99437 7575 0 0 25 0 1 0 815208944 319401984 75763 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77979 75763 1111 63 0 77916 0 vsize: 311916 [startup+1080.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3317888 0 0 0 100436 7576 0 0 25 0 1 0 815208944 319401984 75763 4294967295 134512640 134714508 3221221776 3221217832 1077410279 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 77979 75763 1111 63 0 77916 0 vsize: 311916 [startup+1090.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3322780 0 0 0 101426 7586 0 0 25 0 1 0 815208944 312709120 74330 4294967295 134512640 134714508 3221221776 3221217564 1074787518 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76345 74330 1111 63 0 76282 0 vsize: 305380 [startup+1100.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3322781 0 0 0 102425 7587 0 0 25 0 1 0 815208944 312709120 74331 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 76345 74331 1111 63 0 76282 0 vsize: 305380 [startup+1110.03 s] Raw data (loadavg): 1.07 1.00 0.92 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3340704 0 0 0 103382 7631 0 0 25 0 1 0 815208944 305098752 72974 4294967295 134512640 134714508 3221221776 3221220016 1075006839 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 74487 72974 1111 63 0 74424 0 vsize: 297948 [startup+1120.03 s] Raw data (loadavg): 1.06 1.00 0.92 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3375001 0 0 0 104303 7710 0 0 25 0 1 0 815208944 311119872 74444 4294967295 134512640 134714508 3221221776 3221219848 1074950102 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 75957 74444 1111 63 0 75894 0 vsize: 303828 [startup+1130.03 s] Raw data (loadavg): 1.05 1.00 0.92 2/55 27602 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395160 0 0 0 105257 7756 0 0 25 0 1 0 815208944 320630784 76255 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 78279 76255 1111 63 0 78216 0 vsize: 313116 [startup+1140.03 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 27604 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395168 0 0 0 106256 7757 0 0 25 0 1 0 815208944 320630784 76263 4294967295 134512640 134714508 3221221776 3221217660 1074860826 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 78279 76263 1111 63 0 78216 0 vsize: 313116 [startup+1150.03 s] Raw data (loadavg): 1.04 1.00 0.92 2/55 27604 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395172 0 0 0 107256 7757 0 0 25 0 1 0 815208944 320630784 76267 4294967295 134512640 134714508 3221221776 3221217564 1074787800 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 78279 76267 1111 63 0 78216 0 vsize: 313116 [startup+1160.03 s] Raw data (loadavg): 1.03 1.00 0.92 2/55 27604 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395173 0 0 0 108256 7757 0 0 25 0 1 0 815208944 320630784 76268 4294967295 134512640 134714508 3221221776 3221218688 1075338870 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78279 76268 1111 63 0 78216 0 vsize: 313116 [startup+1170.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 27604 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395183 0 0 0 109256 7758 0 0 25 0 1 0 815208944 321368064 76278 4294967295 134512640 134714508 3221221776 3221217916 1075116508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78459 76278 1111 63 0 78396 0 vsize: 313836 [startup+1180.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 27604 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395183 0 0 0 110256 7758 0 0 25 0 1 0 815208944 321368064 76278 4294967295 134512640 134714508 3221221776 3221217564 1074787576 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78459 76278 1111 63 0 78396 0 vsize: 313836 [startup+1190.03 s] Raw data (loadavg): 1.02 1.00 0.92 2/55 27604 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395194 0 0 0 111257 7758 0 0 25 0 1 0 815208944 321368064 76289 4294967295 134512640 134714508 3221221776 3221218696 1077410279 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78459 76289 1111 63 0 78396 0 vsize: 313836 [startup+1200.03 s] Raw data (loadavg): 1.01 1.00 0.92 2/55 27604 Raw data (stat): 27547 (bsolo_lpr) R 27546 7876 7672 0 -1 0 3395194 0 0 0 112257 7758 0 0 25 0 1 0 815208944 321368064 76289 4294967295 134512640 134714508 3221221776 3221217916 1075116471 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 78459 76289 1111 63 0 78396 0 vsize: 313836 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.18 s] Raw data (loadavg): 1.01 1.00 0.92 1/55 27604 Raw data (stat): 27547 (bsolo_lpr) Z 27546 7876 7672 0 -1 1036 3395194 0 0 0 112257 7772 0 0 25 0 1 0 815208944 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.18 CPU time (s): 1200.3 CPU user time (s): 1122.57 CPU system time (s): 77.7222 CPU usage (%): 100.01 Max. virtual memory (Kb): 313836 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####