Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb |
MD5SUM | e465af1c9ec9e748a7782ddbee36d3b1 |
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 | 100590 |
Biggest coefficient in the objective function | 11202704073084108800000000 |
Number of bits for the biggest coefficient in the objective function | 84 |
Sum of the numbers in the objective function | 2862789126208280618841669632 |
Number of bits of the sum of numbers in the objective function | 92 |
Biggest number in a constraint | 11202704073084108800000000 |
Number of bits of the biggest number in a constraint | 84 |
Biggest sum of numbers in a constraint | 2862789126208280618841669632 |
Number of bits of the biggest sum of numbers | 92 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.90971 |
Number of variables | 203044 |
Total number of constraints | 56505 |
Number of constraints which are clauses | 32142 |
Number of constraints which are cardinality constraints (but not clauses) | 17175 |
Number of constraints which are nor clauses,nor cardinality constraints | 7188 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1115 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc19 THE 2005-05-25 00:10:39 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14692 boxname=wulflinc19 idbench=1131 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: e465af1c9ec9e748a7782ddbee36d3b1 /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos4.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-20-10-neos4.opb IDLAUNCH: 14692 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.037 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 : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 811940 kB Buffers: 31796 kB Cached: 163456 kB SwapCached: 520 kB Active: 52784 kB Inactive: 144880 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 811688 kB SwapTotal: 2097892 kB SwapFree: 2096796 kB Dirty: 12 kB Writeback: 0 kB Mapped: 5676 kB Slab: 19440 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-25 00:30:43 (client local time) WITH STATUS 0 IN 1200.8 SECONDS stats: 14692 7 1200.8 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): 0.91 0.96 0.91 2/54 16703 Raw data (stat): 16703 (runsolver) R 16702 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834446013 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0007 s] Raw data (loadavg): 0.92 0.96 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1237 0 0 0 991 4 0 0 25 0 1 0 834446013 15212544 1161 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3714 1161 1111 63 0 3651 0 vsize: 14856 [startup+20.0012 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1278 0 0 0 1991 4 0 0 25 0 1 0 834446013 15482880 1202 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3780 1202 1111 63 0 3717 0 vsize: 15120 [startup+30.0023 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1319 0 0 0 2991 4 0 0 25 0 1 0 834446013 15618048 1243 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3813 1243 1111 63 0 3750 0 vsize: 15252 [startup+40.0032 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1361 0 0 0 3991 5 0 0 25 0 1 0 834446013 15753216 1285 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3846 1285 1111 63 0 3783 0 vsize: 15384 [startup+50.0026 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1408 0 0 0 4992 5 0 0 25 0 1 0 834446013 15888384 1332 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3879 1332 1111 63 0 3816 0 vsize: 15516 [startup+60.0027 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1443 0 0 0 5991 5 0 0 25 0 1 0 834446013 16158720 1367 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3945 1367 1111 63 0 3882 0 vsize: 15780 [startup+70.0028 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1491 0 0 0 6992 5 0 0 25 0 1 0 834446013 16293888 1415 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3978 1415 1111 63 0 3915 0 vsize: 15912 [startup+80.0031 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1526 0 0 0 7992 5 0 0 25 0 1 0 834446013 16429056 1450 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4011 1450 1111 63 0 3948 0 vsize: 16044 [startup+90.0032 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1577 0 0 0 8992 5 0 0 25 0 1 0 834446013 16703488 1501 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4078 1501 1111 63 0 4015 0 vsize: 16312 [startup+100.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1617 0 0 0 9992 5 0 0 25 0 1 0 834446013 16838656 1541 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4111 1541 1111 63 0 4048 0 vsize: 16444 [startup+110.003 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1660 0 0 0 10992 5 0 0 25 0 1 0 834446013 16977920 1584 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4145 1584 1111 63 0 4082 0 vsize: 16580 [startup+120.007 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1707 0 0 0 11992 6 0 0 25 0 1 0 834446013 17113088 1631 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4178 1631 1111 63 0 4115 0 vsize: 16712 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1742 0 0 0 12992 6 0 0 25 0 1 0 834446013 17383424 1666 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4244 1666 1111 63 0 4181 0 vsize: 16976 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1790 0 0 0 13992 6 0 0 25 0 1 0 834446013 17518592 1714 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4277 1714 1111 63 0 4214 0 vsize: 17108 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1824 0 0 0 14992 6 0 0 25 0 1 0 834446013 17653760 1748 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4310 1748 1111 63 0 4247 0 vsize: 17240 [startup+160.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1876 0 0 0 15992 6 0 0 25 0 1 0 834446013 17940480 1800 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4380 1800 1111 63 0 4317 0 vsize: 17520 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1912 0 0 0 16993 6 0 0 25 0 1 0 834446013 18075648 1836 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4413 1836 1111 63 0 4350 0 vsize: 17652 [startup+180.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 1961 0 0 0 17993 6 0 0 25 0 1 0 834446013 18210816 1885 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4446 1885 1111 63 0 4383 0 vsize: 17784 [startup+190.126 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2008 0 0 0 19004 6 0 0 25 0 1 0 834446013 18345984 1932 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4479 1932 1111 63 0 4416 0 vsize: 17916 [startup+200.126 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2043 0 0 0 20005 6 0 0 25 0 1 0 834446013 18616320 1967 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4545 1967 1111 63 0 4482 0 vsize: 18180 [startup+210.127 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2091 0 0 0 21005 7 0 0 25 0 1 0 834446013 18751488 2015 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4578 2015 1111 63 0 4515 0 vsize: 18312 [startup+220.139 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2140 0 0 0 22006 7 0 0 25 0 1 0 834446013 18886656 2064 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4611 2064 1111 63 0 4548 0 vsize: 18444 [startup+230.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2175 0 0 0 23006 7 0 0 25 0 1 0 834446013 19156992 2099 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4677 2099 1111 63 0 4614 0 vsize: 18708 [startup+240.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2223 0 0 0 24006 7 0 0 25 0 1 0 834446013 19292160 2147 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4710 2147 1111 63 0 4647 0 vsize: 18840 [startup+250.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2271 0 0 0 25006 7 0 0 25 0 1 0 834446013 19427328 2195 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4743 2195 1111 63 0 4680 0 vsize: 18972 [startup+260.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2307 0 0 0 26006 7 0 0 25 0 1 0 834446013 19697664 2231 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4809 2231 1111 63 0 4746 0 vsize: 19236 [startup+270.141 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2354 0 0 0 27006 7 0 0 25 0 1 0 834446013 19832832 2278 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4842 2278 1111 63 0 4779 0 vsize: 19368 [startup+280.149 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2401 0 0 0 28007 8 0 0 25 0 1 0 834446013 19968000 2325 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4875 2325 1111 63 0 4812 0 vsize: 19500 [startup+290.157 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2437 0 0 0 29008 8 0 0 25 0 1 0 834446013 20103168 2361 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4908 2361 1111 63 0 4845 0 vsize: 19632 [startup+300.157 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2484 0 0 0 30008 8 0 0 25 0 1 0 834446013 20373504 2408 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4974 2408 1111 63 0 4911 0 vsize: 19896 [startup+310.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2519 0 0 0 31009 8 0 0 25 0 1 0 834446013 20508672 2443 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5007 2443 1111 63 0 4944 0 vsize: 20028 [startup+320.168 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2573 0 0 0 32009 9 0 0 25 0 1 0 834446013 20807680 2497 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5080 2497 1111 63 0 5017 0 vsize: 20320 [startup+330.169 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2616 0 0 0 33009 9 0 0 25 0 1 0 834446013 20946944 2540 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5114 2540 1111 63 0 5051 0 vsize: 20456 [startup+340.169 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2657 0 0 0 34009 9 0 0 25 0 1 0 834446013 21082112 2581 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5147 2581 1111 63 0 5084 0 vsize: 20588 [startup+350.169 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2705 0 0 0 35009 9 0 0 25 0 1 0 834446013 21352448 2629 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5213 2629 1111 63 0 5150 0 vsize: 20852 [startup+360.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2748 0 0 0 36009 9 0 0 25 0 1 0 834446013 21487616 2672 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5246 2672 1111 63 0 5183 0 vsize: 20984 [startup+370.173 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2789 0 0 0 37009 9 0 0 25 0 1 0 834446013 21622784 2713 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5279 2713 1111 63 0 5216 0 vsize: 21116 [startup+380.174 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2838 0 0 0 38010 9 0 0 25 0 1 0 834446013 21893120 2762 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5345 2762 1111 63 0 5282 0 vsize: 21380 [startup+390.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2887 0 0 0 39010 9 0 0 25 0 1 0 834446013 22028288 2811 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5378 2811 1111 63 0 5315 0 vsize: 21512 [startup+400.179 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2930 0 0 0 40010 9 0 0 25 0 1 0 834446013 22163456 2854 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5411 2854 1111 63 0 5348 0 vsize: 21644 [startup+410.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 2971 0 0 0 41010 9 0 0 25 0 1 0 834446013 22433792 2895 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5477 2895 1111 63 0 5414 0 vsize: 21908 [startup+420.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3004 0 0 0 42011 9 0 0 25 0 1 0 834446013 22568960 2928 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5510 2928 1111 63 0 5447 0 vsize: 22040 [startup+430.197 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3053 0 0 0 43012 9 0 0 25 0 1 0 834446013 22704128 2977 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5543 2977 1111 63 0 5480 0 vsize: 22172 [startup+440.197 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3100 0 0 0 44012 10 0 0 25 0 1 0 834446013 22839296 3024 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5576 3024 1111 63 0 5513 0 vsize: 22304 [startup+450.201 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3136 0 0 0 45013 10 0 0 25 0 1 0 834446013 23109632 3060 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5642 3060 1111 63 0 5579 0 vsize: 22568 [startup+460.206 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3184 0 0 0 46014 10 0 0 25 0 1 0 834446013 23244800 3108 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5675 3108 1111 63 0 5612 0 vsize: 22700 [startup+470.212 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3234 0 0 0 47014 10 0 0 25 0 1 0 834446013 23400448 3158 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5713 3158 1111 63 0 5650 0 vsize: 22852 [startup+480.212 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3270 0 0 0 48014 10 0 0 25 0 1 0 834446013 23539712 3194 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5747 3194 1111 63 0 5684 0 vsize: 22988 [startup+490.213 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3317 0 0 0 49014 10 0 0 25 0 1 0 834446013 23810048 3241 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5813 3241 1111 63 0 5750 0 vsize: 23252 [startup+500.214 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3364 0 0 0 50015 10 0 0 25 0 1 0 834446013 23945216 3288 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5846 3288 1111 63 0 5783 0 vsize: 23384 [startup+510.22 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3407 0 0 0 51016 10 0 0 25 0 1 0 834446013 24080384 3331 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5879 3331 1111 63 0 5816 0 vsize: 23516 [startup+520.238 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3449 0 0 0 52017 10 0 0 25 0 1 0 834446013 24350720 3373 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5945 3373 1111 63 0 5882 0 vsize: 23780 [startup+530.257 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3496 0 0 0 53019 10 0 0 25 0 1 0 834446013 24506368 3420 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5983 3420 1111 63 0 5920 0 vsize: 23932 [startup+540.259 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3541 0 0 0 54019 10 0 0 25 0 1 0 834446013 24641536 3465 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6016 3465 1111 63 0 5953 0 vsize: 24064 [startup+550.26 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3582 0 0 0 55020 10 0 0 25 0 1 0 834446013 24915968 3506 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6083 3506 1111 63 0 6020 0 vsize: 24332 [startup+560.263 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3614 0 0 0 56020 10 0 0 25 0 1 0 834446013 25051136 3538 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6116 3538 1111 63 0 6053 0 vsize: 24464 [startup+570.266 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3662 0 0 0 57021 11 0 0 25 0 1 0 834446013 25186304 3586 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6149 3586 1111 63 0 6086 0 vsize: 24596 [startup+580.267 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3704 0 0 0 58020 11 0 0 25 0 1 0 834446013 25325568 3628 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6183 3628 1111 63 0 6120 0 vsize: 24732 [startup+590.272 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3746 0 0 0 59021 11 0 0 25 0 1 0 834446013 25595904 3670 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6249 3670 1111 63 0 6186 0 vsize: 24996 [startup+600.284 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3793 0 0 0 60022 12 0 0 25 0 1 0 834446013 25731072 3717 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6282 3717 1111 63 0 6219 0 vsize: 25128 [startup+610.284 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3836 0 0 0 61022 12 0 0 25 0 1 0 834446013 25866240 3760 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6315 3760 1111 63 0 6252 0 vsize: 25260 [startup+620.293 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3889 0 0 0 62023 12 0 0 25 0 1 0 834446013 26157056 3813 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6386 3813 1111 63 0 6323 0 vsize: 25544 [startup+630.293 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3937 0 0 0 63023 12 0 0 25 0 1 0 834446013 26427392 3861 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6452 3861 1111 63 0 6389 0 vsize: 25808 [startup+640.294 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 3985 0 0 0 64023 12 0 0 25 0 1 0 834446013 26562560 3909 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6485 3909 1111 63 0 6422 0 vsize: 25940 [startup+650.296 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4034 0 0 0 65023 12 0 0 25 0 1 0 834446013 26697728 3958 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6518 3958 1111 63 0 6455 0 vsize: 26072 [startup+660.302 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4070 0 0 0 66024 13 0 0 25 0 1 0 834446013 26968064 3994 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6584 3994 1111 63 0 6521 0 vsize: 26336 [startup+670.406 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4118 0 0 0 67034 13 0 0 25 0 1 0 834446013 27103232 4042 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6617 4042 1111 63 0 6554 0 vsize: 26468 [startup+680.407 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4167 0 0 0 68034 13 0 0 25 0 1 0 834446013 27238400 4091 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6650 4091 1111 63 0 6587 0 vsize: 26600 [startup+690.407 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4203 0 0 0 69034 13 0 0 25 0 1 0 834446013 27508736 4127 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6716 4127 1111 63 0 6653 0 vsize: 26864 [startup+700.413 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4249 0 0 0 70035 13 0 0 25 0 1 0 834446013 27643904 4173 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6749 4173 1111 63 0 6686 0 vsize: 26996 [startup+710.428 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4284 0 0 0 71037 13 0 0 25 0 1 0 834446013 27779072 4208 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6782 4208 1111 63 0 6719 0 vsize: 27128 [startup+720.428 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4334 0 0 0 72037 13 0 0 25 0 1 0 834446013 27934720 4258 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6820 4258 1111 63 0 6757 0 vsize: 27280 [startup+730.429 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4381 0 0 0 73037 13 0 0 25 0 1 0 834446013 28209152 4305 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6887 4305 1111 63 0 6824 0 vsize: 27548 [startup+740.438 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4416 0 0 0 74038 13 0 0 25 0 1 0 834446013 28344320 4340 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6920 4340 1111 63 0 6857 0 vsize: 27680 [startup+750.446 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4464 0 0 0 75039 13 0 0 25 0 1 0 834446013 28479488 4388 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6953 4388 1111 63 0 6890 0 vsize: 27812 [startup+760.454 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4513 0 0 0 76039 14 0 0 25 0 1 0 834446013 28749824 4437 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7019 4437 1111 63 0 6956 0 vsize: 28076 [startup+770.456 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4563 0 0 0 77040 14 0 0 25 0 1 0 834446013 28884992 4487 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7052 4487 1111 63 0 6989 0 vsize: 28208 [startup+780.469 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4605 0 0 0 78041 14 0 0 25 0 1 0 834446013 29040640 4529 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7090 4529 1111 63 0 7027 0 vsize: 28360 [startup+790.469 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4649 0 0 0 79041 14 0 0 25 0 1 0 834446013 29315072 4573 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7157 4573 1111 63 0 7094 0 vsize: 28628 [startup+800.469 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4697 0 0 0 80041 14 0 0 25 0 1 0 834446013 29450240 4621 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7190 4621 1111 63 0 7127 0 vsize: 28760 [startup+810.475 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4746 0 0 0 81042 14 0 0 25 0 1 0 834446013 29720576 4670 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7256 4670 1111 63 0 7193 0 vsize: 29024 [startup+820.475 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4794 0 0 0 82042 14 0 0 25 0 1 0 834446013 29855744 4718 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7289 4718 1111 63 0 7226 0 vsize: 29156 [startup+830.475 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4830 0 0 0 83042 14 0 0 25 0 1 0 834446013 29990912 4754 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7322 4754 1111 63 0 7259 0 vsize: 29288 [startup+840.475 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4880 0 0 0 84042 14 0 0 25 0 1 0 834446013 30261248 4804 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7388 4804 1111 63 0 7325 0 vsize: 29552 [startup+850.475 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4929 0 0 0 85042 14 0 0 25 0 1 0 834446013 30396416 4853 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7421 4853 1111 63 0 7358 0 vsize: 29684 [startup+860.481 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 4979 0 0 0 86043 14 0 0 25 0 1 0 834446013 30666752 4903 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7487 4903 1111 63 0 7424 0 vsize: 29948 [startup+870.481 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5027 0 0 0 87043 15 0 0 25 0 1 0 834446013 30801920 4951 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7520 4951 1111 63 0 7457 0 vsize: 30080 [startup+880.481 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5076 0 0 0 88043 15 0 0 25 0 1 0 834446013 30937088 5000 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7553 5000 1111 63 0 7490 0 vsize: 30212 [startup+890.481 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5126 0 0 0 89043 15 0 0 25 0 1 0 834446013 31207424 5050 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7619 5050 1111 63 0 7556 0 vsize: 30476 [startup+900.487 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5174 0 0 0 90044 15 0 0 25 0 1 0 834446013 31342592 5098 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7652 5098 1111 63 0 7589 0 vsize: 30608 [startup+910.497 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5225 0 0 0 91045 15 0 0 25 0 1 0 834446013 31612928 5149 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7718 5149 1111 63 0 7655 0 vsize: 30872 [startup+920.503 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5261 0 0 0 92045 15 0 0 25 0 1 0 834446013 31768576 5185 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7756 5185 1111 63 0 7693 0 vsize: 31024 [startup+930.503 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5309 0 0 0 93046 15 0 0 25 0 1 0 834446013 31907840 5233 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7790 5233 1111 63 0 7727 0 vsize: 31160 [startup+940.504 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5357 0 0 0 94046 15 0 0 25 0 1 0 834446013 32178176 5281 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7856 5281 1111 63 0 7793 0 vsize: 31424 [startup+950.504 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5406 0 0 0 95046 15 0 0 25 0 1 0 834446013 32313344 5330 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7889 5330 1111 63 0 7826 0 vsize: 31556 [startup+960.505 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5456 0 0 0 96046 16 0 0 25 0 1 0 834446013 32583680 5380 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7955 5380 1111 63 0 7892 0 vsize: 31820 [startup+970.514 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5504 0 0 0 97047 16 0 0 25 0 1 0 834446013 32718848 5428 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7988 5428 1111 63 0 7925 0 vsize: 31952 [startup+980.527 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5555 0 0 0 98048 16 0 0 25 0 1 0 834446013 33009664 5479 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8059 5479 1111 63 0 7996 0 vsize: 32236 [startup+990.535 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5605 0 0 0 99049 16 0 0 25 0 1 0 834446013 33148928 5529 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8093 5529 1111 63 0 8030 0 vsize: 32372 [startup+1000.54 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5654 0 0 0 100050 16 0 0 25 0 1 0 834446013 33419264 5578 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8159 5578 1111 63 0 8096 0 vsize: 32636 [startup+1010.54 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5703 0 0 0 101050 16 0 0 25 0 1 0 834446013 33554432 5627 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8192 5627 1111 63 0 8129 0 vsize: 32768 [startup+1020.54 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5754 0 0 0 102050 16 0 0 25 0 1 0 834446013 33824768 5678 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8258 5678 1111 63 0 8195 0 vsize: 33032 [startup+1030.54 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5802 0 0 0 103051 16 0 0 25 0 1 0 834446013 33959936 5726 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8291 5726 1111 63 0 8228 0 vsize: 33164 [startup+1040.55 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5844 0 0 0 104051 16 0 0 25 0 1 0 834446013 34095104 5768 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8324 5768 1111 63 0 8261 0 vsize: 33296 [startup+1050.56 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5895 0 0 0 105052 16 0 0 25 0 1 0 834446013 34365440 5819 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8390 5819 1111 63 0 8327 0 vsize: 33560 [startup+1060.57 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5937 0 0 0 106053 17 0 0 25 0 1 0 834446013 34500608 5861 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8423 5861 1111 63 0 8360 0 vsize: 33692 [startup+1070.58 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 5985 0 0 0 107055 17 0 0 25 0 1 0 834446013 34635776 5909 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8456 5909 1111 63 0 8393 0 vsize: 33824 [startup+1080.59 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6034 0 0 0 108055 17 0 0 25 0 1 0 834446013 34906112 5958 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8522 5958 1111 63 0 8459 0 vsize: 34088 [startup+1090.59 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6084 0 0 0 109055 17 0 0 25 0 1 0 834446013 35041280 6008 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8555 6008 1111 63 0 8492 0 vsize: 34220 [startup+1100.59 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6133 0 0 0 110056 17 0 0 25 0 1 0 834446013 35311616 6057 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8621 6057 1111 63 0 8558 0 vsize: 34484 [startup+1110.59 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6182 0 0 0 111056 17 0 0 25 0 1 0 834446013 35467264 6106 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8659 6106 1111 63 0 8596 0 vsize: 34636 [startup+1120.61 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6233 0 0 0 112057 17 0 0 25 0 1 0 834446013 35741696 6157 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8726 6157 1111 63 0 8663 0 vsize: 34904 [startup+1130.61 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6282 0 0 0 113057 17 0 0 25 0 1 0 834446013 35876864 6206 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8759 6206 1111 63 0 8696 0 vsize: 35036 [startup+1140.61 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6337 0 0 0 114058 18 0 0 25 0 1 0 834446013 36167680 6261 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8830 6261 1111 63 0 8767 0 vsize: 35320 [startup+1150.61 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6388 0 0 0 115058 18 0 0 25 0 1 0 834446013 36306944 6312 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8864 6312 1111 63 0 8801 0 vsize: 35456 [startup+1160.61 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6443 0 0 0 116058 18 0 0 25 0 1 0 834446013 36577280 6367 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8930 6367 1111 63 0 8867 0 vsize: 35720 [startup+1170.62 s] Raw data (loadavg): 1.00 0.99 0.91 3/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6493 0 0 0 117059 18 0 0 25 0 1 0 834446013 36847616 6417 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8996 6417 1111 63 0 8933 0 vsize: 35984 [startup+1180.62 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6564 0 0 0 118058 19 0 0 25 0 1 0 834446013 37117952 6488 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9062 6488 1111 63 0 8999 0 vsize: 36248 [startup+1190.62 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6627 0 0 0 119058 19 0 0 25 0 1 0 834446013 37388288 6551 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9128 6551 1111 63 0 9065 0 vsize: 36512 [startup+1200.63 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) R 16702 10795 10794 0 -1 0 6676 0 0 0 120059 19 0 0 25 0 1 0 834446013 37679104 6600 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9199 6600 1111 63 0 9136 0 vsize: 36796 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.67 s] Raw data (loadavg): 1.00 0.99 0.91 1/54 16703 Raw data (stat): 16703 (bsolo_lpr_cuts) Z 16702 10795 10794 0 -1 1036 6676 0 0 0 120059 20 0 0 23 0 1 0 834446013 0 0 4294967295 0 0 0 0 0 0 0 7 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.67 CPU time (s): 1200.8 CPU user time (s): 1200.6 CPU system time (s): 0.207968 CPU usage (%): 100.011 Max. virtual memory (Kb): 36796 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####