Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-dg012142.opb |
MD5SUM | d2a2dc4ff7a501b7efb12f8e274e186d |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 16640 |
Biggest coefficient in the objective function | 5242880000 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 1683190350400 |
Number of bits of the sum of numbers in the objective function | 41 |
Biggest number in a constraint | 5242880000 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 1683190350400 |
Number of bits of the biggest sum of numbers | 41 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1269.98 |
Number of variables | 29440 |
Total number of constraints | 6310 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6270 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 251 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-18 20:34:21 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20099 boxname=wulflinc31 idbench=1547 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: d2a2dc4ff7a501b7efb12f8e274e186d /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dg012142.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-dg012142.opb IDLAUNCH: 20099 /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: 735456 kB Buffers: 32248 kB Cached: 244872 kB SwapCached: 932 kB Active: 124696 kB Inactive: 154740 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 735204 kB SwapTotal: 2097892 kB SwapFree: 2096072 kB Dirty: 2224 kB Writeback: 0 kB Mapped: 5384 kB Slab: 13944 kB Committed_AS: 63840 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-18 20:54:24 (client local time) WITH STATUS 0 IN 1200.29 SECONDS stats: 20099 7 1200.29 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 29440 variables and 2777 constraints. c After prepocess the problem consists of 27502 variables and 3143 constraints. c preprocess terminated 795.611 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.92 0.95 0.94 2/55 11386 Raw data (stat): 11386 (runsolver) R 11385 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 781289755 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.0003 s] Raw data (loadavg): 0.93 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 1621 0 0 0 990 5 0 0 25 0 1 0 781289755 19202048 1544 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4688 1544 1111 63 0 4625 0 vsize: 18752 [startup+20.0012 s] Raw data (loadavg): 0.94 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 2757 0 0 0 1987 7 0 0 25 0 1 0 781289755 23883776 2680 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5831 2680 1111 63 0 5768 0 vsize: 23324 [startup+30.0016 s] Raw data (loadavg): 0.95 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 4007 0 0 0 2985 10 0 0 25 0 1 0 781289755 29016064 3930 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7084 3930 1111 63 0 7021 0 vsize: 28336 [startup+40.0039 s] Raw data (loadavg): 0.96 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 5480 0 0 0 3983 12 0 0 25 0 1 0 781289755 35119104 5403 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8574 5403 1111 63 0 8511 0 vsize: 34296 [startup+50.0051 s] Raw data (loadavg): 0.96 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 7401 0 0 0 4980 16 0 0 25 0 1 0 781289755 42913792 7324 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10477 7324 1111 63 0 10414 0 vsize: 41908 [startup+60.0055 s] Raw data (loadavg): 0.97 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 11357 0 0 0 5972 23 0 0 25 0 1 0 781289755 59183104 11280 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14449 11280 1111 63 0 14386 0 vsize: 57796 [startup+70.0067 s] Raw data (loadavg): 0.97 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 15136 0 0 0 6965 31 0 0 25 0 1 0 781289755 74616832 15059 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18217 15059 1111 63 0 18154 0 vsize: 72868 [startup+80.0079 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 16731 0 0 0 7960 36 0 0 25 0 1 0 781289755 81207296 16654 4294967295 134512640 134714508 3221221776 3221218252 1077191474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19826 16654 1111 63 0 19763 0 vsize: 79304 [startup+90.0072 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 25625 0 0 0 8940 56 0 0 25 0 1 0 781289755 117555200 25548 4294967295 134512640 134714508 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 28700 25548 1111 63 0 28637 0 vsize: 114800 [startup+100.008 s] Raw data (loadavg): 0.98 0.96 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 40888 0 0 0 9902 93 0 0 25 0 1 0 781289755 164057088 39049 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40053 39049 1111 63 0 39990 0 vsize: 160212 [startup+110.009 s] Raw data (loadavg): 0.98 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 40888 0 0 0 10901 94 0 0 25 0 1 0 781289755 164057088 39049 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40053 39049 1111 63 0 39990 0 vsize: 160212 [startup+120.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 41057 0 0 0 11901 94 0 0 25 0 1 0 781289755 164528128 39164 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40168 39164 1111 63 0 40105 0 vsize: 160672 [startup+130.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 41456 0 0 0 12901 95 0 0 25 0 1 0 781289755 165941248 39509 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40513 39509 1111 63 0 40450 0 vsize: 162052 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 41456 0 0 0 13901 95 0 0 25 0 1 0 781289755 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40513 39509 1111 63 0 40450 0 vsize: 162052 [startup+150.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 41456 0 0 0 14901 95 0 0 25 0 1 0 781289755 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40513 39509 1111 63 0 40450 0 vsize: 162052 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 41456 0 0 0 15901 95 0 0 25 0 1 0 781289755 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40513 39509 1111 63 0 40450 0 vsize: 162052 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 41456 0 0 0 16902 95 0 0 25 0 1 0 781289755 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40513 39509 1111 63 0 40450 0 vsize: 162052 [startup+180.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 41456 0 0 0 17902 95 0 0 25 0 1 0 781289755 165941248 39509 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40513 39509 1111 63 0 40450 0 vsize: 162052 [startup+190.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 18887 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+200.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 19887 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220256 134539146 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+210.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 20888 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 21888 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+230.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 22888 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+240.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 23888 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+250.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 24888 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+260.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 25889 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+270.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 26889 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+280.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 47893 0 0 0 27889 109 0 0 25 0 1 0 781289755 192086016 45892 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 46896 45892 1111 63 0 46833 0 vsize: 187584 [startup+290.021 s] Raw data (loadavg): 0.99 0.97 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 28879 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+300.021 s] Raw data (loadavg): 1.07 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 29879 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+310.021 s] Raw data (loadavg): 1.06 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 30880 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220364 134535506 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+320.022 s] Raw data (loadavg): 1.05 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 31880 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+330.023 s] Raw data (loadavg): 1.04 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 32880 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+340.023 s] Raw data (loadavg): 1.03 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 33880 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+350.024 s] Raw data (loadavg): 1.03 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 34880 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+360.025 s] Raw data (loadavg): 1.02 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 35881 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+370.026 s] Raw data (loadavg): 1.02 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 36881 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+380.027 s] Raw data (loadavg): 1.02 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 37881 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+390.028 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 38881 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+400.029 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 39882 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+410.029 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 40882 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+420.029 s] Raw data (loadavg): 1.01 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 41882 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+430.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 42882 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220484 134618239 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+440.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 43882 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+450.031 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 44883 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+460.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 45883 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+470.034 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 46883 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220484 134618239 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+480.034 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 47883 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+490.035 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 48884 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+500.036 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 49884 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220388 134557806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+510.036 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 50884 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+520.037 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 51884 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+530.038 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 52884 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+540.038 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 53885 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220484 134618239 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+550.039 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 54885 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+560.038 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 55885 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+570.039 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 56885 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+580.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 57885 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220488 134618234 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+590.041 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 58886 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+600.041 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 59886 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+610.042 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 60886 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+620.043 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 61886 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+630.044 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 62887 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+640.045 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 63887 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+650.046 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 64887 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+660.047 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 65887 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+670.048 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 66888 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+680.049 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 67888 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+690.049 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 68888 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+700.05 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 69888 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220432 134606873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+710.051 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 70889 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220288 1076647576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+720.051 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 71889 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220484 134618239 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+730.052 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 72889 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220448 134606848 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+740.052 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 73889 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+750.053 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 74889 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+760.053 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 75890 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+770.053 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 76890 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+780.054 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 77890 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+790.054 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52433 0 0 0 78890 120 0 0 25 0 1 0 781289755 210456576 50377 4294967295 134512640 134714508 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50377 1111 63 0 51318 0 vsize: 205524 [startup+800.055 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52456 0 0 0 79890 120 0 0 25 0 1 0 781289755 210456576 50400 4294967295 134512640 134714508 3221221776 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51381 50400 1111 63 0 51318 0 vsize: 205524 [startup+810.056 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52811 0 0 0 80889 121 0 0 25 0 1 0 781289755 211906560 50755 4294967295 134512640 134714508 3221221776 3221219184 1074153770 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51735 50755 1111 63 0 51672 0 vsize: 206940 [startup+820.056 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 52961 0 0 0 81888 122 0 0 25 0 1 0 781289755 212520960 50905 4294967295 134512640 134714508 3221221776 3221219128 1074138150 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 51885 50905 1111 63 0 51822 0 vsize: 207540 [startup+830.057 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 56552 0 0 0 82881 130 0 0 25 0 1 0 781289755 218275840 52363 4294967295 134512640 134714508 3221221776 3221217660 1074860811 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53290 52363 1111 63 0 53227 0 vsize: 213160 [startup+840.056 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 56768 0 0 0 83881 130 0 0 25 0 1 0 781289755 218492928 52467 4294967295 134512640 134714508 3221221776 3221218032 1075114265 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53343 52467 1111 63 0 53280 0 vsize: 213372 [startup+850.058 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 56865 0 0 0 84880 130 0 0 25 0 1 0 781289755 218886144 52564 4294967295 134512640 134714508 3221221776 3221217680 1074875003 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53439 52564 1111 63 0 53376 0 vsize: 213756 [startup+860.057 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 56865 0 0 0 85881 130 0 0 25 0 1 0 781289755 218886144 52564 4294967295 134512640 134714508 3221221776 3221217680 1074875177 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53439 52564 1111 63 0 53376 0 vsize: 213756 [startup+870.057 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 56865 0 0 0 86881 130 0 0 25 0 1 0 781289755 218886144 52564 4294967295 134512640 134714508 3221221776 3221217708 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53439 52564 1111 63 0 53376 0 vsize: 213756 [startup+880.058 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 56867 0 0 0 87881 130 0 0 25 0 1 0 781289755 218886144 52566 4294967295 134512640 134714508 3221221776 3221217920 1075895652 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53439 52566 1111 63 0 53376 0 vsize: 213756 [startup+890.059 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 56912 0 0 0 88881 131 0 0 25 0 1 0 781289755 219095040 52611 4294967295 134512640 134714508 3221221776 3221217768 1074950210 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53490 52611 1111 63 0 53427 0 vsize: 213960 [startup+900.059 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57106 0 0 0 89881 131 0 0 25 0 1 0 781289755 219865088 52805 4294967295 134512640 134714508 3221221776 3221217680 1074875169 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53678 52805 1111 63 0 53615 0 vsize: 214712 [startup+910.059 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57106 0 0 0 90881 131 0 0 25 0 1 0 781289755 219865088 52805 4294967295 134512640 134714508 3221221776 3221217680 1074875034 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53678 52805 1111 63 0 53615 0 vsize: 214712 [startup+920.059 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57106 0 0 0 91881 131 0 0 25 0 1 0 781289755 219865088 52805 4294967295 134512640 134714508 3221221776 3221218768 1074867320 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53678 52805 1111 63 0 53615 0 vsize: 214712 [startup+930.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57106 0 0 0 92881 131 0 0 25 0 1 0 781289755 219865088 52805 4294967295 134512640 134714508 3221221776 3221217904 1074815372 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53678 52805 1111 63 0 53615 0 vsize: 214712 [startup+940.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57106 0 0 0 93882 131 0 0 25 0 1 0 781289755 219865088 52805 4294967295 134512640 134714508 3221221776 3221217740 1074873520 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53678 52805 1111 63 0 53615 0 vsize: 214712 [startup+950.061 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57106 0 0 0 94882 131 0 0 25 0 1 0 781289755 219865088 52805 4294967295 134512640 134714508 3221221776 3221217936 1075115712 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53678 52805 1111 63 0 53615 0 vsize: 214712 [startup+960.062 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57106 0 0 0 95882 131 0 0 25 0 1 0 781289755 219865088 52805 4294967295 134512640 134714508 3221221776 3221217740 1074873537 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53678 52805 1111 63 0 53615 0 vsize: 214712 [startup+970.062 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57177 0 0 0 96882 131 0 0 25 0 1 0 781289755 220274688 52876 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53778 52876 1111 63 0 53715 0 vsize: 215112 [startup+980.063 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57181 0 0 0 97882 132 0 0 25 0 1 0 781289755 220274688 52880 4294967295 134512640 134714508 3221221776 3221217740 1074873478 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 53778 52880 1111 63 0 53715 0 vsize: 215112 [startup+990.063 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57418 0 0 0 98881 132 0 0 25 0 1 0 781289755 221351936 53117 4294967295 134512640 134714508 3221221776 3221217740 1074873379 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53117 1111 63 0 53978 0 vsize: 216164 [startup+1000.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57433 0 0 0 99881 133 0 0 25 0 1 0 781289755 221351936 53132 4294967295 134512640 134714508 3221221776 3221217636 1074786556 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53132 1111 63 0 53978 0 vsize: 216164 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57435 0 0 0 100881 133 0 0 25 0 1 0 781289755 221351936 53134 4294967295 134512640 134714508 3221221776 3221217680 1074875028 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53134 1111 63 0 53978 0 vsize: 216164 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57436 0 0 0 101882 133 0 0 25 0 1 0 781289755 221351936 53135 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53135 1111 63 0 53978 0 vsize: 216164 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57436 0 0 0 102882 133 0 0 25 0 1 0 781289755 221351936 53135 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53135 1111 63 0 53978 0 vsize: 216164 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57436 0 0 0 103882 133 0 0 25 0 1 0 781289755 221351936 53135 4294967295 134512640 134714508 3221221776 3221217968 1074961149 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53135 1111 63 0 53978 0 vsize: 216164 [startup+1050.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57436 0 0 0 104882 133 0 0 25 0 1 0 781289755 221351936 53135 4294967295 134512640 134714508 3221221776 3221218352 1075967892 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53135 1111 63 0 53978 0 vsize: 216164 [startup+1060.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 105882 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217740 1074873723 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1070.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 106882 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217740 1074873379 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1080.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 107882 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217680 1074875074 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1090.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 108882 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217924 1075115046 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1100.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 109883 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217680 1074875081 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1110.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 110883 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217604 1074786571 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1120.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 111883 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217680 1074875065 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1130.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 112883 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217636 1074786579 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1140.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 113883 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217936 1075088573 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1150.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 114883 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217924 1075115049 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1160.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 115883 133 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217740 1074873527 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1170.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57437 0 0 0 116883 134 0 0 25 0 1 0 781289755 221351936 53136 4294967295 134512640 134714508 3221221776 3221217740 1074873490 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53136 1111 63 0 53978 0 vsize: 216164 [startup+1180.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57438 0 0 0 117884 134 0 0 25 0 1 0 781289755 221351936 53137 4294967295 134512640 134714508 3221221776 3221217924 1075114972 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53137 1111 63 0 53978 0 vsize: 216164 [startup+1190.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57439 0 0 0 118884 134 0 0 25 0 1 0 781289755 221351936 53138 4294967295 134512640 134714508 3221221776 3221217740 1074873474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53138 1111 63 0 53978 0 vsize: 216164 [startup+1200.07 s] Raw data (loadavg): 1.00 0.99 0.94 2/55 11386 Raw data (stat): 11386 (bsolo_lpr) R 11385 7876 7672 0 -1 0 57439 0 0 0 119884 134 0 0 25 0 1 0 781289755 221351936 53138 4294967295 134512640 134714508 3221221776 3221217740 1074873471 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 54041 53138 1111 63 0 53978 0 vsize: 216164 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.17 s] Raw data (loadavg): 1.00 0.99 0.94 1/55 11386 Raw data (stat): 11386 (bsolo_lpr) Z 11385 7876 7672 0 -1 1036 57439 0 0 0 119884 144 0 0 25 0 1 0 781289755 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.17 CPU time (s): 1200.29 CPU user time (s): 1198.84 CPU system time (s): 1.44278 CPU usage (%): 100.01 Max. virtual memory (Kb): 216164 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####