Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3-c.opb |
MD5SUM | b552ff39062b6c42ea64365c815cbd78 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 2650 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 2650 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2650 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 2650 |
Total number of constraints | 6619 |
Number of constraints which are clauses | 6619 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-08 18:36:07 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1856 boxname=wulflinc31 idbench=207 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: b552ff39062b6c42ea64365c815cbd78 /oldhome/oroussel/tmp/wulflinc31/normalized-par32-3-c.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par32-3-c.opb IDLAUNCH: 1856 /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: 137908 kB Buffers: 42212 kB Cached: 820132 kB SwapCached: 644 kB Active: 494088 kB Inactive: 370648 kB HighTotal: 131008 kB HighFree: 1400 kB LowTotal: 903652 kB LowFree: 136508 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26488 kB Committed_AS: 63648 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-08 18:55:43 (client local time) WITH STATUS 0 IN 1175.07 SECONDS stats: 1856 7 1175.07 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 2650 variables and 6619 constraints. c After prepocess the problem consists of 2585 variables and 8468 constraints. c preprocess terminated 58.023 s c Initial Lower Bound: 815 c Lower Bound Elapsed time: 16.0653 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.02 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.94 2/54 17062 Raw data (stat): 17062 (runsolver) R 17061 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 694170358 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 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+9.9999 s] Raw data (loadavg): 0.93 0.95 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 6224 0 0 0 978 16 0 0 25 0 1 0 694170358 18161664 3591 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4434 3591 1111 63 0 4371 0 vsize: 17736 [startup+20.0008 s] Raw data (loadavg): 0.94 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 6224 0 0 0 1979 16 0 0 25 0 1 0 694170358 18161664 3591 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4434 3591 1111 63 0 4371 0 vsize: 17736 [startup+30.0007 s] Raw data (loadavg): 0.95 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 6233 0 0 0 2979 16 0 0 25 0 1 0 694170358 18296832 3600 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4467 3600 1111 63 0 4404 0 vsize: 17868 [startup+40.0016 s] Raw data (loadavg): 0.95 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 6388 0 0 0 3978 17 0 0 25 0 1 0 694170358 18837504 3755 4294967295 134512640 134714508 3221221776 3221220448 134627252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4599 3755 1111 63 0 4536 0 vsize: 18396 [startup+50.0026 s] Raw data (loadavg): 0.96 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 6510 0 0 0 4978 17 0 0 25 0 1 0 694170358 19378176 3877 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4731 3877 1111 63 0 4668 0 vsize: 18924 [startup+60.0026 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 7682 0 0 0 5976 19 0 0 25 0 1 0 694170358 24096768 5037 4294967295 134512640 134714508 3221221776 3221219992 1074138163 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5883 5037 1111 63 0 5820 0 vsize: 23532 [startup+70.0035 s] Raw data (loadavg): 0.97 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 9116 0 0 0 6972 24 0 0 25 0 1 0 694170358 30781440 6157 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7515 6157 1111 63 0 7452 0 vsize: 30060 [startup+80.0034 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 9165 0 0 0 7971 24 0 0 25 0 1 0 694170358 30781440 6206 4294967295 134512640 134714508 3221221776 3221217916 1075116728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7515 6206 1111 63 0 7452 0 vsize: 30060 [startup+90.0043 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 9176 0 0 0 8972 24 0 0 25 0 1 0 694170358 30781440 6217 4294967295 134512640 134714508 3221221776 3221217968 1074961293 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7515 6217 1111 63 0 7452 0 vsize: 30060 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 9185 0 0 0 9972 24 0 0 25 0 1 0 694170358 30781440 6226 4294967295 134512640 134714508 3221221776 3221217916 1075116874 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7515 6226 1111 63 0 7452 0 vsize: 30060 [startup+110.004 s] Raw data (loadavg): 0.98 0.96 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 9420 0 0 0 10971 25 0 0 25 0 1 0 694170358 29798400 6194 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7275 6194 1111 63 0 7212 0 vsize: 29100 [startup+120.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 9424 0 0 0 11971 25 0 0 25 0 1 0 694170358 29798400 6198 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7275 6198 1111 63 0 7212 0 vsize: 29100 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 9452 0 0 0 12971 25 0 0 25 0 1 0 694170358 29913088 6226 4294967295 134512640 134714508 3221221776 3221217936 1075115747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7303 6226 1111 63 0 7240 0 vsize: 29212 [startup+140.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 9452 0 0 0 13972 25 0 0 25 0 1 0 694170358 29913088 6226 4294967295 134512640 134714508 3221221776 3221217708 1074788930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7303 6226 1111 63 0 7240 0 vsize: 29212 [startup+150.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 9495 0 0 0 14971 26 0 0 25 0 1 0 694170358 30171136 6269 4294967295 134512640 134714508 3221221776 3221217708 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7366 6269 1111 63 0 7303 0 vsize: 29464 [startup+160.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 19623 0 0 0 15949 49 0 0 25 0 1 0 694170358 27168768 5858 4294967295 134512640 134714508 3221221776 3221219692 1074788959 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6633 5858 1111 63 0 6570 0 vsize: 26532 [startup+170.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 25754 0 0 0 16934 64 0 0 25 0 1 0 694170358 27910144 5913 4294967295 134512640 134714508 3221221776 3221219520 1075823634 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6814 5913 1111 63 0 6751 0 vsize: 27256 [startup+180.006 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 30133 0 0 0 17925 73 0 0 25 0 1 0 694170358 31264768 6565 4294967295 134512640 134714508 3221221776 3221218768 1074867340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6565 1111 63 0 7570 0 vsize: 30532 [startup+190.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 30134 0 0 0 18925 73 0 0 25 0 1 0 694170358 31264768 6566 4294967295 134512640 134714508 3221221776 3221218700 1074621048 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6566 1111 63 0 7570 0 vsize: 30532 [startup+200.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 30134 0 0 0 19925 73 0 0 25 0 1 0 694170358 31264768 6566 4294967295 134512640 134714508 3221221776 3221217580 1074788950 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7633 6566 1111 63 0 7570 0 vsize: 30532 [startup+210.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 33257 0 0 0 20918 81 0 0 25 0 1 0 694170358 32653312 6536 4294967295 134512640 134714508 3221221776 3221217916 1075116876 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7972 6536 1111 63 0 7909 0 vsize: 31888 [startup+220.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 37725 0 0 0 21907 91 0 0 25 0 1 0 694170358 26271744 5702 4294967295 134512640 134714508 3221221776 3221220332 134539220 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6414 5702 1111 63 0 6351 0 vsize: 25656 [startup+230.007 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 37725 0 0 0 22907 92 0 0 25 0 1 0 694170358 26271744 5702 4294967295 134512640 134714508 3221221776 3221220336 134696536 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6414 5702 1111 63 0 6351 0 vsize: 25656 [startup+240.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 37794 0 0 0 23907 92 0 0 25 0 1 0 694170358 26677248 5771 4294967295 134512640 134714508 3221221776 3221220332 134539265 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6513 5771 1111 63 0 6450 0 vsize: 26052 [startup+250.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 37901 0 0 0 24906 92 0 0 25 0 1 0 694170358 27082752 5878 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6612 5878 1111 63 0 6549 0 vsize: 26448 [startup+260.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38003 0 0 0 25906 93 0 0 25 0 1 0 694170358 27488256 5980 4294967295 134512640 134714508 3221221776 3221220480 134528687 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6711 5980 1111 63 0 6648 0 vsize: 26844 [startup+270.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38124 0 0 0 26905 94 0 0 25 0 1 0 694170358 28028928 6101 4294967295 134512640 134714508 3221221776 3221220400 134539460 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6843 6101 1111 63 0 6780 0 vsize: 27372 [startup+280.008 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38235 0 0 0 27905 94 0 0 25 0 1 0 694170358 28434432 6212 4294967295 134512640 134714508 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6942 6212 1111 63 0 6879 0 vsize: 27768 [startup+290.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38336 0 0 0 28904 95 0 0 25 0 1 0 694170358 28839936 6313 4294967295 134512640 134714508 3221221776 3221220384 134523350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7041 6313 1111 63 0 6978 0 vsize: 28164 [startup+300.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38452 0 0 0 29904 96 0 0 25 0 1 0 694170358 29380608 6429 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7173 6429 1111 63 0 7110 0 vsize: 28692 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38543 0 0 0 30903 97 0 0 25 0 1 0 694170358 29650944 6520 4294967295 134512640 134714508 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7239 6520 1111 63 0 7176 0 vsize: 28956 [startup+320.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38648 0 0 0 31903 97 0 0 25 0 1 0 694170358 30056448 6625 4294967295 134512640 134714508 3221221776 3221220368 134543684 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7338 6625 1111 63 0 7275 0 vsize: 29352 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38751 0 0 0 32902 98 0 0 25 0 1 0 694170358 30597120 6728 4294967295 134512640 134714508 3221221776 3221220368 134543684 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7470 6728 1111 63 0 7407 0 vsize: 29880 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38884 0 0 0 33902 98 0 0 25 0 1 0 694170358 31133696 6861 4294967295 134512640 134714508 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7601 6861 1111 63 0 7538 0 vsize: 30404 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 38982 0 0 0 34902 99 0 0 25 0 1 0 694170358 31539200 6959 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7700 6959 1111 63 0 7637 0 vsize: 30800 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 39082 0 0 0 35901 100 0 0 25 0 1 0 694170358 31944704 7059 4294967295 134512640 134714508 3221221776 3221220384 134523350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7799 7059 1111 63 0 7736 0 vsize: 31196 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 39207 0 0 0 36901 100 0 0 25 0 1 0 694170358 32350208 7184 4294967295 134512640 134714508 3221221776 3221220284 134535903 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7898 7184 1111 63 0 7835 0 vsize: 31592 [startup+380.01 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 39320 0 0 0 37901 100 0 0 25 0 1 0 694170358 32890880 7297 4294967295 134512640 134714508 3221221776 3221220336 134696533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8030 7297 1111 63 0 7967 0 vsize: 32120 [startup+390.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 39417 0 0 0 38901 101 0 0 25 0 1 0 694170358 33296384 7394 4294967295 134512640 134714508 3221221776 3221220288 134535285 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8129 7394 1111 63 0 8066 0 vsize: 32516 [startup+400.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 39540 0 0 0 39900 102 0 0 25 0 1 0 694170358 33832960 7517 4294967295 134512640 134714508 3221221776 3221220348 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8260 7517 1111 63 0 8197 0 vsize: 33040 [startup+410.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 39642 0 0 0 40900 102 0 0 25 0 1 0 694170358 34238464 7619 4294967295 134512640 134714508 3221221776 3221220416 134536698 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8359 7619 1111 63 0 8296 0 vsize: 33436 [startup+420.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 39729 0 0 0 41899 102 0 0 25 0 1 0 694170358 34508800 7706 4294967295 134512640 134714508 3221221776 3221220388 134523164 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8425 7706 1111 63 0 8362 0 vsize: 33700 [startup+430.011 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 39848 0 0 0 42899 103 0 0 25 0 1 0 694170358 35049472 7825 4294967295 134512640 134714508 3221221776 3221220288 134535985 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8557 7825 1111 63 0 8494 0 vsize: 34228 [startup+440.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 39941 0 0 0 43899 104 0 0 25 0 1 0 694170358 35454976 7918 4294967295 134512640 134714508 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8656 7918 1111 63 0 8593 0 vsize: 34624 [startup+450.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 40038 0 0 0 44898 104 0 0 25 0 1 0 694170358 35860480 8015 4294967295 134512640 134714508 3221221776 3221220344 134539340 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8755 8015 1111 63 0 8692 0 vsize: 35020 [startup+460.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 40134 0 0 0 45898 104 0 0 25 0 1 0 694170358 36265984 8111 4294967295 134512640 134714508 3221221776 3221220364 134543653 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8854 8111 1111 63 0 8791 0 vsize: 35416 [startup+470.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 40248 0 0 0 46898 105 0 0 25 0 1 0 694170358 36671488 8225 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8953 8225 1111 63 0 8890 0 vsize: 35812 [startup+480.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 40363 0 0 0 47897 105 0 0 25 0 1 0 694170358 37076992 8340 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9052 8340 1111 63 0 8989 0 vsize: 36208 [startup+490.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 40462 0 0 0 48897 106 0 0 25 0 1 0 694170358 37482496 8439 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9151 8439 1111 63 0 9088 0 vsize: 36604 [startup+500.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 40587 0 0 0 49897 106 0 0 25 0 1 0 694170358 38023168 8564 4294967295 134512640 134714508 3221221776 3221220400 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9283 8564 1111 63 0 9220 0 vsize: 37132 [startup+510.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 40706 0 0 0 50896 107 0 0 25 0 1 0 694170358 38563840 8683 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9415 8683 1111 63 0 9352 0 vsize: 37660 [startup+520.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 40809 0 0 0 51896 108 0 0 25 0 1 0 694170358 38973440 8786 4294967295 134512640 134714508 3221221776 3221220316 134539262 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9515 8786 1111 63 0 9452 0 vsize: 38060 [startup+530.012 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 40916 0 0 0 52895 108 0 0 25 0 1 0 694170358 39378944 8893 4294967295 134512640 134714508 3221221776 3221220336 134696561 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9614 8893 1111 63 0 9551 0 vsize: 38456 [startup+540.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41023 0 0 0 53895 108 0 0 25 0 1 0 694170358 39784448 9000 4294967295 134512640 134714508 3221221776 3221220368 134542682 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9713 9000 1111 63 0 9650 0 vsize: 38852 [startup+550.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41130 0 0 0 54895 109 0 0 25 0 1 0 694170358 40325120 9107 4294967295 134512640 134714508 3221221776 3221220540 134543588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9845 9107 1111 63 0 9782 0 vsize: 39380 [startup+560.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41244 0 0 0 55894 110 0 0 25 0 1 0 694170358 40730624 9221 4294967295 134512640 134714508 3221221776 3221220464 134523350 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9944 9221 1111 63 0 9881 0 vsize: 39776 [startup+570.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41345 0 0 0 56894 110 0 0 25 0 1 0 694170358 41136128 9322 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10043 9322 1111 63 0 9980 0 vsize: 40172 [startup+580.013 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41466 0 0 0 57893 111 0 0 25 0 1 0 694170358 41676800 9443 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10175 9443 1111 63 0 10112 0 vsize: 40700 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41562 0 0 0 58893 112 0 0 25 0 1 0 694170358 42082304 9539 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10274 9539 1111 63 0 10211 0 vsize: 41096 [startup+600.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41666 0 0 0 59892 112 0 0 25 0 1 0 694170358 42487808 9643 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10373 9643 1111 63 0 10310 0 vsize: 41492 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41791 0 0 0 60892 113 0 0 25 0 1 0 694170358 43028480 9768 4294967295 134512640 134714508 3221221776 3221220424 134543614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10505 9768 1111 63 0 10442 0 vsize: 42020 [startup+620.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41881 0 0 0 61891 114 0 0 25 0 1 0 694170358 43298816 9858 4294967295 134512640 134714508 3221221776 3221220424 134543652 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10571 9858 1111 63 0 10508 0 vsize: 42284 [startup+630.016 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 41976 0 0 0 62891 114 0 0 25 0 1 0 694170358 43704320 9953 4294967295 134512640 134714508 3221221776 3221220416 134543110 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10670 9953 1111 63 0 10607 0 vsize: 42680 [startup+640.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 42075 0 0 0 63891 115 0 0 25 0 1 0 694170358 44109824 10052 4294967295 134512640 134714508 3221221776 3221220512 134535728 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10769 10052 1111 63 0 10706 0 vsize: 43076 [startup+650.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 42170 0 0 0 64890 115 0 0 25 0 1 0 694170358 44515328 10147 4294967295 134512640 134714508 3221221776 3221220492 134696376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10868 10147 1111 63 0 10805 0 vsize: 43472 [startup+660.017 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 42263 0 0 0 65890 116 0 0 25 0 1 0 694170358 44920832 10240 4294967295 134512640 134714508 3221221776 3221220368 134542723 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10967 10240 1111 63 0 10904 0 vsize: 43868 [startup+670.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 42370 0 0 0 66890 116 0 0 25 0 1 0 694170358 45334528 10347 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11068 10347 1111 63 0 11005 0 vsize: 44272 [startup+680.018 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 42495 0 0 0 67890 117 0 0 25 0 1 0 694170358 45875200 10472 4294967295 134512640 134714508 3221221776 3221220316 134539301 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11200 10472 1111 63 0 11137 0 vsize: 44800 [startup+690.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 42606 0 0 0 68890 117 0 0 25 0 1 0 694170358 46280704 10583 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11299 10583 1111 63 0 11236 0 vsize: 45196 [startup+700.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 42702 0 0 0 69889 117 0 0 25 0 1 0 694170358 46686208 10679 4294967295 134512640 134714508 3221221776 3221220420 134539580 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11398 10679 1111 63 0 11335 0 vsize: 45592 [startup+710.019 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 42818 0 0 0 70889 118 0 0 25 0 1 0 694170358 47226880 10795 4294967295 134512640 134714508 3221221776 3221220416 134524129 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11530 10795 1111 63 0 11467 0 vsize: 46120 [startup+720.02 s] Raw data (loadavg): 0.99 0.97 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 42919 0 0 0 71889 118 0 0 25 0 1 0 694170358 47632384 10896 4294967295 134512640 134714508 3221221776 3221219952 134697093 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11629 10896 1111 63 0 11566 0 vsize: 46516 [startup+730.02 s] Raw data (loadavg): 1.07 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43012 0 0 0 72888 119 0 0 25 0 1 0 694170358 48037888 10989 4294967295 134512640 134714508 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11728 10989 1111 63 0 11665 0 vsize: 46912 [startup+740.021 s] Raw data (loadavg): 1.06 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43129 0 0 0 73888 120 0 0 25 0 1 0 694170358 48443392 11106 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11827 11106 1111 63 0 11764 0 vsize: 47308 [startup+750.021 s] Raw data (loadavg): 1.05 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43211 0 0 0 74887 120 0 0 25 0 1 0 694170358 48848896 11188 4294967295 134512640 134714508 3221221776 3221220448 134543740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11926 11188 1111 63 0 11863 0 vsize: 47704 [startup+760.021 s] Raw data (loadavg): 1.04 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43303 0 0 0 75887 121 0 0 25 0 1 0 694170358 49254400 11280 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12025 11280 1111 63 0 11962 0 vsize: 48100 [startup+770.022 s] Raw data (loadavg): 1.03 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43419 0 0 0 76887 121 0 0 25 0 1 0 694170358 49659904 11396 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12124 11396 1111 63 0 12061 0 vsize: 48496 [startup+780.022 s] Raw data (loadavg): 1.03 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43514 0 0 0 77886 122 0 0 25 0 1 0 694170358 50081792 11491 4294967295 134512640 134714508 3221221776 3221220316 134539223 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12227 11491 1111 63 0 12164 0 vsize: 48908 [startup+790.023 s] Raw data (loadavg): 1.02 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43607 0 0 0 78886 123 0 0 25 0 1 0 694170358 50507776 11584 4294967295 134512640 134714508 3221221776 3221220316 134613752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12331 11584 1111 63 0 12268 0 vsize: 49324 [startup+800.024 s] Raw data (loadavg): 1.02 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43721 0 0 0 79885 123 0 0 25 0 1 0 694170358 50913280 11698 4294967295 134512640 134714508 3221221776 3221220400 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12430 11698 1111 63 0 12367 0 vsize: 49720 [startup+810.024 s] Raw data (loadavg): 1.02 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43810 0 0 0 80885 124 0 0 25 0 1 0 694170358 51322880 11787 4294967295 134512640 134714508 3221221776 3221220560 134584919 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12530 11787 1111 63 0 12467 0 vsize: 50120 [startup+820.025 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 43909 0 0 0 81886 124 0 0 25 0 1 0 694170358 51728384 11886 4294967295 134512640 134714508 3221221776 3221220324 134696712 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12629 11886 1111 63 0 12566 0 vsize: 50516 [startup+830.024 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44019 0 0 0 82885 124 0 0 25 0 1 0 694170358 52269056 11996 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12761 11996 1111 63 0 12698 0 vsize: 51044 [startup+840.026 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44106 0 0 0 83885 125 0 0 25 0 1 0 694170358 52539392 12083 4294967295 134512640 134714508 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12827 12083 1111 63 0 12764 0 vsize: 51308 [startup+850.027 s] Raw data (loadavg): 1.01 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44209 0 0 0 84884 125 0 0 25 0 1 0 694170358 52944896 12186 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12926 12186 1111 63 0 12863 0 vsize: 51704 [startup+860.026 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44325 0 0 0 85884 126 0 0 25 0 1 0 694170358 53485568 12302 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13058 12302 1111 63 0 12995 0 vsize: 52232 [startup+870.028 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44429 0 0 0 86884 126 0 0 25 0 1 0 694170358 53891072 12406 4294967295 134512640 134714508 3221221776 3221220320 134543004 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13157 12406 1111 63 0 13094 0 vsize: 52628 [startup+880.027 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44541 0 0 0 87883 127 0 0 25 0 1 0 694170358 54296576 12518 4294967295 134512640 134714508 3221221776 3221220448 134543700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13256 12518 1111 63 0 13193 0 vsize: 53024 [startup+890.028 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44632 0 0 0 88883 127 0 0 25 0 1 0 694170358 54702080 12609 4294967295 134512640 134714508 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13355 12609 1111 63 0 13292 0 vsize: 53420 [startup+900.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44731 0 0 0 89883 128 0 0 25 0 1 0 694170358 55107584 12708 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13454 12708 1111 63 0 13391 0 vsize: 53816 [startup+910.029 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44847 0 0 0 90883 128 0 0 25 0 1 0 694170358 55648256 12824 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13586 12824 1111 63 0 13523 0 vsize: 54344 [startup+920.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 44941 0 0 0 91882 129 0 0 25 0 1 0 694170358 55918592 12918 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13652 12918 1111 63 0 13589 0 vsize: 54608 [startup+930.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45033 0 0 0 92882 130 0 0 25 0 1 0 694170358 56324096 13010 4294967295 134512640 134714508 3221221776 3221220396 134542656 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13751 13010 1111 63 0 13688 0 vsize: 55004 [startup+940.031 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45146 0 0 0 93881 130 0 0 25 0 1 0 694170358 56864768 13123 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13883 13123 1111 63 0 13820 0 vsize: 55532 [startup+950.031 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45256 0 0 0 94881 131 0 0 25 0 1 0 694170358 57270272 13233 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13982 13233 1111 63 0 13919 0 vsize: 55928 [startup+960.031 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45352 0 0 0 95880 132 0 0 25 0 1 0 694170358 57675776 13329 4294967295 134512640 134714508 3221221776 3221220324 134696398 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14081 13329 1111 63 0 14018 0 vsize: 56324 [startup+970.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45466 0 0 0 96880 132 0 0 25 0 1 0 694170358 58081280 13443 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14180 13443 1111 63 0 14117 0 vsize: 56720 [startup+980.032 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45559 0 0 0 97879 133 0 0 25 0 1 0 694170358 58486784 13536 4294967295 134512640 134714508 3221221776 3221220416 134539434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14279 13536 1111 63 0 14216 0 vsize: 57116 [startup+990.033 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45651 0 0 0 98879 133 0 0 25 0 1 0 694170358 58892288 13628 4294967295 134512640 134714508 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14378 13628 1111 63 0 14315 0 vsize: 57512 [startup+1000.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45760 0 0 0 99878 135 0 0 25 0 1 0 694170358 59297792 13737 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14477 13737 1111 63 0 14414 0 vsize: 57908 [startup+1010.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45852 0 0 0 100878 135 0 0 25 0 1 0 694170358 59707392 13829 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14577 13829 1111 63 0 14514 0 vsize: 58308 [startup+1020.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 45952 0 0 0 101878 136 0 0 25 0 1 0 694170358 60121088 13929 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14678 13929 1111 63 0 14615 0 vsize: 58712 [startup+1030.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 46082 0 0 0 102877 136 0 0 25 0 1 0 694170358 60661760 14059 4294967295 134512640 134714508 3221221776 3221220408 134543665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14810 14059 1111 63 0 14747 0 vsize: 59240 [startup+1040.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 46178 0 0 0 103877 137 0 0 25 0 1 0 694170358 61067264 14155 4294967295 134512640 134714508 3221221776 3221220480 134528721 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14909 14155 1111 63 0 14846 0 vsize: 59636 [startup+1050.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 46281 0 0 0 104876 137 0 0 25 0 1 0 694170358 61472768 14258 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15008 14258 1111 63 0 14945 0 vsize: 60032 [startup+1060.03 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 46390 0 0 0 105876 138 0 0 25 0 1 0 694170358 61878272 14367 4294967295 134512640 134714508 3221221776 3221220336 134542365 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15107 14367 1111 63 0 15044 0 vsize: 60428 [startup+1070.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 46489 0 0 0 106876 138 0 0 25 0 1 0 694170358 62418944 14466 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15239 14466 1111 63 0 15176 0 vsize: 60956 [startup+1080.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 46588 0 0 0 107876 138 0 0 25 0 1 0 694170358 62824448 14565 4294967295 134512640 134714508 3221221776 3221220556 134613543 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15338 14565 1111 63 0 15275 0 vsize: 61352 [startup+1090.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 46687 0 0 0 108876 139 0 0 25 0 1 0 694170358 63229952 14664 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15437 14664 1111 63 0 15374 0 vsize: 61748 [startup+1100.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 46794 0 0 0 109876 139 0 0 25 0 1 0 694170358 63635456 14771 4294967295 134512640 134714508 3221221776 3221220364 134543653 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15536 14771 1111 63 0 15473 0 vsize: 62144 [startup+1110.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 46913 0 0 0 110875 140 0 0 25 0 1 0 694170358 64176128 14890 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15668 14890 1111 63 0 15605 0 vsize: 62672 [startup+1120.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 47017 0 0 0 111875 140 0 0 25 0 1 0 694170358 64581632 14994 4294967295 134512640 134714508 3221221776 3221220480 134528662 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15767 14994 1111 63 0 15704 0 vsize: 63068 [startup+1130.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 47112 0 0 0 112874 141 0 0 25 0 1 0 694170358 64987136 15089 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15866 15089 1111 63 0 15803 0 vsize: 63464 [startup+1140.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 47222 0 0 0 113874 142 0 0 25 0 1 0 694170358 65392640 15199 4294967295 134512640 134714508 3221221776 3221220560 134529243 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 15965 15199 1111 63 0 15902 0 vsize: 63860 [startup+1150.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 47311 0 0 0 114874 142 0 0 25 0 1 0 694170358 65798144 15288 4294967295 134512640 134714508 3221221776 3221220360 134543606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16064 15288 1111 63 0 16001 0 vsize: 64256 [startup+1160.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 47405 0 0 0 115873 143 0 0 25 0 1 0 694170358 66220032 15382 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16167 15382 1111 63 0 16104 0 vsize: 64668 [startup+1170.04 s] Raw data (loadavg): 1.00 0.99 0.94 2/54 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 47520 0 0 0 116873 143 0 0 25 0 1 0 694170358 66625536 15497 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16266 15497 1111 63 0 16203 0 vsize: 65064 [startup+1174.94 s] Raw data (loadavg): 1.00 0.99 0.94 1/53 17062 Raw data (stat): 17062 (bsolo_lpr_cuts) R 17061 7876 7672 0 -1 0 47520 0 0 0 116873 143 0 0 25 0 1 0 694170358 66625536 15497 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16266 15497 1111 63 0 16203 0 vsize: 0 Child status: 0 Real time (s): 1174.94 CPU time (s): 1175.07 CPU user time (s): 1173.6 CPU system time (s): 1.46978 CPU usage (%): 100.011 Max. virtual memory (Kb): 65064 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####