Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-hanoi5.opb |
MD5SUM | 430910c9a5d64dfdcfdaccb49935c3d0 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1931 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 3862 |
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 | 3862 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 3862 |
Number of bits of the biggest sum of numbers | 12 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 21.5857 |
Number of variables | 3862 |
Total number of constraints | 16399 |
Number of constraints which are clauses | 16399 |
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 | 1 |
Maximum length of a constraint | 8 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-07 11:09:28 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27577 boxname=wulflinc3 idbench=135 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 430910c9a5d64dfdcfdaccb49935c3d0 /oldhome/oroussel/tmp/wulflinc3/normalized-hanoi5.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-hanoi5.opb IDLAUNCH: 27577 /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: 276440 kB Buffers: 34268 kB Cached: 700368 kB SwapCached: 240 kB Active: 64652 kB Inactive: 672524 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 276188 kB SwapTotal: 2097136 kB SwapFree: 2096352 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6220 kB Slab: 15392 kB Committed_AS: 71796 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 11:29:31 (client local time) WITH STATUS 0 IN 1200.27 SECONDS stats: 27577 7 1200.27 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 3862 variables and 16399 constraints. c After prepocess the problem consists of 2600 variables and 11521 constraints. c preprocess terminated 937.61 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.85 0.97 0.92 1/54 10700 Raw data (stat): 10700 (runsolver) R 10699 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892511922 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+10.0008 s] Raw data (loadavg): 0.87 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 18501 0 0 0 956 41 0 0 25 0 1 0 892511922 78979072 18411 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19282 18411 1111 63 0 19219 0 vsize: 77128 [startup+20.0013 s] Raw data (loadavg): 0.89 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 18501 0 0 0 1957 41 0 0 25 0 1 0 892511922 78979072 18411 4294967295 134512640 134716908 3221224592 3221223392 134617421 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19282 18411 1111 63 0 19219 0 vsize: 77128 [startup+30.0011 s] Raw data (loadavg): 0.91 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 18501 0 0 0 2956 41 0 0 25 0 1 0 892511922 78979072 18411 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19282 18411 1111 63 0 19219 0 vsize: 77128 [startup+40.0023 s] Raw data (loadavg): 0.92 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 18501 0 0 0 3956 41 0 0 25 0 1 0 892511922 78979072 18411 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19282 18411 1111 63 0 19219 0 vsize: 77128 [startup+50.0028 s] Raw data (loadavg): 0.93 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 18501 0 0 0 4957 41 0 0 25 0 1 0 892511922 78979072 18411 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19282 18411 1111 63 0 19219 0 vsize: 77128 [startup+60.0026 s] Raw data (loadavg): 0.94 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 19037 0 0 0 5956 43 0 0 25 0 1 0 892511922 81174528 18947 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19818 18947 1111 63 0 19755 0 vsize: 79272 [startup+70.0038 s] Raw data (loadavg): 0.95 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 19037 0 0 0 6956 43 0 0 25 0 1 0 892511922 81174528 18947 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19818 18947 1111 63 0 19755 0 vsize: 79272 [startup+80.0043 s] Raw data (loadavg): 0.96 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 19037 0 0 0 7956 43 0 0 25 0 1 0 892511922 81174528 18947 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19818 18947 1111 63 0 19755 0 vsize: 79272 [startup+90.0051 s] Raw data (loadavg): 0.96 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 8953 46 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+100.005 s] Raw data (loadavg): 0.97 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 9953 46 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+110.005 s] Raw data (loadavg): 0.97 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 10953 46 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+120.006 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 11953 46 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+130.006 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 12953 46 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+140.006 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 13953 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+150.007 s] Raw data (loadavg): 0.98 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 14954 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+160.007 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 15954 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+170.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 16954 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+180.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 17954 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223344 134630811 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+190.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 18954 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223016 1077378064 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+200.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 19954 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+210.008 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 20955 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+220.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 21955 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+230.009 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 22955 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+240.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 23955 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+250.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 24955 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+260.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 25955 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+270.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 26956 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+280.01 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 27956 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+290.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 28956 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+300.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 29956 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+310.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 30956 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+320.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 31956 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+330.011 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 32957 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 33957 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+350.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 34957 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 35957 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+370.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 36957 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 37957 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 38958 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+400.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 39958 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 40958 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 41958 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 42958 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 43959 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 44959 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+460.015 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 45959 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223248 134606036 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 46959 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223016 1077378064 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 47959 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 48960 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 49960 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+510.017 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 50960 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+520.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 51960 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+530.018 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20705 0 0 0 52960 47 0 0 25 0 1 0 892511922 87994368 20615 4294967295 134512640 134716908 3221224592 3221223320 134675312 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21483 20615 1111 63 0 21420 0 vsize: 85932 [startup+540.019 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20777 0 0 0 53960 47 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+550.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20777 0 0 0 54961 47 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+560.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20777 0 0 0 55961 47 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+570.02 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 20777 0 0 0 56961 47 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223016 1077378064 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+580.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 21014 0 0 0 57961 48 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+590.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 21068 0 0 0 58961 48 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+600.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 21068 0 0 0 59961 48 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+610.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 21712 0 0 0 60959 50 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+620.022 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 22110 0 0 0 61958 51 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+630.021 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 22110 0 0 0 62958 52 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+640.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 22751 0 0 0 63956 53 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+650.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 23461 0 0 0 64954 56 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+660.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 23816 0 0 0 65953 57 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+670.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 24106 0 0 0 66952 58 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+680.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 25218 0 0 0 67950 60 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+690.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 26167 0 0 0 68948 63 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+700.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 26278 0 0 0 69948 63 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+710.023 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 28123 0 0 0 70943 68 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+720.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 29282 0 0 0 71940 71 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+730.024 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 29500 0 0 0 72940 72 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+740.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 30841 0 0 0 73936 76 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+750.025 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 31942 0 0 0 74933 79 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+760.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 33700 0 0 0 75928 84 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+770.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 34565 0 0 0 76927 86 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+780.027 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 36720 0 0 0 77922 91 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+790.028 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 38596 0 0 0 78916 96 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+800.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 39454 0 0 0 79915 98 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+810.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 41531 0 0 0 80909 104 0 0 25 0 1 0 892511922 88010752 20636 4294967295 134512640 134716908 3221224592 3221223232 134606490 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+820.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 44746 0 0 0 81901 112 0 0 25 0 1 0 892511922 93679616 22000 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22871 22000 1111 63 0 22808 0 vsize: 91484 [startup+830.029 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45116 0 0 0 82900 113 0 0 25 0 1 0 892511922 95195136 22370 4294967295 134512640 134716908 3221224592 3221223016 1077377790 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23241 22370 1111 63 0 23178 0 vsize: 92964 [startup+840.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45848 0 0 0 83899 115 0 0 25 0 1 0 892511922 98197504 23102 4294967295 134512640 134716908 3221224592 3221223232 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 23974 23102 1111 63 0 23911 0 vsize: 95896 [startup+850.03 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45901 0 0 0 84899 115 0 0 25 0 1 0 892511922 98336768 23155 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23155 1111 63 0 23945 0 vsize: 96032 [startup+860.031 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45901 0 0 0 85899 115 0 0 25 0 1 0 892511922 98336768 23155 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23155 1111 63 0 23945 0 vsize: 96032 [startup+870.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45901 0 0 0 86899 115 0 0 25 0 1 0 892511922 98336768 23155 4294967295 134512640 134716908 3221224592 3221223016 1077378064 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23155 1111 63 0 23945 0 vsize: 96032 [startup+880.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45901 0 0 0 87899 115 0 0 25 0 1 0 892511922 98336768 23155 4294967295 134512640 134716908 3221224592 3221223264 134627260 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23155 1111 63 0 23945 0 vsize: 96032 [startup+890.032 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45901 0 0 0 88899 115 0 0 25 0 1 0 892511922 98336768 23155 4294967295 134512640 134716908 3221224592 3221223264 134627257 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23155 1111 63 0 23945 0 vsize: 96032 [startup+900.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45901 0 0 0 89900 115 0 0 25 0 1 0 892511922 98336768 23155 4294967295 134512640 134716908 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23155 1111 63 0 23945 0 vsize: 96032 [startup+910.033 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45901 0 0 0 90900 116 0 0 25 0 1 0 892511922 98336768 23155 4294967295 134512640 134716908 3221224592 3221223264 134627266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23155 1111 63 0 23945 0 vsize: 96032 [startup+920.034 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45901 0 0 0 91900 116 0 0 25 0 1 0 892511922 98336768 23155 4294967295 134512640 134716908 3221224592 3221223264 134627141 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23155 1111 63 0 23945 0 vsize: 96032 [startup+930.035 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45901 0 0 0 92900 116 0 0 25 0 1 0 892511922 98336768 23155 4294967295 134512640 134716908 3221224592 3221223252 134627213 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23155 1111 63 0 23945 0 vsize: 96032 [startup+940.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45925 0 0 0 93900 116 0 0 25 0 1 0 892511922 98336768 23179 4294967295 134512640 134716908 3221224592 3221222880 1074153648 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24008 23179 1111 63 0 23945 0 vsize: 96032 [startup+950.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 45925 0 0 0 94900 116 0 0 25 0 1 0 892511922 98336768 23179 4294967295 134512640 134716908 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24008 23179 1111 63 0 23945 0 vsize: 96032 [startup+960.036 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 46444 0 0 0 95899 117 0 0 25 0 1 0 892511922 102002688 23698 4294967295 134512640 134716908 3221224592 3221220716 1075116508 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24903 23698 1111 63 0 24840 0 vsize: 99612 [startup+970.037 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 46869 0 0 0 96898 118 0 0 25 0 1 0 892511922 102178816 23784 4294967295 134512640 134716908 3221224592 3221220640 1074969685 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24946 23784 1111 63 0 24883 0 vsize: 99784 [startup+980.042 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47198 0 0 0 97898 118 0 0 25 0 1 0 892511922 100880384 23744 4294967295 134512640 134716908 3221224592 3221220380 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24629 23744 1111 63 0 24566 0 vsize: 98516 [startup+990.042 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47613 0 0 0 98898 119 0 0 25 0 1 0 892511922 102576128 24159 4294967295 134512640 134716908 3221224592 3221220648 1074883181 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25043 24159 1111 63 0 24980 0 vsize: 100172 [startup+1000.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47681 0 0 0 99898 119 0 0 25 0 1 0 892511922 101138432 23819 4294967295 134512640 134716908 3221224592 3221220640 1074969458 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24692 23819 1111 63 0 24629 0 vsize: 98768 [startup+1010.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47743 0 0 0 100898 119 0 0 25 0 1 0 892511922 101429248 23881 4294967295 134512640 134716908 3221224592 3221220768 1074961304 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23881 1111 63 0 24700 0 vsize: 99052 [startup+1020.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47755 0 0 0 101898 119 0 0 25 0 1 0 892511922 101429248 23893 4294967295 134512640 134716908 3221224592 3221220460 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23893 1111 63 0 24700 0 vsize: 99052 [startup+1030.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47756 0 0 0 102898 119 0 0 25 0 1 0 892511922 101429248 23894 4294967295 134512640 134716908 3221224592 3221220464 1074872810 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23894 1111 63 0 24700 0 vsize: 99052 [startup+1040.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47757 0 0 0 103899 119 0 0 25 0 1 0 892511922 101429248 23895 4294967295 134512640 134716908 3221224592 3221220488 1075964771 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23895 1111 63 0 24700 0 vsize: 99052 [startup+1050.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47757 0 0 0 104899 119 0 0 25 0 1 0 892511922 101429248 23895 4294967295 134512640 134716908 3221224592 3221220736 1075115715 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23895 1111 63 0 24700 0 vsize: 99052 [startup+1060.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47757 0 0 0 105899 119 0 0 25 0 1 0 892511922 101429248 23895 4294967295 134512640 134716908 3221224592 3221220508 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23895 1111 63 0 24700 0 vsize: 99052 [startup+1070.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47757 0 0 0 106899 119 0 0 25 0 1 0 892511922 101429248 23895 4294967295 134512640 134716908 3221224592 3221220380 1074788964 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23895 1111 63 0 24700 0 vsize: 99052 [startup+1080.04 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47757 0 0 0 107899 119 0 0 25 0 1 0 892511922 101429248 23895 4294967295 134512640 134716908 3221224592 3221220380 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23895 1111 63 0 24700 0 vsize: 99052 [startup+1090.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47758 0 0 0 108900 119 0 0 25 0 1 0 892511922 101429248 23896 4294967295 134512640 134716908 3221224592 3221220608 1075895905 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23896 1111 63 0 24700 0 vsize: 99052 [startup+1100.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47789 0 0 0 109900 119 0 0 25 0 1 0 892511922 101580800 23927 4294967295 134512640 134716908 3221224592 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24800 23927 1111 63 0 24737 0 vsize: 99200 [startup+1110.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47789 0 0 0 110900 119 0 0 25 0 1 0 892511922 101580800 23927 4294967295 134512640 134716908 3221224592 3221220508 1074788930 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24800 23927 1111 63 0 24737 0 vsize: 99200 [startup+1120.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47791 0 0 0 111900 119 0 0 25 0 1 0 892511922 101580800 23929 4294967295 134512640 134716908 3221224592 3221220380 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24800 23929 1111 63 0 24737 0 vsize: 99200 [startup+1130.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47791 0 0 0 112900 119 0 0 25 0 1 0 892511922 101580800 23929 4294967295 134512640 134716908 3221224592 3221220656 1074794682 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24800 23929 1111 63 0 24737 0 vsize: 99200 [startup+1140.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47791 0 0 0 113900 119 0 0 25 0 1 0 892511922 101580800 23929 4294967295 134512640 134716908 3221224592 3221220736 1075115752 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24800 23929 1111 63 0 24737 0 vsize: 99200 [startup+1150.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47791 0 0 0 114901 119 0 0 25 0 1 0 892511922 101580800 23929 4294967295 134512640 134716908 3221224592 3221220736 1075115709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24800 23929 1111 63 0 24737 0 vsize: 99200 [startup+1160.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47792 0 0 0 115901 119 0 0 25 0 1 0 892511922 101580800 23930 4294967295 134512640 134716908 3221224592 3221220656 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24800 23930 1111 63 0 24737 0 vsize: 99200 [startup+1170.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47792 0 0 0 116901 119 0 0 25 0 1 0 892511922 101580800 23930 4294967295 134512640 134716908 3221224592 3221221008 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24800 23930 1111 63 0 24737 0 vsize: 99200 [startup+1180.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47796 0 0 0 117901 119 0 0 25 0 1 0 892511922 101580800 23934 4294967295 134512640 134716908 3221224592 3221220508 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24800 23934 1111 63 0 24737 0 vsize: 99200 [startup+1190.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47813 0 0 0 118901 120 0 0 25 0 1 0 892511922 101740544 23951 4294967295 134512640 134716908 3221224592 3221220656 1075095094 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23951 1111 63 0 24776 0 vsize: 99356 [startup+1200.05 s] Raw data (loadavg): 0.99 0.97 0.92 2/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) R 10699 20224 20223 0 -1 0 47821 0 0 0 119901 120 0 0 25 0 1 0 892511922 101740544 23959 4294967295 134512640 134716908 3221224592 3221220736 1075115732 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23959 1111 63 0 24776 0 vsize: 99356 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.1 s] Raw data (loadavg): 0.99 0.97 0.92 1/54 10700 Raw data (stat): 10700 (bsolo_lpr-v2) Z 10699 20224 20223 0 -1 1036 47821 0 0 0 119901 124 0 0 25 0 1 0 892511922 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.27 CPU user time (s): 1199.02 CPU system time (s): 1.24681 CPU usage (%): 100.014 Max. virtual memory (Kb): 100172 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####