Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb |
MD5SUM | a8bcf2463daf8317f47d4d0efa977ac7 |
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 | 108540 |
Biggest coefficient in the objective function | 1475608576000 |
Number of bits for the biggest coefficient in the objective function | 41 |
Sum of the numbers in the objective function | 416772837549750 |
Number of bits of the sum of numbers in the objective function | 49 |
Biggest number in a constraint | 1475608576000 |
Number of bits of the biggest number in a constraint | 41 |
Biggest sum of numbers in a constraint | 416772837549750 |
Number of bits of the biggest sum of numbers | 49 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.995848 |
Number of variables | 108540 |
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 | 20 |
Maximum length of a constraint | 1500 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc30 THE 2005-05-24 22:42:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=16447 boxname=wulflinc30 idbench=1266 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: a8bcf2463daf8317f47d4d0efa977ac7 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ship12l.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ship12l.opb IDLAUNCH: 16447 /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: 877488 kB Buffers: 13952 kB Cached: 120408 kB SwapCached: 1572 kB Active: 31772 kB Inactive: 105608 kB HighTotal: 131008 kB HighFree: 60732 kB LowTotal: 903652 kB LowFree: 816756 kB SwapTotal: 2097892 kB SwapFree: 2095420 kB Dirty: 152 kB Writeback: 0 kB Mapped: 5008 kB Slab: 14020 kB Committed_AS: 63596 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-24 23:02:47 (client local time) WITH STATUS 0 IN 1200.24 SECONDS stats: 16447 7 1200.24 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.85 0.94 0.97 2/54 27786 Raw data (stat): 27786 (runsolver) R 27785 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833920807 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0008 s] Raw data (loadavg): 0.88 0.94 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1252 0 0 0 993 4 0 0 25 0 1 0 833920807 15634432 1176 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3817 1176 1111 63 0 3754 0 vsize: 15268 [startup+20.0014 s] Raw data (loadavg): 0.89 0.94 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1391 0 0 0 1993 4 0 0 25 0 1 0 833920807 16203776 1315 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3956 1315 1111 63 0 3893 0 vsize: 15824 [startup+30.0012 s] Raw data (loadavg): 0.91 0.94 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1534 0 0 0 2993 4 0 0 25 0 1 0 833920807 16764928 1458 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4093 1458 1111 63 0 4030 0 vsize: 16372 [startup+40.002 s] Raw data (loadavg): 0.92 0.94 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1694 0 0 0 3993 5 0 0 25 0 1 0 833920807 17473536 1618 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4266 1618 1111 63 0 4203 0 vsize: 17064 [startup+50.0021 s] Raw data (loadavg): 0.93 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1861 0 0 0 4993 5 0 0 25 0 1 0 833920807 18186240 1785 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4440 1785 1111 63 0 4377 0 vsize: 17760 [startup+60.0026 s] Raw data (loadavg): 0.94 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2027 0 0 0 5993 5 0 0 25 0 1 0 833920807 18894848 1951 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4613 1951 1111 63 0 4550 0 vsize: 18452 [startup+70.0022 s] Raw data (loadavg): 0.95 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2186 0 0 0 6993 6 0 0 25 0 1 0 833920807 19456000 2110 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4750 2110 1111 63 0 4687 0 vsize: 19000 [startup+80.0022 s] Raw data (loadavg): 0.96 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2351 0 0 0 7993 6 0 0 25 0 1 0 833920807 20164608 2275 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4923 2275 1111 63 0 4860 0 vsize: 19692 [startup+90.002 s] Raw data (loadavg): 0.96 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2521 0 0 0 8992 6 0 0 25 0 1 0 833920807 20873216 2445 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5096 2445 1111 63 0 5033 0 vsize: 20384 [startup+100.002 s] Raw data (loadavg): 0.97 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2687 0 0 0 9992 6 0 0 25 0 1 0 833920807 21573632 2611 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5267 2611 1111 63 0 5204 0 vsize: 21068 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2853 0 0 0 10992 6 0 0 25 0 1 0 833920807 22282240 2777 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5440 2777 1111 63 0 5377 0 vsize: 21760 [startup+120.003 s] Raw data (loadavg): 0.98 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3012 0 0 0 11992 7 0 0 25 0 1 0 833920807 22843392 2936 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5577 2936 1111 63 0 5514 0 vsize: 22308 [startup+130.003 s] Raw data (loadavg): 0.98 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3178 0 0 0 12992 7 0 0 25 0 1 0 833920807 23552000 3102 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5750 3102 1111 63 0 5687 0 vsize: 23000 [startup+140.006 s] Raw data (loadavg): 0.98 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3343 0 0 0 13992 7 0 0 25 0 1 0 833920807 24256512 3267 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5922 3267 1111 63 0 5859 0 vsize: 23688 [startup+150.011 s] Raw data (loadavg): 0.98 0.95 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3509 0 0 0 14993 8 0 0 25 0 1 0 833920807 24961024 3433 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6094 3433 1111 63 0 6031 0 vsize: 24376 [startup+160.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3673 0 0 0 15993 8 0 0 25 0 1 0 833920807 25522176 3597 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6231 3597 1111 63 0 6168 0 vsize: 24924 [startup+170.012 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3839 0 0 0 16993 8 0 0 25 0 1 0 833920807 26234880 3763 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6405 3763 1111 63 0 6342 0 vsize: 25620 [startup+180.011 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4012 0 0 0 17992 9 0 0 25 0 1 0 833920807 26955776 3936 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6581 3936 1111 63 0 6518 0 vsize: 26324 [startup+190.012 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4171 0 0 0 18993 9 0 0 25 0 1 0 833920807 27664384 4095 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6754 4095 1111 63 0 6691 0 vsize: 27016 [startup+200.012 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4344 0 0 0 19992 9 0 0 25 0 1 0 833920807 28372992 4268 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6927 4268 1111 63 0 6864 0 vsize: 27708 [startup+210.012 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4509 0 0 0 20992 9 0 0 25 0 1 0 833920807 29073408 4433 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7098 4433 1111 63 0 7035 0 vsize: 28392 [startup+220.012 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4676 0 0 0 21992 9 0 0 25 0 1 0 833920807 29642752 4600 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7237 4600 1111 63 0 7174 0 vsize: 28948 [startup+230.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4847 0 0 0 22992 10 0 0 25 0 1 0 833920807 30347264 4771 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7409 4771 1111 63 0 7346 0 vsize: 29636 [startup+240.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5015 0 0 0 23992 10 0 0 25 0 1 0 833920807 31051776 4939 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7581 4939 1111 63 0 7518 0 vsize: 30324 [startup+250.013 s] Raw data (loadavg): 0.99 0.96 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5179 0 0 0 24992 10 0 0 25 0 1 0 833920807 31756288 5103 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7753 5103 1111 63 0 7690 0 vsize: 31012 [startup+260.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5353 0 0 0 25992 10 0 0 25 0 1 0 833920807 32464896 5277 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7926 5277 1111 63 0 7863 0 vsize: 31704 [startup+270.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5519 0 0 0 26992 11 0 0 25 0 1 0 833920807 33173504 5443 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8099 5443 1111 63 0 8036 0 vsize: 32396 [startup+280.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5685 0 0 0 27992 11 0 0 25 0 1 0 833920807 33873920 5609 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8270 5609 1111 63 0 8207 0 vsize: 33080 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5858 0 0 0 28992 11 0 0 25 0 1 0 833920807 34586624 5782 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8444 5782 1111 63 0 8381 0 vsize: 33776 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6029 0 0 0 29992 11 0 0 25 0 1 0 833920807 35287040 5953 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8615 5953 1111 63 0 8552 0 vsize: 34460 [startup+310.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6195 0 0 0 30991 12 0 0 25 0 1 0 833920807 35852288 6119 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8753 6119 1111 63 0 8690 0 vsize: 35012 [startup+320.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6360 0 0 0 31991 12 0 0 25 0 1 0 833920807 36556800 6284 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8925 6284 1111 63 0 8862 0 vsize: 35700 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6533 0 0 0 32990 13 0 0 25 0 1 0 833920807 37265408 6457 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9098 6457 1111 63 0 9035 0 vsize: 36392 [startup+340.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6717 0 0 0 33990 14 0 0 25 0 1 0 833920807 38125568 6641 4294967295 134512640 134714508 3221224576 3221222536 1077377249 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9308 6641 1111 63 0 9245 0 vsize: 37232 [startup+350.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6882 0 0 0 34990 14 0 0 25 0 1 0 833920807 38830080 6806 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9480 6806 1111 63 0 9417 0 vsize: 37920 [startup+360.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7050 0 0 0 35990 14 0 0 25 0 1 0 833920807 39395328 6974 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9618 6974 1111 63 0 9555 0 vsize: 38472 [startup+370.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7214 0 0 0 36990 15 0 0 25 0 1 0 833920807 40099840 7138 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9790 7138 1111 63 0 9727 0 vsize: 39160 [startup+380.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7388 0 0 0 37990 15 0 0 25 0 1 0 833920807 40808448 7312 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9963 7312 1111 63 0 9900 0 vsize: 39852 [startup+390.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7559 0 0 0 38989 16 0 0 25 0 1 0 833920807 41508864 7483 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10134 7483 1111 63 0 10071 0 vsize: 40536 [startup+400.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7727 0 0 0 39989 16 0 0 25 0 1 0 833920807 42217472 7651 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10307 7651 1111 63 0 10244 0 vsize: 41228 [startup+410.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7900 0 0 0 40989 16 0 0 25 0 1 0 833920807 42926080 7824 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10480 7824 1111 63 0 10417 0 vsize: 41920 [startup+420.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8072 0 0 0 41989 17 0 0 25 0 1 0 833920807 43630592 7996 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10652 7996 1111 63 0 10589 0 vsize: 42608 [startup+430.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8251 0 0 0 42989 17 0 0 25 0 1 0 833920807 44339200 8175 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10825 8175 1111 63 0 10762 0 vsize: 43300 [startup+440.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8417 0 0 0 43989 17 0 0 25 0 1 0 833920807 45039616 8341 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10996 8341 1111 63 0 10933 0 vsize: 43984 [startup+450.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8597 0 0 0 44989 17 0 0 25 0 1 0 833920807 45748224 8521 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11169 8521 1111 63 0 11106 0 vsize: 44676 [startup+460.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8771 0 0 0 45988 18 0 0 25 0 1 0 833920807 46456832 8695 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11342 8695 1111 63 0 11279 0 vsize: 45368 [startup+470.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8943 0 0 0 46988 18 0 0 25 0 1 0 833920807 47161344 8867 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11514 8867 1111 63 0 11451 0 vsize: 46056 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9122 0 0 0 47988 18 0 0 25 0 1 0 833920807 47869952 9046 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11687 9046 1111 63 0 11624 0 vsize: 46748 [startup+490.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9295 0 0 0 48988 19 0 0 25 0 1 0 833920807 48570368 9219 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11858 9219 1111 63 0 11795 0 vsize: 47432 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9469 0 0 0 49988 19 0 0 25 0 1 0 833920807 49278976 9393 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12031 9393 1111 63 0 11968 0 vsize: 48124 [startup+510.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9648 0 0 0 50987 20 0 0 25 0 1 0 833920807 50126848 9572 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12238 9572 1111 63 0 12175 0 vsize: 48952 [startup+520.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9820 0 0 0 51987 20 0 0 25 0 1 0 833920807 50831360 9744 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12410 9744 1111 63 0 12347 0 vsize: 49640 [startup+530.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9994 0 0 0 52987 20 0 0 25 0 1 0 833920807 51539968 9918 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12583 9918 1111 63 0 12520 0 vsize: 50332 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10166 0 0 0 53987 20 0 0 25 0 1 0 833920807 52244480 10090 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12755 10090 1111 63 0 12692 0 vsize: 51020 [startup+550.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10339 0 0 0 54987 21 0 0 25 0 1 0 833920807 52948992 10263 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12927 10263 1111 63 0 12864 0 vsize: 51708 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10519 0 0 0 55987 21 0 0 25 0 1 0 833920807 53661696 10443 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13101 10443 1111 63 0 13038 0 vsize: 52404 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10698 0 0 0 56987 22 0 0 25 0 1 0 833920807 54362112 10622 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13272 10622 1111 63 0 13209 0 vsize: 53088 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10879 0 0 0 57986 22 0 0 25 0 1 0 833920807 55070720 10803 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13445 10803 1111 63 0 13382 0 vsize: 53780 [startup+590.019 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11057 0 0 0 58986 23 0 0 25 0 1 0 833920807 55771136 10981 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13616 10981 1111 63 0 13553 0 vsize: 54464 [startup+600.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11237 0 0 0 59985 24 0 0 25 0 1 0 833920807 56623104 11161 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13824 11161 1111 63 0 13761 0 vsize: 55296 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11411 0 0 0 60985 24 0 0 25 0 1 0 833920807 57331712 11335 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13997 11335 1111 63 0 13934 0 vsize: 55988 [startup+620.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11589 0 0 0 61985 24 0 0 25 0 1 0 833920807 58032128 11513 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14168 11513 1111 63 0 14105 0 vsize: 56672 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11769 0 0 0 62985 24 0 0 25 0 1 0 833920807 58740736 11693 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14341 11693 1111 63 0 14278 0 vsize: 57364 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11947 0 0 0 63985 25 0 0 25 0 1 0 833920807 59441152 11871 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14512 11871 1111 63 0 14449 0 vsize: 58048 [startup+650.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12121 0 0 0 64985 25 0 0 25 0 1 0 833920807 60153856 12045 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14686 12045 1111 63 0 14623 0 vsize: 58744 [startup+660.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12320 0 0 0 65985 25 0 0 25 0 1 0 833920807 61079552 12244 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14912 12244 1111 63 0 14849 0 vsize: 59648 [startup+670.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12499 0 0 0 66985 26 0 0 25 0 1 0 833920807 61784064 12423 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15084 12423 1111 63 0 15021 0 vsize: 60336 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12685 0 0 0 67985 26 0 0 25 0 1 0 833920807 62631936 12609 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15291 12609 1111 63 0 15228 0 vsize: 61164 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12864 0 0 0 68984 26 0 0 25 0 1 0 833920807 63336448 12788 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15463 12788 1111 63 0 15400 0 vsize: 61852 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13045 0 0 0 69984 27 0 0 25 0 1 0 833920807 64040960 12969 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15635 12969 1111 63 0 15572 0 vsize: 62540 [startup+710.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13225 0 0 0 70984 27 0 0 25 0 1 0 833920807 64753664 13149 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15809 13149 1111 63 0 15746 0 vsize: 63236 [startup+720.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13397 0 0 0 71984 27 0 0 25 0 1 0 833920807 65454080 13321 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15980 13321 1111 63 0 15917 0 vsize: 63920 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13577 0 0 0 72983 28 0 0 25 0 1 0 833920807 66301952 13501 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16187 13501 1111 63 0 16124 0 vsize: 64748 [startup+740.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13755 0 0 0 73983 28 0 0 25 0 1 0 833920807 67006464 13679 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16359 13679 1111 63 0 16296 0 vsize: 65436 [startup+750.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13936 0 0 0 74983 29 0 0 25 0 1 0 833920807 67715072 13860 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16532 13860 1111 63 0 16469 0 vsize: 66128 [startup+760.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14123 0 0 0 75983 29 0 0 25 0 1 0 833920807 68423680 14047 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16705 14047 1111 63 0 16642 0 vsize: 66820 [startup+770.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14309 0 0 0 76983 30 0 0 25 0 1 0 833920807 69267456 14233 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16911 14233 1111 63 0 16848 0 vsize: 67644 [startup+780.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14490 0 0 0 77982 30 0 0 25 0 1 0 833920807 69971968 14414 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17083 14414 1111 63 0 17020 0 vsize: 68332 [startup+790.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14683 0 0 0 78982 30 0 0 25 0 1 0 833920807 70823936 14607 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17291 14607 1111 63 0 17228 0 vsize: 69164 [startup+800.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14862 0 0 0 79982 31 0 0 25 0 1 0 833920807 71524352 14786 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17462 14786 1111 63 0 17399 0 vsize: 69848 [startup+810.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15049 0 0 0 80981 31 0 0 25 0 1 0 833920807 72232960 14973 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17635 14973 1111 63 0 17572 0 vsize: 70540 [startup+820.025 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15235 0 0 0 81981 32 0 0 25 0 1 0 833920807 73076736 15159 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17841 15159 1111 63 0 17778 0 vsize: 71364 [startup+830.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15416 0 0 0 82981 32 0 0 25 0 1 0 833920807 73785344 15340 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18014 15340 1111 63 0 17951 0 vsize: 72056 [startup+840.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15602 0 0 0 83981 33 0 0 25 0 1 0 833920807 74493952 15526 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18187 15526 1111 63 0 18124 0 vsize: 72748 [startup+850.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15788 0 0 0 84980 33 0 0 25 0 1 0 833920807 75337728 15712 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18393 15712 1111 63 0 18330 0 vsize: 73572 [startup+860.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15976 0 0 0 85981 33 0 0 25 0 1 0 833920807 76046336 15900 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18566 15900 1111 63 0 18503 0 vsize: 74264 [startup+870.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16162 0 0 0 86981 33 0 0 25 0 1 0 833920807 76754944 16086 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18739 16086 1111 63 0 18676 0 vsize: 74956 [startup+880.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16341 0 0 0 87981 34 0 0 25 0 1 0 833920807 77594624 16265 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18944 16265 1111 63 0 18881 0 vsize: 75776 [startup+890.028 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16535 0 0 0 88981 34 0 0 25 0 1 0 833920807 78307328 16459 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19118 16459 1111 63 0 19055 0 vsize: 76472 [startup+900.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16723 0 0 0 89981 34 0 0 25 0 1 0 833920807 79155200 16647 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19325 16647 1111 63 0 19262 0 vsize: 77300 [startup+910.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16909 0 0 0 90980 34 0 0 25 0 1 0 833920807 79855616 16833 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19496 16833 1111 63 0 19433 0 vsize: 77984 [startup+920.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17103 0 0 0 91980 35 0 0 25 0 1 0 833920807 80703488 17027 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19703 17027 1111 63 0 19640 0 vsize: 78812 [startup+930.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17288 0 0 0 92980 35 0 0 25 0 1 0 833920807 81408000 17212 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19875 17212 1111 63 0 19812 0 vsize: 79500 [startup+940.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17476 0 0 0 93980 36 0 0 25 0 1 0 833920807 82116608 17400 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20048 17400 1111 63 0 19985 0 vsize: 80192 [startup+950.026 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17669 0 0 0 94979 36 0 0 25 0 1 0 833920807 82964480 17593 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20255 17593 1111 63 0 20192 0 vsize: 81020 [startup+960.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17856 0 0 0 95979 36 0 0 25 0 1 0 833920807 83668992 17780 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20427 17780 1111 63 0 20364 0 vsize: 81708 [startup+970.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18044 0 0 0 96979 37 0 0 25 0 1 0 833920807 84516864 17968 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20634 17968 1111 63 0 20571 0 vsize: 82536 [startup+980.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18237 0 0 0 97979 37 0 0 25 0 1 0 833920807 85225472 18161 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20807 18161 1111 63 0 20744 0 vsize: 83228 [startup+990.027 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18429 0 0 0 98979 37 0 0 25 0 1 0 833920807 86069248 18353 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21013 18353 1111 63 0 20950 0 vsize: 84052 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18617 0 0 0 99979 37 0 0 25 0 1 0 833920807 86777856 18541 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21186 18541 1111 63 0 21123 0 vsize: 84744 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18811 0 0 0 100979 38 0 0 25 0 1 0 833920807 87625728 18735 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21393 18735 1111 63 0 21330 0 vsize: 85572 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19003 0 0 0 101979 38 0 0 25 0 1 0 833920807 88469504 18927 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21599 18927 1111 63 0 21536 0 vsize: 86396 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27786 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19191 0 0 0 102979 38 0 0 25 0 1 0 833920807 89178112 19115 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21772 19115 1111 63 0 21709 0 vsize: 87088 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/56 27794 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19384 0 0 0 103978 39 0 0 25 0 1 0 833920807 90025984 19308 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21979 19308 1111 63 0 21916 0 vsize: 87916 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27839 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19571 0 0 0 104977 40 0 0 25 0 1 0 833920807 90730496 19495 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22151 19495 1111 63 0 22088 0 vsize: 88604 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27839 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19764 0 0 0 105976 40 0 0 25 0 1 0 833920807 91578368 19688 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22358 19688 1111 63 0 22295 0 vsize: 89432 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27839 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19957 0 0 0 106976 40 0 0 25 0 1 0 833920807 92278784 19881 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22529 19881 1111 63 0 22466 0 vsize: 90116 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.97 2/54 27839 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20152 0 0 0 107976 41 0 0 25 0 1 0 833920807 93130752 20076 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22737 20076 1111 63 0 22674 0 vsize: 90948 [startup+1090.03 s] Raw data (loadavg): 1.07 0.99 0.97 2/54 27839 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20346 0 0 0 108975 41 0 0 25 0 1 0 833920807 93839360 20270 4294967295 134512640 134714508 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22910 20270 1111 63 0 22847 0 vsize: 91640 [startup+1100.03 s] Raw data (loadavg): 1.06 0.99 0.97 2/54 27839 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20545 0 0 0 109975 42 0 0 25 0 1 0 833920807 94683136 20469 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23116 20469 1111 63 0 23053 0 vsize: 92464 [startup+1110.03 s] Raw data (loadavg): 1.05 0.99 0.97 2/54 27839 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20739 0 0 0 110974 43 0 0 25 0 1 0 833920807 95531008 20663 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23323 20663 1111 63 0 23260 0 vsize: 93292 [startup+1120.03 s] Raw data (loadavg): 1.04 0.99 0.97 2/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20934 0 0 0 111974 43 0 0 25 0 1 0 833920807 96239616 20858 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23496 20858 1111 63 0 23433 0 vsize: 93984 [startup+1130.03 s] Raw data (loadavg): 1.03 0.99 0.97 2/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21126 0 0 0 112974 44 0 0 25 0 1 0 833920807 97079296 21050 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23701 21050 1111 63 0 23638 0 vsize: 94804 [startup+1140.03 s] Raw data (loadavg): 1.03 0.99 0.97 2/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21327 0 0 0 113974 44 0 0 25 0 1 0 833920807 97931264 21251 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23909 21251 1111 63 0 23846 0 vsize: 95636 [startup+1150.03 s] Raw data (loadavg): 1.02 0.99 0.97 2/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21527 0 0 0 114974 44 0 0 25 0 1 0 833920807 98779136 21451 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24116 21451 1111 63 0 24053 0 vsize: 96464 [startup+1160.03 s] Raw data (loadavg): 1.02 0.99 0.97 2/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21720 0 0 0 115974 45 0 0 25 0 1 0 833920807 99483648 21644 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24288 21644 1111 63 0 24225 0 vsize: 97152 [startup+1170.03 s] Raw data (loadavg): 1.02 0.99 0.97 2/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21915 0 0 0 116973 45 0 0 25 0 1 0 833920807 100331520 21839 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24495 21839 1111 63 0 24432 0 vsize: 97980 [startup+1180.03 s] Raw data (loadavg): 1.01 0.99 0.97 2/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 22109 0 0 0 117973 46 0 0 25 0 1 0 833920807 101040128 22033 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24668 22033 1111 63 0 24605 0 vsize: 98672 [startup+1190.03 s] Raw data (loadavg): 1.01 0.99 0.97 2/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 22309 0 0 0 118973 46 0 0 25 0 1 0 833920807 101883904 22233 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24874 22233 1111 63 0 24811 0 vsize: 99496 [startup+1200.03 s] Raw data (loadavg): 1.01 0.99 0.97 2/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 22509 0 0 0 119972 46 0 0 25 0 1 0 833920807 102731776 22433 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25081 22433 1111 63 0 25018 0 vsize: 100324 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 1.01 0.99 0.97 1/54 27841 Raw data (stat): 27786 (bsolo_lpr_cuts) Z 27785 22056 22055 0 -1 1036 22509 0 0 0 119973 51 0 0 25 0 1 0 833920807 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.08 CPU time (s): 1200.24 CPU user time (s): 1199.73 CPU system time (s): 0.510922 CPU usage (%): 100.014 Max. virtual memory (Kb): 100324 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####