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 wulflinc1 THE 2005-06-08 18:18:01 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28749 boxname=wulflinc1 idbench=135 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 430910c9a5d64dfdcfdaccb49935c3d0 /oldhome/oroussel/tmp/wulflinc1/normalized-hanoi5.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-hanoi5.opb IDLAUNCH: 28749 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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.053 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: 856132 kB Buffers: 23716 kB Cached: 130516 kB SwapCached: 1148 kB Active: 33984 kB Inactive: 122504 kB HighTotal: 131008 kB HighFree: 2044 kB LowTotal: 903652 kB LowFree: 854088 kB SwapTotal: 2097136 kB SwapFree: 2094836 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5264 kB Slab: 16424 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 18:38:03 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 28749 7 1200.23 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 11514 constraints. c preprocess terminated 939.689 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.92 0.98 0.91 2/55 25048 Raw data (stat): 25048 (runsolver) R 25047 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846876228 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.99989 s] Raw data (loadavg): 0.93 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 18501 0 0 0 952 45 0 0 25 0 1 0 846876228 78979072 18411 4294967295 134512640 134716908 3221224576 3221223304 134675285 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.0007 s] Raw data (loadavg): 0.94 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 18501 0 0 0 1953 45 0 0 25 0 1 0 846876228 78979072 18411 4294967295 134512640 134716908 3221224576 3221223216 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+30.0014 s] Raw data (loadavg): 0.95 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 18501 0 0 0 2953 45 0 0 25 0 1 0 846876228 78979072 18411 4294967295 134512640 134716908 3221224576 3221223304 134675281 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.0012 s] Raw data (loadavg): 0.96 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 18501 0 0 0 3953 45 0 0 25 0 1 0 846876228 78979072 18411 4294967295 134512640 134716908 3221224576 3221223216 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+50.002 s] Raw data (loadavg): 0.96 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 18501 0 0 0 4953 45 0 0 25 0 1 0 846876228 78979072 18411 4294967295 134512640 134716908 3221224576 3221223216 134606495 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.0018 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 19037 0 0 0 5952 46 0 0 25 0 1 0 846876228 81174528 18947 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.0026 s] Raw data (loadavg): 0.97 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 19037 0 0 0 6952 46 0 0 25 0 1 0 846876228 81174528 18947 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.0038 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 19037 0 0 0 7952 46 0 0 25 0 1 0 846876228 81174528 18947 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.0032 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 8949 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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.003 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 9949 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+110.003 s] Raw data (loadavg): 0.98 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 10949 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223056 134536638 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.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 11949 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+130.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 12950 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+140.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 13950 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223328 134630808 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.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 14950 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+160.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 15950 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+170.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 16950 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+180.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 17950 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+190.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 18951 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+200.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 19951 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+210.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 20951 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+220.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 21951 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+230.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 22952 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 23952 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+250.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 24952 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223284 134618255 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.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 25952 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223080 1077378310 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.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 26952 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+280.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 27952 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+290.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 28953 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+300.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 29953 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+310.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 30953 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+320.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 31953 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+330.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 32953 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+340.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 33954 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223000 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+350.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 34954 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223304 134675281 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.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 35954 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+370.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 36954 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+380.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 37954 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 38955 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+400.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 39955 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+410.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 40955 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+420.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 41955 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+430.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 42955 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+440.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 43955 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223212 1076648036 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.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 44956 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+460.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 45956 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+470.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 46956 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223000 1077378100 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.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 47956 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223376 134617640 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.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 48956 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+500.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 49957 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223304 134675274 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.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 50957 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 51957 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223328 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+530.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 52957 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+540.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20705 0 0 0 53957 50 0 0 25 0 1 0 846876228 87994368 20615 4294967295 134512640 134716908 3221224576 3221223216 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+550.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20777 0 0 0 54957 50 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223088 134542968 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.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20777 0 0 0 55957 50 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 20777 0 0 0 56958 50 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223188 134557818 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.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 21014 0 0 0 57957 51 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 134606472 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.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 21068 0 0 0 58957 51 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 21068 0 0 0 59957 51 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+610.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 21712 0 0 0 60956 53 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+620.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 22074 0 0 0 61955 53 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+630.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 22110 0 0 0 62955 54 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+640.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 22751 0 0 0 63954 55 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+650.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 23135 0 0 0 64953 56 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+660.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 23816 0 0 0 65951 58 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+670.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 24106 0 0 0 66951 59 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 25218 0 0 0 67947 63 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+690.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 26167 0 0 0 68945 65 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+700.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 26278 0 0 0 69945 65 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 134606514 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.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 27720 0 0 0 70942 69 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+720.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 28994 0 0 0 71938 73 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+730.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 29500 0 0 0 72937 74 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+740.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 30130 0 0 0 73936 75 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+750.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 31942 0 0 0 74931 80 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223232 134606889 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.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 33646 0 0 0 75927 85 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 134606472 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.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 34069 0 0 0 76925 86 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+780.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 36720 0 0 0 77919 93 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+790.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 38277 0 0 0 78915 97 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 39117 0 0 0 79913 99 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 40865 0 0 0 80909 104 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 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+820.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 42618 0 0 0 81905 108 0 0 25 0 1 0 846876228 88010752 20636 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 21487 20636 1111 63 0 21424 0 vsize: 85948 [startup+830.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 44746 0 0 0 82900 113 0 0 25 0 1 0 846876228 93679616 22000 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22871 22000 1111 63 0 22808 0 vsize: 91484 [startup+840.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45848 0 0 0 83897 116 0 0 25 0 1 0 846876228 98197504 23102 4294967295 134512640 134716908 3221224576 3221223216 134606472 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.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45901 0 0 0 84897 116 0 0 25 0 1 0 846876228 98336768 23155 4294967295 134512640 134716908 3221224576 3221223216 134606501 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.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45901 0 0 0 85897 116 0 0 25 0 1 0 846876228 98336768 23155 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45901 0 0 0 86897 116 0 0 25 0 1 0 846876228 98336768 23155 4294967295 134512640 134716908 3221224576 3221223216 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+880.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45901 0 0 0 87898 116 0 0 25 0 1 0 846876228 98336768 23155 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45901 0 0 0 88898 116 0 0 25 0 1 0 846876228 98336768 23155 4294967295 134512640 134716908 3221224576 3221223248 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+900.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45901 0 0 0 89898 116 0 0 25 0 1 0 846876228 98336768 23155 4294967295 134512640 134716908 3221224576 3221223248 134627203 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.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45901 0 0 0 90898 116 0 0 25 0 1 0 846876228 98336768 23155 4294967295 134512640 134716908 3221224576 3221223240 134627211 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.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45901 0 0 0 91898 116 0 0 25 0 1 0 846876228 98336768 23155 4294967295 134512640 134716908 3221224576 3221223248 134627203 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.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45901 0 0 0 92898 116 0 0 25 0 1 0 846876228 98336768 23155 4294967295 134512640 134716908 3221224576 3221223248 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+940.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45925 0 0 0 93898 116 0 0 25 0 1 0 846876228 98336768 23179 4294967295 134512640 134716908 3221224576 3221222840 1077410279 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.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 45925 0 0 0 94897 116 0 0 25 0 1 0 846876228 98336768 23179 4294967295 134512640 134716908 3221224576 3221222880 1074153770 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24008 23179 1111 63 0 23945 0 vsize: 96032 [startup+960.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 46428 0 0 0 95896 117 0 0 25 0 1 0 846876228 101994496 23682 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24901 23682 1111 63 0 24838 0 vsize: 99604 [startup+970.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 46776 0 0 0 96896 118 0 0 25 0 1 0 846876228 100642816 23687 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24571 23687 1111 63 0 24508 0 vsize: 98284 [startup+980.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 47191 0 0 0 97895 119 0 0 25 0 1 0 846876228 100757504 23730 4294967295 134512640 134716908 3221224576 3221220632 1074883033 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24599 23730 1111 63 0 24536 0 vsize: 98396 [startup+990.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 47217 0 0 0 98895 119 0 0 25 0 1 0 846876228 100880384 23756 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24629 23756 1111 63 0 24566 0 vsize: 98516 [startup+1000.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 47468 0 0 0 99895 119 0 0 25 0 1 0 846876228 102780928 24007 4294967295 134512640 134716908 3221224576 3221220536 1074789603 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25093 24007 1111 63 0 25030 0 vsize: 100372 [startup+1010.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 47659 0 0 0 100895 120 0 0 25 0 1 0 846876228 101138432 23764 4294967295 134512640 134716908 3221224576 3221221008 1075397167 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24692 23764 1111 63 0 24629 0 vsize: 98768 [startup+1020.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 47688 0 0 0 101895 120 0 0 25 0 1 0 846876228 101281792 23793 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24727 23793 1111 63 0 24664 0 vsize: 98908 [startup+1030.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48122 0 0 0 102894 121 0 0 25 0 1 0 846876228 103243776 24227 4294967295 134512640 134716908 3221224576 3221220608 1075112091 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 25206 24227 1111 63 0 25143 0 vsize: 100824 [startup+1040.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48159 0 0 0 103894 121 0 0 25 0 1 0 846876228 101429248 23787 4294967295 134512640 134716908 3221224576 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23787 1111 63 0 24700 0 vsize: 99052 [startup+1050.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48161 0 0 0 104894 121 0 0 25 0 1 0 846876228 101429248 23789 4294967295 134512640 134716908 3221224576 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23789 1111 63 0 24700 0 vsize: 99052 [startup+1060.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48161 0 0 0 105894 121 0 0 25 0 1 0 846876228 101429248 23789 4294967295 134512640 134716908 3221224576 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23789 1111 63 0 24700 0 vsize: 99052 [startup+1070.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48161 0 0 0 106894 121 0 0 25 0 1 0 846876228 101429248 23789 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23789 1111 63 0 24700 0 vsize: 99052 [startup+1080.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48161 0 0 0 107895 121 0 0 25 0 1 0 846876228 101429248 23789 4294967295 134512640 134716908 3221224576 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23789 1111 63 0 24700 0 vsize: 99052 [startup+1090.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48161 0 0 0 108895 121 0 0 25 0 1 0 846876228 101429248 23789 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23789 1111 63 0 24700 0 vsize: 99052 [startup+1100.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48161 0 0 0 109895 121 0 0 25 0 1 0 846876228 101429248 23789 4294967295 134512640 134716908 3221224576 3221220364 1074788943 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23789 1111 63 0 24700 0 vsize: 99052 [startup+1110.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48161 0 0 0 110895 121 0 0 25 0 1 0 846876228 101429248 23789 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24763 23789 1111 63 0 24700 0 vsize: 99052 [startup+1120.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48212 0 0 0 111895 121 0 0 25 0 1 0 846876228 101740544 23840 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23840 1111 63 0 24776 0 vsize: 99356 [startup+1130.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48218 0 0 0 112895 121 0 0 25 0 1 0 846876228 101740544 23846 4294967295 134512640 134716908 3221224576 3221220752 1074960903 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23846 1111 63 0 24776 0 vsize: 99356 [startup+1140.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48218 0 0 0 113895 121 0 0 25 0 1 0 846876228 101740544 23846 4294967295 134512640 134716908 3221224576 3221220656 1074882535 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23846 1111 63 0 24776 0 vsize: 99356 [startup+1150.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48219 0 0 0 114896 121 0 0 25 0 1 0 846876228 101740544 23847 4294967295 134512640 134716908 3221224576 3221220448 1075965307 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23847 1111 63 0 24776 0 vsize: 99356 [startup+1160.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48220 0 0 0 115896 121 0 0 25 0 1 0 846876228 101740544 23848 4294967295 134512640 134716908 3221224576 3221220640 1075095094 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23848 1111 63 0 24776 0 vsize: 99356 [startup+1170.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48221 0 0 0 116896 121 0 0 25 0 1 0 846876228 101740544 23849 4294967295 134512640 134716908 3221224576 3221221044 1076048692 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23849 1111 63 0 24776 0 vsize: 99356 [startup+1180.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48221 0 0 0 117896 121 0 0 25 0 1 0 846876228 101740544 23849 4294967295 134512640 134716908 3221224576 3221220752 1074960854 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23849 1111 63 0 24776 0 vsize: 99356 [startup+1190.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48221 0 0 0 118897 121 0 0 25 0 1 0 846876228 101740544 23849 4294967295 134512640 134716908 3221224576 3221220624 1074969440 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23849 1111 63 0 24776 0 vsize: 99356 [startup+1200.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) R 25047 8378 8377 0 -1 0 48221 0 0 0 119897 121 0 0 25 0 1 0 846876228 101740544 23849 4294967295 134512640 134716908 3221224576 3221220448 1075965234 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24839 23849 1111 63 0 24776 0 vsize: 99356 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.07 s] Raw data (loadavg): 0.99 0.98 0.91 1/55 25048 Raw data (stat): 25048 (bsolo_lpr_cuts-) Z 25047 8378 8377 0 -1 1036 48221 0 0 0 119897 126 0 0 25 0 1 0 846876228 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.07 CPU time (s): 1200.23 CPU user time (s): 1198.97 CPU system time (s): 1.26181 CPU usage (%): 100.014 Max. virtual memory (Kb): 100824 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####