Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl40_45_pb.cnf.cr.opb |
MD5SUM | df5f31774bab40070962f7d0b16d093c |
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 | 46 |
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.107983 |
Number of variables | 3600 |
Total number of constraints | 170 |
Number of constraints which are clauses | 90 |
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 | 45 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc4 THE 2005-06-08 14:58:13 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28632 boxname=wulflinc4 idbench=18 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: df5f31774bab40070962f7d0b16d093c /oldhome/oroussel/tmp/wulflinc4/normalized-chnl40_45_pb.cnf.cr.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl40_45_pb.cnf.cr.opb IDLAUNCH: 28632 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.169 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.169 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: 880976 kB Buffers: 13160 kB Cached: 115528 kB SwapCached: 5204 kB Active: 25184 kB Inactive: 109796 kB HighTotal: 131008 kB HighFree: 80220 kB LowTotal: 903652 kB LowFree: 800756 kB SwapTotal: 2097136 kB SwapFree: 2090904 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4904 kB Slab: 13272 kB Committed_AS: 71784 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 15:17:48 (client local time) WITH STATUS 0 IN 1175.02 SECONDS stats: 28632 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 3600 variables and 170 constraints. c After prepocess the problem consists of 3600 variables and 170 constraints. c preprocess terminated 1.507 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): 0.96 0.97 0.91 2/54 1230 Raw data (stat): 1230 (runsolver) R 1229 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902524677 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.001 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1502 0 0 0 992 6 0 0 25 0 1 0 902524677 9310208 1420 4294967295 134512640 134716908 3221224560 3221223200 134698471 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2273 1420 1111 63 0 2210 0 vsize: 9092 [startup+20.0012 s] Raw data (loadavg): 0.97 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1516 0 0 0 1990 7 0 0 25 0 1 0 902524677 9396224 1434 4294967295 134512640 134716908 3221224560 3221223168 134549332 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2294 1434 1111 63 0 2231 0 vsize: 9176 [startup+30.002 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1540 0 0 0 2990 8 0 0 25 0 1 0 902524677 9531392 1458 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2327 1458 1111 63 0 2264 0 vsize: 9308 [startup+40.0015 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1555 0 0 0 3988 10 0 0 25 0 1 0 902524677 9531392 1473 4294967295 134512640 134716908 3221224560 3221223152 134542680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2327 1473 1111 63 0 2264 0 vsize: 9308 [startup+50.0021 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1566 0 0 0 4987 11 0 0 25 0 1 0 902524677 9666560 1484 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2360 1484 1111 63 0 2297 0 vsize: 9440 [startup+60.0026 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1574 0 0 0 5985 13 0 0 25 0 1 0 902524677 9666560 1492 4294967295 134512640 134716908 3221224560 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2360 1492 1111 63 0 2297 0 vsize: 9440 [startup+70.0031 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1574 0 0 0 6985 14 0 0 25 0 1 0 902524677 9666560 1492 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2360 1492 1111 63 0 2297 0 vsize: 9440 [startup+80.0044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1579 0 0 0 7983 15 0 0 25 0 1 0 902524677 9666560 1497 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2360 1497 1111 63 0 2297 0 vsize: 9440 [startup+90.0042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1584 0 0 0 8980 19 0 0 25 0 1 0 902524677 9666560 1502 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2360 1502 1111 63 0 2297 0 vsize: 9440 [startup+100.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1230 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1612 0 0 0 9978 21 0 0 25 0 1 0 902524677 9797632 1530 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2392 1530 1111 63 0 2329 0 vsize: 9568 [startup+110.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/55 1231 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1620 0 0 0 10977 23 0 0 25 0 1 0 902524677 9797632 1538 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2392 1538 1111 63 0 2329 0 vsize: 9568 [startup+120.008 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 1285 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1650 0 0 0 11974 24 0 0 25 0 1 0 902524677 9932800 1568 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2425 1568 1111 63 0 2362 0 vsize: 9700 [startup+130.009 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 1285 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1650 0 0 0 12973 26 0 0 25 0 1 0 902524677 9932800 1568 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2425 1568 1111 63 0 2362 0 vsize: 9700 [startup+140.008 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 1285 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1650 0 0 0 13972 27 0 0 25 0 1 0 902524677 9932800 1568 4294967295 134512640 134716908 3221224560 3221222956 1077379860 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2425 1568 1111 63 0 2362 0 vsize: 9700 [startup+150.008 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 1285 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1664 0 0 0 14970 29 0 0 25 0 1 0 902524677 10067968 1582 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2458 1582 1111 63 0 2395 0 vsize: 9832 [startup+160.009 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 1285 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1673 0 0 0 15969 31 0 0 25 0 1 0 902524677 10067968 1591 4294967295 134512640 134716908 3221224560 3221223200 134698727 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2458 1591 1111 63 0 2395 0 vsize: 9832 [startup+170.009 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 1285 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1691 0 0 0 16967 33 0 0 25 0 1 0 902524677 10067968 1609 4294967295 134512640 134716908 3221224560 3221223344 134584866 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2458 1609 1111 63 0 2395 0 vsize: 9832 [startup+180.01 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 1285 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1721 0 0 0 17965 35 0 0 25 0 1 0 902524677 10203136 1639 4294967295 134512640 134716908 3221224560 3221223280 134591862 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2491 1639 1111 63 0 2428 0 vsize: 9964 [startup+190.011 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1736 0 0 0 18963 37 0 0 25 0 1 0 902524677 10338304 1654 4294967295 134512640 134716908 3221224560 3221223292 134558784 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2524 1654 1111 63 0 2461 0 vsize: 10096 [startup+200.011 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1736 0 0 0 19961 39 0 0 25 0 1 0 902524677 10338304 1654 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2524 1654 1111 63 0 2461 0 vsize: 10096 [startup+210.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1748 0 0 0 20959 42 0 0 25 0 1 0 902524677 10338304 1666 4294967295 134512640 134716908 3221224560 3221223264 134528662 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2524 1666 1111 63 0 2461 0 vsize: 10096 [startup+220.013 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1767 0 0 0 21957 44 0 0 25 0 1 0 902524677 10473472 1685 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2557 1685 1111 63 0 2494 0 vsize: 10228 [startup+230.014 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1814 0 0 0 22956 45 0 0 25 0 1 0 902524677 10608640 1732 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2590 1732 1111 63 0 2527 0 vsize: 10360 [startup+240.015 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1833 0 0 0 23955 46 0 0 25 0 1 0 902524677 10743808 1751 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2623 1751 1111 63 0 2560 0 vsize: 10492 [startup+250.015 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1866 0 0 0 24954 48 0 0 25 0 1 0 902524677 10878976 1784 4294967295 134512640 134716908 3221224560 3221223328 134592376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2656 1784 1111 63 0 2593 0 vsize: 10624 [startup+260.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1900 0 0 0 25952 50 0 0 25 0 1 0 902524677 11010048 1818 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2688 1818 1111 63 0 2625 0 vsize: 10752 [startup+270.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1900 0 0 0 26950 52 0 0 25 0 1 0 902524677 11010048 1818 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2688 1818 1111 63 0 2625 0 vsize: 10752 [startup+280.016 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1900 0 0 0 27949 53 0 0 25 0 1 0 902524677 11010048 1818 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2688 1818 1111 63 0 2625 0 vsize: 10752 [startup+290.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1900 0 0 0 28948 54 0 0 25 0 1 0 902524677 11010048 1818 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2688 1818 1111 63 0 2625 0 vsize: 10752 [startup+300.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1908 0 0 0 29946 56 0 0 25 0 1 0 902524677 11010048 1826 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2688 1826 1111 63 0 2625 0 vsize: 10752 [startup+310.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1922 0 0 0 30945 58 0 0 25 0 1 0 902524677 11010048 1840 4294967295 134512640 134716908 3221224560 3221223248 134534089 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2688 1840 1111 63 0 2625 0 vsize: 10752 [startup+320.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1922 0 0 0 31944 59 0 0 25 0 1 0 902524677 11010048 1840 4294967295 134512640 134716908 3221224560 3221223312 134592368 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2688 1840 1111 63 0 2625 0 vsize: 10752 [startup+330.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1922 0 0 0 32943 61 0 0 25 0 1 0 902524677 11010048 1840 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2688 1840 1111 63 0 2625 0 vsize: 10752 [startup+340.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1934 0 0 0 33941 63 0 0 25 0 1 0 902524677 11145216 1852 4294967295 134512640 134716908 3221224560 3221223300 134558543 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2721 1852 1111 63 0 2658 0 vsize: 10884 [startup+350.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1934 0 0 0 34940 64 0 0 25 0 1 0 902524677 11145216 1852 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2721 1852 1111 63 0 2658 0 vsize: 10884 [startup+360.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1934 0 0 0 35938 66 0 0 25 0 1 0 902524677 11145216 1852 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2721 1852 1111 63 0 2658 0 vsize: 10884 [startup+370.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1935 0 0 0 36936 68 0 0 25 0 1 0 902524677 11145216 1853 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2721 1853 1111 63 0 2658 0 vsize: 10884 [startup+380.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1943 0 0 0 37935 69 0 0 25 0 1 0 902524677 11145216 1861 4294967295 134512640 134716908 3221224560 3221223288 134532441 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2721 1861 1111 63 0 2658 0 vsize: 10884 [startup+390.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1943 0 0 0 38933 71 0 0 25 0 1 0 902524677 11145216 1861 4294967295 134512640 134716908 3221224560 3221223200 134539446 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2721 1861 1111 63 0 2658 0 vsize: 10884 [startup+400.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1983 0 0 0 39932 73 0 0 25 0 1 0 902524677 11350016 1901 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2771 1901 1111 63 0 2708 0 vsize: 11084 [startup+410.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2027 0 0 0 40931 74 0 0 25 0 1 0 902524677 11485184 1945 4294967295 134512640 134716908 3221224560 3221222956 1077379924 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2804 1945 1111 63 0 2741 0 vsize: 11216 [startup+420.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2049 0 0 0 41929 76 0 0 25 0 1 0 902524677 11620352 1967 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2837 1967 1111 63 0 2774 0 vsize: 11348 [startup+430.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2056 0 0 0 42928 78 0 0 25 0 1 0 902524677 11620352 1974 4294967295 134512640 134716908 3221224560 3221223248 134524469 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2837 1974 1111 63 0 2774 0 vsize: 11348 [startup+440.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1288 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2063 0 0 0 43926 79 0 0 25 0 1 0 902524677 11620352 1981 4294967295 134512640 134716908 3221224560 3221223264 1076648070 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2837 1981 1111 63 0 2774 0 vsize: 11348 [startup+450.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2093 0 0 0 44925 81 0 0 25 0 1 0 902524677 11755520 2011 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2870 2011 1111 63 0 2807 0 vsize: 11480 [startup+460.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2125 0 0 0 45923 83 0 0 25 0 1 0 902524677 11890688 2043 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2903 2043 1111 63 0 2840 0 vsize: 11612 [startup+470.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2125 0 0 0 46921 85 0 0 25 0 1 0 902524677 11890688 2043 4294967295 134512640 134716908 3221224560 3221223056 134699749 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2903 2043 1111 63 0 2840 0 vsize: 11612 [startup+480.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2125 0 0 0 47919 87 0 0 25 0 1 0 902524677 11890688 2043 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2903 2043 1111 63 0 2840 0 vsize: 11612 [startup+490.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2125 0 0 0 48918 89 0 0 25 0 1 0 902524677 11890688 2043 4294967295 134512640 134716908 3221224560 3221223296 134591999 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2903 2043 1111 63 0 2840 0 vsize: 11612 [startup+500.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2140 0 0 0 49917 90 0 0 25 0 1 0 902524677 12025856 2058 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2936 2058 1111 63 0 2873 0 vsize: 11744 [startup+510.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2140 0 0 0 50916 91 0 0 25 0 1 0 902524677 12025856 2058 4294967295 134512640 134716908 3221224560 3221223176 1077377140 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2936 2058 1111 63 0 2873 0 vsize: 11744 [startup+520.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2143 0 0 0 51915 93 0 0 25 0 1 0 902524677 12025856 2061 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2936 2061 1111 63 0 2873 0 vsize: 11744 [startup+530.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2181 0 0 0 52914 94 0 0 25 0 1 0 902524677 12161024 2099 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2969 2099 1111 63 0 2906 0 vsize: 11876 [startup+540.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2214 0 0 0 53913 95 0 0 25 0 1 0 902524677 12259328 2132 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 2993 2132 1111 63 0 2930 0 vsize: 11972 [startup+550.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2235 0 0 0 54911 96 0 0 25 0 1 0 902524677 12394496 2153 4294967295 134512640 134716908 3221224560 3221223296 134528538 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3026 2153 1111 63 0 2963 0 vsize: 12104 [startup+560.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2245 0 0 0 55911 97 0 0 25 0 1 0 902524677 12394496 2163 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3026 2163 1111 63 0 2963 0 vsize: 12104 [startup+570.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2252 0 0 0 56910 98 0 0 25 0 1 0 902524677 12394496 2170 4294967295 134512640 134716908 3221224560 3221222884 134699551 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3026 2170 1111 63 0 2963 0 vsize: 12104 [startup+580.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2263 0 0 0 57909 100 0 0 25 0 1 0 902524677 12529664 2181 4294967295 134512640 134716908 3221224560 3221223192 134543665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3059 2181 1111 63 0 2996 0 vsize: 12236 [startup+590.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2269 0 0 0 58907 102 0 0 25 0 1 0 902524677 12513280 2187 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3055 2187 1111 63 0 2992 0 vsize: 12220 [startup+600.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2269 0 0 0 59906 103 0 0 25 0 1 0 902524677 12513280 2187 4294967295 134512640 134716908 3221224560 3221223184 134698620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3055 2187 1111 63 0 2992 0 vsize: 12220 [startup+610.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2276 0 0 0 60905 105 0 0 25 0 1 0 902524677 12513280 2194 4294967295 134512640 134716908 3221224560 3221223168 134549488 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3055 2194 1111 63 0 2992 0 vsize: 12220 [startup+620.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2276 0 0 0 61903 106 0 0 25 0 1 0 902524677 12513280 2194 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3055 2194 1111 63 0 2992 0 vsize: 12220 [startup+630.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2284 0 0 0 62902 107 0 0 25 0 1 0 902524677 12513280 2202 4294967295 134512640 134716908 3221224560 3221222472 134613777 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3055 2202 1111 63 0 2992 0 vsize: 12220 [startup+640.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2286 0 0 0 63901 109 0 0 25 0 1 0 902524677 12513280 2204 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3055 2204 1111 63 0 2992 0 vsize: 12220 [startup+650.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2286 0 0 0 64900 110 0 0 25 0 1 0 902524677 12513280 2204 4294967295 134512640 134716908 3221224560 3221223184 134698620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3055 2204 1111 63 0 2992 0 vsize: 12220 [startup+660.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2293 0 0 0 65899 111 0 0 25 0 1 0 902524677 12644352 2211 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3087 2211 1111 63 0 3024 0 vsize: 12348 [startup+670.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2303 0 0 0 66899 112 0 0 25 0 1 0 902524677 12636160 2221 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3085 2221 1111 63 0 3022 0 vsize: 12340 [startup+680.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2310 0 0 0 67898 113 0 0 25 0 1 0 902524677 12636160 2228 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3085 2228 1111 63 0 3022 0 vsize: 12340 [startup+690.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2331 0 0 0 68896 115 0 0 25 0 1 0 902524677 12771328 2249 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3118 2249 1111 63 0 3055 0 vsize: 12472 [startup+700.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2363 0 0 0 69894 117 0 0 25 0 1 0 902524677 12906496 2281 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2281 1111 63 0 3088 0 vsize: 12604 [startup+710.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2363 0 0 0 70893 118 0 0 25 0 1 0 902524677 12906496 2281 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2281 1111 63 0 3088 0 vsize: 12604 [startup+720.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2363 0 0 0 71892 120 0 0 25 0 1 0 902524677 12906496 2281 4294967295 134512640 134716908 3221224560 3221223284 134613741 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2281 1111 63 0 3088 0 vsize: 12604 [startup+730.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2363 0 0 0 72891 121 0 0 25 0 1 0 902524677 12906496 2281 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2281 1111 63 0 3088 0 vsize: 12604 [startup+740.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2368 0 0 0 73889 122 0 0 25 0 1 0 902524677 12906496 2286 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2286 1111 63 0 3088 0 vsize: 12604 [startup+750.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 74888 123 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221223200 134698412 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2292 1111 63 0 3088 0 vsize: 12604 [startup+760.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 75887 125 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2292 1111 63 0 3088 0 vsize: 12604 [startup+770.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 76886 126 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2292 1111 63 0 3088 0 vsize: 12604 [startup+780.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 77885 128 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2292 1111 63 0 3088 0 vsize: 12604 [startup+790.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 78883 130 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221222916 1077377189 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2292 1111 63 0 3088 0 vsize: 12604 [startup+800.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2380 0 0 0 79882 131 0 0 25 0 1 0 902524677 12906496 2298 4294967295 134512640 134716908 3221224560 3221223288 134558798 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2298 1111 63 0 3088 0 vsize: 12604 [startup+810.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2380 0 0 0 80881 132 0 0 25 0 1 0 902524677 12906496 2298 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2298 1111 63 0 3088 0 vsize: 12604 [startup+820.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2380 0 0 0 81881 133 0 0 25 0 1 0 902524677 12906496 2298 4294967295 134512640 134716908 3221224560 3221223232 134543728 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2298 1111 63 0 3088 0 vsize: 12604 [startup+830.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2387 0 0 0 82879 135 0 0 25 0 1 0 902524677 12906496 2305 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3151 2305 1111 63 0 3088 0 vsize: 12604 [startup+840.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2388 0 0 0 83879 135 0 0 25 0 1 0 902524677 13041664 2306 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3184 2306 1111 63 0 3121 0 vsize: 12736 [startup+850.047 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2390 0 0 0 84878 136 0 0 25 0 1 0 902524677 13041664 2308 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3184 2308 1111 63 0 3121 0 vsize: 12736 [startup+860.048 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2397 0 0 0 85877 138 0 0 25 0 1 0 902524677 13041664 2315 4294967295 134512640 134716908 3221224560 3221222956 1077379860 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3184 2315 1111 63 0 3121 0 vsize: 12736 [startup+870.048 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2403 0 0 0 86875 140 0 0 25 0 1 0 902524677 13041664 2321 4294967295 134512640 134716908 3221224560 3221223312 134592419 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3184 2321 1111 63 0 3121 0 vsize: 12736 [startup+880.049 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2404 0 0 0 87874 141 0 0 25 0 1 0 902524677 13041664 2322 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3184 2322 1111 63 0 3121 0 vsize: 12736 [startup+890.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2416 0 0 0 88873 142 0 0 25 0 1 0 902524677 13041664 2334 4294967295 134512640 134716908 3221224560 3221223280 134584818 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3184 2334 1111 63 0 3121 0 vsize: 12736 [startup+900.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2416 0 0 0 89872 143 0 0 25 0 1 0 902524677 13041664 2334 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3184 2334 1111 63 0 3121 0 vsize: 12736 [startup+910.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2428 0 0 0 90871 145 0 0 25 0 1 0 902524677 13168640 2346 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3215 2346 1111 63 0 3152 0 vsize: 12860 [startup+920.051 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2428 0 0 0 91869 147 0 0 25 0 1 0 902524677 13164544 2346 4294967295 134512640 134716908 3221224560 3221223248 134551950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3214 2346 1111 63 0 3151 0 vsize: 12856 [startup+930.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2435 0 0 0 92869 148 0 0 25 0 1 0 902524677 13164544 2353 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3214 2353 1111 63 0 3151 0 vsize: 12856 [startup+940.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2452 0 0 0 93868 148 0 0 25 0 1 0 902524677 13299712 2370 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3247 2370 1111 63 0 3184 0 vsize: 12988 [startup+950.052 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2467 0 0 0 94867 150 0 0 25 0 1 0 902524677 13361152 2385 4294967295 134512640 134716908 3221224560 3221223192 134698663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3262 2385 1111 63 0 3199 0 vsize: 13048 [startup+960.053 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2507 0 0 0 95866 151 0 0 25 0 1 0 902524677 13496320 2425 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3295 2425 1111 63 0 3232 0 vsize: 13180 [startup+970.053 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2594 0 0 0 96865 152 0 0 25 0 1 0 902524677 13766656 2512 4294967295 134512640 134716908 3221224560 3221223360 134558535 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3361 2512 1111 63 0 3298 0 vsize: 13444 [startup+980.053 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2612 0 0 0 97864 153 0 0 25 0 1 0 902524677 13901824 2530 4294967295 134512640 134716908 3221224560 3221223324 134552693 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3394 2530 1111 63 0 3331 0 vsize: 13576 [startup+990.054 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2628 0 0 0 98863 155 0 0 25 0 1 0 902524677 13901824 2546 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3394 2546 1111 63 0 3331 0 vsize: 13576 [startup+1000.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2631 0 0 0 99862 156 0 0 25 0 1 0 902524677 14036992 2549 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3427 2549 1111 63 0 3364 0 vsize: 13708 [startup+1010.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2655 0 0 0 100861 157 0 0 25 0 1 0 902524677 14036992 2573 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3427 2573 1111 63 0 3364 0 vsize: 13708 [startup+1020.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2655 0 0 0 101860 158 0 0 25 0 1 0 902524677 14036992 2573 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3427 2573 1111 63 0 3364 0 vsize: 13708 [startup+1030.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2669 0 0 0 102859 160 0 0 25 0 1 0 902524677 14163968 2587 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3458 2587 1111 63 0 3395 0 vsize: 13832 [startup+1040.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2669 0 0 0 103858 161 0 0 25 0 1 0 902524677 14163968 2587 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3458 2587 1111 63 0 3395 0 vsize: 13832 [startup+1050.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2681 0 0 0 104856 162 0 0 25 0 1 0 902524677 14163968 2599 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3458 2599 1111 63 0 3395 0 vsize: 13832 [startup+1060.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2681 0 0 0 105856 163 0 0 25 0 1 0 902524677 14163968 2599 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3458 2599 1111 63 0 3395 0 vsize: 13832 [startup+1070.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2689 0 0 0 106855 165 0 0 25 0 1 0 902524677 14163968 2607 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3458 2607 1111 63 0 3395 0 vsize: 13832 [startup+1080.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2689 0 0 0 107854 165 0 0 25 0 1 0 902524677 14163968 2607 4294967295 134512640 134716908 3221224560 3221223244 134536746 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3458 2607 1111 63 0 3395 0 vsize: 13832 [startup+1090.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2702 0 0 0 108853 167 0 0 25 0 1 0 902524677 14299136 2620 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3491 2620 1111 63 0 3428 0 vsize: 13964 [startup+1100.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2727 0 0 0 109852 168 0 0 25 0 1 0 902524677 14299136 2645 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3491 2645 1111 63 0 3428 0 vsize: 13964 [startup+1110.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2727 0 0 0 110851 169 0 0 25 0 1 0 902524677 14299136 2645 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3491 2645 1111 63 0 3428 0 vsize: 13964 [startup+1120.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2727 0 0 0 111849 171 0 0 25 0 1 0 902524677 14299136 2645 4294967295 134512640 134716908 3221224560 3221223292 1076647540 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3491 2645 1111 63 0 3428 0 vsize: 13964 [startup+1130.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2740 0 0 0 112849 172 0 0 25 0 1 0 902524677 14434304 2658 4294967295 134512640 134716908 3221224560 3221223264 134528449 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3524 2658 1111 63 0 3461 0 vsize: 14096 [startup+1140.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2740 0 0 0 113848 173 0 0 25 0 1 0 902524677 14434304 2658 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3524 2658 1111 63 0 3461 0 vsize: 14096 [startup+1150.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2757 0 0 0 114847 174 0 0 25 0 1 0 902524677 14434304 2675 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3524 2675 1111 63 0 3461 0 vsize: 14096 [startup+1160.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2757 0 0 0 115847 175 0 0 25 0 1 0 902524677 14434304 2675 4294967295 134512640 134716908 3221224560 3221222640 134699582 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3524 2675 1111 63 0 3461 0 vsize: 14096 [startup+1170.06 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2757 0 0 0 116845 176 0 0 25 0 1 0 902524677 14434304 2675 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3524 2675 1111 63 0 3461 0 vsize: 14096 [startup+1174.86 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 1290 Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2757 0 0 0 116845 176 0 0 25 0 1 0 902524677 14434304 2675 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3524 2675 1111 63 0 3461 0 vsize: 0 Child status: 0 Real time (s): 1174.86 CPU time (s): 1175.02 CPU user time (s): 1173.24 CPU system time (s): 1.77773 CPU usage (%): 100.014 Max. virtual memory (Kb): 14096 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####