Name | normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-ship12s.opb |
MD5SUM | 8b36f38cb0ceb42bd2113a818ef52485 |
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 | 82890 |
Biggest coefficient in the objective function | 1511023181824000 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 204819735955723812 |
Number of bits of the sum of numbers in the objective function | 58 |
Biggest number in a constraint | 1511023181824000 |
Number of bits of the biggest number in a constraint | 51 |
Biggest sum of numbers in a constraint | 204819735955723812 |
Number of bits of the biggest sum of numbers | 58 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.776881 |
Number of variables | 82890 |
Total number of constraints | 1042 |
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 | 1042 |
Minimum length of a constraint | 30 |
Maximum length of a constraint | 1470 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-05-24 16:56:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=11468 boxname=wulflinc30 idbench=883 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 8b36f38cb0ceb42bd2113a818ef52485 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-ship12s.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-20-10-ship12s.opb IDLAUNCH: 11468 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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.072 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: 443532 kB Buffers: 3772 kB Cached: 555176 kB SwapCached: 556 kB Active: 28900 kB Inactive: 532212 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 443280 kB SwapTotal: 2097892 kB SwapFree: 2096524 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5228 kB Slab: 24244 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 17:16:52 (client local time) WITH STATUS 0 IN 1200.25 SECONDS stats: 11468 7 1200.25 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.65 0.89 1.03 1/54 24687 Raw data (stat): 24687 (runsolver) D 24686 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 831845023 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 0.70 0.90 1.03 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1097 0 0 0 986 3 0 0 25 0 1 0 831845023 15511552 1021 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3787 1021 1111 63 0 3724 0 vsize: 15148 [startup+20 s] Raw data (loadavg): 0.75 0.90 1.03 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1199 0 0 0 1986 3 0 0 25 0 1 0 831845023 15945728 1123 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3893 1123 1111 63 0 3830 0 vsize: 15572 [startup+30.0001 s] Raw data (loadavg): 0.78 0.90 1.03 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1288 0 0 0 2986 3 0 0 25 0 1 0 831845023 16236544 1212 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3964 1212 1111 63 0 3901 0 vsize: 15856 [startup+40.001 s] Raw data (loadavg): 0.82 0.90 1.03 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1392 0 0 0 3986 4 0 0 25 0 1 0 831845023 16687104 1316 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4074 1316 1111 63 0 4011 0 vsize: 16296 [startup+50.0017 s] Raw data (loadavg): 0.84 0.91 1.03 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1519 0 0 0 4986 4 0 0 25 0 1 0 831845023 17272832 1443 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4217 1443 1111 63 0 4154 0 vsize: 16868 [startup+60.0016 s] Raw data (loadavg): 0.87 0.91 1.03 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1644 0 0 0 5986 4 0 0 25 0 1 0 831845023 17702912 1568 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4322 1568 1111 63 0 4259 0 vsize: 17288 [startup+70.0013 s] Raw data (loadavg): 0.89 0.91 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1761 0 0 0 6986 5 0 0 25 0 1 0 831845023 18292736 1685 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4466 1685 1111 63 0 4403 0 vsize: 17864 [startup+80.0021 s] Raw data (loadavg): 0.90 0.91 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 1893 0 0 0 7986 5 0 0 25 0 1 0 831845023 18747392 1817 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4577 1817 1111 63 0 4514 0 vsize: 18308 [startup+90.0019 s] Raw data (loadavg): 0.92 0.92 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2016 0 0 0 8986 5 0 0 25 0 1 0 831845023 19341312 1940 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4722 1940 1111 63 0 4659 0 vsize: 18888 [startup+100.003 s] Raw data (loadavg): 0.93 0.92 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2142 0 0 0 9985 5 0 0 25 0 1 0 831845023 19795968 2066 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4833 2066 1111 63 0 4770 0 vsize: 19332 [startup+110.004 s] Raw data (loadavg): 0.94 0.92 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2267 0 0 0 10985 6 0 0 25 0 1 0 831845023 20242432 2191 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4942 2191 1111 63 0 4879 0 vsize: 19768 [startup+120.003 s] Raw data (loadavg): 0.95 0.92 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2392 0 0 0 11985 6 0 0 25 0 1 0 831845023 20844544 2316 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5089 2316 1111 63 0 5026 0 vsize: 20356 [startup+130.003 s] Raw data (loadavg): 0.96 0.92 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2517 0 0 0 12985 6 0 0 25 0 1 0 831845023 21295104 2441 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5199 2441 1111 63 0 5136 0 vsize: 20796 [startup+140.003 s] Raw data (loadavg): 0.96 0.93 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2641 0 0 0 13985 6 0 0 25 0 1 0 831845023 21901312 2565 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5347 2565 1111 63 0 5284 0 vsize: 21388 [startup+150.004 s] Raw data (loadavg): 0.97 0.93 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2767 0 0 0 14985 7 0 0 25 0 1 0 831845023 22351872 2691 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5457 2691 1111 63 0 5394 0 vsize: 21828 [startup+160.005 s] Raw data (loadavg): 0.97 0.93 1.02 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 2898 0 0 0 15985 7 0 0 25 0 1 0 831845023 22949888 2822 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5603 2822 1111 63 0 5540 0 vsize: 22412 [startup+170.004 s] Raw data (loadavg): 0.98 0.93 1.01 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3030 0 0 0 16985 7 0 0 25 0 1 0 831845023 23400448 2954 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5713 2954 1111 63 0 5650 0 vsize: 22852 [startup+180.005 s] Raw data (loadavg): 0.98 0.93 1.01 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3155 0 0 0 17985 7 0 0 25 0 1 0 831845023 23994368 3079 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5858 3079 1111 63 0 5795 0 vsize: 23432 [startup+190.006 s] Raw data (loadavg): 0.98 0.94 1.01 2/54 24687 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3287 0 0 0 18985 8 0 0 25 0 1 0 831845023 24444928 3211 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5968 3211 1111 63 0 5905 0 vsize: 23872 [startup+200.007 s] Raw data (loadavg): 0.98 0.94 1.01 3/59 24739 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3414 0 0 0 19985 8 0 0 25 0 1 0 831845023 25051136 3338 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6116 3338 1111 63 0 6053 0 vsize: 24464 [startup+210.008 s] Raw data (loadavg): 1.06 0.96 1.02 2/54 24740 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3539 0 0 0 20985 8 0 0 25 0 1 0 831845023 25501696 3463 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6226 3463 1111 63 0 6163 0 vsize: 24904 [startup+220.008 s] Raw data (loadavg): 1.05 0.96 1.02 2/54 24740 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3672 0 0 0 21984 9 0 0 25 0 1 0 831845023 26103808 3596 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6373 3596 1111 63 0 6310 0 vsize: 25492 [startup+230.008 s] Raw data (loadavg): 1.04 0.96 1.01 2/54 24740 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3796 0 0 0 22984 9 0 0 25 0 1 0 831845023 26550272 3720 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6482 3720 1111 63 0 6419 0 vsize: 25928 [startup+240.008 s] Raw data (loadavg): 1.04 0.96 1.01 2/54 24740 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 3923 0 0 0 23984 9 0 0 25 0 1 0 831845023 27127808 3847 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6623 3847 1111 63 0 6560 0 vsize: 26492 [startup+250.008 s] Raw data (loadavg): 1.03 0.96 1.01 2/54 24740 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4055 0 0 0 24984 9 0 0 25 0 1 0 831845023 27574272 3979 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6732 3979 1111 63 0 6669 0 vsize: 26928 [startup+260.008 s] Raw data (loadavg): 1.02 0.96 1.01 2/54 24740 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4188 0 0 0 25984 10 0 0 25 0 1 0 831845023 28176384 4112 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6879 4112 1111 63 0 6816 0 vsize: 27516 [startup+270.009 s] Raw data (loadavg): 1.02 0.96 1.01 2/54 24740 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4314 0 0 0 26984 10 0 0 25 0 1 0 831845023 28626944 4238 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6989 4238 1111 63 0 6926 0 vsize: 27956 [startup+280.009 s] Raw data (loadavg): 1.02 0.96 1.01 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4446 0 0 0 27984 10 0 0 25 0 1 0 831845023 29233152 4370 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7137 4370 1111 63 0 7074 0 vsize: 28548 [startup+290.009 s] Raw data (loadavg): 1.01 0.96 1.01 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4572 0 0 0 28984 11 0 0 25 0 1 0 831845023 29683712 4496 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7247 4496 1111 63 0 7184 0 vsize: 28988 [startup+300.01 s] Raw data (loadavg): 1.01 0.97 1.01 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4703 0 0 0 29984 11 0 0 25 0 1 0 831845023 30281728 4627 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7393 4627 1111 63 0 7330 0 vsize: 29572 [startup+310.009 s] Raw data (loadavg): 1.01 0.97 1.01 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4835 0 0 0 30984 11 0 0 25 0 1 0 831845023 30887936 4759 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7541 4759 1111 63 0 7478 0 vsize: 30164 [startup+320.009 s] Raw data (loadavg): 1.01 0.97 1.01 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 4980 0 0 0 31984 11 0 0 25 0 1 0 831845023 31526912 4904 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7697 4904 1111 63 0 7634 0 vsize: 30788 [startup+330.009 s] Raw data (loadavg): 1.01 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5111 0 0 0 32983 12 0 0 25 0 1 0 831845023 31977472 5035 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7807 5035 1111 63 0 7744 0 vsize: 31228 [startup+340.009 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5244 0 0 0 33983 12 0 0 25 0 1 0 831845023 32583680 5168 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7955 5168 1111 63 0 7892 0 vsize: 31820 [startup+350.01 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5376 0 0 0 34983 12 0 0 25 0 1 0 831845023 33030144 5300 4294967295 134512640 134714508 3221224576 3221222908 1077399564 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8064 5300 1111 63 0 8001 0 vsize: 32256 [startup+360.01 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5510 0 0 0 35983 12 0 0 25 0 1 0 831845023 33632256 5434 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8211 5434 1111 63 0 8148 0 vsize: 32844 [startup+370.01 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5643 0 0 0 36983 12 0 0 25 0 1 0 831845023 34238464 5567 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8359 5567 1111 63 0 8296 0 vsize: 33436 [startup+380.01 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5774 0 0 0 37983 13 0 0 25 0 1 0 831845023 34689024 5698 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8469 5698 1111 63 0 8406 0 vsize: 33876 [startup+390.01 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 5909 0 0 0 38983 13 0 0 25 0 1 0 831845023 35291136 5833 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8616 5833 1111 63 0 8553 0 vsize: 34464 [startup+400.011 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6041 0 0 0 39983 13 0 0 25 0 1 0 831845023 35737600 5965 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8725 5965 1111 63 0 8662 0 vsize: 34900 [startup+410.01 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6175 0 0 0 40983 13 0 0 25 0 1 0 831845023 36343808 6099 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8873 6099 1111 63 0 8810 0 vsize: 35492 [startup+420.01 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6314 0 0 0 41983 14 0 0 25 0 1 0 831845023 36945920 6238 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9020 6238 1111 63 0 8957 0 vsize: 36080 [startup+430.011 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6454 0 0 0 42983 14 0 0 25 0 1 0 831845023 37543936 6378 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9166 6378 1111 63 0 9103 0 vsize: 36664 [startup+440.011 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6588 0 0 0 43983 14 0 0 25 0 1 0 831845023 37998592 6512 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9277 6512 1111 63 0 9214 0 vsize: 37108 [startup+450.012 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6720 0 0 0 44983 15 0 0 25 0 1 0 831845023 38596608 6644 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9423 6644 1111 63 0 9360 0 vsize: 37692 [startup+460.021 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 6859 0 0 0 45983 15 0 0 25 0 1 0 831845023 39202816 6783 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9571 6783 1111 63 0 9508 0 vsize: 38284 [startup+470.02 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7001 0 0 0 46983 16 0 0 25 0 1 0 831845023 39653376 6925 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9681 6925 1111 63 0 9618 0 vsize: 38724 [startup+480.02 s] Raw data (loadavg): 1.00 0.97 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7133 0 0 0 47983 16 0 0 25 0 1 0 831845023 40251392 7057 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9827 7057 1111 63 0 9764 0 vsize: 39308 [startup+490.02 s] Raw data (loadavg): 1.07 0.99 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7273 0 0 0 48982 16 0 0 25 0 1 0 831845023 40857600 7197 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9975 7197 1111 63 0 9912 0 vsize: 39900 [startup+500.021 s] Raw data (loadavg): 1.06 0.99 1.00 2/54 24742 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7415 0 0 0 49983 17 0 0 25 0 1 0 831845023 41459712 7339 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10122 7339 1111 63 0 10059 0 vsize: 40488 [startup+510.021 s] Raw data (loadavg): 1.05 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7547 0 0 0 50982 17 0 0 25 0 1 0 831845023 41910272 7471 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10232 7471 1111 63 0 10169 0 vsize: 40928 [startup+520.02 s] Raw data (loadavg): 1.04 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7687 0 0 0 51982 17 0 0 25 0 1 0 831845023 42491904 7611 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10374 7611 1111 63 0 10311 0 vsize: 41496 [startup+530.021 s] Raw data (loadavg): 1.03 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7825 0 0 0 52982 18 0 0 25 0 1 0 831845023 43081728 7749 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10518 7749 1111 63 0 10455 0 vsize: 42072 [startup+540.021 s] Raw data (loadavg): 1.03 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 7961 0 0 0 53982 18 0 0 25 0 1 0 831845023 43683840 7885 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10665 7885 1111 63 0 10602 0 vsize: 42660 [startup+550.022 s] Raw data (loadavg): 1.02 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8108 0 0 0 54982 18 0 0 25 0 1 0 831845023 44290048 8032 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10813 8032 1111 63 0 10750 0 vsize: 43252 [startup+560.022 s] Raw data (loadavg): 1.02 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8246 0 0 0 55982 18 0 0 25 0 1 0 831845023 44740608 8170 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10923 8170 1111 63 0 10860 0 vsize: 43692 [startup+570.034 s] Raw data (loadavg): 1.02 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8387 0 0 0 56983 19 0 0 25 0 1 0 831845023 45342720 8311 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11070 8311 1111 63 0 11007 0 vsize: 44280 [startup+580.035 s] Raw data (loadavg): 1.01 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8534 0 0 0 57983 19 0 0 25 0 1 0 831845023 45940736 8458 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11216 8458 1111 63 0 11153 0 vsize: 44864 [startup+590.035 s] Raw data (loadavg): 1.01 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8666 0 0 0 58983 19 0 0 25 0 1 0 831845023 46546944 8590 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11364 8590 1111 63 0 11301 0 vsize: 45456 [startup+600.036 s] Raw data (loadavg): 1.01 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8813 0 0 0 59983 19 0 0 25 0 1 0 831845023 47149056 8737 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11511 8737 1111 63 0 11448 0 vsize: 46044 [startup+610.035 s] Raw data (loadavg): 1.01 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 8977 0 0 0 60983 20 0 0 25 0 1 0 831845023 47849472 8901 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11682 8901 1111 63 0 11619 0 vsize: 46728 [startup+620.044 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9111 0 0 0 61983 20 0 0 25 0 1 0 831845023 48451584 9035 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11829 9035 1111 63 0 11766 0 vsize: 47316 [startup+630.053 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9259 0 0 0 62984 20 0 0 25 0 1 0 831845023 49029120 9183 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11970 9183 1111 63 0 11907 0 vsize: 47880 [startup+640.053 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9406 0 0 0 63984 21 0 0 25 0 1 0 831845023 49627136 9330 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12116 9330 1111 63 0 12053 0 vsize: 48464 [startup+650.054 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9553 0 0 0 64984 21 0 0 25 0 1 0 831845023 50229248 9477 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12263 9477 1111 63 0 12200 0 vsize: 49052 [startup+660.054 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9700 0 0 0 65984 21 0 0 25 0 1 0 831845023 50810880 9624 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12405 9624 1111 63 0 12342 0 vsize: 49620 [startup+670.055 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9841 0 0 0 66984 21 0 0 25 0 1 0 831845023 51400704 9765 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12549 9765 1111 63 0 12486 0 vsize: 50196 [startup+680.06 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 9989 0 0 0 67985 21 0 0 25 0 1 0 831845023 52006912 9913 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12697 9913 1111 63 0 12634 0 vsize: 50788 [startup+690.068 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10136 0 0 0 68985 22 0 0 25 0 1 0 831845023 52609024 10060 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12844 10060 1111 63 0 12781 0 vsize: 51376 [startup+700.069 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10282 0 0 0 69985 22 0 0 25 0 1 0 831845023 53207040 10206 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12990 10206 1111 63 0 12927 0 vsize: 51960 [startup+710.069 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10432 0 0 0 70985 22 0 0 25 0 1 0 831845023 53809152 10356 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13137 10356 1111 63 0 13074 0 vsize: 52548 [startup+720.068 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10580 0 0 0 71985 23 0 0 25 0 1 0 831845023 54415360 10504 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13285 10504 1111 63 0 13222 0 vsize: 53140 [startup+730.069 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10726 0 0 0 72985 23 0 0 25 0 1 0 831845023 55013376 10650 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13431 10650 1111 63 0 13368 0 vsize: 53724 [startup+740.069 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 10875 0 0 0 73984 23 0 0 25 0 1 0 831845023 55615488 10799 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13578 10799 1111 63 0 13515 0 vsize: 54312 [startup+750.07 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11023 0 0 0 74985 23 0 0 25 0 1 0 831845023 56221696 10947 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13726 10947 1111 63 0 13663 0 vsize: 54904 [startup+760.071 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11169 0 0 0 75985 24 0 0 25 0 1 0 831845023 56819712 11093 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13872 11093 1111 63 0 13809 0 vsize: 55488 [startup+770.07 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11323 0 0 0 76985 24 0 0 25 0 1 0 831845023 57421824 11247 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14019 11247 1111 63 0 13956 0 vsize: 56076 [startup+780.07 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11473 0 0 0 77985 24 0 0 25 0 1 0 831845023 58028032 11397 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14167 11397 1111 63 0 14104 0 vsize: 56668 [startup+790.07 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11620 0 0 0 78984 24 0 0 25 0 1 0 831845023 58626048 11544 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14313 11544 1111 63 0 14250 0 vsize: 57252 [startup+800.075 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11780 0 0 0 79985 25 0 0 25 0 1 0 831845023 59379712 11704 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14497 11704 1111 63 0 14434 0 vsize: 57988 [startup+810.075 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 11931 0 0 0 80984 25 0 0 25 0 1 0 831845023 59985920 11855 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14645 11855 1111 63 0 14582 0 vsize: 58580 [startup+820.074 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12084 0 0 0 81984 26 0 0 25 0 1 0 831845023 60583936 12008 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14791 12008 1111 63 0 14728 0 vsize: 59164 [startup+830.075 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12238 0 0 0 82984 26 0 0 25 0 1 0 831845023 61186048 12162 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14938 12162 1111 63 0 14875 0 vsize: 59752 [startup+840.075 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12389 0 0 0 83984 26 0 0 25 0 1 0 831845023 61792256 12313 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15086 12313 1111 63 0 15023 0 vsize: 60344 [startup+850.076 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12550 0 0 0 84984 26 0 0 25 0 1 0 831845023 62541824 12474 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15269 12474 1111 63 0 15206 0 vsize: 61076 [startup+860.076 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12703 0 0 0 85984 26 0 0 25 0 1 0 831845023 63139840 12627 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15415 12627 1111 63 0 15352 0 vsize: 61660 [startup+870.077 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 12860 0 0 0 86984 26 0 0 25 0 1 0 831845023 63746048 12784 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15563 12784 1111 63 0 15500 0 vsize: 62252 [startup+880.082 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13021 0 0 0 87985 27 0 0 25 0 1 0 831845023 64348160 12945 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15710 12945 1111 63 0 15647 0 vsize: 62840 [startup+890.087 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13175 0 0 0 88985 27 0 0 25 0 1 0 831845023 65097728 13099 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15893 13099 1111 63 0 15830 0 vsize: 63572 [startup+900.093 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13332 0 0 0 89986 27 0 0 25 0 1 0 831845023 65699840 13256 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16040 13256 1111 63 0 15977 0 vsize: 64160 [startup+910.093 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13494 0 0 0 90985 28 0 0 25 0 1 0 831845023 66306048 13418 4294967295 134512640 134714508 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16188 13418 1111 63 0 16125 0 vsize: 64752 [startup+920.093 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13649 0 0 0 91985 28 0 0 25 0 1 0 831845023 66904064 13573 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16334 13573 1111 63 0 16271 0 vsize: 65336 [startup+930.094 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13810 0 0 0 92985 28 0 0 25 0 1 0 831845023 67653632 13734 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16517 13734 1111 63 0 16454 0 vsize: 66068 [startup+940.094 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 13973 0 0 0 93985 29 0 0 25 0 1 0 831845023 68259840 13897 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16665 13897 1111 63 0 16602 0 vsize: 66660 [startup+950.095 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14129 0 0 0 94985 29 0 0 25 0 1 0 831845023 68861952 14053 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16812 14053 1111 63 0 16749 0 vsize: 67248 [startup+960.095 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14289 0 0 0 95985 30 0 0 25 0 1 0 831845023 69611520 14213 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16995 14213 1111 63 0 16932 0 vsize: 67980 [startup+970.094 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14453 0 0 0 96985 30 0 0 25 0 1 0 831845023 70217728 14377 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17143 14377 1111 63 0 17080 0 vsize: 68572 [startup+980.095 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14615 0 0 0 97984 30 0 0 25 0 1 0 831845023 70967296 14539 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17326 14539 1111 63 0 17263 0 vsize: 69304 [startup+990.094 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14777 0 0 0 98984 31 0 0 25 0 1 0 831845023 71573504 14701 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17474 14701 1111 63 0 17411 0 vsize: 69896 [startup+1000.1 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 14940 0 0 0 99983 31 0 0 25 0 1 0 831845023 72171520 14864 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17620 14864 1111 63 0 17557 0 vsize: 70480 [startup+1010.1 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15103 0 0 0 100983 32 0 0 25 0 1 0 831845023 72925184 15027 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17804 15027 1111 63 0 17741 0 vsize: 71216 [startup+1020.1 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15271 0 0 0 101983 32 0 0 25 0 1 0 831845023 73650176 15195 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17981 15195 1111 63 0 17918 0 vsize: 71924 [startup+1030.1 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15442 0 0 0 102983 32 0 0 25 0 1 0 831845023 74248192 15366 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18127 15366 1111 63 0 18064 0 vsize: 72508 [startup+1040.1 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15603 0 0 0 103983 33 0 0 25 0 1 0 831845023 74997760 15527 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18310 15527 1111 63 0 18247 0 vsize: 73240 [startup+1050.1 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15766 0 0 0 104983 33 0 0 25 0 1 0 831845023 75603968 15690 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18458 15690 1111 63 0 18395 0 vsize: 73832 [startup+1060.1 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 15943 0 0 0 105982 34 0 0 25 0 1 0 831845023 76357632 15867 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18642 15867 1111 63 0 18579 0 vsize: 74568 [startup+1070.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16107 0 0 0 106983 34 0 0 25 0 1 0 831845023 76955648 16031 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18788 16031 1111 63 0 18725 0 vsize: 75152 [startup+1080.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16280 0 0 0 107983 34 0 0 25 0 1 0 831845023 77709312 16204 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18972 16204 1111 63 0 18909 0 vsize: 75888 [startup+1090.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16444 0 0 0 108983 35 0 0 25 0 1 0 831845023 78311424 16368 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19119 16368 1111 63 0 19056 0 vsize: 76476 [startup+1100.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16619 0 0 0 109983 35 0 0 25 0 1 0 831845023 79069184 16543 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19304 16543 1111 63 0 19241 0 vsize: 77216 [startup+1110.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16832 0 0 0 110983 36 0 0 25 0 1 0 831845023 80183296 16756 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19576 16756 1111 63 0 19513 0 vsize: 78304 [startup+1120.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 16991 0 0 0 111983 36 0 0 25 0 1 0 831845023 80924672 16915 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19757 16915 1111 63 0 19694 0 vsize: 79028 [startup+1130.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17167 0 0 0 112983 36 0 0 25 0 1 0 831845023 81649664 17091 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19934 17091 1111 63 0 19871 0 vsize: 79736 [startup+1140.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17339 0 0 0 113982 37 0 0 25 0 1 0 831845023 82251776 17263 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20081 17263 1111 63 0 20018 0 vsize: 80324 [startup+1150.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17509 0 0 0 114982 37 0 0 25 0 1 0 831845023 83009536 17433 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20266 17433 1111 63 0 20203 0 vsize: 81064 [startup+1160.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17686 0 0 0 115982 38 0 0 25 0 1 0 831845023 83759104 17610 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20449 17610 1111 63 0 20386 0 vsize: 81796 [startup+1170.11 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 17862 0 0 0 116982 38 0 0 25 0 1 0 831845023 84357120 17786 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20595 17786 1111 63 0 20532 0 vsize: 82380 [startup+1180.12 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 18039 0 0 0 117981 38 0 0 25 0 1 0 831845023 85114880 17963 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20780 17963 1111 63 0 20717 0 vsize: 83120 [startup+1190.12 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 18217 0 0 0 118982 39 0 0 25 0 1 0 831845023 85864448 18141 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20963 18141 1111 63 0 20900 0 vsize: 83852 [startup+1200.12 s] Raw data (loadavg): 1.00 0.99 1.00 2/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) R 24686 22056 22055 0 -1 0 18395 0 0 0 119982 39 0 0 25 0 1 0 831845023 86622208 18319 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21148 18319 1111 63 0 21085 0 vsize: 84592 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.15 s] Raw data (loadavg): 1.00 0.99 1.00 1/54 24744 Raw data (stat): 24687 (bsolo_lpr_cuts) Z 24686 22056 22055 0 -1 1036 18395 0 0 0 119982 42 0 0 25 0 1 0 831845023 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.15 CPU time (s): 1200.25 CPU user time (s): 1199.82 CPU system time (s): 0.425935 CPU usage (%): 100.008 Max. virtual memory (Kb): 84592 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####