Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb |
MD5SUM | 44b9f0f81a9b533b0f9e0fd187bafc3d |
Bench Category | optimization, medium integers (OPTMEDINT) |
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 | 198658 |
Biggest coefficient in the objective function | 1024 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 38727219 |
Number of bits of the sum of numbers in the objective function | 26 |
Biggest number in a constraint | 30720 |
Number of bits of the biggest number in a constraint | 15 |
Biggest sum of numbers in a constraint | 38727219 |
Number of bits of the biggest sum of numbers | 26 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 8.39472 |
Number of variables | 874498 |
Total number of constraints | 113008 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 2186 |
Number of constraints which are nor clauses,nor cardinality constraints | 110822 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 14080 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc5 THE 2005-05-25 00:11:06 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=14757 boxname=wulflinc5 idbench=1136 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 44b9f0f81a9b533b0f9e0fd187bafc3d /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos9.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-neos9.opb IDLAUNCH: 14757 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.007 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 : 2 cpu MHz : 451.007 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: 679828 kB Buffers: 20048 kB Cached: 310392 kB SwapCached: 3780 kB Active: 101348 kB Inactive: 234808 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 679576 kB SwapTotal: 2097136 kB SwapFree: 2092924 kB Dirty: 20 kB Writeback: 0 kB Mapped: 5748 kB Slab: 12980 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 00:31:10 (client local time) WITH STATUS 0 IN 1200.95 SECONDS stats: 14757 7 1200.95 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.91 0.97 0.91 2/54 14843 Raw data (stat): 14843 (runsolver) R 14842 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776234624 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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.0011 s] Raw data (loadavg): 0.93 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 2450 0 0 0 988 8 0 0 25 0 1 0 776234624 19861504 2374 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4849 2374 1111 63 0 4786 0 vsize: 19396 [startup+20.0048 s] Raw data (loadavg): 0.94 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 3658 0 0 0 1986 10 0 0 25 0 1 0 776234624 24936448 3582 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6088 3582 1111 63 0 6025 0 vsize: 24352 [startup+30.0051 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 4867 0 0 0 2984 13 0 0 25 0 1 0 776234624 29863936 4791 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7291 4791 1111 63 0 7228 0 vsize: 29164 [startup+40.0053 s] Raw data (loadavg): 0.95 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 6076 0 0 0 3981 15 0 0 25 0 1 0 776234624 34791424 6000 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8494 6000 1111 63 0 8431 0 vsize: 33976 [startup+50.0061 s] Raw data (loadavg): 0.96 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 7286 0 0 0 4979 18 0 0 25 0 1 0 776234624 39723008 7210 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9698 7210 1111 63 0 9635 0 vsize: 38792 [startup+60.0064 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 8504 0 0 0 5976 21 0 0 25 0 1 0 776234624 44785664 8428 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10934 8428 1111 63 0 10871 0 vsize: 43736 [startup+70.0137 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 9712 0 0 0 6976 22 0 0 25 0 1 0 776234624 49709056 9636 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12136 9636 1111 63 0 12073 0 vsize: 48544 [startup+80.0224 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 10927 0 0 0 7974 25 0 0 25 0 1 0 776234624 54636544 10851 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13339 10851 1111 63 0 13276 0 vsize: 53356 [startup+90.0216 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 12142 0 0 0 8971 28 0 0 25 0 1 0 776234624 59564032 12066 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14542 12066 1111 63 0 14479 0 vsize: 58168 [startup+100.023 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 13363 0 0 0 9969 30 0 0 25 0 1 0 776234624 64638976 13287 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15781 13287 1111 63 0 15718 0 vsize: 63124 [startup+110.024 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 14141 0 0 0 10967 32 0 0 25 0 1 0 776234624 67874816 14065 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16571 14065 1111 63 0 16508 0 vsize: 66284 [startup+120.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 14375 0 0 0 11967 32 0 0 25 0 1 0 776234624 68730880 14299 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16780 14299 1111 63 0 16717 0 vsize: 67120 [startup+130.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 14614 0 0 0 12967 33 0 0 25 0 1 0 776234624 69734400 14538 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17025 14538 1111 63 0 16962 0 vsize: 68100 [startup+140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 14854 0 0 0 13967 34 0 0 25 0 1 0 776234624 70770688 14778 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17278 14778 1111 63 0 17215 0 vsize: 69112 [startup+150.134 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 15087 0 0 0 14976 35 0 0 25 0 1 0 776234624 71643136 15011 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17491 15011 1111 63 0 17428 0 vsize: 69964 [startup+160.134 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 15333 0 0 0 15975 35 0 0 25 0 1 0 776234624 72654848 15257 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17738 15257 1111 63 0 17675 0 vsize: 70952 [startup+170.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 15566 0 0 0 16976 36 0 0 25 0 1 0 776234624 73682944 15490 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17989 15490 1111 63 0 17926 0 vsize: 71956 [startup+180.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 15806 0 0 0 17976 36 0 0 25 0 1 0 776234624 74670080 15730 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18230 15730 1111 63 0 18167 0 vsize: 72920 [startup+190.161 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 16046 0 0 0 18977 37 0 0 25 0 1 0 776234624 75546624 15970 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18444 15970 1111 63 0 18381 0 vsize: 73776 [startup+200.164 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 16288 0 0 0 19976 38 0 0 25 0 1 0 776234624 76689408 16212 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18723 16212 1111 63 0 18660 0 vsize: 74892 [startup+210.164 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 16532 0 0 0 20976 39 0 0 25 0 1 0 776234624 77688832 16456 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18967 16456 1111 63 0 18904 0 vsize: 75868 [startup+220.17 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 16764 0 0 0 21976 39 0 0 25 0 1 0 776234624 78536704 16688 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19174 16688 1111 63 0 19111 0 vsize: 76696 [startup+230.17 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17011 0 0 0 22976 39 0 0 25 0 1 0 776234624 79544320 16935 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19420 16935 1111 63 0 19357 0 vsize: 77680 [startup+240.17 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17244 0 0 0 23976 40 0 0 25 0 1 0 776234624 80551936 17168 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19666 17168 1111 63 0 19603 0 vsize: 78664 [startup+250.18 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17486 0 0 0 24976 41 0 0 25 0 1 0 776234624 81563648 17410 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19913 17410 1111 63 0 19850 0 vsize: 79652 [startup+260.187 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17724 0 0 0 25976 41 0 0 25 0 1 0 776234624 82456576 17648 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20131 17648 1111 63 0 20068 0 vsize: 80524 [startup+270.187 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 17965 0 0 0 26976 42 0 0 25 0 1 0 776234624 83443712 17889 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20372 17889 1111 63 0 20309 0 vsize: 81488 [startup+280.187 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 18204 0 0 0 27976 42 0 0 25 0 1 0 776234624 84471808 18128 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20623 18128 1111 63 0 20560 0 vsize: 82492 [startup+290.187 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 18439 0 0 0 28975 43 0 0 25 0 1 0 776234624 85458944 18363 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20864 18363 1111 63 0 20801 0 vsize: 83456 [startup+300.187 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 18686 0 0 0 29975 43 0 0 25 0 1 0 776234624 86470656 18610 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21111 18610 1111 63 0 21048 0 vsize: 84444 [startup+310.29 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 18931 0 0 0 30985 44 0 0 25 0 1 0 776234624 87498752 18855 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21362 18855 1111 63 0 21299 0 vsize: 85448 [startup+320.297 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 19166 0 0 0 31985 44 0 0 25 0 1 0 776234624 88350720 19090 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21570 19090 1111 63 0 21507 0 vsize: 86280 [startup+330.303 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 19410 0 0 0 32984 46 0 0 25 0 1 0 776234624 89358336 19334 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21816 19334 1111 63 0 21753 0 vsize: 87264 [startup+340.303 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 19646 0 0 0 33984 46 0 0 25 0 1 0 776234624 90365952 19570 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22062 19570 1111 63 0 21999 0 vsize: 88248 [startup+350.303 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 19891 0 0 0 34983 47 0 0 25 0 1 0 776234624 91369472 19815 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22307 19815 1111 63 0 22244 0 vsize: 89228 [startup+360.305 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 20125 0 0 0 35983 47 0 0 25 0 1 0 776234624 92356608 20049 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22548 20049 1111 63 0 22485 0 vsize: 90192 [startup+370.305 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 20370 0 0 0 36982 48 0 0 25 0 1 0 776234624 93384704 20294 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22799 20294 1111 63 0 22736 0 vsize: 91196 [startup+380.305 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 20616 0 0 0 37982 49 0 0 25 0 1 0 776234624 94371840 20540 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23040 20540 1111 63 0 22977 0 vsize: 92160 [startup+390.305 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 20849 0 0 0 38982 49 0 0 25 0 1 0 776234624 95244288 20773 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23253 20773 1111 63 0 23190 0 vsize: 93012 [startup+400.314 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 21106 0 0 0 39982 50 0 0 25 0 1 0 776234624 96407552 21030 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23537 21030 1111 63 0 23474 0 vsize: 94148 [startup+410.315 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 21340 0 0 0 40981 51 0 0 25 0 1 0 776234624 97415168 21264 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23783 21264 1111 63 0 23720 0 vsize: 95132 [startup+420.314 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 21586 0 0 0 41980 52 0 0 25 0 1 0 776234624 98418688 21510 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24028 21510 1111 63 0 23965 0 vsize: 96112 [startup+430.315 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 21833 0 0 0 42980 53 0 0 25 0 1 0 776234624 99405824 21757 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24269 21757 1111 63 0 24206 0 vsize: 97076 [startup+440.315 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 22066 0 0 0 43979 53 0 0 25 0 1 0 776234624 100278272 21990 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24482 21990 1111 63 0 24419 0 vsize: 97928 [startup+450.316 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 22313 0 0 0 44979 53 0 0 25 0 1 0 776234624 101289984 22237 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24729 22237 1111 63 0 24666 0 vsize: 98916 [startup+460.315 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 22558 0 0 0 45979 54 0 0 25 0 1 0 776234624 102318080 22482 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24980 22482 1111 63 0 24917 0 vsize: 99920 [startup+470.328 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 22794 0 0 0 46979 55 0 0 25 0 1 0 776234624 103329792 22718 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25227 22718 1111 63 0 25164 0 vsize: 100908 [startup+480.328 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 23039 0 0 0 47979 55 0 0 25 0 1 0 776234624 104357888 22963 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25478 22963 1111 63 0 25415 0 vsize: 101912 [startup+490.335 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 23285 0 0 0 48979 56 0 0 25 0 1 0 776234624 105369600 23209 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25725 23209 1111 63 0 25662 0 vsize: 102900 [startup+500.336 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 23531 0 0 0 49978 57 0 0 25 0 1 0 776234624 106242048 23455 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25938 23455 1111 63 0 25875 0 vsize: 103752 [startup+510.336 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 23766 0 0 0 50978 58 0 0 25 0 1 0 776234624 107229184 23690 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26179 23690 1111 63 0 26116 0 vsize: 104716 [startup+520.345 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24013 0 0 0 51978 58 0 0 25 0 1 0 776234624 108257280 23937 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26430 23937 1111 63 0 26367 0 vsize: 105720 [startup+530.345 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24258 0 0 0 52978 59 0 0 25 0 1 0 776234624 109244416 24182 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26671 24182 1111 63 0 26608 0 vsize: 106684 [startup+540.345 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24505 0 0 0 53977 60 0 0 25 0 1 0 776234624 110256128 24429 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26918 24429 1111 63 0 26855 0 vsize: 107672 [startup+550.354 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24739 0 0 0 54978 60 0 0 25 0 1 0 776234624 111284224 24663 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27169 24663 1111 63 0 27106 0 vsize: 108676 [startup+560.365 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 24985 0 0 0 55978 61 0 0 25 0 1 0 776234624 112271360 24909 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27410 24909 1111 63 0 27347 0 vsize: 109640 [startup+570.376 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 25231 0 0 0 56979 61 0 0 25 0 1 0 776234624 113299456 25155 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27661 25155 1111 63 0 27598 0 vsize: 110644 [startup+580.386 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 25478 0 0 0 57979 62 0 0 25 0 1 0 776234624 114311168 25402 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27908 25402 1111 63 0 27845 0 vsize: 111632 [startup+590.386 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 25724 0 0 0 58979 63 0 0 25 0 1 0 776234624 115339264 25648 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28159 25648 1111 63 0 28096 0 vsize: 112636 [startup+600.387 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 25959 0 0 0 59978 64 0 0 25 0 1 0 776234624 116191232 25883 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28367 25883 1111 63 0 28304 0 vsize: 113468 [startup+610.403 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 26204 0 0 0 60979 65 0 0 25 0 1 0 776234624 117198848 26128 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28613 26128 1111 63 0 28550 0 vsize: 114452 [startup+620.403 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 26451 0 0 0 61979 65 0 0 25 0 1 0 776234624 118206464 26375 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28859 26375 1111 63 0 28796 0 vsize: 115436 [startup+630.403 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 26698 0 0 0 62978 66 0 0 25 0 1 0 776234624 119218176 26622 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29106 26622 1111 63 0 29043 0 vsize: 116424 [startup+640.404 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 26944 0 0 0 63978 66 0 0 25 0 1 0 776234624 120225792 26868 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29352 26868 1111 63 0 29289 0 vsize: 117408 [startup+650.405 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 27191 0 0 0 64977 67 0 0 25 0 1 0 776234624 121237504 27115 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29599 27115 1111 63 0 29536 0 vsize: 118396 [startup+660.405 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 27436 0 0 0 65976 68 0 0 25 0 1 0 776234624 122265600 27360 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29850 27360 1111 63 0 29787 0 vsize: 119400 [startup+670.419 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 27684 0 0 0 66977 69 0 0 25 0 1 0 776234624 123277312 27608 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30097 27608 1111 63 0 30034 0 vsize: 120388 [startup+680.428 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 27929 0 0 0 67977 69 0 0 25 0 1 0 776234624 124305408 27853 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30348 27853 1111 63 0 30285 0 vsize: 121392 [startup+690.428 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 28171 0 0 0 68977 70 0 0 25 0 1 0 776234624 125292544 28095 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30589 28095 1111 63 0 30526 0 vsize: 122356 [startup+700.429 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 28410 0 0 0 69977 70 0 0 25 0 1 0 776234624 126320640 28334 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30840 28334 1111 63 0 30777 0 vsize: 123360 [startup+710.429 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 28657 0 0 0 70976 71 0 0 25 0 1 0 776234624 127332352 28581 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31087 28581 1111 63 0 31024 0 vsize: 124348 [startup+720.429 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 28904 0 0 0 71976 71 0 0 25 0 1 0 776234624 128344064 28828 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31334 28828 1111 63 0 31271 0 vsize: 125336 [startup+730.434 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 29149 0 0 0 72976 72 0 0 25 0 1 0 776234624 129216512 29073 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31547 29073 1111 63 0 31484 0 vsize: 126188 [startup+740.434 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 29396 0 0 0 73976 72 0 0 25 0 1 0 776234624 130359296 29320 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31826 29320 1111 63 0 31763 0 vsize: 127304 [startup+750.435 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 29641 0 0 0 74976 73 0 0 25 0 1 0 776234624 131231744 29565 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32039 29565 1111 63 0 31976 0 vsize: 128156 [startup+760.435 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 29888 0 0 0 75975 73 0 0 25 0 1 0 776234624 132374528 29812 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32318 29812 1111 63 0 32255 0 vsize: 129272 [startup+770.435 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 30134 0 0 0 76974 74 0 0 25 0 1 0 776234624 133382144 30058 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32564 30058 1111 63 0 32501 0 vsize: 130256 [startup+780.435 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 30380 0 0 0 77974 75 0 0 25 0 1 0 776234624 134258688 30304 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32778 30304 1111 63 0 32715 0 vsize: 131112 [startup+790.436 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 30645 0 0 0 78973 75 0 0 25 0 1 0 776234624 135479296 30569 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33076 30569 1111 63 0 33013 0 vsize: 132304 [startup+800.436 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 30892 0 0 0 79973 76 0 0 25 0 1 0 776234624 136466432 30816 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33317 30816 1111 63 0 33254 0 vsize: 133268 [startup+810.436 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 31145 0 0 0 80972 77 0 0 25 0 1 0 776234624 137609216 31069 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33596 31069 1111 63 0 33533 0 vsize: 134384 [startup+820.441 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 31396 0 0 0 81972 78 0 0 25 0 1 0 776234624 138637312 31320 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33847 31320 1111 63 0 33784 0 vsize: 135388 [startup+830.445 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 31644 0 0 0 82972 79 0 0 25 0 1 0 776234624 139649024 31568 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34094 31568 1111 63 0 34031 0 vsize: 136376 [startup+840.445 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 31891 0 0 0 83971 79 0 0 25 0 1 0 776234624 140677120 31815 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34345 31815 1111 63 0 34282 0 vsize: 137380 [startup+850.452 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 32138 0 0 0 84971 80 0 0 25 0 1 0 776234624 141664256 32062 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34586 32062 1111 63 0 34523 0 vsize: 138344 [startup+860.459 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 32383 0 0 0 85971 81 0 0 25 0 1 0 776234624 142692352 32307 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34837 32307 1111 63 0 34774 0 vsize: 139348 [startup+870.459 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 32630 0 0 0 86970 82 0 0 25 0 1 0 776234624 143679488 32554 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35078 32554 1111 63 0 35015 0 vsize: 140312 [startup+880.459 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 32878 0 0 0 87970 83 0 0 25 0 1 0 776234624 144691200 32802 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35325 32802 1111 63 0 35262 0 vsize: 141300 [startup+890.46 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 33130 0 0 0 88970 83 0 0 25 0 1 0 776234624 145694720 33054 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35570 33054 1111 63 0 35507 0 vsize: 142280 [startup+900.46 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 33383 0 0 0 89969 84 0 0 25 0 1 0 776234624 146681856 33307 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35811 33307 1111 63 0 35748 0 vsize: 143244 [startup+910.461 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 33628 0 0 0 90969 85 0 0 25 0 1 0 776234624 147709952 33552 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36062 33552 1111 63 0 35999 0 vsize: 144248 [startup+920.461 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 33875 0 0 0 91968 85 0 0 25 0 1 0 776234624 148697088 33799 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36303 33799 1111 63 0 36240 0 vsize: 145212 [startup+930.462 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 34122 0 0 0 92967 86 0 0 25 0 1 0 776234624 149725184 34046 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36554 34046 1111 63 0 36491 0 vsize: 146216 [startup+940.461 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 34370 0 0 0 93967 87 0 0 25 0 1 0 776234624 150712320 34294 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36795 34294 1111 63 0 36732 0 vsize: 147180 [startup+950.47 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 34627 0 0 0 94967 87 0 0 25 0 1 0 776234624 151740416 34551 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37046 34551 1111 63 0 36983 0 vsize: 148184 [startup+960.475 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 34874 0 0 0 95967 88 0 0 25 0 1 0 776234624 152883200 34798 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37325 34798 1111 63 0 37262 0 vsize: 149300 [startup+970.482 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 35121 0 0 0 96967 89 0 0 25 0 1 0 776234624 153870336 35045 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37566 35045 1111 63 0 37503 0 vsize: 150264 [startup+980.482 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 35368 0 0 0 97966 90 0 0 25 0 1 0 776234624 154898432 35292 4294967295 134512640 134714508 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37817 35292 1111 63 0 37754 0 vsize: 151268 [startup+990.486 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 35628 0 0 0 98966 91 0 0 25 0 1 0 776234624 155910144 35552 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38064 35552 1111 63 0 38001 0 vsize: 152256 [startup+1000.49 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 35873 0 0 0 99965 92 0 0 25 0 1 0 776234624 156917760 35797 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38310 35797 1111 63 0 38247 0 vsize: 153240 [startup+1010.49 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 36120 0 0 0 100964 93 0 0 25 0 1 0 776234624 157925376 36044 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38556 36044 1111 63 0 38493 0 vsize: 154224 [startup+1020.49 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 36379 0 0 0 101964 93 0 0 25 0 1 0 776234624 158932992 36303 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38802 36303 1111 63 0 38739 0 vsize: 155208 [startup+1030.49 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 36627 0 0 0 102964 94 0 0 25 0 1 0 776234624 159965184 36551 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39054 36551 1111 63 0 38991 0 vsize: 156216 [startup+1040.49 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 36874 0 0 0 103963 94 0 0 25 0 1 0 776234624 160972800 36798 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39300 36798 1111 63 0 39237 0 vsize: 157200 [startup+1050.49 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 37125 0 0 0 104963 95 0 0 25 0 1 0 776234624 161980416 37049 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39546 37049 1111 63 0 39483 0 vsize: 158184 [startup+1060.49 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 37378 0 0 0 105962 96 0 0 25 0 1 0 776234624 163123200 37302 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39825 37302 1111 63 0 39762 0 vsize: 159300 [startup+1070.49 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 37624 0 0 0 106962 96 0 0 25 0 1 0 776234624 164126720 37548 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40070 37548 1111 63 0 40007 0 vsize: 160280 [startup+1080.5 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 37884 0 0 0 107961 97 0 0 25 0 1 0 776234624 165113856 37808 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40311 37808 1111 63 0 40248 0 vsize: 161244 [startup+1090.51 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 38130 0 0 0 108962 98 0 0 25 0 1 0 776234624 166141952 38054 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40562 38054 1111 63 0 40499 0 vsize: 162248 [startup+1100.52 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 38377 0 0 0 109962 98 0 0 25 0 1 0 776234624 167129088 38301 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40803 38301 1111 63 0 40740 0 vsize: 163212 [startup+1110.52 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 38636 0 0 0 110962 99 0 0 25 0 1 0 776234624 168157184 38560 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41054 38560 1111 63 0 40991 0 vsize: 164216 [startup+1120.51 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 38882 0 0 0 111961 100 0 0 25 0 1 0 776234624 169172992 38806 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41302 38806 1111 63 0 41239 0 vsize: 165208 [startup+1130.54 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 39143 0 0 0 112963 101 0 0 25 0 1 0 776234624 170340352 39067 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41587 39067 1111 63 0 41524 0 vsize: 166348 [startup+1140.54 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 39388 0 0 0 113962 102 0 0 25 0 1 0 776234624 171212800 39312 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41800 39312 1111 63 0 41737 0 vsize: 167200 [startup+1150.54 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 39635 0 0 0 114962 102 0 0 25 0 1 0 776234624 172355584 39559 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42079 39559 1111 63 0 42016 0 vsize: 168316 [startup+1160.65 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 39894 0 0 0 115972 103 0 0 25 0 1 0 776234624 173363200 39818 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42325 39818 1111 63 0 42262 0 vsize: 169300 [startup+1170.65 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 40147 0 0 0 116971 103 0 0 25 0 1 0 776234624 174374912 40071 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42572 40071 1111 63 0 42509 0 vsize: 170288 [startup+1180.65 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 40402 0 0 0 117971 104 0 0 25 0 1 0 776234624 175378432 40326 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42817 40326 1111 63 0 42754 0 vsize: 171268 [startup+1190.66 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 40647 0 0 0 118971 105 0 0 25 0 1 0 776234624 176386048 40571 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43063 40571 1111 63 0 43000 0 vsize: 172252 [startup+1200.76 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) R 14842 7266 7265 0 -1 0 40907 0 0 0 119981 105 0 0 25 0 1 0 776234624 177528832 40831 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 43342 40831 1111 63 0 43279 0 vsize: 173368 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.86 s] Raw data (loadavg): 1.03 0.99 0.91 1/54 14843 Raw data (stat): 14843 (bsolo_lpr_cuts) Z 14842 7266 7265 0 -1 1036 40907 0 0 0 119981 113 0 0 24 0 1 0 776234624 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.86 CPU time (s): 1200.95 CPU user time (s): 1199.82 CPU system time (s): 1.13083 CPU usage (%): 100.008 Max. virtual memory (Kb): 173368 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####