Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4.opb |
MD5SUM | 4ad922a0ad53056b410be6ab5caa6b5b |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 6352 |
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 | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 6352 |
Total number of constraints | 13489 |
Number of constraints which are clauses | 13489 |
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 | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-08 21:45:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28824 boxname=wulflinc2 idbench=210 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 4ad922a0ad53056b410be6ab5caa6b5b /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-par32-4.opb IDLAUNCH: 28824 /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: 867580 kB Buffers: 28008 kB Cached: 117360 kB SwapCached: 1376 kB Active: 30620 kB Inactive: 116792 kB HighTotal: 131008 kB HighFree: 28000 kB LowTotal: 903652 kB LowFree: 839580 kB SwapTotal: 2097136 kB SwapFree: 2094724 kB Dirty: 28 kB Writeback: 0 kB Mapped: 4996 kB Slab: 14052 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 22:05:25 (client local time) WITH STATUS 0 IN 1200.31 SECONDS stats: 28824 7 1200.31 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 6352 variables and 13489 constraints. #### 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.94 2/54 16127 Raw data (stat): 16127 (runsolver) R 16126 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904981177 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0014 s] Raw data (loadavg): 0.93 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 24957 0 0 0 935 62 0 0 25 0 1 0 904981177 105381888 24862 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25728 24862 1111 63 0 25665 0 vsize: 102912 [startup+20.0198 s] Raw data (loadavg): 0.94 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 24957 0 0 0 1937 62 0 0 25 0 1 0 904981177 105381888 24862 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25728 24862 1111 63 0 25665 0 vsize: 102912 [startup+30.0307 s] Raw data (loadavg): 0.95 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 24957 0 0 0 2938 62 0 0 25 0 1 0 904981177 105381888 24862 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25728 24862 1111 63 0 25665 0 vsize: 102912 [startup+40.0314 s] Raw data (loadavg): 0.96 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 25322 0 0 0 3938 62 0 0 25 0 1 0 904981177 106729472 25191 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26057 25191 1111 63 0 25994 0 vsize: 104228 [startup+50.0318 s] Raw data (loadavg): 0.96 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 25322 0 0 0 4938 62 0 0 25 0 1 0 904981177 106729472 25191 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26057 25191 1111 63 0 25994 0 vsize: 104228 [startup+60.0328 s] Raw data (loadavg): 0.97 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 25322 0 0 0 5938 62 0 0 25 0 1 0 904981177 106729472 25191 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26057 25191 1111 63 0 25994 0 vsize: 104228 [startup+70.0335 s] Raw data (loadavg): 0.97 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 26445 0 0 0 6936 65 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+80.0342 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 26445 0 0 0 7936 65 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223304 134675314 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+90.035 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 26445 0 0 0 8936 65 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+100.036 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 26445 0 0 0 9937 65 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+110.036 s] Raw data (loadavg): 0.98 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 26445 0 0 0 10937 65 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+120.037 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 26445 0 0 0 11937 65 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+130.037 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 27129 0 0 0 12935 67 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+140.038 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 27129 0 0 0 13935 67 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+150.039 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 27129 0 0 0 14936 67 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+160.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 28279 0 0 0 15933 70 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+170.041 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 28279 0 0 0 16933 70 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+180.04 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 28279 0 0 0 17933 70 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+190.041 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 29858 0 0 0 18930 74 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+200.041 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 29858 0 0 0 19930 74 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+210.041 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 29858 0 0 0 20930 74 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+220.042 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 31840 0 0 0 21925 79 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+230.042 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 31840 0 0 0 22926 79 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+240.042 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 31840 0 0 0 23926 79 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+250.043 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 34342 0 0 0 24919 86 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+260.044 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 34342 0 0 0 25920 86 0 0 25 0 1 0 904981177 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+270.044 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 34343 0 0 0 26920 86 0 0 25 0 1 0 904981177 111087616 26249 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26249 1111 63 0 27058 0 vsize: 108484 [startup+280.044 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 36456 0 0 0 27914 92 0 0 25 0 1 0 904981177 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26256 1111 63 0 27058 0 vsize: 108484 [startup+290.045 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 38334 0 0 0 28909 97 0 0 25 0 1 0 904981177 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26256 1111 63 0 27058 0 vsize: 108484 [startup+300.044 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 40640 0 0 0 29904 102 0 0 25 0 1 0 904981177 111087616 26256 4294967295 134512640 134716908 3221224576 3221223376 134617627 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26256 1111 63 0 27058 0 vsize: 108484 [startup+310.044 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 52907 0 0 0 30875 131 0 0 25 0 1 0 904981177 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26256 1111 63 0 27058 0 vsize: 108484 [startup+320.045 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 64934 0 0 0 31847 160 0 0 25 0 1 0 904981177 111239168 26265 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27158 26272 1111 63 0 27095 0 vsize: 108632 [startup+330.045 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 77420 0 0 0 32818 189 0 0 25 0 1 0 904981177 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26256 1111 63 0 27058 0 vsize: 108484 [startup+340.046 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 92754 0 0 0 33782 225 0 0 25 0 1 0 904981177 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26256 1111 63 0 27058 0 vsize: 108484 [startup+350.046 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 109666 0 0 0 34743 264 0 0 25 0 1 0 904981177 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26256 1111 63 0 27058 0 vsize: 108484 [startup+360.046 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 126433 0 0 0 35703 305 0 0 25 0 1 0 904981177 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26256 1111 63 0 27058 0 vsize: 108484 [startup+370.047 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 144270 0 0 0 36661 347 0 0 25 0 1 0 904981177 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26256 1111 63 0 27058 0 vsize: 108484 [startup+380.046 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 169756 0 0 0 37601 407 0 0 25 0 1 0 904981177 111169536 26276 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27141 26276 1111 63 0 27078 0 vsize: 108564 [startup+390.047 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 191719 0 0 0 38547 461 0 0 25 0 1 0 904981177 111169536 26276 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27141 26276 1111 63 0 27078 0 vsize: 108564 [startup+400.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 215647 0 0 0 39488 520 0 0 25 0 1 0 904981177 111169536 26276 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27141 26276 1111 63 0 27078 0 vsize: 108564 [startup+410.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 245234 0 0 0 40418 590 0 0 25 0 1 0 904981177 111169536 26276 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27141 26276 1111 63 0 27078 0 vsize: 108564 [startup+420.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 254002 0 0 0 41398 611 0 0 25 0 1 0 904981177 113770496 26911 4294967295 134512640 134716908 3221224576 3221223060 1077374189 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27776 26911 1111 63 0 27713 0 vsize: 111104 [startup+430.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 257908 0 0 0 42387 622 0 0 25 0 1 0 904981177 114225152 27011 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27887 27011 1111 63 0 27824 0 vsize: 111548 [startup+440.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 262997 0 0 0 43375 634 0 0 25 0 1 0 904981177 114823168 27168 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 27168 1111 63 0 27970 0 vsize: 112132 [startup+450.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 262997 0 0 0 44375 634 0 0 25 0 1 0 904981177 114823168 27168 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 27168 1111 63 0 27970 0 vsize: 112132 [startup+460.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 263253 0 0 0 45374 635 0 0 25 0 1 0 904981177 114823168 27168 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 27168 1111 63 0 27970 0 vsize: 112132 [startup+470.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 263767 0 0 0 46374 636 0 0 25 0 1 0 904981177 114929664 27194 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28059 27194 1111 63 0 27996 0 vsize: 112236 [startup+480.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 263894 0 0 0 47373 637 0 0 25 0 1 0 904981177 115085312 27207 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28097 27207 1111 63 0 28034 0 vsize: 112388 [startup+490.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 263901 0 0 0 48374 637 0 0 25 0 1 0 904981177 115085312 27214 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28097 27214 1111 63 0 28034 0 vsize: 112388 [startup+500.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 264169 0 0 0 49373 637 0 0 25 0 1 0 904981177 115089408 27233 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28098 27233 1111 63 0 28035 0 vsize: 112392 [startup+510.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 264592 0 0 0 50372 638 0 0 25 0 1 0 904981177 115089408 27233 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28098 27233 1111 63 0 28035 0 vsize: 112392 [startup+520.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 265702 0 0 0 51370 641 0 0 25 0 1 0 904981177 115089408 27233 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28098 27233 1111 63 0 28035 0 vsize: 112392 [startup+530.049 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 266208 0 0 0 52369 642 0 0 25 0 1 0 904981177 115351552 27297 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+540.05 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 266208 0 0 0 53369 642 0 0 25 0 1 0 904981177 115351552 27297 4294967295 134512640 134716908 3221224576 3221223212 134554924 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+550.051 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 266248 0 0 0 54369 643 0 0 25 0 1 0 904981177 115351552 27297 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+560.051 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 267292 0 0 0 55366 646 0 0 25 0 1 0 904981177 115351552 27297 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+570.051 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 268612 0 0 0 56363 648 0 0 25 0 1 0 904981177 115503104 27333 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28199 27333 1111 63 0 28136 0 vsize: 112796 [startup+580.051 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 270272 0 0 0 57358 653 0 0 25 0 1 0 904981177 115351552 27297 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+590.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 271994 0 0 0 58355 657 0 0 25 0 1 0 904981177 115351552 27297 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+600.051 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 274314 0 0 0 59350 662 0 0 25 0 1 0 904981177 115351552 27297 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+610.051 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 291238 0 0 0 60309 704 0 0 25 0 1 0 904981177 117469184 27814 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28679 27814 1111 63 0 28616 0 vsize: 114716 [startup+620.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 291238 0 0 0 61309 704 0 0 25 0 1 0 904981177 117469184 27814 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28679 27814 1111 63 0 28616 0 vsize: 114716 [startup+630.051 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 291238 0 0 0 62309 704 0 0 25 0 1 0 904981177 117469184 27814 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28679 27814 1111 63 0 28616 0 vsize: 114716 [startup+640.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 302961 0 0 0 63281 732 0 0 25 0 1 0 904981177 117469184 27814 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28679 27814 1111 63 0 28616 0 vsize: 114716 [startup+650.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 312016 0 0 0 64260 753 0 0 25 0 1 0 904981177 118185984 27989 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28854 27989 1111 63 0 28791 0 vsize: 115416 [startup+660.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 317470 0 0 0 65247 767 0 0 25 0 1 0 904981177 118185984 27989 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28854 27989 1111 63 0 28791 0 vsize: 115416 [startup+670.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 325877 0 0 0 66227 786 0 0 25 0 1 0 904981177 118185984 27989 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28854 27989 1111 63 0 28791 0 vsize: 115416 [startup+680.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 341531 0 0 0 67188 825 0 0 25 0 1 0 904981177 118185984 27989 4294967295 134512640 134716908 3221224576 3221223304 134543552 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28854 27989 1111 63 0 28791 0 vsize: 115416 [startup+690.053 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 350743 0 0 0 68167 847 0 0 25 0 1 0 904981177 119664640 28325 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29215 28325 1111 63 0 29152 0 vsize: 116860 [startup+700.053 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 350767 0 0 0 69167 847 0 0 25 0 1 0 904981177 119664640 28349 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29215 28349 1111 63 0 29152 0 vsize: 116860 [startup+710.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 70165 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+720.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 71165 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+730.052 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 72165 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+740.053 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 73166 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+750.055 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 74166 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+760.055 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 75166 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223228 134554888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+770.056 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 76166 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+780.056 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 77167 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+790.057 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 78167 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+800.057 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 79167 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+810.056 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 351785 0 0 0 80167 849 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+820.057 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 352857 0 0 0 81165 851 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+830.057 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 353235 0 0 0 82165 852 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+840.057 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 353235 0 0 0 83165 852 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+850.058 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 353235 0 0 0 84165 852 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+860.058 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 353235 0 0 0 85165 852 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+870.058 s] Raw data (loadavg): 0.99 0.98 0.94 2/54 16127 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 353235 0 0 0 86166 852 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+880.059 s] Raw data (loadavg): 0.99 0.98 0.94 2/55 16128 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 357053 0 0 0 87157 861 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+890.06 s] Raw data (loadavg): 1.07 1.00 0.95 2/54 16180 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 357053 0 0 0 88156 861 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+900.061 s] Raw data (loadavg): 1.06 1.00 0.95 2/54 16180 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 357053 0 0 0 89157 861 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+910.061 s] Raw data (loadavg): 1.05 1.00 0.95 2/54 16180 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 357053 0 0 0 90157 861 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+920.061 s] Raw data (loadavg): 1.04 1.00 0.95 2/54 16180 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 357053 0 0 0 91157 861 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+930.062 s] Raw data (loadavg): 1.03 1.00 0.95 2/54 16180 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 357053 0 0 0 92157 861 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+940.063 s] Raw data (loadavg): 1.03 1.00 0.95 2/54 16180 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 357681 0 0 0 93156 863 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+950.063 s] Raw data (loadavg): 1.02 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 357681 0 0 0 94156 863 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+960.063 s] Raw data (loadavg): 1.02 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 357681 0 0 0 95156 863 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+970.064 s] Raw data (loadavg): 1.02 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 360259 0 0 0 96151 869 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+980.064 s] Raw data (loadavg): 1.01 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 360259 0 0 0 97151 869 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+990.065 s] Raw data (loadavg): 1.01 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 360259 0 0 0 98151 869 0 0 25 0 1 0 904981177 122241024 28979 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29844 28979 1111 63 0 29781 0 vsize: 119376 [startup+1000.07 s] Raw data (loadavg): 1.01 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 362635 0 0 0 99146 874 0 0 25 0 1 0 904981177 124280832 29477 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30342 29477 1111 63 0 30279 0 vsize: 121368 [startup+1010.07 s] Raw data (loadavg): 1.01 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 362635 0 0 0 100146 874 0 0 25 0 1 0 904981177 124280832 29477 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30342 29477 1111 63 0 30279 0 vsize: 121368 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 362635 0 0 0 101147 874 0 0 25 0 1 0 904981177 124280832 29477 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30342 29477 1111 63 0 30279 0 vsize: 121368 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 365267 0 0 0 102141 880 0 0 25 0 1 0 904981177 124280832 29477 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30342 29477 1111 63 0 30279 0 vsize: 121368 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 365267 0 0 0 103142 880 0 0 25 0 1 0 904981177 124280832 29477 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30342 29477 1111 63 0 30279 0 vsize: 121368 [startup+1050.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 365267 0 0 0 104142 880 0 0 25 0 1 0 904981177 124280832 29477 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30342 29477 1111 63 0 30279 0 vsize: 121368 [startup+1060.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 367442 0 0 0 105137 885 0 0 25 0 1 0 904981177 124280832 29477 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30342 29477 1111 63 0 30279 0 vsize: 121368 [startup+1070.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 376737 0 0 0 106114 908 0 0 25 0 1 0 904981177 124719104 29584 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30449 29584 1111 63 0 30386 0 vsize: 121796 [startup+1080.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 376737 0 0 0 107114 908 0 0 25 0 1 0 904981177 124719104 29584 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30449 29584 1111 63 0 30386 0 vsize: 121796 [startup+1090.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 376737 0 0 0 108114 908 0 0 25 0 1 0 904981177 124719104 29584 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30449 29584 1111 63 0 30386 0 vsize: 121796 [startup+1100.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 385210 0 0 0 109094 928 0 0 25 0 1 0 904981177 124719104 29584 4294967295 134512640 134716908 3221224576 3221223088 134528607 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30449 29584 1111 63 0 30386 0 vsize: 121796 [startup+1110.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 392217 0 0 0 110078 945 0 0 25 0 1 0 904981177 124719104 29584 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30449 29584 1111 63 0 30386 0 vsize: 121796 [startup+1120.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 395325 0 0 0 111071 952 0 0 25 0 1 0 904981177 124719104 29584 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30449 29584 1111 63 0 30386 0 vsize: 121796 [startup+1130.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 399082 0 0 0 112061 962 0 0 25 0 1 0 904981177 124719104 29584 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30449 29584 1111 63 0 30386 0 vsize: 121796 [startup+1140.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 405359 0 0 0 113047 977 0 0 25 0 1 0 904981177 126685184 30064 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30929 30064 1111 63 0 30866 0 vsize: 123716 [startup+1150.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 405359 0 0 0 114047 977 0 0 25 0 1 0 904981177 126685184 30064 4294967295 134512640 134716908 3221224576 3221223080 1077377480 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30929 30064 1111 63 0 30866 0 vsize: 123716 [startup+1160.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 405359 0 0 0 115047 977 0 0 25 0 1 0 904981177 126685184 30064 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30929 30064 1111 63 0 30866 0 vsize: 123716 [startup+1170.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 407165 0 0 0 116043 981 0 0 25 0 1 0 904981177 126685184 30064 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30929 30064 1111 63 0 30866 0 vsize: 123716 [startup+1180.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 407165 0 0 0 117043 981 0 0 25 0 1 0 904981177 126685184 30064 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30929 30064 1111 63 0 30866 0 vsize: 123716 [startup+1190.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 407165 0 0 0 118043 981 0 0 25 0 1 0 904981177 126685184 30064 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30929 30064 1111 63 0 30866 0 vsize: 123716 [startup+1200.07 s] Raw data (loadavg): 1.00 1.00 0.95 2/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) R 16126 31399 31398 0 -1 0 413081 0 0 0 119028 996 0 0 25 0 1 0 904981177 129122304 30640 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31524 30640 1111 63 0 31461 0 vsize: 126096 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.13 s] Raw data (loadavg): 1.00 1.00 0.95 1/54 16182 Raw data (stat): 16127 (bsolo_lpr_cuts-) Z 16126 31399 31398 0 -1 1036 413081 0 0 0 119028 1002 0 0 25 0 1 0 904981177 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.13 CPU time (s): 1200.31 CPU user time (s): 1190.29 CPU system time (s): 10.0205 CPU usage (%): 100.015 Max. virtual memory (Kb): 126096 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####