Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A1C1S1.opb |
MD5SUM | 4927ae8cbb5bb871eb7a61843614b4ec |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 25152 |
Biggest coefficient in the objective function | 30395596800 |
Number of bits for the biggest coefficient in the objective function | 35 |
Sum of the numbers in the objective function | 14310357806800 |
Number of bits of the sum of numbers in the objective function | 44 |
Biggest number in a constraint | 30395596800 |
Number of bits of the biggest number in a constraint | 35 |
Biggest sum of numbers in a constraint | 14310357806800 |
Number of bits of the biggest sum of numbers | 44 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.630904 |
Number of variables | 69312 |
Total number of constraints | 3504 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 192 |
Number of constraints which are nor clauses,nor cardinality constraints | 3312 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 485 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-19 06:49:50 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=19865 boxname=wulflinc31 idbench=1529 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 4927ae8cbb5bb871eb7a61843614b4ec /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-A1C1S1.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-A1C1S1.opb IDLAUNCH: 19865 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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 : 3 cpu MHz : 451.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 825992 kB Buffers: 23656 kB Cached: 159508 kB SwapCached: 5400 kB Active: 116740 kB Inactive: 73080 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 825740 kB SwapTotal: 2097892 kB SwapFree: 2091564 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5360 kB Slab: 13168 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-19 07:09:26 (client local time) WITH STATUS 0 IN 1175.22 SECONDS stats: 19865 7 1175.22 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 69312 variables and 4560 constraints. c After prepocess the problem consists of 50352 variables and 5221 constraints. c preprocess terminated 298.427 s c Initial Lower Bound: 2147483344 c Lower Bound Elapsed time: 159.608 c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 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 Raw data (loadavg): 0.91 0.95 0.97 2/55 17783 Raw data (stat): 17783 (runsolver) R 17782 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 784983024 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0006 s] Raw data (loadavg): 0.93 0.95 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1503 0 0 0 988 6 0 0 25 0 1 0 784983024 18759680 1426 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4580 1426 1111 63 0 4517 0 vsize: 18320 [startup+20.0014 s] Raw data (loadavg): 0.94 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 2439 0 0 0 1986 8 0 0 25 0 1 0 784983024 22564864 2362 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5509 2362 1111 63 0 5446 0 vsize: 22036 [startup+30.0017 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 3406 0 0 0 2985 10 0 0 25 0 1 0 784983024 26525696 3329 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6476 3329 1111 63 0 6413 0 vsize: 25904 [startup+40.0023 s] Raw data (loadavg): 0.95 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 4421 0 0 0 3983 12 0 0 25 0 1 0 784983024 30777344 4344 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7514 4344 1111 63 0 7451 0 vsize: 30056 [startup+50.0022 s] Raw data (loadavg): 0.96 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 5471 0 0 0 4981 14 0 0 25 0 1 0 784983024 35008512 5394 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8547 5394 1111 63 0 8484 0 vsize: 34188 [startup+60.0022 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 6559 0 0 0 5979 16 0 0 25 0 1 0 784983024 39542784 6482 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9654 6482 1111 63 0 9591 0 vsize: 38616 [startup+70.0021 s] Raw data (loadavg): 0.97 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 7686 0 0 0 6977 19 0 0 25 0 1 0 784983024 44060672 7609 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10757 7609 1111 63 0 10694 0 vsize: 43028 [startup+80.002 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 8931 0 0 0 7975 21 0 0 25 0 1 0 784983024 49143808 8854 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11998 8854 1111 63 0 11935 0 vsize: 47992 [startup+90.0023 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 10347 0 0 0 8972 24 0 0 25 0 1 0 784983024 54931456 10270 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13411 10270 1111 63 0 13348 0 vsize: 53644 [startup+100.002 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 11852 0 0 0 9969 27 0 0 25 0 1 0 784983024 61222912 11775 4294967295 134512640 134714508 3221221776 3221219896 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14947 11780 1111 63 0 14884 0 vsize: 59788 [startup+110.003 s] Raw data (loadavg): 0.98 0.96 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 13500 0 0 0 10966 30 0 0 25 0 1 0 784983024 67997696 13423 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16601 13423 1111 63 0 16538 0 vsize: 66404 [startup+120.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 15271 0 0 0 11963 34 0 0 25 0 1 0 784983024 75202560 15194 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18360 15194 1111 63 0 18297 0 vsize: 73440 [startup+130.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 17193 0 0 0 12959 38 0 0 25 0 1 0 784983024 83111936 17116 4294967295 134512640 134714508 3221221776 3221218436 1077358145 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 20291 17116 1111 63 0 20228 0 vsize: 81164 [startup+140.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 37856 0 0 0 13916 81 0 0 25 0 1 0 784983024 167784448 37779 4294967295 134512640 134714508 3221221776 3221220024 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40963 37779 1111 63 0 40900 0 vsize: 163852 [startup+150.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 47448 0 0 0 14892 105 0 0 25 0 1 0 784983024 206192640 47167 4294967295 134512640 134714508 3221221776 3221220080 134567410 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50340 47168 1111 63 0 50277 0 vsize: 201360 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 69926 0 0 0 15841 155 0 0 25 0 1 0 784983024 261627904 62436 4294967295 134512640 134714508 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 63874 62436 1111 63 0 63811 0 vsize: 255496 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 69974 0 0 0 16841 155 0 0 25 0 1 0 784983024 261763072 62484 4294967295 134512640 134714508 3221221776 3221220508 134672920 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 63907 62484 1111 63 0 63844 0 vsize: 255628 [startup+180.004 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 88136 0 0 0 17801 195 0 0 25 0 1 0 784983024 266014720 63510 4294967295 134512640 134714508 3221221776 3221220560 134617261 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64945 63510 1111 63 0 64882 0 vsize: 259780 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 88339 0 0 0 18801 196 0 0 25 0 1 0 784983024 266838016 63713 4294967295 134512640 134714508 3221221776 3221220416 134594970 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65146 63713 1111 63 0 65083 0 vsize: 260584 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 88481 0 0 0 19801 196 0 0 25 0 1 0 784983024 267386880 63855 4294967295 134512640 134714508 3221221776 3221220560 134617261 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65280 63855 1111 63 0 65217 0 vsize: 261120 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 120564 0 0 0 20731 266 0 0 25 0 1 0 784983024 267653120 63910 4294967295 134512640 134714508 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65345 63910 1111 63 0 65282 0 vsize: 261380 [startup+220.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 237496 0 0 0 21483 515 0 0 25 0 1 0 784983024 267788288 63950 4294967295 134512640 134714508 3221221776 3221220576 134617608 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65378 63950 1111 63 0 65315 0 vsize: 261512 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 337093 0 0 0 22265 732 0 0 25 0 1 0 784983024 267923456 63995 4294967295 134512640 134714508 3221221776 3221220504 134672917 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65411 63995 1111 63 0 65348 0 vsize: 261644 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 434125 0 0 0 23055 943 0 0 25 0 1 0 784983024 268472320 64127 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65545 64127 1111 63 0 65482 0 vsize: 262180 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 434136 0 0 0 24055 943 0 0 25 0 1 0 784983024 268472320 64138 4294967295 134512640 134714508 3221221776 3221220440 134627195 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+260.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 434136 0 0 0 25055 943 0 0 25 0 1 0 784983024 268472320 64138 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+270.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 434136 0 0 0 26055 943 0 0 25 0 1 0 784983024 268472320 64138 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 434136 0 0 0 27055 943 0 0 25 0 1 0 784983024 268472320 64138 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+290.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 434136 0 0 0 28056 943 0 0 25 0 1 0 784983024 268472320 64138 4294967295 134512640 134714508 3221221776 3221220448 134627125 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 65545 64138 1111 63 0 65482 0 vsize: 262180 [startup+300.008 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 458685 0 0 0 29002 997 0 0 25 0 1 0 784983024 282648576 67403 4294967295 134512640 134714508 3221221776 3221220048 1074153794 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69006 67403 1111 63 0 68943 0 vsize: 276024 [startup+310.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 590221 0 0 0 29705 1293 0 0 25 0 1 0 784983024 283111424 67495 4294967295 134512640 134714508 3221221776 3221219912 1074138158 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69119 67495 1111 63 0 69056 0 vsize: 276476 [startup+320.009 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 711495 0 0 0 30442 1557 0 0 25 0 1 0 784983024 282976256 67510 4294967295 134512640 134714508 3221221776 3221219856 1074153812 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69086 67510 1111 63 0 69023 0 vsize: 276344 [startup+330.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 819271 0 0 0 31198 1801 0 0 25 0 1 0 784983024 283234304 67574 4294967295 134512640 134714508 3221221776 3221219552 1074153672 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69149 67574 1111 63 0 69086 0 vsize: 276596 [startup+340.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 907979 0 0 0 31987 2011 0 0 25 0 1 0 784983024 283844608 67723 4294967295 134512640 134714508 3221221776 3221219408 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69298 67723 1111 63 0 69235 0 vsize: 277192 [startup+350.01 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 981665 0 0 0 32808 2191 0 0 25 0 1 0 784983024 284291072 67833 4294967295 134512640 134714508 3221221776 3221219264 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69407 67833 1111 63 0 69344 0 vsize: 277628 [startup+360.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1045556 0 0 0 33654 2345 0 0 25 0 1 0 784983024 284729344 67940 4294967295 134512640 134714508 3221221776 3221219264 1074153782 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69514 67940 1111 63 0 69451 0 vsize: 278056 [startup+370.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1103169 0 0 0 34514 2485 0 0 25 0 1 0 784983024 285073408 68025 4294967295 134512640 134714508 3221221776 3221219328 1074153770 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 69598 68025 1111 63 0 69535 0 vsize: 278392 [startup+380.011 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1153894 0 0 0 35393 2607 0 0 25 0 1 0 784983024 298356736 70402 4294967295 134512640 134714508 3221221776 3221219808 1074867328 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 72841 70402 1111 63 0 72778 0 vsize: 291364 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157482 0 0 0 36385 2615 0 0 25 0 1 0 784983024 300908544 71324 4294967295 134512640 134714508 3221221776 3221217660 1074860598 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73464 71324 1111 63 0 73401 0 vsize: 293856 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157495 0 0 0 37385 2615 0 0 25 0 1 0 784983024 300908544 71337 4294967295 134512640 134714508 3221221776 3221217576 1074788507 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73464 71337 1111 63 0 73401 0 vsize: 293856 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157497 0 0 0 38384 2615 0 0 25 0 1 0 784983024 300908544 71339 4294967295 134512640 134714508 3221221776 3221217916 1075116872 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73464 71339 1111 63 0 73401 0 vsize: 293856 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157497 0 0 0 39385 2615 0 0 25 0 1 0 784983024 300908544 71339 4294967295 134512640 134714508 3221221776 3221218720 1074810486 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73464 71339 1111 63 0 73401 0 vsize: 293856 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157497 0 0 0 40384 2616 0 0 25 0 1 0 784983024 300908544 71339 4294967295 134512640 134714508 3221221776 3221218736 1075971444 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73464 71339 1111 63 0 73401 0 vsize: 293856 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157499 0 0 0 41385 2616 0 0 25 0 1 0 784983024 300908544 71341 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73464 71341 1111 63 0 73401 0 vsize: 293856 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157514 0 0 0 42384 2616 0 0 25 0 1 0 784983024 301625344 71356 4294967295 134512640 134714508 3221221776 3221217856 1074794649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71356 1111 63 0 73576 0 vsize: 294556 [startup+460.016 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157514 0 0 0 43384 2617 0 0 25 0 1 0 784983024 301625344 71356 4294967295 134512640 134714508 3221221776 3221217660 1074860588 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71356 1111 63 0 73576 0 vsize: 294556 [startup+470.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157514 0 0 0 44384 2617 0 0 25 0 1 0 784983024 301625344 71356 4294967295 134512640 134714508 3221221776 3221217916 1075116784 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71356 1111 63 0 73576 0 vsize: 294556 [startup+480.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157514 0 0 0 45384 2617 0 0 25 0 1 0 784983024 301625344 71356 4294967295 134512640 134714508 3221221776 3221218640 1074620107 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71356 1111 63 0 73576 0 vsize: 294556 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157523 0 0 0 46384 2617 0 0 25 0 1 0 784983024 301625344 71365 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71365 1111 63 0 73576 0 vsize: 294556 [startup+500.018 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157523 0 0 0 47384 2617 0 0 25 0 1 0 784983024 301625344 71365 4294967295 134512640 134714508 3221221776 3221217916 1075116719 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71365 1111 63 0 73576 0 vsize: 294556 [startup+510.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157523 0 0 0 48384 2618 0 0 25 0 1 0 784983024 301625344 71365 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71365 1111 63 0 73576 0 vsize: 294556 [startup+520.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157523 0 0 0 49384 2618 0 0 25 0 1 0 784983024 301625344 71365 4294967295 134512640 134714508 3221221776 3221217916 1075116564 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71365 1111 63 0 73576 0 vsize: 294556 [startup+530.02 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157523 0 0 0 50384 2618 0 0 25 0 1 0 784983024 301625344 71365 4294967295 134512640 134714508 3221221776 3221217916 1075116798 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71365 1111 63 0 73576 0 vsize: 294556 [startup+540.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157523 0 0 0 51383 2619 0 0 25 0 1 0 784983024 301625344 71365 4294967295 134512640 134714508 3221221776 3221217692 1074860987 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71365 1111 63 0 73576 0 vsize: 294556 [startup+550.021 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157523 0 0 0 52383 2619 0 0 25 0 1 0 784983024 301625344 71365 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71365 1111 63 0 73576 0 vsize: 294556 [startup+560.022 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157525 0 0 0 53383 2619 0 0 25 0 1 0 784983024 301625344 71367 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 73639 71367 1111 63 0 73576 0 vsize: 294556 [startup+570.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157525 0 0 0 54383 2619 0 0 25 0 1 0 784983024 301625344 71367 4294967295 134512640 134714508 3221221776 3221217768 1074950198 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73639 71367 1111 63 0 73576 0 vsize: 294556 [startup+580.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157525 0 0 0 55383 2619 0 0 25 0 1 0 784983024 301625344 71367 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73639 71367 1111 63 0 73576 0 vsize: 294556 [startup+590.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157529 0 0 0 56384 2619 0 0 25 0 1 0 784983024 301625344 71371 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73639 71371 1111 63 0 73576 0 vsize: 294556 [startup+600.023 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1157529 0 0 0 57384 2619 0 0 25 0 1 0 784983024 301625344 71371 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 73639 71371 1111 63 0 73576 0 vsize: 294556 [startup+610.024 s] Raw data (loadavg): 0.99 0.97 0.97 2/55 17783 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1175266 0 0 0 58342 2662 0 0 25 0 1 0 784983024 288690176 68908 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 70481 68908 1111 63 0 70418 0 vsize: 281924 [startup+620.081 s] Raw data (loadavg): 0.99 0.97 0.97 3/60 17809 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1236841 0 0 0 59198 2810 0 0 25 0 1 0 784983024 328798208 78749 4294967295 134512640 134714508 3221221776 3221220016 1075006831 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 80273 78757 1111 63 0 80210 0 vsize: 321092 [startup+630.151 s] Raw data (loadavg): 1.15 1.00 0.98 2/59 17826 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1263749 0 0 0 60143 2872 0 0 25 0 1 0 784983024 360517632 85886 4294967295 134512640 134714508 3221221776 3221218816 1074834317 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88017 85886 1111 63 0 87954 0 vsize: 352068 [startup+640.151 s] Raw data (loadavg): 1.28 1.04 1.00 2/55 17836 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1263754 0 0 0 61144 2872 0 0 25 0 1 0 784983024 360517632 85891 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 88017 85891 1111 63 0 87954 0 vsize: 352068 [startup+650.378 s] Raw data (loadavg): 1.24 1.03 1.00 2/55 17836 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1265607 0 0 0 62162 2877 0 0 25 0 1 0 784983024 349868032 83729 4294967295 134512640 134714508 3221221776 3221219440 1075640393 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 85417 83729 1111 63 0 85354 0 vsize: 341668 [startup+660.378 s] Raw data (loadavg): 1.20 1.03 1.00 2/55 17836 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1302000 0 0 0 63076 2963 0 0 25 0 1 0 784983024 352321536 84499 4294967295 134512640 134714508 3221221776 3221220000 1074039235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 86016 84499 1111 63 0 85953 0 vsize: 344064 [startup+670.378 s] Raw data (loadavg): 1.17 1.03 1.00 2/55 17836 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1339930 0 0 0 63990 3049 0 0 25 0 1 0 784983024 423075840 101188 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103290 101188 1111 63 0 103227 0 vsize: 413160 [startup+680.378 s] Raw data (loadavg): 1.14 1.03 1.00 2/55 17836 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1339956 0 0 0 64990 3049 0 0 25 0 1 0 784983024 423075840 101214 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103290 101214 1111 63 0 103227 0 vsize: 413160 [startup+690.379 s] Raw data (loadavg): 1.12 1.03 1.00 2/55 17836 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1339958 0 0 0 65991 3049 0 0 25 0 1 0 784983024 423075840 101216 4294967295 134512640 134714508 3221221776 3221217720 1074860217 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103290 101216 1111 63 0 103227 0 vsize: 413160 [startup+700.379 s] Raw data (loadavg): 1.10 1.03 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1339958 0 0 0 66991 3049 0 0 25 0 1 0 784983024 423075840 101216 4294967295 134512640 134714508 3221221776 3221217916 1075116549 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103290 101216 1111 63 0 103227 0 vsize: 413160 [startup+710.38 s] Raw data (loadavg): 1.08 1.03 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1339958 0 0 0 67991 3049 0 0 25 0 1 0 784983024 423075840 101216 4294967295 134512640 134714508 3221221776 3221218224 1075119987 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103290 101216 1111 63 0 103227 0 vsize: 413160 [startup+720.38 s] Raw data (loadavg): 1.07 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1339958 0 0 0 68991 3049 0 0 25 0 1 0 784983024 423075840 101216 4294967295 134512640 134714508 3221221776 3221217904 1076111660 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103290 101216 1111 63 0 103227 0 vsize: 413160 [startup+730.38 s] Raw data (loadavg): 1.06 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1339958 0 0 0 69991 3049 0 0 25 0 1 0 784983024 423075840 101216 4294967295 134512640 134714508 3221221776 3221217660 1074860617 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103290 101216 1111 63 0 103227 0 vsize: 413160 [startup+740.38 s] Raw data (loadavg): 1.05 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1339958 0 0 0 70991 3049 0 0 25 0 1 0 784983024 423075840 101216 4294967295 134512640 134714508 3221221776 3221217916 1075116866 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103290 101216 1111 63 0 103227 0 vsize: 413160 [startup+750.381 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1339958 0 0 0 71992 3049 0 0 25 0 1 0 784983024 423075840 101216 4294967295 134512640 134714508 3221221776 3221217752 1074860223 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103290 101216 1111 63 0 103227 0 vsize: 413160 [startup+760.381 s] Raw data (loadavg): 1.04 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1340008 0 0 0 72992 3049 0 0 25 0 1 0 784983024 423792640 101266 4294967295 134512640 134714508 3221221776 3221217916 1075116744 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103465 101266 1111 63 0 103402 0 vsize: 413860 [startup+770.382 s] Raw data (loadavg): 1.03 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1340008 0 0 0 73992 3049 0 0 25 0 1 0 784983024 423792640 101266 4294967295 134512640 134714508 3221221776 3221217856 1074794666 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 103465 101266 1111 63 0 103402 0 vsize: 413860 [startup+780.381 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1359688 0 0 0 74948 3093 0 0 25 0 1 0 784983024 411422720 98957 4294967295 134512640 134714508 3221221776 3221219848 1074950074 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 100445 98957 1111 63 0 100382 0 vsize: 401780 [startup+790.381 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1399310 0 0 0 75859 3182 0 0 25 0 1 0 784983024 440668160 106097 4294967295 134512640 134714508 3221221776 3221219848 1074950119 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 107585 106097 1111 63 0 107522 0 vsize: 430340 [startup+800.382 s] Raw data (loadavg): 1.02 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416023 0 0 0 76820 3221 0 0 25 0 1 0 784983024 462430208 110825 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110825 1111 63 0 112835 0 vsize: 451592 [startup+810.383 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416026 0 0 0 77820 3221 0 0 25 0 1 0 784983024 462430208 110828 4294967295 134512640 134714508 3221221776 3221217752 1074789806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110828 1111 63 0 112835 0 vsize: 451592 [startup+820.383 s] Raw data (loadavg): 1.01 1.02 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416026 0 0 0 78820 3221 0 0 25 0 1 0 784983024 462430208 110828 4294967295 134512640 134714508 3221221776 3221217968 1074961304 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110828 1111 63 0 112835 0 vsize: 451592 [startup+830.383 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416027 0 0 0 79821 3221 0 0 25 0 1 0 784983024 462430208 110829 4294967295 134512640 134714508 3221221776 3221217916 1075116584 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110829 1111 63 0 112835 0 vsize: 451592 [startup+840.384 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416027 0 0 0 80821 3221 0 0 25 0 1 0 784983024 462430208 110829 4294967295 134512640 134714508 3221221776 3221217916 1075116549 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110829 1111 63 0 112835 0 vsize: 451592 [startup+850.384 s] Raw data (loadavg): 1.01 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416027 0 0 0 81821 3221 0 0 25 0 1 0 784983024 462430208 110829 4294967295 134512640 134714508 3221221776 3221217904 1076111632 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110829 1111 63 0 112835 0 vsize: 451592 [startup+860.385 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416027 0 0 0 82821 3221 0 0 25 0 1 0 784983024 462430208 110829 4294967295 134512640 134714508 3221221776 3221217660 1074860664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110829 1111 63 0 112835 0 vsize: 451592 [startup+870.386 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416027 0 0 0 83821 3221 0 0 25 0 1 0 784983024 462430208 110829 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110829 1111 63 0 112835 0 vsize: 451592 [startup+880.386 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416027 0 0 0 84822 3221 0 0 25 0 1 0 784983024 462430208 110829 4294967295 134512640 134714508 3221221776 3221218616 1074950117 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110829 1111 63 0 112835 0 vsize: 451592 [startup+890.387 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416027 0 0 0 85822 3221 0 0 25 0 1 0 784983024 462430208 110829 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 112898 110829 1111 63 0 112835 0 vsize: 451592 [startup+900.387 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416039 0 0 0 86822 3221 0 0 25 0 1 0 784983024 463147008 110841 4294967295 134512640 134714508 3221221776 3221217856 1074794542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 113073 110841 1111 63 0 113010 0 vsize: 452292 [startup+910.388 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416039 0 0 0 87822 3221 0 0 25 0 1 0 784983024 463147008 110841 4294967295 134512640 134714508 3221221776 3221217692 1074860977 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 113073 110841 1111 63 0 113010 0 vsize: 452292 [startup+920.389 s] Raw data (loadavg): 1.00 1.01 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416039 0 0 0 88822 3221 0 0 25 0 1 0 784983024 463147008 110841 4294967295 134512640 134714508 3221221776 3221217660 1074860626 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 113073 110841 1111 63 0 113010 0 vsize: 452292 [startup+930.389 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1416039 0 0 0 89822 3221 0 0 25 0 1 0 784983024 463147008 110841 4294967295 134512640 134714508 3221221776 3221217696 1075965311 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 113073 110841 1111 63 0 113010 0 vsize: 452292 [startup+940.389 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420619 0 0 0 90813 3231 0 0 25 0 1 0 784983024 446935040 107695 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 109115 107695 1111 63 0 109052 0 vsize: 436460 [startup+950.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 91813 3231 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+960.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 92813 3231 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+970.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 93813 3231 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+980.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17838 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 94814 3231 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+990.391 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 95814 3231 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220544 134597631 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1000.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 96814 3231 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1010.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 97814 3231 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1020.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 98814 3231 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1030.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 99814 3231 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1040.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 100814 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1050.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 101814 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1060.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 102814 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1070.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 103814 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220576 134597648 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1080.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 104814 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220536 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1090.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 105815 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220552 134600364 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1100.39 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 106814 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220556 134600348 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1110.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 107815 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1120.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 108815 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220540 134613500 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1130.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 109815 3232 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220576 134597777 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1140.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 110815 3233 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220576 134597766 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1150.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 111815 3233 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220576 134597775 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1160.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 112815 3233 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1170.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/55 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 113815 3233 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 436460 [startup+1175.13 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 17840 Raw data (stat): 17783 (bsolo_lpr) R 17782 7876 7672 0 -1 0 1420620 0 0 0 113815 3233 0 0 25 0 1 0 784983024 446935040 107696 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 109115 107696 1111 63 0 109052 0 vsize: 0 Child status: 0 Real time (s): 1175.13 CPU time (s): 1175.22 CPU user time (s): 1142.69 CPU system time (s): 32.5361 CPU usage (%): 100.008 Max. virtual memory (Kb): 452292 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####