Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-mps-v2-20-10-fome11.opb |
MD5SUM | 0bcc00bfe1019c444b568fb7268c455a |
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 | 374066 |
Biggest coefficient in the objective function | 2150851580428025856 |
Number of bits for the biggest coefficient in the objective function | 61 |
Sum of the numbers in the objective function | 1765505311698925125632 |
Number of bits of the sum of numbers in the objective function | 71 |
Biggest number in a constraint | 53687091200000000000 |
Number of bits of the biggest number in a constraint | 66 |
Biggest sum of numbers in a constraint | 4277072243466308681728 |
Number of bits of the biggest sum of numbers | 72 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 6.86596 |
Number of variables | 733406 |
Total number of constraints | 12168 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 12168 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc29 THE 2005-05-24 14:53:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14380 boxname=wulflinc29 idbench=1107 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 0bcc00bfe1019c444b568fb7268c455a /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-fome11.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc29/normalized-mps-v2-20-10-fome11.opb IDLAUNCH: 14380 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.020 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.020 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: 824212 kB Buffers: 35000 kB Cached: 153340 kB SwapCached: 768 kB Active: 107272 kB Inactive: 83652 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 823960 kB SwapTotal: 2097892 kB SwapFree: 2096732 kB Dirty: 4 kB Writeback: 0 kB Mapped: 5652 kB Slab: 13916 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 15:13:33 (client local time) WITH STATUS 0 IN 1200.21 SECONDS stats: 14380 7 1200.21 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.99 1.00 1.23 2/54 20324 Raw data (stat): 20324 (runsolver) R 20323 20001 20000 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831105503 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.99 1.00 1.23 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 2919 0 0 0 986 10 0 0 25 0 1 0 831105503 15212544 2843 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3714 2843 1111 63 0 3651 0 vsize: 14856 [startup+20.002 s] Raw data (loadavg): 0.99 1.00 1.23 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 2942 0 0 0 1986 10 0 0 25 0 1 0 831105503 15364096 2866 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3751 2866 1111 63 0 3688 0 vsize: 15004 [startup+30.0018 s] Raw data (loadavg): 0.99 1.00 1.22 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 2964 0 0 0 2986 11 0 0 25 0 1 0 831105503 15364096 2888 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3751 2888 1111 63 0 3688 0 vsize: 15004 [startup+40.002 s] Raw data (loadavg): 0.99 1.00 1.22 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 2992 0 0 0 3986 11 0 0 25 0 1 0 831105503 15511552 2916 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3787 2916 1111 63 0 3724 0 vsize: 15148 [startup+50.0024 s] Raw data (loadavg): 0.99 1.00 1.22 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3015 0 0 0 4986 11 0 0 25 0 1 0 831105503 15663104 2939 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3824 2939 1111 63 0 3761 0 vsize: 15296 [startup+60.0022 s] Raw data (loadavg): 0.99 1.00 1.21 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3037 0 0 0 5986 12 0 0 25 0 1 0 831105503 15663104 2961 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3824 2961 1111 63 0 3761 0 vsize: 15296 [startup+70.0035 s] Raw data (loadavg): 0.99 1.00 1.21 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3065 0 0 0 6986 12 0 0 25 0 1 0 831105503 15810560 2989 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3860 2989 1111 63 0 3797 0 vsize: 15440 [startup+80.0037 s] Raw data (loadavg): 0.99 1.00 1.21 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3095 0 0 0 7986 12 0 0 25 0 1 0 831105503 15945728 3019 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3893 3019 1111 63 0 3830 0 vsize: 15572 [startup+90.0035 s] Raw data (loadavg): 0.99 1.00 1.21 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3118 0 0 0 8986 12 0 0 25 0 1 0 831105503 16089088 3042 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3928 3042 1111 63 0 3865 0 vsize: 15712 [startup+100.004 s] Raw data (loadavg): 0.99 1.00 1.20 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3139 0 0 0 9986 12 0 0 25 0 1 0 831105503 16089088 3063 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3928 3063 1111 63 0 3865 0 vsize: 15712 [startup+110.004 s] Raw data (loadavg): 0.99 1.00 1.20 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3155 0 0 0 10986 12 0 0 25 0 1 0 831105503 16236544 3079 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3964 3079 1111 63 0 3901 0 vsize: 15856 [startup+120.005 s] Raw data (loadavg): 0.99 1.00 1.20 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3184 0 0 0 11986 12 0 0 25 0 1 0 831105503 16236544 3108 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3964 3108 1111 63 0 3901 0 vsize: 15856 [startup+130.005 s] Raw data (loadavg): 0.99 1.00 1.19 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3212 0 0 0 12986 12 0 0 25 0 1 0 831105503 16388096 3136 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4001 3136 1111 63 0 3938 0 vsize: 16004 [startup+140.004 s] Raw data (loadavg): 0.99 1.00 1.19 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3234 0 0 0 13986 12 0 0 25 0 1 0 831105503 16535552 3158 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4037 3158 1111 63 0 3974 0 vsize: 16148 [startup+150.005 s] Raw data (loadavg): 0.99 1.00 1.19 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3257 0 0 0 14987 13 0 0 25 0 1 0 831105503 16535552 3181 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4037 3181 1111 63 0 3974 0 vsize: 16148 [startup+160.005 s] Raw data (loadavg): 0.99 1.00 1.18 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3286 0 0 0 15987 13 0 0 25 0 1 0 831105503 16687104 3210 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4074 3210 1111 63 0 4011 0 vsize: 16296 [startup+170.005 s] Raw data (loadavg): 0.99 1.00 1.18 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3310 0 0 0 16987 13 0 0 25 0 1 0 831105503 16838656 3234 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4111 3234 1111 63 0 4048 0 vsize: 16444 [startup+180.006 s] Raw data (loadavg): 0.99 1.00 1.18 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3332 0 0 0 17987 13 0 0 25 0 1 0 831105503 16838656 3256 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4111 3256 1111 63 0 4048 0 vsize: 16444 [startup+190.006 s] Raw data (loadavg): 0.99 1.00 1.18 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3360 0 0 0 18987 13 0 0 25 0 1 0 831105503 16990208 3284 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4148 3284 1111 63 0 4085 0 vsize: 16592 [startup+200.006 s] Raw data (loadavg): 0.99 1.00 1.18 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3376 0 0 0 19987 13 0 0 25 0 1 0 831105503 17137664 3300 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4184 3300 1111 63 0 4121 0 vsize: 16736 [startup+210.008 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3407 0 0 0 20988 13 0 0 25 0 1 0 831105503 17272832 3331 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4217 3331 1111 63 0 4154 0 vsize: 16868 [startup+220.008 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3429 0 0 0 21987 13 0 0 25 0 1 0 831105503 17272832 3353 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4217 3353 1111 63 0 4154 0 vsize: 16868 [startup+230.009 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3452 0 0 0 22988 13 0 0 25 0 1 0 831105503 17420288 3376 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4253 3376 1111 63 0 4190 0 vsize: 17012 [startup+240.008 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3480 0 0 0 23988 13 0 0 25 0 1 0 831105503 17567744 3404 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4289 3404 1111 63 0 4226 0 vsize: 17156 [startup+250.01 s] Raw data (loadavg): 0.99 1.00 1.17 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3502 0 0 0 24988 13 0 0 25 0 1 0 831105503 17567744 3426 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4289 3426 1111 63 0 4226 0 vsize: 17156 [startup+260.01 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3526 0 0 0 25988 13 0 0 25 0 1 0 831105503 17702912 3450 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4322 3450 1111 63 0 4259 0 vsize: 17288 [startup+270.009 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3555 0 0 0 26988 13 0 0 25 0 1 0 831105503 17846272 3479 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4357 3479 1111 63 0 4294 0 vsize: 17428 [startup+280.01 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3583 0 0 0 27988 14 0 0 25 0 1 0 831105503 17993728 3507 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4393 3507 1111 63 0 4330 0 vsize: 17572 [startup+290.01 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3606 0 0 0 28988 14 0 0 25 0 1 0 831105503 17993728 3530 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4393 3530 1111 63 0 4330 0 vsize: 17572 [startup+300.01 s] Raw data (loadavg): 0.99 1.00 1.16 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3628 0 0 0 29988 14 0 0 25 0 1 0 831105503 18145280 3552 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4430 3552 1111 63 0 4367 0 vsize: 17720 [startup+310.01 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3656 0 0 0 30988 14 0 0 25 0 1 0 831105503 18292736 3580 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4466 3580 1111 63 0 4403 0 vsize: 17864 [startup+320.01 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3679 0 0 0 31988 14 0 0 25 0 1 0 831105503 18292736 3603 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4466 3603 1111 63 0 4403 0 vsize: 17864 [startup+330.01 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3701 0 0 0 32988 15 0 0 25 0 1 0 831105503 18444288 3625 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4503 3625 1111 63 0 4440 0 vsize: 18012 [startup+340.01 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3729 0 0 0 33988 15 0 0 25 0 1 0 831105503 18591744 3653 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4539 3653 1111 63 0 4476 0 vsize: 18156 [startup+350.01 s] Raw data (loadavg): 0.99 1.00 1.15 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3746 0 0 0 34988 15 0 0 25 0 1 0 831105503 18591744 3670 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4539 3670 1111 63 0 4476 0 vsize: 18156 [startup+360.01 s] Raw data (loadavg): 0.99 1.00 1.14 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3775 0 0 0 35988 15 0 0 25 0 1 0 831105503 18747392 3699 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4577 3699 1111 63 0 4514 0 vsize: 18308 [startup+370.01 s] Raw data (loadavg): 0.99 1.00 1.14 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3797 0 0 0 36988 15 0 0 25 0 1 0 831105503 18747392 3721 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4577 3721 1111 63 0 4514 0 vsize: 18308 [startup+380.011 s] Raw data (loadavg): 0.99 1.00 1.14 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3819 0 0 0 37989 15 0 0 25 0 1 0 831105503 18894848 3743 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4613 3743 1111 63 0 4550 0 vsize: 18452 [startup+390.01 s] Raw data (loadavg): 0.99 1.00 1.14 2/54 20324 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3848 0 0 0 38988 15 0 0 25 0 1 0 831105503 19046400 3772 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4650 3772 1111 63 0 4587 0 vsize: 18600 [startup+400.011 s] Raw data (loadavg): 1.07 1.02 1.14 2/54 20377 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3870 0 0 0 39988 16 0 0 25 0 1 0 831105503 19046400 3794 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4650 3794 1111 63 0 4587 0 vsize: 18600 [startup+410.01 s] Raw data (loadavg): 1.06 1.01 1.14 2/54 20377 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3897 0 0 0 40988 16 0 0 25 0 1 0 831105503 19193856 3821 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4686 3821 1111 63 0 4623 0 vsize: 18744 [startup+420.01 s] Raw data (loadavg): 1.05 1.01 1.14 2/54 20377 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3925 0 0 0 41988 16 0 0 25 0 1 0 831105503 19341312 3849 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4722 3849 1111 63 0 4659 0 vsize: 18888 [startup+430.01 s] Raw data (loadavg): 1.04 1.01 1.14 2/54 20377 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3948 0 0 0 42988 16 0 0 25 0 1 0 831105503 19488768 3872 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3872 1111 63 0 4695 0 vsize: 19032 [startup+440.01 s] Raw data (loadavg): 1.04 1.01 1.13 2/54 20377 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 3972 0 0 0 43988 16 0 0 25 0 1 0 831105503 19488768 3896 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4758 3896 1111 63 0 4695 0 vsize: 19032 [startup+450.01 s] Raw data (loadavg): 1.03 1.01 1.13 2/54 20377 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4000 0 0 0 44988 16 0 0 25 0 1 0 831105503 19644416 3924 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4796 3924 1111 63 0 4733 0 vsize: 19184 [startup+460.01 s] Raw data (loadavg): 1.03 1.01 1.13 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4029 0 0 0 45988 17 0 0 25 0 1 0 831105503 19795968 3953 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4833 3953 1111 63 0 4770 0 vsize: 19332 [startup+470.01 s] Raw data (loadavg): 1.02 1.01 1.13 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4052 0 0 0 46988 17 0 0 25 0 1 0 831105503 19795968 3976 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4833 3976 1111 63 0 4770 0 vsize: 19332 [startup+480.01 s] Raw data (loadavg): 1.02 1.01 1.13 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4075 0 0 0 47988 17 0 0 25 0 1 0 831105503 19943424 3999 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4869 3999 1111 63 0 4806 0 vsize: 19476 [startup+490.01 s] Raw data (loadavg): 1.01 1.01 1.12 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4104 0 0 0 48988 17 0 0 25 0 1 0 831105503 20094976 4028 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4906 4028 1111 63 0 4843 0 vsize: 19624 [startup+500.011 s] Raw data (loadavg): 1.01 1.01 1.12 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4132 0 0 0 49988 17 0 0 25 0 1 0 831105503 20242432 4056 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4942 4056 1111 63 0 4879 0 vsize: 19768 [startup+510.01 s] Raw data (loadavg): 1.01 1.00 1.12 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4154 0 0 0 50988 17 0 0 25 0 1 0 831105503 20242432 4078 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4942 4078 1111 63 0 4879 0 vsize: 19768 [startup+520.01 s] Raw data (loadavg): 1.01 1.00 1.12 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4177 0 0 0 51988 17 0 0 25 0 1 0 831105503 20393984 4101 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4979 4101 1111 63 0 4916 0 vsize: 19916 [startup+530.011 s] Raw data (loadavg): 1.01 1.00 1.12 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4193 0 0 0 52989 17 0 0 25 0 1 0 831105503 20393984 4117 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4979 4117 1111 63 0 4916 0 vsize: 19916 [startup+540.01 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4215 0 0 0 53989 17 0 0 25 0 1 0 831105503 20545536 4139 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5016 4139 1111 63 0 4953 0 vsize: 20064 [startup+550.011 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4237 0 0 0 54989 17 0 0 25 0 1 0 831105503 20545536 4161 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5016 4161 1111 63 0 4953 0 vsize: 20064 [startup+560.011 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4266 0 0 0 55989 18 0 0 25 0 1 0 831105503 20697088 4190 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5053 4190 1111 63 0 4990 0 vsize: 20212 [startup+570.011 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4294 0 0 0 56989 18 0 0 25 0 1 0 831105503 20844544 4218 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5089 4218 1111 63 0 5026 0 vsize: 20356 [startup+580.011 s] Raw data (loadavg): 1.00 1.00 1.11 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4310 0 0 0 57989 18 0 0 25 0 1 0 831105503 20844544 4234 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5089 4234 1111 63 0 5026 0 vsize: 20356 [startup+590.01 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4338 0 0 0 58989 18 0 0 25 0 1 0 831105503 20996096 4262 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5126 4262 1111 63 0 5063 0 vsize: 20504 [startup+600.011 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4361 0 0 0 59989 18 0 0 25 0 1 0 831105503 21143552 4285 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5162 4285 1111 63 0 5099 0 vsize: 20648 [startup+610.012 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4382 0 0 0 60989 18 0 0 25 0 1 0 831105503 21143552 4306 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5162 4306 1111 63 0 5099 0 vsize: 20648 [startup+620.011 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4406 0 0 0 61989 18 0 0 25 0 1 0 831105503 21295104 4330 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5199 4330 1111 63 0 5136 0 vsize: 20796 [startup+630.012 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4429 0 0 0 62989 19 0 0 25 0 1 0 831105503 21450752 4353 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5237 4353 1111 63 0 5174 0 vsize: 20948 [startup+640.012 s] Raw data (loadavg): 1.00 1.00 1.10 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4457 0 0 0 63989 19 0 0 25 0 1 0 831105503 21450752 4381 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5237 4381 1111 63 0 5174 0 vsize: 20948 [startup+650.012 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4486 0 0 0 64990 19 0 0 25 0 1 0 831105503 21602304 4410 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5274 4410 1111 63 0 5211 0 vsize: 21096 [startup+660.012 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4508 0 0 0 65990 19 0 0 25 0 1 0 831105503 21749760 4432 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5310 4432 1111 63 0 5247 0 vsize: 21240 [startup+670.012 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4531 0 0 0 66990 19 0 0 25 0 1 0 831105503 21749760 4455 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5310 4455 1111 63 0 5247 0 vsize: 21240 [startup+680.013 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4559 0 0 0 67989 19 0 0 25 0 1 0 831105503 21901312 4483 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5347 4483 1111 63 0 5284 0 vsize: 21388 [startup+690.013 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4588 0 0 0 68990 19 0 0 25 0 1 0 831105503 22048768 4512 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5383 4512 1111 63 0 5320 0 vsize: 21532 [startup+700.014 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4610 0 0 0 69990 19 0 0 25 0 1 0 831105503 22200320 4534 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5420 4534 1111 63 0 5357 0 vsize: 21680 [startup+710.013 s] Raw data (loadavg): 1.00 1.00 1.09 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4634 0 0 0 70990 19 0 0 25 0 1 0 831105503 22200320 4558 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5420 4558 1111 63 0 5357 0 vsize: 21680 [startup+720.013 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4663 0 0 0 71990 20 0 0 25 0 1 0 831105503 22351872 4587 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5457 4587 1111 63 0 5394 0 vsize: 21828 [startup+730.013 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20379 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4691 0 0 0 72990 20 0 0 25 0 1 0 831105503 22503424 4615 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5494 4615 1111 63 0 5431 0 vsize: 21976 [startup+740.013 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4707 0 0 0 73990 20 0 0 25 0 1 0 831105503 22503424 4631 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5494 4631 1111 63 0 5431 0 vsize: 21976 [startup+750.013 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4736 0 0 0 74990 20 0 0 25 0 1 0 831105503 22650880 4660 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5530 4660 1111 63 0 5467 0 vsize: 22120 [startup+760.013 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4758 0 0 0 75990 20 0 0 25 0 1 0 831105503 22802432 4682 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5567 4682 1111 63 0 5504 0 vsize: 22268 [startup+770.013 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4780 0 0 0 76990 20 0 0 25 0 1 0 831105503 22802432 4704 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5567 4704 1111 63 0 5504 0 vsize: 22268 [startup+780.014 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4809 0 0 0 77990 21 0 0 25 0 1 0 831105503 22949888 4733 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5603 4733 1111 63 0 5540 0 vsize: 22412 [startup+790.014 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4838 0 0 0 78990 21 0 0 25 0 1 0 831105503 23101440 4762 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5640 4762 1111 63 0 5577 0 vsize: 22560 [startup+800.014 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4861 0 0 0 79990 21 0 0 25 0 1 0 831105503 23101440 4785 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5640 4785 1111 63 0 5577 0 vsize: 22560 [startup+810.015 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4891 0 0 0 80990 21 0 0 25 0 1 0 831105503 23265280 4815 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5680 4815 1111 63 0 5617 0 vsize: 22720 [startup+820.015 s] Raw data (loadavg): 1.00 1.00 1.08 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4919 0 0 0 81990 21 0 0 25 0 1 0 831105503 23400448 4843 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5713 4843 1111 63 0 5650 0 vsize: 22852 [startup+830.015 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4941 0 0 0 82990 21 0 0 25 0 1 0 831105503 23543808 4865 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5748 4865 1111 63 0 5685 0 vsize: 22992 [startup+840.015 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4964 0 0 0 83990 21 0 0 25 0 1 0 831105503 23543808 4888 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5748 4888 1111 63 0 5685 0 vsize: 22992 [startup+850.015 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 4992 0 0 0 84990 21 0 0 25 0 1 0 831105503 23695360 4916 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5785 4916 1111 63 0 5722 0 vsize: 23140 [startup+860.015 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5015 0 0 0 85990 22 0 0 25 0 1 0 831105503 23842816 4939 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5821 4939 1111 63 0 5758 0 vsize: 23284 [startup+870.015 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5037 0 0 0 86991 22 0 0 25 0 1 0 831105503 23842816 4961 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5821 4961 1111 63 0 5758 0 vsize: 23284 [startup+880.016 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5065 0 0 0 87991 22 0 0 25 0 1 0 831105503 23994368 4989 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5858 4989 1111 63 0 5795 0 vsize: 23432 [startup+890.016 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5095 0 0 0 88991 22 0 0 25 0 1 0 831105503 24145920 5019 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5895 5019 1111 63 0 5832 0 vsize: 23580 [startup+900.016 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5118 0 0 0 89991 22 0 0 25 0 1 0 831105503 24297472 5042 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5932 5042 1111 63 0 5869 0 vsize: 23728 [startup+910.017 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5140 0 0 0 90991 22 0 0 25 0 1 0 831105503 24297472 5064 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5932 5064 1111 63 0 5869 0 vsize: 23728 [startup+920.017 s] Raw data (loadavg): 1.00 1.00 1.07 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5155 0 0 0 91991 22 0 0 25 0 1 0 831105503 24444928 5079 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5968 5079 1111 63 0 5905 0 vsize: 23872 [startup+930.018 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5183 0 0 0 92991 22 0 0 25 0 1 0 831105503 24444928 5107 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5968 5107 1111 63 0 5905 0 vsize: 23872 [startup+940.018 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5206 0 0 0 93991 22 0 0 25 0 1 0 831105503 24596480 5130 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6005 5130 1111 63 0 5942 0 vsize: 24020 [startup+950.018 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5228 0 0 0 94992 22 0 0 25 0 1 0 831105503 24743936 5152 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6041 5152 1111 63 0 5978 0 vsize: 24164 [startup+960.018 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5257 0 0 0 95992 22 0 0 25 0 1 0 831105503 24743936 5181 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6041 5181 1111 63 0 5978 0 vsize: 24164 [startup+970.018 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5286 0 0 0 96992 22 0 0 25 0 1 0 831105503 24895488 5210 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6078 5210 1111 63 0 6015 0 vsize: 24312 [startup+980.019 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5304 0 0 0 97992 22 0 0 25 0 1 0 831105503 25051136 5228 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6116 5228 1111 63 0 6053 0 vsize: 24464 [startup+990.019 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5332 0 0 0 98992 23 0 0 25 0 1 0 831105503 25051136 5256 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6116 5256 1111 63 0 6053 0 vsize: 24464 [startup+1000.02 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5361 0 0 0 99991 23 0 0 25 0 1 0 831105503 25202688 5285 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6153 5285 1111 63 0 6090 0 vsize: 24612 [startup+1010.02 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5384 0 0 0 100991 24 0 0 25 0 1 0 831105503 25350144 5308 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6189 5308 1111 63 0 6126 0 vsize: 24756 [startup+1020.02 s] Raw data (loadavg): 1.00 1.00 1.06 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5406 0 0 0 101991 24 0 0 25 0 1 0 831105503 25350144 5330 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6189 5330 1111 63 0 6126 0 vsize: 24756 [startup+1030.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5428 0 0 0 102991 24 0 0 25 0 1 0 831105503 25501696 5352 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6226 5352 1111 63 0 6163 0 vsize: 24904 [startup+1040.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5450 0 0 0 103991 24 0 0 25 0 1 0 831105503 25649152 5374 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6262 5374 1111 63 0 6199 0 vsize: 25048 [startup+1050.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5479 0 0 0 104991 25 0 0 25 0 1 0 831105503 25649152 5403 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6262 5403 1111 63 0 6199 0 vsize: 25048 [startup+1060.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5501 0 0 0 105991 25 0 0 25 0 1 0 831105503 25800704 5425 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6299 5425 1111 63 0 6236 0 vsize: 25196 [startup+1070.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5525 0 0 0 106991 25 0 0 25 0 1 0 831105503 25952256 5449 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6336 5449 1111 63 0 6273 0 vsize: 25344 [startup+1080.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5553 0 0 0 107991 25 0 0 25 0 1 0 831105503 25952256 5477 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6336 5477 1111 63 0 6273 0 vsize: 25344 [startup+1090.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5582 0 0 0 108991 25 0 0 25 0 1 0 831105503 26103808 5506 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 5506 1111 63 0 6310 0 vsize: 25492 [startup+1100.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5604 0 0 0 109991 25 0 0 25 0 1 0 831105503 26251264 5528 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6409 5528 1111 63 0 6346 0 vsize: 25636 [startup+1110.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5627 0 0 0 110991 26 0 0 25 0 1 0 831105503 26251264 5551 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6409 5551 1111 63 0 6346 0 vsize: 25636 [startup+1120.02 s] Raw data (loadavg): 1.00 1.00 1.05 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5655 0 0 0 111991 26 0 0 25 0 1 0 831105503 26402816 5579 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6446 5579 1111 63 0 6383 0 vsize: 25784 [startup+1130.02 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5678 0 0 0 112991 26 0 0 25 0 1 0 831105503 26550272 5602 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6482 5602 1111 63 0 6419 0 vsize: 25928 [startup+1140.02 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5700 0 0 0 113991 26 0 0 25 0 1 0 831105503 26550272 5624 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6482 5624 1111 63 0 6419 0 vsize: 25928 [startup+1150.02 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5729 0 0 0 114991 26 0 0 25 0 1 0 831105503 26701824 5653 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6519 5653 1111 63 0 6456 0 vsize: 26076 [startup+1160.02 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5759 0 0 0 115991 26 0 0 25 0 1 0 831105503 26849280 5683 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6555 5683 1111 63 0 6492 0 vsize: 26220 [startup+1170.02 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5774 0 0 0 116991 26 0 0 25 0 1 0 831105503 26849280 5698 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6555 5698 1111 63 0 6492 0 vsize: 26220 [startup+1180.02 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5804 0 0 0 117991 27 0 0 25 0 1 0 831105503 26984448 5728 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6588 5728 1111 63 0 6525 0 vsize: 26352 [startup+1190.02 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5833 0 0 0 118992 27 0 0 25 0 1 0 831105503 27127808 5757 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6623 5757 1111 63 0 6560 0 vsize: 26492 [startup+1200.02 s] Raw data (loadavg): 1.00 1.00 1.04 2/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) R 20323 20001 20000 0 -1 0 5856 0 0 0 119992 27 0 0 25 0 1 0 831105503 27275264 5780 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6659 5780 1111 63 0 6596 0 vsize: 26636 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 1.04 1/54 20381 Raw data (stat): 20324 (bsolo_lpr_cuts) Z 20323 20001 20000 0 -1 1036 5856 0 0 0 119992 28 0 0 25 0 1 0 831105503 0 0 4294967295 0 0 0 0 0 0 0 7 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.04 CPU time (s): 1200.21 CPU user time (s): 1199.92 CPU system time (s): 0.285956 CPU usage (%): 100.014 Max. virtual memory (Kb): 26636 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####