Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb |
MD5SUM | 1d23f02bf686681d1b293e114d3bb612 |
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 | 105000 |
Biggest coefficient in the objective function | 4194304 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 39177236543 |
Number of bits of the sum of numbers in the objective function | 36 |
Biggest number in a constraint | 4194304 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 39177236543 |
Number of bits of the biggest sum of numbers | 36 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.03484 |
Number of variables | 105000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 21 |
Maximum length of a constraint | 2000 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc6 THE 2005-05-24 18:21:54 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19021 boxname=wulflinc6 idbench=1464 idsolver=2 numberseed=0 MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7 /oldhome/oroussel/solvers/bsolo_lpr_cuts MD5SUM BENCH: 1d23f02bf686681d1b293e114d3bb612 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3702.opb REAL COMMAND: bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3702.opb IDLAUNCH: 19021 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.042 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.042 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: 870032 kB Buffers: 8200 kB Cached: 133172 kB SwapCached: 408 kB Active: 30840 kB Inactive: 112856 kB HighTotal: 131008 kB HighFree: 69468 kB LowTotal: 903652 kB LowFree: 800564 kB SwapTotal: 2097136 kB SwapFree: 2096040 kB Dirty: 328 kB Writeback: 0 kB Mapped: 5692 kB Slab: 15196 kB Committed_AS: 63732 kB PageTables: 320 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 18:41:56 (client local time) WITH STATUS 0 IN 1200.47 SECONDS stats: 19021 7 1200.47 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (runsolver) R 27773 25568 25567 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774138276 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0005 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 1158 0 0 0 994 4 0 0 25 0 1 0 774138276 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3919 1082 1111 63 0 3856 0 vsize: 15676 [startup+20.0005 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 1404 0 0 0 1993 4 0 0 25 0 1 0 774138276 17178624 1328 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4194 1328 1111 63 0 4131 0 vsize: 16776 [startup+30.0006 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 1655 0 0 0 2993 5 0 0 25 0 1 0 774138276 18178048 1579 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4438 1579 1111 63 0 4375 0 vsize: 17752 [startup+40.0008 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 1903 0 0 0 3993 5 0 0 25 0 1 0 774138276 19165184 1827 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4679 1827 1111 63 0 4616 0 vsize: 18716 [startup+50.0015 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 2150 0 0 0 4993 6 0 0 25 0 1 0 774138276 20152320 2074 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4920 2074 1111 63 0 4857 0 vsize: 19680 [startup+60.0011 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 2403 0 0 0 5993 6 0 0 25 0 1 0 774138276 21274624 2327 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5194 2327 1111 63 0 5131 0 vsize: 20776 [startup+70.0012 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 2651 0 0 0 6992 7 0 0 25 0 1 0 774138276 22261760 2575 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5435 2575 1111 63 0 5372 0 vsize: 21740 [startup+80.0017 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 2899 0 0 0 7992 8 0 0 25 0 1 0 774138276 23240704 2823 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5674 2823 1111 63 0 5611 0 vsize: 22696 [startup+90.0015 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 3153 0 0 0 8992 8 0 0 25 0 1 0 774138276 24227840 3077 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5915 3077 1111 63 0 5852 0 vsize: 23660 [startup+100.002 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 3401 0 0 0 9992 8 0 0 25 0 1 0 774138276 25354240 3325 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6190 3325 1111 63 0 6127 0 vsize: 24760 [startup+110.002 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 3655 0 0 0 10992 9 0 0 25 0 1 0 774138276 26341376 3579 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6431 3579 1111 63 0 6368 0 vsize: 25724 [startup+120.003 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 3911 0 0 0 11992 9 0 0 25 0 1 0 774138276 27348992 3835 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6677 3835 1111 63 0 6614 0 vsize: 26708 [startup+130.003 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 4165 0 0 0 12992 10 0 0 25 0 1 0 774138276 28475392 4089 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6952 4089 1111 63 0 6889 0 vsize: 27808 [startup+140.004 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 4421 0 0 0 13992 10 0 0 25 0 1 0 774138276 29462528 4345 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7193 4345 1111 63 0 7130 0 vsize: 28772 [startup+150.003 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 4669 0 0 0 14991 11 0 0 25 0 1 0 774138276 30441472 4593 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7432 4593 1111 63 0 7369 0 vsize: 29728 [startup+160.004 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 4929 0 0 0 15991 11 0 0 25 0 1 0 774138276 31567872 4853 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7707 4853 1111 63 0 7644 0 vsize: 30828 [startup+170.004 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 5179 0 0 0 16991 12 0 0 25 0 1 0 774138276 32555008 5103 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7948 5103 1111 63 0 7885 0 vsize: 31792 [startup+180.004 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 5440 0 0 0 17990 13 0 0 25 0 1 0 774138276 33681408 5364 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8223 5364 1111 63 0 8160 0 vsize: 32892 [startup+190.004 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 5695 0 0 0 18990 13 0 0 25 0 1 0 774138276 34668544 5619 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8464 5619 1111 63 0 8401 0 vsize: 33856 [startup+200.004 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 5950 0 0 0 19990 14 0 0 25 0 1 0 774138276 35794944 5874 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8739 5874 1111 63 0 8676 0 vsize: 34956 [startup+210.004 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 6205 0 0 0 20989 15 0 0 25 0 1 0 774138276 36782080 6129 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8980 6129 1111 63 0 8917 0 vsize: 35920 [startup+220.004 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 6470 0 0 0 21989 15 0 0 25 0 1 0 774138276 37920768 6394 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9258 6394 1111 63 0 9195 0 vsize: 37032 [startup+230.005 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 6730 0 0 0 22989 16 0 0 25 0 1 0 774138276 39043072 6654 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9532 6654 1111 63 0 9469 0 vsize: 38128 [startup+240.005 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 6991 0 0 0 23990 16 0 0 25 0 1 0 774138276 40030208 6915 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9773 6915 1111 63 0 9710 0 vsize: 39092 [startup+250.005 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 7247 0 0 0 24990 16 0 0 25 0 1 0 774138276 41156608 7171 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10048 7171 1111 63 0 9985 0 vsize: 40192 [startup+260.005 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 7503 0 0 0 25989 17 0 0 25 0 1 0 774138276 42143744 7427 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10289 7427 1111 63 0 10226 0 vsize: 41156 [startup+270.005 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 7765 0 0 0 26989 17 0 0 25 0 1 0 774138276 43270144 7689 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10564 7689 1111 63 0 10501 0 vsize: 42256 [startup+280.005 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 8028 0 0 0 27989 17 0 0 25 0 1 0 774138276 44257280 7952 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10805 7952 1111 63 0 10742 0 vsize: 43220 [startup+290.006 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 8289 0 0 0 28989 18 0 0 25 0 1 0 774138276 45383680 8213 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11080 8213 1111 63 0 11017 0 vsize: 44320 [startup+300.006 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 8551 0 0 0 29989 18 0 0 25 0 1 0 774138276 46370816 8475 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11321 8475 1111 63 0 11258 0 vsize: 45284 [startup+310.006 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 8814 0 0 0 30989 19 0 0 25 0 1 0 774138276 47489024 8738 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11594 8738 1111 63 0 11531 0 vsize: 46376 [startup+320.006 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 9074 0 0 0 31989 19 0 0 25 0 1 0 774138276 48615424 8998 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11869 8998 1111 63 0 11806 0 vsize: 47476 [startup+330.006 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 9336 0 0 0 32988 20 0 0 25 0 1 0 774138276 49602560 9260 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12110 9260 1111 63 0 12047 0 vsize: 48440 [startup+340.006 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 9599 0 0 0 33988 20 0 0 25 0 1 0 774138276 50733056 9523 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12386 9523 1111 63 0 12323 0 vsize: 49544 [startup+350.007 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 9861 0 0 0 34988 21 0 0 25 0 1 0 774138276 51716096 9785 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12626 9785 1111 63 0 12563 0 vsize: 50504 [startup+360.007 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 10130 0 0 0 35988 22 0 0 25 0 1 0 774138276 52842496 10054 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12901 10054 1111 63 0 12838 0 vsize: 51604 [startup+370.008 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 10392 0 0 0 36988 22 0 0 25 0 1 0 774138276 53968896 10316 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13176 10316 1111 63 0 13113 0 vsize: 52704 [startup+380.008 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 10661 0 0 0 37987 23 0 0 25 0 1 0 774138276 55095296 10585 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13451 10585 1111 63 0 13388 0 vsize: 53804 [startup+390.008 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 10924 0 0 0 38987 23 0 0 25 0 1 0 774138276 56086528 10848 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13693 10848 1111 63 0 13630 0 vsize: 54772 [startup+400.008 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 11192 0 0 0 39987 24 0 0 25 0 1 0 774138276 57212928 11116 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13968 11116 1111 63 0 13905 0 vsize: 55872 [startup+410.009 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 11460 0 0 0 40987 25 0 0 25 0 1 0 774138276 58331136 11384 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14241 11384 1111 63 0 14178 0 vsize: 56964 [startup+420.008 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 11720 0 0 0 41986 25 0 0 25 0 1 0 774138276 59318272 11644 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14482 11644 1111 63 0 14419 0 vsize: 57928 [startup+430.008 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 12012 0 0 0 42985 26 0 0 25 0 1 0 774138276 60674048 11936 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14813 11936 1111 63 0 14750 0 vsize: 59252 [startup+440.009 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 12275 0 0 0 43985 27 0 0 25 0 1 0 774138276 61792256 12199 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15086 12199 1111 63 0 15023 0 vsize: 60344 [startup+450.009 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 12544 0 0 0 44986 27 0 0 25 0 1 0 774138276 62918656 12468 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15361 12468 1111 63 0 15298 0 vsize: 61444 [startup+460.009 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 12813 0 0 0 45986 27 0 0 25 0 1 0 774138276 63905792 12737 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15602 12737 1111 63 0 15539 0 vsize: 62408 [startup+470.01 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 13088 0 0 0 46986 28 0 0 25 0 1 0 774138276 65032192 13012 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15877 13012 1111 63 0 15814 0 vsize: 63508 [startup+480.01 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 13358 0 0 0 47985 28 0 0 25 0 1 0 774138276 66158592 13282 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16152 13282 1111 63 0 16089 0 vsize: 64608 [startup+490.01 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 13627 0 0 0 48985 29 0 0 25 0 1 0 774138276 67284992 13551 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16427 13551 1111 63 0 16364 0 vsize: 65708 [startup+500.011 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 13902 0 0 0 49985 29 0 0 25 0 1 0 774138276 68411392 13826 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16702 13826 1111 63 0 16639 0 vsize: 66808 [startup+510.011 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 14172 0 0 0 50985 30 0 0 25 0 1 0 774138276 69537792 14096 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16977 14096 1111 63 0 16914 0 vsize: 67908 [startup+520.011 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 14448 0 0 0 51985 30 0 0 25 0 1 0 774138276 70664192 14372 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17252 14372 1111 63 0 17189 0 vsize: 69008 [startup+530.012 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 14716 0 0 0 52985 30 0 0 25 0 1 0 774138276 71794688 14640 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17528 14640 1111 63 0 17465 0 vsize: 70112 [startup+540.012 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 14991 0 0 0 53985 31 0 0 25 0 1 0 774138276 72912896 14915 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17801 14915 1111 63 0 17738 0 vsize: 71204 [startup+550.012 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 15267 0 0 0 54985 31 0 0 25 0 1 0 774138276 74039296 15191 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18076 15191 1111 63 0 18013 0 vsize: 72304 [startup+560.013 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 15543 0 0 0 55985 32 0 0 25 0 1 0 774138276 75165696 15467 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18351 15467 1111 63 0 18288 0 vsize: 73404 [startup+570.014 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 15818 0 0 0 56985 32 0 0 25 0 1 0 774138276 76292096 15742 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18626 15742 1111 63 0 18563 0 vsize: 74504 [startup+580.014 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 16094 0 0 0 57985 33 0 0 25 0 1 0 774138276 77418496 16018 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18901 16018 1111 63 0 18838 0 vsize: 75604 [startup+590.014 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 16370 0 0 0 58984 33 0 0 25 0 1 0 774138276 78548992 16294 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19177 16294 1111 63 0 19114 0 vsize: 76708 [startup+600.014 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 16653 0 0 0 59984 34 0 0 25 0 1 0 774138276 79675392 16577 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19452 16577 1111 63 0 19389 0 vsize: 77808 [startup+610.014 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 16929 0 0 0 60984 34 0 0 25 0 1 0 774138276 80801792 16853 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19727 16853 1111 63 0 19664 0 vsize: 78908 [startup+620.015 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 17211 0 0 0 61984 35 0 0 25 0 1 0 774138276 81928192 17135 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20002 17135 1111 63 0 19939 0 vsize: 80008 [startup+630.014 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 17488 0 0 0 62983 36 0 0 25 0 1 0 774138276 83054592 17412 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20277 17412 1111 63 0 20214 0 vsize: 81108 [startup+640.014 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 17770 0 0 0 63983 36 0 0 25 0 1 0 774138276 84180992 17694 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20552 17694 1111 63 0 20489 0 vsize: 82208 [startup+650.015 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 18053 0 0 0 64983 37 0 0 25 0 1 0 774138276 85307392 17977 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20827 17977 1111 63 0 20764 0 vsize: 83308 [startup+660.015 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 18336 0 0 0 65983 37 0 0 25 0 1 0 774138276 86577152 18260 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21137 18260 1111 63 0 21074 0 vsize: 84548 [startup+670.015 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 18618 0 0 0 66983 38 0 0 25 0 1 0 774138276 87703552 18542 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21412 18542 1111 63 0 21349 0 vsize: 85648 [startup+680.015 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 18902 0 0 0 67983 38 0 0 25 0 1 0 774138276 88829952 18826 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21687 18826 1111 63 0 21624 0 vsize: 86748 [startup+690.015 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 19184 0 0 0 68983 38 0 0 25 0 1 0 774138276 89956352 19108 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21962 19108 1111 63 0 21899 0 vsize: 87848 [startup+700.015 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 19467 0 0 0 69983 39 0 0 25 0 1 0 774138276 91082752 19391 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22237 19391 1111 63 0 22174 0 vsize: 88948 [startup+710.016 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 19750 0 0 0 70983 39 0 0 25 0 1 0 774138276 92348416 19674 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22546 19674 1111 63 0 22483 0 vsize: 90184 [startup+720.016 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 20039 0 0 0 71983 39 0 0 25 0 1 0 774138276 93474816 19963 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22821 19963 1111 63 0 22758 0 vsize: 91284 [startup+730.016 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 20329 0 0 0 72983 40 0 0 25 0 1 0 774138276 94601216 20253 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23096 20253 1111 63 0 23033 0 vsize: 92384 [startup+740.016 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 20611 0 0 0 73982 41 0 0 25 0 1 0 774138276 95870976 20535 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23406 20535 1111 63 0 23343 0 vsize: 93624 [startup+750.017 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 20901 0 0 0 74982 42 0 0 25 0 1 0 774138276 96997376 20825 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23681 20825 1111 63 0 23618 0 vsize: 94724 [startup+760.017 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 21190 0 0 0 75981 43 0 0 25 0 1 0 774138276 98119680 21114 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23955 21114 1111 63 0 23892 0 vsize: 95820 [startup+770.018 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 21479 0 0 0 76981 43 0 0 25 0 1 0 774138276 99385344 21403 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24264 21403 1111 63 0 24201 0 vsize: 97056 [startup+780.019 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 21770 0 0 0 77981 44 0 0 25 0 1 0 774138276 100511744 21694 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24539 21694 1111 63 0 24476 0 vsize: 98156 [startup+790.019 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 22057 0 0 0 78981 44 0 0 25 0 1 0 774138276 101777408 21981 4294967295 134512640 134714508 3221224592 3221222924 1077399562 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24848 21981 1111 63 0 24785 0 vsize: 99392 [startup+800.019 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 22347 0 0 0 79980 45 0 0 25 0 1 0 774138276 102903808 22271 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25123 22271 1111 63 0 25060 0 vsize: 100492 [startup+810.019 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 22643 0 0 0 80980 46 0 0 25 0 1 0 774138276 104169472 22567 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25432 22567 1111 63 0 25369 0 vsize: 101728 [startup+820.019 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 22932 0 0 0 81980 46 0 0 25 0 1 0 774138276 105295872 22856 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25707 22856 1111 63 0 25644 0 vsize: 102828 [startup+830.02 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 23254 0 0 0 82979 47 0 0 25 0 1 0 774138276 106926080 23178 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26105 23178 1111 63 0 26042 0 vsize: 104420 [startup+840.02 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 23550 0 0 0 83979 48 0 0 25 0 1 0 774138276 108052480 23474 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26380 23474 1111 63 0 26317 0 vsize: 105520 [startup+850.021 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 23847 0 0 0 84979 48 0 0 25 0 1 0 774138276 109318144 23771 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26689 23771 1111 63 0 26626 0 vsize: 106756 [startup+860.021 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 24137 0 0 0 85978 49 0 0 25 0 1 0 774138276 110444544 24061 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 26964 24061 1111 63 0 26901 0 vsize: 107856 [startup+870.021 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 24440 0 0 0 86979 49 0 0 25 0 1 0 774138276 111710208 24364 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27273 24364 1111 63 0 27210 0 vsize: 109092 [startup+880.021 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 24730 0 0 0 87978 50 0 0 25 0 1 0 774138276 112840704 24654 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27549 24654 1111 63 0 27486 0 vsize: 110196 [startup+890.022 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 25032 0 0 0 88978 51 0 0 25 0 1 0 774138276 114106368 24956 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27858 24956 1111 63 0 27795 0 vsize: 111432 [startup+900.022 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 25325 0 0 0 89978 51 0 0 25 0 1 0 774138276 115372032 25249 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28167 25249 1111 63 0 28104 0 vsize: 112668 [startup+910.022 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 25627 0 0 0 90978 52 0 0 25 0 1 0 774138276 116498432 25551 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28442 25551 1111 63 0 28379 0 vsize: 113768 [startup+920.026 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 25931 0 0 0 91978 52 0 0 25 0 1 0 774138276 117768192 25855 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 28752 25855 1111 63 0 28689 0 vsize: 115008 [startup+930.026 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 26227 0 0 0 92978 53 0 0 25 0 1 0 774138276 119037952 26151 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29062 26151 1111 63 0 28999 0 vsize: 116248 [startup+940.026 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 26531 0 0 0 93978 53 0 0 25 0 1 0 774138276 120307712 26455 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29372 26455 1111 63 0 29309 0 vsize: 117488 [startup+950.027 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 26827 0 0 0 94978 53 0 0 25 0 1 0 774138276 121434112 26751 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29647 26751 1111 63 0 29584 0 vsize: 118588 [startup+960.027 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 27131 0 0 0 95977 54 0 0 25 0 1 0 774138276 122699776 27055 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 29956 27055 1111 63 0 29893 0 vsize: 119824 [startup+970.027 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 27434 0 0 0 96977 55 0 0 25 0 1 0 774138276 123969536 27358 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30266 27358 1111 63 0 30203 0 vsize: 121064 [startup+980.028 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 27737 0 0 0 97977 55 0 0 25 0 1 0 774138276 125235200 27661 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30575 27661 1111 63 0 30512 0 vsize: 122300 [startup+990.029 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 28041 0 0 0 98977 55 0 0 25 0 1 0 774138276 126361600 27965 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30850 27965 1111 63 0 30787 0 vsize: 123400 [startup+1000.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 28350 0 0 0 99977 56 0 0 25 0 1 0 774138276 127627264 28274 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31159 28274 1111 63 0 31096 0 vsize: 124636 [startup+1010.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 28655 0 0 0 100976 57 0 0 25 0 1 0 774138276 128892928 28579 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31468 28579 1111 63 0 31405 0 vsize: 125872 [startup+1020.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 28963 0 0 0 101976 58 0 0 25 0 1 0 774138276 130162688 28887 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31778 28887 1111 63 0 31715 0 vsize: 127112 [startup+1030.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 29269 0 0 0 102975 59 0 0 25 0 1 0 774138276 131428352 29193 4294967295 134512640 134714508 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32087 29193 1111 63 0 32024 0 vsize: 128348 [startup+1040.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 29578 0 0 0 103975 60 0 0 25 0 1 0 774138276 132694016 29502 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32396 29502 1111 63 0 32333 0 vsize: 129584 [startup+1050.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 29887 0 0 0 104975 60 0 0 25 0 1 0 774138276 133959680 29811 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 32705 29811 1111 63 0 32642 0 vsize: 130820 [startup+1060.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 30197 0 0 0 105975 60 0 0 25 0 1 0 774138276 135229440 30121 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33015 30121 1111 63 0 32952 0 vsize: 132060 [startup+1070.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 30507 0 0 0 106974 61 0 0 25 0 1 0 774138276 136495104 30431 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33324 30431 1111 63 0 33261 0 vsize: 133296 [startup+1080.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 30824 0 0 0 107974 62 0 0 25 0 1 0 774138276 137764864 30748 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33634 30748 1111 63 0 33571 0 vsize: 134536 [startup+1090.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 31127 0 0 0 108974 62 0 0 25 0 1 0 774138276 139030528 31051 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33943 31051 1111 63 0 33880 0 vsize: 135772 [startup+1100.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 31445 0 0 0 109974 62 0 0 25 0 1 0 774138276 140296192 31369 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34252 31369 1111 63 0 34189 0 vsize: 137008 [startup+1110.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 31761 0 0 0 110974 63 0 0 25 0 1 0 774138276 141561856 31685 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34561 31685 1111 63 0 34498 0 vsize: 138244 [startup+1120.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 32073 0 0 0 111974 63 0 0 25 0 1 0 774138276 142831616 31997 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 34871 31997 1111 63 0 34808 0 vsize: 139484 [startup+1130.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 32390 0 0 0 112974 64 0 0 25 0 1 0 774138276 144244736 32314 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35216 32314 1111 63 0 35153 0 vsize: 140864 [startup+1140.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 32707 0 0 0 113974 64 0 0 25 0 1 0 774138276 145510400 32631 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35525 32631 1111 63 0 35462 0 vsize: 142100 [startup+1150.03 s] Raw data (loadavg): 0.99 0.99 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 33031 0 0 0 114974 65 0 0 25 0 1 0 774138276 146776064 32955 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35834 32955 1111 63 0 35771 0 vsize: 143336 [startup+1160.03 s] Raw data (loadavg): 1.06 1.00 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 33347 0 0 0 115973 65 0 0 25 0 1 0 774138276 148041728 33271 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36143 33271 1111 63 0 36080 0 vsize: 144572 [startup+1170.04 s] Raw data (loadavg): 1.05 1.00 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 33665 0 0 0 116973 66 0 0 25 0 1 0 774138276 149450752 33589 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36487 33589 1111 63 0 36424 0 vsize: 145948 [startup+1180.04 s] Raw data (loadavg): 1.04 1.00 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 33982 0 0 0 117973 67 0 0 25 0 1 0 774138276 150716416 33906 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 36796 33906 1111 63 0 36733 0 vsize: 147184 [startup+1190.04 s] Raw data (loadavg): 1.04 1.00 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 34306 0 0 0 118972 68 0 0 25 0 1 0 774138276 151986176 34230 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37106 34230 1111 63 0 37043 0 vsize: 148424 [startup+1200.04 s] Raw data (loadavg): 1.03 1.00 1.00 2/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) R 27773 25568 25567 0 -1 0 34629 0 0 0 119972 68 0 0 25 0 1 0 774138276 153391104 34553 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 37449 34553 1111 63 0 37386 0 vsize: 149796 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 1.03 1.00 1.00 1/54 27774 Raw data (stat): 27774 (bsolo_lpr_cuts) Z 27773 25568 25567 0 -1 1036 34629 0 0 0 119972 74 0 0 25 0 1 0 774138276 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.1 CPU time (s): 1200.47 CPU user time (s): 1199.73 CPU system time (s): 0.747886 CPU usage (%): 100.031 Max. virtual memory (Kb): 149796 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####