Name | normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-2.opb |
MD5SUM | fe7ff8b16c276b409b25a87eed31b6f9 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -38 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1175.09 |
Number of variables | 1150 |
Total number of constraints | 80851 |
Number of constraints which are clauses | 80851 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-09 00:22:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28949 boxname=wulflinc2 idbench=335 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: fe7ff8b16c276b409b25a87eed31b6f9 /oldhome/oroussel/tmp/wulflinc2/normalized-frb50-23-2.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-frb50-23-2.opb IDLAUNCH: 28949 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 902448 kB Buffers: 10472 kB Cached: 96784 kB SwapCached: 4468 kB Active: 26648 kB Inactive: 85720 kB HighTotal: 131008 kB HighFree: 35000 kB LowTotal: 903652 kB LowFree: 867448 kB SwapTotal: 2097136 kB SwapFree: 2091616 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4988 kB Slab: 14116 kB Committed_AS: 71756 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 00:43:01 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 28949 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1150 variables and 80851 constraints. c After prepocess the problem consists of 1150 variables and 55727 constraints. c preprocess terminated 556.703 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.84 0.95 0.91 2/54 17503 Raw data (stat): 17503 (runsolver) R 17502 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905926935 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+9.99995 s] Raw data (loadavg): 0.87 0.95 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 24582 0 0 0 937 58 0 0 25 0 1 0 905926935 103772160 24498 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25335 24498 1111 63 0 25272 0 vsize: 101340 [startup+20.001 s] Raw data (loadavg): 0.89 0.95 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 29997 0 0 0 1926 70 0 0 25 0 1 0 905926935 126033920 29913 4294967295 134512640 134716908 3221224576 3221223176 134557227 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30770 29913 1111 63 0 30707 0 vsize: 123080 [startup+30.0018 s] Raw data (loadavg): 0.90 0.95 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 2926 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+40.001 s] Raw data (loadavg): 0.92 0.95 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 3926 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+50.0022 s] Raw data (loadavg): 0.93 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 4926 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+60.0025 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 5926 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+70.0032 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 6926 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+80.0042 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 7927 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+90.004 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 8927 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+100.004 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 9927 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+110.004 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 10927 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222908 134535956 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+120.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 11927 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+130.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 12928 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+140.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 13928 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+150.005 s] Raw data (loadavg): 0.98 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 14928 70 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 15928 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 16928 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222952 134539209 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 17928 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 18928 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 19928 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+210.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 20928 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223088 134543681 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+220.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 21929 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+230.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 22929 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+240.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 23929 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+250.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 24928 71 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+260.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 25927 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 26927 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223084 134539344 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+280.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 27927 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 28928 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 29928 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+310.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 30928 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+320.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 31928 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223104 134542876 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 32928 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223192 134536900 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+340.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 33928 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 34928 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 35929 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 36929 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222960 134542365 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 37929 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 38929 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+400.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 39929 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223104 134543700 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+410.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 40929 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222940 134539296 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+420.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 41930 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 42930 72 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+440.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 43930 73 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 44930 73 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+460.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 45930 73 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221222968 134543600 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+470.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 46931 73 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+480.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 47931 73 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 48931 73 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+500.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 49931 73 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 50931 73 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+520.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30272 0 0 0 51931 73 0 0 25 0 1 0 905926935 127115264 30188 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30188 1111 63 0 30971 0 vsize: 124136 [startup+530.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30273 0 0 0 52932 73 0 0 25 0 1 0 905926935 127115264 30189 4294967295 134512640 134716908 3221224576 3221223352 134543176 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30189 1111 63 0 30971 0 vsize: 124136 [startup+540.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30273 0 0 0 53932 73 0 0 25 0 1 0 905926935 127115264 30189 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30189 1111 63 0 30971 0 vsize: 124136 [startup+550.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30273 0 0 0 54932 73 0 0 25 0 1 0 905926935 127115264 30189 4294967295 134512640 134716908 3221224576 3221223456 134622268 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30189 1111 63 0 30971 0 vsize: 124136 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 55932 73 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221223032 134543144 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+570.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 56931 73 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+580.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 57930 73 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+590.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 58930 73 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+600.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 59930 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+610.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 60930 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+620.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 61930 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 62930 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+640.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 63931 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+650.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 64931 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+660.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 65931 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+670.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 66931 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+680.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 67931 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+690.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 68932 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+700.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 69932 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+710.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 70932 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+720.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 71932 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+730.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 72932 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+740.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 73933 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+750.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 74933 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+760.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 75933 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+770.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 76933 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 77933 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 78934 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+800.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 79934 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+810.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 80934 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+820.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 81934 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+830.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 82934 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+840.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 83935 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+850.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30294 0 0 0 84935 74 0 0 25 0 1 0 905926935 127115264 30210 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31034 30210 1111 63 0 30971 0 vsize: 124136 [startup+860.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30731 0 0 0 85934 75 0 0 25 0 1 0 905926935 128901120 30647 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31470 30647 1111 63 0 31407 0 vsize: 125880 [startup+870.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30738 0 0 0 86933 76 0 0 25 0 1 0 905926935 128929792 30654 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31477 30654 1111 63 0 31414 0 vsize: 125908 [startup+880.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30744 0 0 0 87933 76 0 0 25 0 1 0 905926935 128954368 30660 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31483 30660 1111 63 0 31420 0 vsize: 125932 [startup+890.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30750 0 0 0 88932 77 0 0 25 0 1 0 905926935 128978944 30666 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31489 30666 1111 63 0 31426 0 vsize: 125956 [startup+900.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30756 0 0 0 89932 77 0 0 25 0 1 0 905926935 129003520 30672 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31495 30672 1111 63 0 31432 0 vsize: 125980 [startup+910.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30763 0 0 0 90932 77 0 0 25 0 1 0 905926935 129032192 30679 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31502 30679 1111 63 0 31439 0 vsize: 126008 [startup+920.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30769 0 0 0 91932 78 0 0 25 0 1 0 905926935 129056768 30685 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31508 30685 1111 63 0 31445 0 vsize: 126032 [startup+930.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30776 0 0 0 92932 78 0 0 25 0 1 0 905926935 129085440 30692 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31515 30692 1111 63 0 31452 0 vsize: 126060 [startup+940.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30782 0 0 0 93932 78 0 0 25 0 1 0 905926935 129110016 30698 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31521 30698 1111 63 0 31458 0 vsize: 126084 [startup+950.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30789 0 0 0 94932 78 0 0 25 0 1 0 905926935 129138688 30705 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31528 30705 1111 63 0 31465 0 vsize: 126112 [startup+960.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30795 0 0 0 95932 79 0 0 25 0 1 0 905926935 129163264 30711 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31534 30711 1111 63 0 31471 0 vsize: 126136 [startup+970.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30802 0 0 0 96932 79 0 0 25 0 1 0 905926935 129191936 30718 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31541 30718 1111 63 0 31478 0 vsize: 126164 [startup+980.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30809 0 0 0 97932 80 0 0 25 0 1 0 905926935 129220608 30725 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31548 30725 1111 63 0 31485 0 vsize: 126192 [startup+990.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30816 0 0 0 98932 80 0 0 25 0 1 0 905926935 129249280 30732 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31555 30732 1111 63 0 31492 0 vsize: 126220 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30823 0 0 0 99932 80 0 0 25 0 1 0 905926935 129277952 30739 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31562 30739 1111 63 0 31499 0 vsize: 126248 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30828 0 0 0 100931 80 0 0 25 0 1 0 905926935 129298432 30744 4294967295 134512640 134716908 3221224576 3221222784 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31567 30744 1111 63 0 31504 0 vsize: 126268 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30835 0 0 0 101931 81 0 0 25 0 1 0 905926935 129327104 30751 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31574 30751 1111 63 0 31511 0 vsize: 126296 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30840 0 0 0 102931 81 0 0 25 0 1 0 905926935 129347584 30756 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31579 30756 1111 63 0 31516 0 vsize: 126316 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30846 0 0 0 103931 82 0 0 25 0 1 0 905926935 129372160 30762 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31585 30762 1111 63 0 31522 0 vsize: 126340 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30851 0 0 0 104930 82 0 0 25 0 1 0 905926935 129392640 30767 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31590 30767 1111 63 0 31527 0 vsize: 126360 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30857 0 0 0 105931 82 0 0 25 0 1 0 905926935 129417216 30773 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31596 30773 1111 63 0 31533 0 vsize: 126384 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30862 0 0 0 106930 83 0 0 25 0 1 0 905926935 129437696 30778 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31601 30778 1111 63 0 31538 0 vsize: 126404 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30867 0 0 0 107930 83 0 0 25 0 1 0 905926935 129458176 30783 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31606 30783 1111 63 0 31543 0 vsize: 126424 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30873 0 0 0 108930 83 0 0 25 0 1 0 905926935 129482752 30789 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31612 30789 1111 63 0 31549 0 vsize: 126448 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30878 0 0 0 109930 83 0 0 25 0 1 0 905926935 129503232 30794 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31617 30794 1111 63 0 31554 0 vsize: 126468 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30883 0 0 0 110930 84 0 0 25 0 1 0 905926935 129523712 30799 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31622 30799 1111 63 0 31559 0 vsize: 126488 [startup+1120.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30888 0 0 0 111929 84 0 0 25 0 1 0 905926935 129544192 30804 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31627 30804 1111 63 0 31564 0 vsize: 126508 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30894 0 0 0 112930 84 0 0 25 0 1 0 905926935 129568768 30810 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31633 30810 1111 63 0 31570 0 vsize: 126532 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30900 0 0 0 113929 85 0 0 25 0 1 0 905926935 129593344 30816 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31639 30816 1111 63 0 31576 0 vsize: 126556 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30905 0 0 0 114929 85 0 0 25 0 1 0 905926935 129613824 30821 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31644 30821 1111 63 0 31581 0 vsize: 126576 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30911 0 0 0 115929 86 0 0 25 0 1 0 905926935 129638400 30827 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31650 30827 1111 63 0 31587 0 vsize: 126600 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30916 0 0 0 116929 86 0 0 25 0 1 0 905926935 129658880 30832 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31655 30832 1111 63 0 31592 0 vsize: 126620 [startup+1180.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30922 0 0 0 117929 86 0 0 25 0 1 0 905926935 129683456 30838 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31661 30838 1111 63 0 31598 0 vsize: 126644 [startup+1190.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 30929 0 0 0 118929 86 0 0 25 0 1 0 905926935 129712128 30845 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 31668 30845 1111 63 0 31605 0 vsize: 126672 [startup+1200.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) R 17502 31399 31398 0 -1 0 40174 0 0 0 119909 107 0 0 25 0 1 0 905926935 168558592 36485 4294967295 134512640 134716908 3221224576 3221220428 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41152 36485 1111 63 0 41089 0 vsize: 164608 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 17503 Raw data (stat): 17503 (bsolo_lpr_cuts-) Z 17502 31399 31398 0 -1 1036 40174 0 0 0 119909 113 0 0 25 0 1 0 905926935 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.23 CPU user time (s): 1199.09 CPU system time (s): 1.13983 CPU usage (%): 100.011 Max. virtual memory (Kb): 164608 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####