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 wulflinc1 THE 2005-06-07 14:37:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27652 boxname=wulflinc1 idbench=210 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 4ad922a0ad53056b410be6ab5caa6b5b /oldhome/oroussel/tmp/wulflinc1/normalized-par32-4.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-par32-4.opb IDLAUNCH: 27652 /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: 874192 kB Buffers: 33804 kB Cached: 95568 kB SwapCached: 7036 kB Active: 40560 kB Inactive: 96952 kB HighTotal: 131008 kB HighFree: 94668 kB LowTotal: 903652 kB LowFree: 779524 kB SwapTotal: 2097136 kB SwapFree: 2089016 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5700 kB Slab: 17144 kB Committed_AS: 92684 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-07 14:57:19 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 27652 7 1200.26 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.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (runsolver) R 6728 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 836910522 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.0009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 24957 0 0 0 929 68 0 0 25 0 1 0 836910522 105381888 24862 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.0016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 24957 0 0 0 1929 69 0 0 25 0 1 0 836910522 105381888 24862 4294967295 134512640 134716908 3221224576 3221223216 134606495 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.0014 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 24957 0 0 0 2929 69 0 0 25 0 1 0 836910522 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+40.0012 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 25322 0 0 0 3929 69 0 0 25 0 1 0 836910522 106729472 25191 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.001 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 25322 0 0 0 4929 70 0 0 25 0 1 0 836910522 106729472 25191 4294967295 134512640 134716908 3221224576 3221223216 134606501 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.0018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 25322 0 0 0 5929 70 0 0 25 0 1 0 836910522 106729472 25191 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.0026 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 26445 0 0 0 6926 72 0 0 25 0 1 0 836910522 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+80.0023 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 26445 0 0 0 7926 72 0 0 25 0 1 0 836910522 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606514 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.0021 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 26445 0 0 0 8927 72 0 0 25 0 1 0 836910522 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+100.002 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 26445 0 0 0 9927 72 0 0 25 0 1 0 836910522 111054848 26248 4294967295 134512640 134716908 3221224576 3221223304 134543552 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.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 26445 0 0 0 10927 73 0 0 25 0 1 0 836910522 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+120.004 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 26445 0 0 0 11927 73 0 0 25 0 1 0 836910522 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.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 27129 0 0 0 12926 74 0 0 25 0 1 0 836910522 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.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 27129 0 0 0 13926 74 0 0 25 0 1 0 836910522 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+150.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 27129 0 0 0 14926 74 0 0 25 0 1 0 836910522 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+160.004 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 28279 0 0 0 15923 78 0 0 25 0 1 0 836910522 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+170.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 28279 0 0 0 16923 78 0 0 25 0 1 0 836910522 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.003 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 28279 0 0 0 17923 78 0 0 25 0 1 0 836910522 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+190.004 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 29858 0 0 0 18920 81 0 0 25 0 1 0 836910522 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.004 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 29858 0 0 0 19919 81 0 0 25 0 1 0 836910522 111054848 26248 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27113 26248 1111 63 0 27050 0 vsize: 108452 [startup+210.005 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 29858 0 0 0 20919 82 0 0 25 0 1 0 836910522 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+220.005 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 29858 0 0 0 21919 82 0 0 25 0 1 0 836910522 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+230.005 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 31840 0 0 0 22914 87 0 0 25 0 1 0 836910522 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+240.005 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 31840 0 0 0 23914 87 0 0 25 0 1 0 836910522 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+250.005 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 31840 0 0 0 24914 87 0 0 25 0 1 0 836910522 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+260.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 34342 0 0 0 25909 93 0 0 25 0 1 0 836910522 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+270.005 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 34342 0 0 0 26909 93 0 0 25 0 1 0 836910522 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+280.005 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 34343 0 0 0 27909 93 0 0 25 0 1 0 836910522 111087616 26249 4294967295 134512640 134716908 3221224576 3221223244 134606911 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27121 26249 1111 63 0 27058 0 vsize: 108484 [startup+290.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 36792 0 0 0 28902 100 0 0 25 0 1 0 836910522 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+300.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 38698 0 0 0 29898 105 0 0 25 0 1 0 836910522 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+310.007 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 41006 0 0 0 30893 110 0 0 25 0 1 0 836910522 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606495 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.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 54392 0 0 0 31860 142 0 0 25 0 1 0 836910522 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+330.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 66440 0 0 0 32832 171 0 0 25 0 1 0 836910522 111087616 26256 4294967295 134512640 134716908 3221224576 3221223216 134606495 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.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 78680 0 0 0 33801 202 0 0 25 0 1 0 836910522 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.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 93960 0 0 0 34767 236 0 0 25 0 1 0 836910522 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+360.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 110100 0 0 0 35727 276 0 0 25 0 1 0 836910522 111239168 26263 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27158 26270 1111 63 0 27095 0 vsize: 108632 [startup+370.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 127299 0 0 0 36685 319 0 0 25 0 1 0 836910522 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+380.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 144270 0 0 0 37644 360 0 0 25 0 1 0 836910522 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+390.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 169199 0 0 0 38583 421 0 0 25 0 1 0 836910522 111169536 26276 4294967295 134512640 134716908 3221224576 3221223000 1077377612 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.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 191155 0 0 0 39528 476 0 0 25 0 1 0 836910522 111169536 26276 4294967295 134512640 134716908 3221224576 3221223216 134606495 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.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 213937 0 0 0 40475 529 0 0 25 0 1 0 836910522 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.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 241669 0 0 0 41410 594 0 0 25 0 1 0 836910522 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+430.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 253450 0 0 0 42383 622 0 0 25 0 1 0 836910522 113770496 26911 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27776 26911 1111 63 0 27713 0 vsize: 111104 [startup+440.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 257220 0 0 0 43374 631 0 0 25 0 1 0 836910522 113770496 26911 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27776 26911 1111 63 0 27713 0 vsize: 111104 [startup+450.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 262997 0 0 0 44360 645 0 0 25 0 1 0 836910522 114823168 27168 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.006 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 262997 0 0 0 45360 645 0 0 25 0 1 0 836910522 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.007 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 263145 0 0 0 46360 646 0 0 25 0 1 0 836910522 114823168 27168 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28033 27168 1111 63 0 27970 0 vsize: 112132 [startup+480.007 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 263767 0 0 0 47359 647 0 0 25 0 1 0 836910522 114929664 27194 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28059 27194 1111 63 0 27996 0 vsize: 112236 [startup+490.007 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 263894 0 0 0 48358 647 0 0 25 0 1 0 836910522 115085312 27207 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28097 27207 1111 63 0 28034 0 vsize: 112388 [startup+500.008 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 263901 0 0 0 49358 648 0 0 25 0 1 0 836910522 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+510.008 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 264164 0 0 0 50358 648 0 0 25 0 1 0 836910522 115089408 27233 4294967295 134512640 134716908 3221224576 3221223216 134606484 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.009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 264388 0 0 0 51357 649 0 0 25 0 1 0 836910522 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.009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 265282 0 0 0 52355 651 0 0 25 0 1 0 836910522 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+540.009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 266208 0 0 0 53353 654 0 0 25 0 1 0 836910522 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+550.009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 266208 0 0 0 54353 654 0 0 25 0 1 0 836910522 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+560.009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 266208 0 0 0 55353 654 0 0 25 0 1 0 836910522 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+570.009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 266836 0 0 0 56351 656 0 0 25 0 1 0 836910522 115351552 27297 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+580.009 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 267922 0 0 0 57349 659 0 0 25 0 1 0 836910522 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.01 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 269368 0 0 0 58345 662 0 0 25 0 1 0 836910522 115351552 27297 4294967295 134512640 134716908 3221224576 3221223216 134606495 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.01 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 271070 0 0 0 59341 667 0 0 25 0 1 0 836910522 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+610.01 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 272970 0 0 0 60337 671 0 0 25 0 1 0 836910522 115351552 27297 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+620.011 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 283628 0 0 0 61312 696 0 0 25 0 1 0 836910522 115351552 27297 4294967295 134512640 134716908 3221224576 3221223056 134524108 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28162 27297 1111 63 0 28099 0 vsize: 112648 [startup+630.011 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 291238 0 0 0 62295 714 0 0 25 0 1 0 836910522 117469184 27814 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.011 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 291238 0 0 0 63295 714 0 0 25 0 1 0 836910522 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+650.012 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 291238 0 0 0 64295 714 0 0 25 0 1 0 836910522 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+660.012 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 309330 0 0 0 65251 758 0 0 25 0 1 0 836910522 121389056 28763 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29636 28763 1111 63 0 29573 0 vsize: 118544 [startup+670.012 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 313456 0 0 0 66242 767 0 0 25 0 1 0 836910522 118185984 27989 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.012 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 319032 0 0 0 67230 779 0 0 25 0 1 0 836910522 118185984 27989 4294967295 134512640 134716908 3221224576 3221223000 1077377428 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.012 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 330546 0 0 0 68201 808 0 0 25 0 1 0 836910522 118185984 27989 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28854 27989 1111 63 0 28791 0 vsize: 115416 [startup+700.012 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 344312 0 0 0 69171 839 0 0 25 0 1 0 836910522 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+710.013 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 350749 0 0 0 70155 855 0 0 25 0 1 0 836910522 119664640 28331 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29215 28331 1111 63 0 29152 0 vsize: 116860 [startup+720.013 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351477 0 0 0 71153 857 0 0 25 0 1 0 836910522 122241024 28979 4294967295 134512640 134716908 3221224576 3221222988 134543588 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.013 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 72153 857 0 0 25 0 1 0 836910522 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.013 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 73153 858 0 0 25 0 1 0 836910522 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+750.014 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 74153 858 0 0 25 0 1 0 836910522 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+760.015 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 75153 858 0 0 25 0 1 0 836910522 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+770.015 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 76153 858 0 0 25 0 1 0 836910522 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+780.015 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 77153 858 0 0 25 0 1 0 836910522 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+790.015 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 78153 858 0 0 25 0 1 0 836910522 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+800.015 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 79153 858 0 0 25 0 1 0 836910522 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+810.015 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 80154 858 0 0 25 0 1 0 836910522 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+820.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 81154 858 0 0 25 0 1 0 836910522 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+830.016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 351785 0 0 0 82154 859 0 0 25 0 1 0 836910522 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+840.016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 352132 0 0 0 83153 860 0 0 25 0 1 0 836910522 123768832 29326 4294967295 134512640 134716908 3221224576 3221223188 134529106 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30217 29326 1111 63 0 30154 0 vsize: 120868 [startup+850.016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 353235 0 0 0 84150 862 0 0 25 0 1 0 836910522 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+860.016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 353235 0 0 0 85151 862 0 0 25 0 1 0 836910522 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+870.016 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 353235 0 0 0 86151 862 0 0 25 0 1 0 836910522 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+880.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 353235 0 0 0 87151 862 0 0 25 0 1 0 836910522 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+890.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 353235 0 0 0 88151 862 0 0 25 0 1 0 836910522 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+900.017 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 354580 0 0 0 89147 866 0 0 25 0 1 0 836910522 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+910.018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 357053 0 0 0 90142 872 0 0 25 0 1 0 836910522 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+920.018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 357053 0 0 0 91142 872 0 0 25 0 1 0 836910522 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+930.018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 357053 0 0 0 92142 872 0 0 25 0 1 0 836910522 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+940.018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 357053 0 0 0 93142 872 0 0 25 0 1 0 836910522 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+950.018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 357053 0 0 0 94142 872 0 0 25 0 1 0 836910522 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+960.019 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 357681 0 0 0 95141 873 0 0 25 0 1 0 836910522 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+970.019 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 357681 0 0 0 96141 873 0 0 25 0 1 0 836910522 122241024 28979 4294967295 134512640 134716908 3221224576 3221223328 134630811 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.018 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 357681 0 0 0 97141 873 0 0 25 0 1 0 836910522 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+990.019 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 360259 0 0 0 98135 880 0 0 25 0 1 0 836910522 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+1000.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 360259 0 0 0 99135 880 0 0 25 0 1 0 836910522 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+1010.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 360259 0 0 0 100135 880 0 0 25 0 1 0 836910522 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+1020.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 360259 0 0 0 101135 880 0 0 25 0 1 0 836910522 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+1030.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 362635 0 0 0 102130 886 0 0 25 0 1 0 836910522 124280832 29477 4294967295 134512640 134716908 3221224576 3221223180 134558620 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.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 362635 0 0 0 103130 886 0 0 25 0 1 0 836910522 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+1050.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 362635 0 0 0 104130 886 0 0 25 0 1 0 836910522 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+1060.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 365267 0 0 0 105124 892 0 0 25 0 1 0 836910522 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+1070.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 365267 0 0 0 106125 892 0 0 25 0 1 0 836910522 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+1080.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 365267 0 0 0 107125 892 0 0 25 0 1 0 836910522 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+1090.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 370189 0 0 0 108113 904 0 0 25 0 1 0 836910522 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+1100.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 376737 0 0 0 109097 920 0 0 25 0 1 0 836910522 124719104 29584 4294967295 134512640 134716908 3221224576 3221223216 134606484 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.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 376737 0 0 0 110097 920 0 0 25 0 1 0 836910522 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+1120.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 376737 0 0 0 111098 920 0 0 25 0 1 0 836910522 124719104 29584 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 388111 0 0 0 112070 948 0 0 25 0 1 0 836910522 127770624 30328 4294967295 134512640 134716908 3221224576 3221223304 134675274 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31194 30328 1111 63 0 31131 0 vsize: 124776 [startup+1140.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 392735 0 0 0 113060 958 0 0 25 0 1 0 836910522 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+1150.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 395769 0 0 0 114053 965 0 0 25 0 1 0 836910522 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+1160.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 401481 0 0 0 115040 979 0 0 25 0 1 0 836910522 124719104 29584 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30449 29584 1111 63 0 30386 0 vsize: 121796 [startup+1170.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 405359 0 0 0 116030 988 0 0 25 0 1 0 836910522 126685184 30064 4294967295 134512640 134716908 3221224576 3221223216 134606484 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.02 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 405359 0 0 0 117031 988 0 0 25 0 1 0 836910522 126685184 30064 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.03 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 405359 0 0 0 118031 988 0 0 25 0 1 0 836910522 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.03 s] Raw data (loadavg): 0.99 0.99 0.91 2/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) R 6728 8378 8377 0 -1 0 407165 0 0 0 119026 993 0 0 25 0 1 0 836910522 126685184 30064 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30929 30064 1111 63 0 30866 0 vsize: 123716 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 0.99 0.99 0.91 1/55 6729 Raw data (stat): 6729 (bsolo_lpr-v2) Z 6728 8378 8377 0 -1 1036 407165 0 0 0 119026 999 0 0 25 0 1 0 836910522 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.08 CPU time (s): 1200.26 CPU user time (s): 1190.27 CPU system time (s): 9.99048 CPU usage (%): 100.015 Max. virtual memory (Kb): 124776 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####