Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_41_pb.cnf.cr.opb |
MD5SUM | 3c9e81ddaaf37dd621fe2bc839a3f27f |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
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 | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 42 |
Number of bits of the biggest sum of numbers | 6 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.098984 |
Number of variables | 3280 |
Total number of constraints | 162 |
Number of constraints which are clauses | 82 |
Number of constraints which are cardinality constraints (but not clauses) | 80 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 40 |
Maximum length of a constraint | 41 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-07 07:51:22 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27459 boxname=wulflinc3 idbench=17 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 3c9e81ddaaf37dd621fe2bc839a3f27f /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl40_41_pb.cnf.cr.opb IDLAUNCH: 27459 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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: 280120 kB Buffers: 33940 kB Cached: 697228 kB SwapCached: 240 kB Active: 63544 kB Inactive: 670140 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 279868 kB SwapTotal: 2097136 kB SwapFree: 2096352 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6220 kB Slab: 15216 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 08:10:57 (client local time) WITH STATUS 0 IN 1175.02 SECONDS stats: 27459 7 1175.02 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c INFO: No cost function. Find solution and finish. c Initial problem consists of 3280 variables and 162 constraints. c After prepocess the problem consists of 3280 variables and 162 constraints. c preprocess terminated 1.243 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175 s #### 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 1.14 1.00 0.88 2/54 8424 Raw data (stat): 8424 (runsolver) R 8423 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891323157 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0016 s] Raw data (loadavg): 1.11 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1432 0 0 0 992 5 0 0 25 0 1 0 891323157 8986624 1350 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2194 1350 1111 63 0 2131 0 vsize: 8776 [startup+20.0018 s] Raw data (loadavg): 1.10 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1491 0 0 0 1988 8 0 0 25 0 1 0 891323157 9236480 1409 4294967295 134512640 134716908 3221224576 3221223196 134613768 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2255 1409 1111 63 0 2192 0 vsize: 9020 [startup+30.003 s] Raw data (loadavg): 1.08 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1525 0 0 0 2986 11 0 0 25 0 1 0 891323157 9498624 1443 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2319 1443 1111 63 0 2256 0 vsize: 9276 [startup+40.0028 s] Raw data (loadavg): 1.07 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1543 0 0 0 3985 12 0 0 25 0 1 0 891323157 9498624 1461 4294967295 134512640 134716908 3221224576 3221223312 134591870 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2319 1461 1111 63 0 2256 0 vsize: 9276 [startup+50.0023 s] Raw data (loadavg): 1.06 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1546 0 0 0 4983 14 0 0 25 0 1 0 891323157 9498624 1464 4294967295 134512640 134716908 3221224576 3221223204 134698624 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2319 1464 1111 63 0 2256 0 vsize: 9276 [startup+60.0025 s] Raw data (loadavg): 1.05 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1588 0 0 0 5982 16 0 0 25 0 1 0 891323157 9633792 1506 4294967295 134512640 134716908 3221224576 3221223300 134613716 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2352 1506 1111 63 0 2289 0 vsize: 9408 [startup+70.0037 s] Raw data (loadavg): 1.04 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1610 0 0 0 6981 17 0 0 25 0 1 0 891323157 9768960 1528 4294967295 134512640 134716908 3221224576 3221223292 134558476 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2385 1528 1111 63 0 2322 0 vsize: 9540 [startup+80.0039 s] Raw data (loadavg): 1.03 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1610 0 0 0 7979 19 0 0 25 0 1 0 891323157 9768960 1528 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2385 1528 1111 63 0 2322 0 vsize: 9540 [startup+90.0041 s] Raw data (loadavg): 1.03 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1613 0 0 0 8978 21 0 0 25 0 1 0 891323157 9768960 1531 4294967295 134512640 134716908 3221224576 3221223312 134524376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2385 1531 1111 63 0 2322 0 vsize: 9540 [startup+100.004 s] Raw data (loadavg): 1.02 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1636 0 0 0 9976 22 0 0 25 0 1 0 891323157 9895936 1554 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2416 1554 1111 63 0 2353 0 vsize: 9664 [startup+110.004 s] Raw data (loadavg): 1.02 1.00 0.89 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1641 0 0 0 10975 24 0 0 25 0 1 0 891323157 9895936 1559 4294967295 134512640 134716908 3221224576 3221223344 134592113 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2416 1559 1111 63 0 2353 0 vsize: 9664 [startup+120.005 s] Raw data (loadavg): 1.02 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1655 0 0 0 11973 26 0 0 25 0 1 0 891323157 10022912 1573 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2447 1573 1111 63 0 2384 0 vsize: 9788 [startup+130.006 s] Raw data (loadavg): 1.01 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1669 0 0 0 12972 28 0 0 25 0 1 0 891323157 10022912 1587 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2447 1587 1111 63 0 2384 0 vsize: 9788 [startup+140.006 s] Raw data (loadavg): 1.01 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1690 0 0 0 13970 30 0 0 25 0 1 0 891323157 10145792 1608 4294967295 134512640 134716908 3221224576 3221223152 134549467 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2477 1608 1111 63 0 2414 0 vsize: 9908 [startup+150.006 s] Raw data (loadavg): 1.01 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1692 0 0 0 14968 31 0 0 25 0 1 0 891323157 10145792 1610 4294967295 134512640 134716908 3221224576 3221223152 134549480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2477 1610 1111 63 0 2414 0 vsize: 9908 [startup+160.007 s] Raw data (loadavg): 1.01 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1707 0 0 0 15966 34 0 0 25 0 1 0 891323157 10145792 1625 4294967295 134512640 134716908 3221224576 3221223184 134549488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2477 1625 1111 63 0 2414 0 vsize: 9908 [startup+170.007 s] Raw data (loadavg): 1.00 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1733 0 0 0 16965 35 0 0 25 0 1 0 891323157 10268672 1651 4294967295 134512640 134716908 3221224576 3221223344 134592140 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2507 1651 1111 63 0 2444 0 vsize: 10028 [startup+180.007 s] Raw data (loadavg): 1.00 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1739 0 0 0 17963 37 0 0 25 0 1 0 891323157 10268672 1657 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2507 1657 1111 63 0 2444 0 vsize: 10028 [startup+190.008 s] Raw data (loadavg): 1.00 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1750 0 0 0 18962 39 0 0 25 0 1 0 891323157 10403840 1668 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2540 1668 1111 63 0 2477 0 vsize: 10160 [startup+200.007 s] Raw data (loadavg): 1.00 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1750 0 0 0 19960 40 0 0 25 0 1 0 891323157 10403840 1668 4294967295 134512640 134716908 3221224576 3221223368 134558593 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2540 1668 1111 63 0 2477 0 vsize: 10160 [startup+210.007 s] Raw data (loadavg): 1.00 1.00 0.90 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1750 0 0 0 20959 42 0 0 25 0 1 0 891323157 10403840 1668 4294967295 134512640 134716908 3221224576 3221223312 134535706 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2540 1668 1111 63 0 2477 0 vsize: 10160 [startup+220.008 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1763 0 0 0 21957 44 0 0 25 0 1 0 891323157 10403840 1681 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2540 1681 1111 63 0 2477 0 vsize: 10160 [startup+230.009 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1763 0 0 0 22956 46 0 0 25 0 1 0 891323157 10403840 1681 4294967295 134512640 134716908 3221224576 3221223288 134558490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2540 1681 1111 63 0 2477 0 vsize: 10160 [startup+240.009 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1763 0 0 0 23954 47 0 0 25 0 1 0 891323157 10403840 1681 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2540 1681 1111 63 0 2477 0 vsize: 10160 [startup+250.009 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1771 0 0 0 24954 48 0 0 25 0 1 0 891323157 10403840 1689 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2540 1689 1111 63 0 2477 0 vsize: 10160 [startup+260.009 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1804 0 0 0 25952 50 0 0 25 0 1 0 891323157 10526720 1722 4294967295 134512640 134716908 3221224576 3221223216 134698484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2570 1722 1111 63 0 2507 0 vsize: 10280 [startup+270.009 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1808 0 0 0 26950 52 0 0 25 0 1 0 891323157 10526720 1726 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2570 1726 1111 63 0 2507 0 vsize: 10280 [startup+280.01 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1842 0 0 0 27948 54 0 0 25 0 1 0 891323157 10797056 1760 4294967295 134512640 134716908 3221224576 3221222732 134613982 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2636 1760 1111 63 0 2573 0 vsize: 10544 [startup+290.011 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1842 0 0 0 28947 55 0 0 25 0 1 0 891323157 10752000 1760 4294967295 134512640 134716908 3221224576 3221222808 134613981 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1760 1111 63 0 2562 0 vsize: 10500 [startup+300.011 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1849 0 0 0 29946 57 0 0 25 0 1 0 891323157 10752000 1767 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1767 1111 63 0 2562 0 vsize: 10500 [startup+310.012 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1859 0 0 0 30945 58 0 0 25 0 1 0 891323157 10752000 1777 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2625 1777 1111 63 0 2562 0 vsize: 10500 [startup+320.012 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1867 0 0 0 31944 59 0 0 25 0 1 0 891323157 10887168 1785 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2658 1785 1111 63 0 2595 0 vsize: 10632 [startup+330.013 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1874 0 0 0 32942 61 0 0 25 0 1 0 891323157 10887168 1792 4294967295 134512640 134716908 3221224576 3221223144 1077377294 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2658 1792 1111 63 0 2595 0 vsize: 10632 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1874 0 0 0 33941 62 0 0 25 0 1 0 891323157 10887168 1792 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2658 1792 1111 63 0 2595 0 vsize: 10632 [startup+350.012 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1874 0 0 0 34940 63 0 0 25 0 1 0 891323157 10887168 1792 4294967295 134512640 134716908 3221224576 3221223316 134558500 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2658 1792 1111 63 0 2595 0 vsize: 10632 [startup+360.012 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1891 0 0 0 35939 64 0 0 25 0 1 0 891323157 10887168 1809 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2658 1809 1111 63 0 2595 0 vsize: 10632 [startup+370.012 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1891 0 0 0 36938 66 0 0 25 0 1 0 891323157 10887168 1809 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2658 1809 1111 63 0 2595 0 vsize: 10632 [startup+380.013 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1892 0 0 0 37937 67 0 0 25 0 1 0 891323157 10887168 1810 4294967295 134512640 134716908 3221224576 3221223216 134524198 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2658 1810 1111 63 0 2595 0 vsize: 10632 [startup+390.012 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1916 0 0 0 38936 68 0 0 25 0 1 0 891323157 11022336 1834 4294967295 134512640 134716908 3221224576 3221223300 134613716 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2691 1834 1111 63 0 2628 0 vsize: 10764 [startup+400.012 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1947 0 0 0 39935 70 0 0 25 0 1 0 891323157 11145216 1865 4294967295 134512640 134716908 3221224576 3221223328 134592373 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2721 1865 1111 63 0 2658 0 vsize: 10884 [startup+410.013 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1970 0 0 0 40934 71 0 0 25 0 1 0 891323157 11280384 1888 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2754 1888 1111 63 0 2691 0 vsize: 11016 [startup+420.013 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 1999 0 0 0 41932 73 0 0 25 0 1 0 891323157 11411456 1917 4294967295 134512640 134716908 3221224576 3221223248 1076999581 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2786 1917 1111 63 0 2723 0 vsize: 11144 [startup+430.014 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2013 0 0 0 42931 74 0 0 25 0 1 0 891323157 11411456 1931 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2786 1931 1111 63 0 2723 0 vsize: 11144 [startup+440.015 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2053 0 0 0 43930 75 0 0 25 0 1 0 891323157 11546624 1971 4294967295 134512640 134716908 3221224576 3221223248 134524436 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2819 1971 1111 63 0 2756 0 vsize: 11276 [startup+450.014 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2076 0 0 0 44928 77 0 0 25 0 1 0 891323157 11681792 1994 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2852 1994 1111 63 0 2789 0 vsize: 11408 [startup+460.014 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2085 0 0 0 45928 78 0 0 25 0 1 0 891323157 11681792 2003 4294967295 134512640 134716908 3221224576 3221223396 134590259 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2852 2003 1111 63 0 2789 0 vsize: 11408 [startup+470.015 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2092 0 0 0 46927 79 0 0 25 0 1 0 891323157 11792384 2010 4294967295 134512640 134716908 3221224576 3221223184 134543698 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2879 2010 1111 63 0 2816 0 vsize: 11516 [startup+480.016 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2115 0 0 0 47926 80 0 0 25 0 1 0 891323157 11792384 2033 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2879 2033 1111 63 0 2816 0 vsize: 11516 [startup+490.016 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2115 0 0 0 48924 82 0 0 25 0 1 0 891323157 11792384 2033 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2879 2033 1111 63 0 2816 0 vsize: 11516 [startup+500.016 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2121 0 0 0 49923 83 0 0 25 0 1 0 891323157 11927552 2039 4294967295 134512640 134716908 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2912 2039 1111 63 0 2849 0 vsize: 11648 [startup+510.016 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2130 0 0 0 50921 86 0 0 25 0 1 0 891323157 11919360 2048 4294967295 134512640 134716908 3221224576 3221223136 134698942 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2910 2048 1111 63 0 2847 0 vsize: 11640 [startup+520.017 s] Raw data (loadavg): 1.00 1.00 0.91 2/54 8424 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2137 0 0 0 51920 87 0 0 25 0 1 0 891323157 11919360 2055 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2910 2055 1111 63 0 2847 0 vsize: 11640 [startup+530.017 s] Raw data (loadavg): 1.30 1.07 0.93 2/54 8477 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2152 0 0 0 52917 89 0 0 25 0 1 0 891323157 12054528 2070 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2943 2070 1111 63 0 2880 0 vsize: 11772 [startup+540.018 s] Raw data (loadavg): 1.25 1.06 0.93 2/54 8477 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2168 0 0 0 53916 90 0 0 25 0 1 0 891323157 12054528 2086 4294967295 134512640 134716908 3221224576 3221223248 134655184 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2943 2086 1111 63 0 2880 0 vsize: 11772 [startup+550.018 s] Raw data (loadavg): 1.21 1.06 0.93 2/54 8477 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2183 0 0 0 54915 91 0 0 25 0 1 0 891323157 12185600 2101 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2975 2101 1111 63 0 2912 0 vsize: 11900 [startup+560.019 s] Raw data (loadavg): 1.18 1.06 0.93 2/54 8477 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2198 0 0 0 55914 93 0 0 25 0 1 0 891323157 12165120 2116 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2970 2116 1111 63 0 2907 0 vsize: 11880 [startup+570.019 s] Raw data (loadavg): 1.15 1.06 0.93 2/54 8477 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2203 0 0 0 56913 94 0 0 25 0 1 0 891323157 12165120 2121 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2970 2121 1111 63 0 2907 0 vsize: 11880 [startup+580.019 s] Raw data (loadavg): 1.13 1.05 0.93 2/54 8477 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2209 0 0 0 57912 95 0 0 25 0 1 0 891323157 12283904 2127 4294967295 134512640 134716908 3221224576 3221223296 134535793 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2999 2127 1111 63 0 2936 0 vsize: 11996 [startup+590.02 s] Raw data (loadavg): 1.11 1.05 0.93 2/54 8477 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2220 0 0 0 58911 96 0 0 25 0 1 0 891323157 12283904 2138 4294967295 134512640 134716908 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2999 2138 1111 63 0 2936 0 vsize: 11996 [startup+600.02 s] Raw data (loadavg): 1.09 1.05 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2233 0 0 0 59910 97 0 0 25 0 1 0 891323157 12283904 2151 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2999 2151 1111 63 0 2936 0 vsize: 11996 [startup+610.021 s] Raw data (loadavg): 1.08 1.05 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2237 0 0 0 60909 98 0 0 25 0 1 0 891323157 12283904 2155 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 2999 2155 1111 63 0 2936 0 vsize: 11996 [startup+620.022 s] Raw data (loadavg): 1.06 1.05 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2243 0 0 0 61908 100 0 0 25 0 1 0 891323157 12414976 2161 4294967295 134512640 134716908 3221224576 3221223300 134535789 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3031 2161 1111 63 0 2968 0 vsize: 12124 [startup+630.023 s] Raw data (loadavg): 1.05 1.04 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2251 0 0 0 62907 101 0 0 25 0 1 0 891323157 12414976 2169 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3031 2169 1111 63 0 2968 0 vsize: 12124 [startup+640.023 s] Raw data (loadavg): 1.05 1.04 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2281 0 0 0 63905 103 0 0 25 0 1 0 891323157 12550144 2199 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3064 2199 1111 63 0 3001 0 vsize: 12256 [startup+650.022 s] Raw data (loadavg): 1.04 1.04 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2288 0 0 0 64904 104 0 0 25 0 1 0 891323157 12550144 2206 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3064 2206 1111 63 0 3001 0 vsize: 12256 [startup+660.023 s] Raw data (loadavg): 1.03 1.04 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2310 0 0 0 65903 105 0 0 25 0 1 0 891323157 12685312 2228 4294967295 134512640 134716908 3221224576 3221223352 134529371 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3097 2228 1111 63 0 3034 0 vsize: 12388 [startup+670.023 s] Raw data (loadavg): 1.03 1.04 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2326 0 0 0 66902 107 0 0 25 0 1 0 891323157 12685312 2244 4294967295 134512640 134716908 3221224576 3221223124 134698782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3097 2244 1111 63 0 3034 0 vsize: 12388 [startup+680.025 s] Raw data (loadavg): 1.02 1.03 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2348 0 0 0 67901 108 0 0 25 0 1 0 891323157 12820480 2266 4294967295 134512640 134716908 3221224576 3221223104 1076999584 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3130 2266 1111 63 0 3067 0 vsize: 12520 [startup+690.025 s] Raw data (loadavg): 1.02 1.03 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2348 0 0 0 68900 110 0 0 25 0 1 0 891323157 12820480 2266 4294967295 134512640 134716908 3221224576 3221223216 134524203 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3130 2266 1111 63 0 3067 0 vsize: 12520 [startup+700.025 s] Raw data (loadavg): 1.02 1.03 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2355 0 0 0 69899 111 0 0 25 0 1 0 891323157 12820480 2273 4294967295 134512640 134716908 3221224576 3221223384 134558582 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3130 2273 1111 63 0 3067 0 vsize: 12520 [startup+710.025 s] Raw data (loadavg): 1.01 1.03 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2365 0 0 0 70897 113 0 0 25 0 1 0 891323157 12820480 2283 4294967295 134512640 134716908 3221224576 3221223216 134698456 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3130 2283 1111 63 0 3067 0 vsize: 12520 [startup+720.026 s] Raw data (loadavg): 1.01 1.03 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2377 0 0 0 71896 114 0 0 25 0 1 0 891323157 12951552 2295 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3162 2295 1111 63 0 3099 0 vsize: 12648 [startup+730.027 s] Raw data (loadavg): 1.01 1.03 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2377 0 0 0 72895 115 0 0 25 0 1 0 891323157 12951552 2295 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3162 2295 1111 63 0 3099 0 vsize: 12648 [startup+740.028 s] Raw data (loadavg): 1.01 1.03 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2377 0 0 0 73894 116 0 0 25 0 1 0 891323157 12951552 2295 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3162 2295 1111 63 0 3099 0 vsize: 12648 [startup+750.028 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2400 0 0 0 74892 118 0 0 25 0 1 0 891323157 12951552 2318 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3162 2318 1111 63 0 3099 0 vsize: 12648 [startup+760.029 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2400 0 0 0 75891 120 0 0 25 0 1 0 891323157 12951552 2318 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3162 2318 1111 63 0 3099 0 vsize: 12648 [startup+770.028 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2400 0 0 0 76890 121 0 0 25 0 1 0 891323157 12951552 2318 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3162 2318 1111 63 0 3099 0 vsize: 12648 [startup+780.029 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2410 0 0 0 77888 123 0 0 25 0 1 0 891323157 13082624 2328 4294967295 134512640 134716908 3221224576 3221223304 134558785 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3194 2328 1111 63 0 3131 0 vsize: 12776 [startup+790.03 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2419 0 0 0 78887 124 0 0 25 0 1 0 891323157 13082624 2337 4294967295 134512640 134716908 3221224576 3221223232 134536707 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3194 2337 1111 63 0 3131 0 vsize: 12776 [startup+800.03 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2427 0 0 0 79886 125 0 0 25 0 1 0 891323157 13082624 2345 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3194 2345 1111 63 0 3131 0 vsize: 12776 [startup+810.031 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2436 0 0 0 80885 127 0 0 25 0 1 0 891323157 13217792 2354 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2354 1111 63 0 3164 0 vsize: 12908 [startup+820.032 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2436 0 0 0 81883 129 0 0 25 0 1 0 891323157 13217792 2354 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2354 1111 63 0 3164 0 vsize: 12908 [startup+830.032 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2436 0 0 0 82881 131 0 0 25 0 1 0 891323157 13217792 2354 4294967295 134512640 134716908 3221224576 3221223372 134554961 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2354 1111 63 0 3164 0 vsize: 12908 [startup+840.032 s] Raw data (loadavg): 1.00 1.02 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2443 0 0 0 83881 132 0 0 25 0 1 0 891323157 13217792 2361 4294967295 134512640 134716908 3221224576 3221223136 134535881 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2361 1111 63 0 3164 0 vsize: 12908 [startup+850.032 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2443 0 0 0 84879 133 0 0 25 0 1 0 891323157 13217792 2361 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2361 1111 63 0 3164 0 vsize: 12908 [startup+860.033 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8479 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2451 0 0 0 85878 135 0 0 25 0 1 0 891323157 13217792 2369 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2369 1111 63 0 3164 0 vsize: 12908 [startup+870.033 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2453 0 0 0 86876 136 0 0 25 0 1 0 891323157 13217792 2371 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2371 1111 63 0 3164 0 vsize: 12908 [startup+880.034 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2453 0 0 0 87876 137 0 0 25 0 1 0 891323157 13217792 2371 4294967295 134512640 134716908 3221224576 3221223120 134698841 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2371 1111 63 0 3164 0 vsize: 12908 [startup+890.034 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2453 0 0 0 88875 138 0 0 25 0 1 0 891323157 13217792 2371 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2371 1111 63 0 3164 0 vsize: 12908 [startup+900.034 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2460 0 0 0 89874 140 0 0 25 0 1 0 891323157 13217792 2378 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2378 1111 63 0 3164 0 vsize: 12908 [startup+910.035 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2460 0 0 0 90874 140 0 0 25 0 1 0 891323157 13217792 2378 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3227 2378 1111 63 0 3164 0 vsize: 12908 [startup+920.036 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2483 0 0 0 91873 141 0 0 25 0 1 0 891323157 13352960 2401 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3260 2401 1111 63 0 3197 0 vsize: 13040 [startup+930.037 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2483 0 0 0 92871 143 0 0 25 0 1 0 891323157 13352960 2401 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3260 2401 1111 63 0 3197 0 vsize: 13040 [startup+940.038 s] Raw data (loadavg): 1.00 1.01 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2483 0 0 0 93870 144 0 0 25 0 1 0 891323157 13352960 2401 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3260 2401 1111 63 0 3197 0 vsize: 13040 [startup+950.037 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2486 0 0 0 94869 146 0 0 25 0 1 0 891323157 13352960 2404 4294967295 134512640 134716908 3221224576 3221223196 134613768 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3260 2404 1111 63 0 3197 0 vsize: 13040 [startup+960.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2535 0 0 0 95868 147 0 0 25 0 1 0 891323157 13619200 2453 4294967295 134512640 134716908 3221224576 3221222964 1077378722 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3325 2453 1111 63 0 3262 0 vsize: 13300 [startup+970.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2547 0 0 0 96867 148 0 0 25 0 1 0 891323157 13582336 2465 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3316 2465 1111 63 0 3253 0 vsize: 13264 [startup+980.039 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2547 0 0 0 97866 150 0 0 25 0 1 0 891323157 13582336 2465 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3316 2465 1111 63 0 3253 0 vsize: 13264 [startup+990.038 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2555 0 0 0 98865 151 0 0 25 0 1 0 891323157 13660160 2473 4294967295 134512640 134716908 3221224576 3221223200 134551963 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3335 2473 1111 63 0 3272 0 vsize: 13340 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 99864 152 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 100863 153 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223216 134698453 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 101861 154 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 102860 155 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 103858 158 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 104857 159 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 105856 161 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223324 134675317 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 106854 162 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 107853 164 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2576 0 0 0 108851 165 0 0 25 0 1 0 891323157 13795328 2494 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2494 1111 63 0 3305 0 vsize: 13472 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2589 0 0 0 109851 166 0 0 25 0 1 0 891323157 13795328 2507 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2507 1111 63 0 3305 0 vsize: 13472 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2589 0 0 0 110850 168 0 0 25 0 1 0 891323157 13795328 2507 4294967295 134512640 134716908 3221224576 3221223312 134535735 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2507 1111 63 0 3305 0 vsize: 13472 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2591 0 0 0 111848 170 0 0 25 0 1 0 891323157 13795328 2509 4294967295 134512640 134716908 3221224576 3221223252 134524430 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2509 1111 63 0 3305 0 vsize: 13472 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2602 0 0 0 112846 171 0 0 25 0 1 0 891323157 13795328 2520 4294967295 134512640 134716908 3221224576 3221223344 134592328 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3368 2520 1111 63 0 3305 0 vsize: 13472 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2609 0 0 0 113845 173 0 0 25 0 1 0 891323157 13930496 2527 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3401 2527 1111 63 0 3338 0 vsize: 13604 [startup+1150.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2629 0 0 0 114844 174 0 0 25 0 1 0 891323157 13930496 2547 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3401 2547 1111 63 0 3338 0 vsize: 13604 [startup+1160.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2629 0 0 0 115843 175 0 0 25 0 1 0 891323157 13930496 2547 4294967295 134512640 134716908 3221224576 3221223144 1077377501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3401 2547 1111 63 0 3338 0 vsize: 13604 [startup+1170.05 s] Raw data (loadavg): 1.00 1.00 0.93 2/54 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2645 0 0 0 116842 176 0 0 25 0 1 0 891323157 14065664 2563 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3434 2563 1111 63 0 3371 0 vsize: 13736 [startup+1174.87 s] Raw data (loadavg): 1.00 1.00 0.93 1/53 8481 Raw data (stat): 8424 (bsolo_lpr-v2) R 8423 20224 20223 0 -1 0 2645 0 0 0 116842 176 0 0 25 0 1 0 891323157 14065664 2563 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3434 2563 1111 63 0 3371 0 vsize: 0 Child status: 0 Real time (s): 1174.87 CPU time (s): 1175.02 CPU user time (s): 1173.24 CPU system time (s): 1.77873 CPU usage (%): 100.013 Max. virtual memory (Kb): 13736 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####