Name | normalized-opb/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb |
MD5SUM | fa67033d6a242cf79309b3804f79a4fe |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 0 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 10 |
Number of bits of the biggest number in a constraint | 4 |
Biggest sum of numbers in a constraint | 102 |
Number of bits of the biggest sum of numbers | 7 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 15.8556 |
Number of variables | 4608 |
Total number of constraints | 34956 |
Number of constraints which are clauses | 29328 |
Number of constraints which are cardinality constraints (but not clauses) | 5550 |
Number of constraints which are nor clauses,nor cardinality constraints | 78 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 29 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-15 03:41:49 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=3234 boxname=wulflinc31 idbench=360 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: fa67033d6a242cf79309b3804f79a4fe /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1,3-13,19.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1,3-13,19.opb IDLAUNCH: 3234 /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: 818180 kB Buffers: 40520 kB Cached: 153932 kB SwapCached: 1932 kB Active: 158788 kB Inactive: 38844 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 817928 kB SwapTotal: 2097892 kB SwapFree: 2095228 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5364 kB Slab: 12988 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-15 04:01:25 (client local time) WITH STATUS 0 IN 1175.1 SECONDS stats: 3234 7 1175.1 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: No cost function. Find solution and finish. c Initial problem consists of 4608 variables and 30522 constraints. c After prepocess the problem consists of 4608 variables and 30522 constraints. c preprocess terminated 47.065 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.03 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.97 0.99 2/55 30772 Raw data (stat): 30772 (runsolver) R 30771 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 749290850 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+9.99991 s] Raw data (loadavg): 0.93 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 44712 0 0 0 880 116 0 0 25 0 1 0 749290850 55992320 12728 4294967295 134512640 134714540 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13670 12728 1111 63 0 13607 0 vsize: 54680 [startup+20.0009 s] Raw data (loadavg): 0.94 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 68708 0 0 0 1818 178 0 0 25 0 1 0 749290850 69992448 16151 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16151 1111 63 0 17025 0 vsize: 68352 [startup+30.0021 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 82352 0 0 0 2783 214 0 0 25 0 1 0 749290850 69992448 16151 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16151 1111 63 0 17025 0 vsize: 68352 [startup+40.0017 s] Raw data (loadavg): 0.95 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86180 0 0 0 3773 224 0 0 25 0 1 0 749290850 69992448 16151 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16151 1111 63 0 17025 0 vsize: 68352 [startup+50.0026 s] Raw data (loadavg): 0.96 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86196 0 0 0 4772 225 0 0 25 0 1 0 749290850 69992448 16167 4294967295 134512640 134714540 3221221792 3221220384 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16167 1111 63 0 17025 0 vsize: 68352 [startup+60.003 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 5770 227 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+70.0035 s] Raw data (loadavg): 0.97 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 6769 228 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220400 134543719 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+80.0044 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 7768 229 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+90.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 8767 230 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220196 134697228 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+100.005 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 9766 231 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220468 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+110.006 s] Raw data (loadavg): 0.98 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 10765 232 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+120.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 11764 234 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220352 134696556 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+130.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 12763 235 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 13762 236 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 14761 237 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+160.01 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 15761 238 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+170.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 16759 239 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220528 134528434 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+180.011 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 17759 240 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220460 134552672 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+190.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 18758 241 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220300 134535952 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+200.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 19757 242 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+210.012 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 20756 243 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220492 134543664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+220.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 21756 243 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220384 134549742 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+230.013 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 22755 245 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220552 134552638 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+240.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 23754 245 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+250.014 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 24754 246 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+260.015 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 25753 246 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+270.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 26753 247 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17088 16169 1111 63 0 17025 0 vsize: 68352 [startup+280.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86305 0 0 0 27753 248 0 0 25 0 1 0 749290850 70533120 16276 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17220 16276 1111 63 0 17157 0 vsize: 68880 [startup+290.017 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86450 0 0 0 28751 250 0 0 25 0 1 0 749290850 71073792 16421 4294967295 134512640 134714540 3221221792 3221220504 134552681 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17352 16421 1111 63 0 17289 0 vsize: 69408 [startup+300.018 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86612 0 0 0 29750 250 0 0 25 0 1 0 749290850 71741440 16583 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17515 16583 1111 63 0 17452 0 vsize: 70060 [startup+310.019 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86726 0 0 0 30748 252 0 0 25 0 1 0 749290850 72282112 16697 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17647 16697 1111 63 0 17584 0 vsize: 70588 [startup+320.02 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86792 0 0 0 31748 253 0 0 25 0 1 0 749290850 72540160 16763 4294967295 134512640 134714540 3221221792 3221220448 134536724 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17710 16763 1111 63 0 17647 0 vsize: 70840 [startup+330.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86872 0 0 0 32747 254 0 0 25 0 1 0 749290850 72794112 16843 4294967295 134512640 134714540 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17772 16843 1111 63 0 17709 0 vsize: 71088 [startup+340.021 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86912 0 0 0 33745 256 0 0 25 0 1 0 749290850 72929280 16883 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17805 16883 1111 63 0 17742 0 vsize: 71220 [startup+350.022 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87021 0 0 0 34744 257 0 0 25 0 1 0 749290850 73469952 16992 4294967295 134512640 134714540 3221221792 3221220576 134529252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17937 16992 1111 63 0 17874 0 vsize: 71748 [startup+360.023 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87065 0 0 0 35743 258 0 0 25 0 1 0 749290850 73605120 17036 4294967295 134512640 134714540 3221221792 3221220352 134696576 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17970 17036 1111 63 0 17907 0 vsize: 71880 [startup+370.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87146 0 0 0 36742 259 0 0 25 0 1 0 749290850 73875456 17117 4294967295 134512640 134714540 3221221792 3221220320 134672417 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18036 17117 1111 63 0 17973 0 vsize: 72144 [startup+380.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87292 0 0 0 37741 260 0 0 25 0 1 0 749290850 74543104 17263 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18199 17263 1111 63 0 18136 0 vsize: 72796 [startup+390.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87348 0 0 0 38740 262 0 0 25 0 1 0 749290850 74813440 17319 4294967295 134512640 134714540 3221221792 3221220464 134542865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 18265 17319 1111 63 0 18202 0 vsize: 73060 [startup+400.024 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87433 0 0 0 39739 263 0 0 25 0 1 0 749290850 75083776 17404 4294967295 134512640 134714540 3221221792 3221220532 134523855 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18331 17404 1111 63 0 18268 0 vsize: 73324 [startup+410.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87512 0 0 0 40738 264 0 0 25 0 1 0 749290850 75468800 17483 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18425 17483 1111 63 0 18362 0 vsize: 73700 [startup+420.025 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87566 0 0 0 41738 264 0 0 25 0 1 0 749290850 75603968 17537 4294967295 134512640 134714540 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18458 17537 1111 63 0 18395 0 vsize: 73832 [startup+430.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87601 0 0 0 42738 265 0 0 25 0 1 0 749290850 75739136 17572 4294967295 134512640 134714540 3221221792 3221220476 134552632 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18491 17572 1111 63 0 18428 0 vsize: 73964 [startup+440.026 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87693 0 0 0 43738 265 0 0 25 0 1 0 749290850 76144640 17664 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18590 17664 1111 63 0 18527 0 vsize: 74360 [startup+450.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87806 0 0 0 44737 266 0 0 25 0 1 0 749290850 76685312 17777 4294967295 134512640 134714540 3221221792 3221220528 134558537 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18722 17777 1111 63 0 18659 0 vsize: 74888 [startup+460.027 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87828 0 0 0 45737 266 0 0 25 0 1 0 749290850 76685312 17799 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18722 17799 1111 63 0 18659 0 vsize: 74888 [startup+470.028 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87933 0 0 0 46736 268 0 0 25 0 1 0 749290850 77225984 17904 4294967295 134512640 134714540 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18854 17904 1111 63 0 18791 0 vsize: 75416 [startup+480.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88035 0 0 0 47735 268 0 0 25 0 1 0 749290850 77594624 18006 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18944 18006 1111 63 0 18881 0 vsize: 75776 [startup+490.029 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88149 0 0 0 48734 270 0 0 25 0 1 0 749290850 78000128 18120 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19043 18120 1111 63 0 18980 0 vsize: 76172 [startup+500.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88246 0 0 0 49733 271 0 0 25 0 1 0 749290850 78405632 18217 4294967295 134512640 134714540 3221221792 3221220384 134542347 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19142 18217 1111 63 0 19079 0 vsize: 76568 [startup+510.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88412 0 0 0 50732 272 0 0 25 0 1 0 749290850 79081472 18383 4294967295 134512640 134714540 3221221792 3221220576 134529177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19307 18383 1111 63 0 19244 0 vsize: 77228 [startup+520.03 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88502 0 0 0 51732 272 0 0 25 0 1 0 749290850 79470592 18473 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19402 18473 1111 63 0 19339 0 vsize: 77608 [startup+530.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88610 0 0 0 52731 273 0 0 25 0 1 0 749290850 79876096 18581 4294967295 134512640 134714540 3221221792 3221220448 134536738 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19501 18581 1111 63 0 19438 0 vsize: 78004 [startup+540.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88673 0 0 0 53731 274 0 0 25 0 1 0 749290850 80146432 18644 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19567 18644 1111 63 0 19504 0 vsize: 78268 [startup+550.031 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88806 0 0 0 54730 275 0 0 25 0 1 0 749290850 80687104 18777 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19699 18777 1111 63 0 19636 0 vsize: 78796 [startup+560.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88919 0 0 0 55729 276 0 0 25 0 1 0 749290850 81215488 18890 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19828 18890 1111 63 0 19765 0 vsize: 79312 [startup+570.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88998 0 0 0 56729 276 0 0 25 0 1 0 749290850 81485824 18969 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19894 18969 1111 63 0 19831 0 vsize: 79576 [startup+580.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89063 0 0 0 57728 277 0 0 25 0 1 0 749290850 81756160 19034 4294967295 134512640 134714540 3221221792 3221220448 134536713 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19960 19034 1111 63 0 19897 0 vsize: 79840 [startup+590.032 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89140 0 0 0 58728 277 0 0 25 0 1 0 749290850 82157568 19111 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20058 19111 1111 63 0 19995 0 vsize: 80232 [startup+600.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89188 0 0 0 59728 278 0 0 25 0 1 0 749290850 82268160 19159 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20085 19159 1111 63 0 20022 0 vsize: 80340 [startup+610.033 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89262 0 0 0 60727 279 0 0 25 0 1 0 749290850 82665472 19233 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20182 19233 1111 63 0 20119 0 vsize: 80728 [startup+620.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89338 0 0 0 61727 280 0 0 25 0 1 0 749290850 82931712 19309 4294967295 134512640 134714540 3221221792 3221220464 134543671 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20247 19309 1111 63 0 20184 0 vsize: 80988 [startup+630.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89396 0 0 0 62726 280 0 0 25 0 1 0 749290850 83189760 19367 4294967295 134512640 134714540 3221221792 3221220444 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20310 19367 1111 63 0 20247 0 vsize: 81240 [startup+640.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89497 0 0 0 63726 280 0 0 25 0 1 0 749290850 83595264 19468 4294967295 134512640 134714540 3221221792 3221220496 134528434 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20409 19468 1111 63 0 20346 0 vsize: 81636 [startup+650.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89588 0 0 0 64725 281 0 0 25 0 1 0 749290850 84000768 19559 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20508 19559 1111 63 0 20445 0 vsize: 82032 [startup+660.034 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89662 0 0 0 65725 282 0 0 25 0 1 0 749290850 84267008 19633 4294967295 134512640 134714540 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20573 19633 1111 63 0 20510 0 vsize: 82292 [startup+670.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89728 0 0 0 66724 283 0 0 25 0 1 0 749290850 84529152 19699 4294967295 134512640 134714540 3221221792 3221220480 134536736 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20637 19699 1111 63 0 20574 0 vsize: 82548 [startup+680.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89803 0 0 0 67724 284 0 0 25 0 1 0 749290850 84799488 19774 4294967295 134512640 134714540 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20703 19774 1111 63 0 20640 0 vsize: 82812 [startup+690.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89832 0 0 0 68723 284 0 0 25 0 1 0 749290850 84934656 19803 4294967295 134512640 134714540 3221221792 3221220704 134595081 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20736 19803 1111 63 0 20673 0 vsize: 82944 [startup+700.035 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89973 0 0 0 69723 285 0 0 25 0 1 0 749290850 85454848 19944 4294967295 134512640 134714540 3221221792 3221220348 134535649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20863 19944 1111 63 0 20800 0 vsize: 83452 [startup+710.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90046 0 0 0 70722 286 0 0 25 0 1 0 749290850 85848064 20017 4294967295 134512640 134714540 3221221792 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20959 20017 1111 63 0 20896 0 vsize: 83836 [startup+720.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90098 0 0 0 71722 286 0 0 25 0 1 0 749290850 85983232 20069 4294967295 134512640 134714540 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20992 20069 1111 63 0 20929 0 vsize: 83968 [startup+730.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90206 0 0 0 72721 287 0 0 25 0 1 0 749290850 86511616 20177 4294967295 134512640 134714540 3221221792 3221220416 134542365 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21121 20177 1111 63 0 21058 0 vsize: 84484 [startup+740.036 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90306 0 0 0 73720 288 0 0 25 0 1 0 749290850 86896640 20277 4294967295 134512640 134714540 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21215 20277 1111 63 0 21152 0 vsize: 84860 [startup+750.037 s] Raw data (loadavg): 0.99 0.97 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90364 0 0 0 74720 288 0 0 25 0 1 0 749290850 87142400 20335 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21275 20335 1111 63 0 21212 0 vsize: 85100 [startup+760.037 s] Raw data (loadavg): 1.07 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90408 0 0 0 75720 288 0 0 25 0 1 0 749290850 87277568 20379 4294967295 134512640 134714540 3221221792 3221220400 134548843 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21308 20379 1111 63 0 21245 0 vsize: 85232 [startup+770.038 s] Raw data (loadavg): 1.06 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90497 0 0 0 76720 289 0 0 25 0 1 0 749290850 87678976 20468 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21406 20468 1111 63 0 21343 0 vsize: 85624 [startup+780.039 s] Raw data (loadavg): 1.05 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90577 0 0 0 77719 290 0 0 25 0 1 0 749290850 87949312 20548 4294967295 134512640 134714540 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21472 20548 1111 63 0 21409 0 vsize: 85888 [startup+790.039 s] Raw data (loadavg): 1.04 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90637 0 0 0 78719 291 0 0 25 0 1 0 749290850 88219648 20608 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21538 20608 1111 63 0 21475 0 vsize: 86152 [startup+800.039 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90673 0 0 0 79718 291 0 0 25 0 1 0 749290850 88350720 20644 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21570 20644 1111 63 0 21507 0 vsize: 86280 [startup+810.04 s] Raw data (loadavg): 1.03 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90710 0 0 0 80718 292 0 0 25 0 1 0 749290850 88485888 20681 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21603 20681 1111 63 0 21540 0 vsize: 86412 [startup+820.041 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90776 0 0 0 81718 292 0 0 25 0 1 0 749290850 88875008 20747 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21698 20747 1111 63 0 21635 0 vsize: 86792 [startup+830.041 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90812 0 0 0 82717 293 0 0 25 0 1 0 749290850 88989696 20783 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21726 20783 1111 63 0 21663 0 vsize: 86904 [startup+840.04 s] Raw data (loadavg): 1.02 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90859 0 0 0 83716 294 0 0 25 0 1 0 749290850 89096192 20830 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21752 20830 1111 63 0 21689 0 vsize: 87008 [startup+850.041 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90907 0 0 0 84716 294 0 0 25 0 1 0 749290850 89366528 20878 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21818 20878 1111 63 0 21755 0 vsize: 87272 [startup+860.042 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90989 0 0 0 85715 295 0 0 25 0 1 0 749290850 89628672 20960 4294967295 134512640 134714540 3221221792 3221220524 134532458 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21882 20960 1111 63 0 21819 0 vsize: 87528 [startup+870.043 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90989 0 0 0 86715 296 0 0 25 0 1 0 749290850 89628672 20960 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21882 20960 1111 63 0 21819 0 vsize: 87528 [startup+880.043 s] Raw data (loadavg): 1.01 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91049 0 0 0 87715 296 0 0 25 0 1 0 749290850 89899008 21020 4294967295 134512640 134714540 3221221792 3221220560 134592107 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21948 21020 1111 63 0 21885 0 vsize: 87792 [startup+890.043 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91079 0 0 0 88714 297 0 0 25 0 1 0 749290850 90034176 21050 4294967295 134512640 134714540 3221221792 3221220400 134549488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21981 21050 1111 63 0 21918 0 vsize: 87924 [startup+900.044 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91139 0 0 0 89713 298 0 0 25 0 1 0 749290850 90296320 21110 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22045 21110 1111 63 0 21982 0 vsize: 88180 [startup+910.044 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91188 0 0 0 90713 298 0 0 25 0 1 0 749290850 90431488 21159 4294967295 134512640 134714540 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22078 21159 1111 63 0 22015 0 vsize: 88312 [startup+920.045 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91263 0 0 0 91713 299 0 0 25 0 1 0 749290850 90828800 21234 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22175 21234 1111 63 0 22112 0 vsize: 88700 [startup+930.046 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91263 0 0 0 92713 299 0 0 25 0 1 0 749290850 90828800 21234 4294967295 134512640 134714540 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22175 21234 1111 63 0 22112 0 vsize: 88700 [startup+940.046 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91298 0 0 0 93712 300 0 0 25 0 1 0 749290850 90963968 21269 4294967295 134512640 134714540 3221221792 3221220432 134536655 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22208 21269 1111 63 0 22145 0 vsize: 88832 [startup+950.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91325 0 0 0 94712 301 0 0 25 0 1 0 749290850 91095040 21296 4294967295 134512640 134714540 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22240 21296 1111 63 0 22177 0 vsize: 88960 [startup+960.047 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91373 0 0 0 95711 301 0 0 25 0 1 0 749290850 91230208 21344 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22273 21344 1111 63 0 22210 0 vsize: 89092 [startup+970.048 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91376 0 0 0 96711 302 0 0 25 0 1 0 749290850 91230208 21347 4294967295 134512640 134714540 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22273 21347 1111 63 0 22210 0 vsize: 89092 [startup+980.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91383 0 0 0 97711 302 0 0 25 0 1 0 749290850 91230208 21354 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22273 21354 1111 63 0 22210 0 vsize: 89092 [startup+990.049 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91411 0 0 0 98711 302 0 0 25 0 1 0 749290850 91365376 21382 4294967295 134512640 134714540 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22306 21382 1111 63 0 22243 0 vsize: 89224 [startup+1000.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91483 0 0 0 99711 303 0 0 25 0 1 0 749290850 91758592 21454 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22402 21454 1111 63 0 22339 0 vsize: 89608 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91512 0 0 0 100710 303 0 0 25 0 1 0 749290850 91758592 21483 4294967295 134512640 134714540 3221221792 3221220524 134536922 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22402 21483 1111 63 0 22339 0 vsize: 89608 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91588 0 0 0 101710 304 0 0 25 0 1 0 749290850 92164096 21559 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22501 21559 1111 63 0 22438 0 vsize: 90004 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91648 0 0 0 102710 304 0 0 25 0 1 0 749290850 92434432 21619 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22567 21619 1111 63 0 22504 0 vsize: 90268 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91695 0 0 0 103710 305 0 0 25 0 1 0 749290850 92553216 21666 4294967295 134512640 134714540 3221221792 3221220520 134536900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22596 21666 1111 63 0 22533 0 vsize: 90384 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91712 0 0 0 104710 305 0 0 25 0 1 0 749290850 92688384 21683 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22629 21683 1111 63 0 22566 0 vsize: 90516 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91777 0 0 0 105710 305 0 0 25 0 1 0 749290850 92950528 21748 4294967295 134512640 134714540 3221221792 3221220444 134536763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22693 21748 1111 63 0 22630 0 vsize: 90772 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91796 0 0 0 106709 306 0 0 25 0 1 0 749290850 92950528 21767 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22693 21767 1111 63 0 22630 0 vsize: 90772 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91847 0 0 0 107709 306 0 0 25 0 1 0 749290850 93220864 21818 4294967295 134512640 134714540 3221221792 3221220556 134552693 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22759 21818 1111 63 0 22696 0 vsize: 91036 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.99 2/55 30772 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91893 0 0 0 108708 307 0 0 25 0 1 0 749290850 93356032 21864 4294967295 134512640 134714540 3221221792 3221220348 134535936 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22792 21864 1111 63 0 22729 0 vsize: 91168 [startup+1100.19 s] Raw data (loadavg): 1.00 0.99 0.99 3/58 30808 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91961 0 0 0 109722 307 0 0 25 0 1 0 749290850 93626368 21932 4294967295 134512640 134714540 3221221792 3221220432 134539460 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22858 21932 1111 63 0 22795 0 vsize: 91432 [startup+1110.38 s] Raw data (loadavg): 1.07 1.00 1.00 2/59 30816 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92030 0 0 0 110741 307 0 0 25 0 1 0 749290850 93896704 22001 4294967295 134512640 134714540 3221221792 3221220400 134549474 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22924 22001 1111 63 0 22861 0 vsize: 91696 [startup+1120.51 s] Raw data (loadavg): 1.14 1.02 1.01 3/58 30822 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92060 0 0 0 111754 308 0 0 25 0 1 0 749290850 94019584 22031 4294967295 134512640 134714540 3221221792 3221220560 134587964 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22954 22031 1111 63 0 22891 0 vsize: 91816 [startup+1130.65 s] Raw data (loadavg): 1.27 1.05 1.02 2/55 30826 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92079 0 0 0 112767 308 0 0 25 0 1 0 749290850 94154752 22050 4294967295 134512640 134714540 3221221792 3221220412 134613752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22987 22050 1111 63 0 22924 0 vsize: 91948 [startup+1140.65 s] Raw data (loadavg): 1.23 1.05 1.01 2/55 30826 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92106 0 0 0 113767 309 0 0 25 0 1 0 749290850 94289920 22077 4294967295 134512640 134714540 3221221792 3221220624 134551450 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23020 22077 1111 63 0 22957 0 vsize: 92080 [startup+1150.65 s] Raw data (loadavg): 1.19 1.05 1.01 2/55 30826 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92173 0 0 0 114767 310 0 0 25 0 1 0 749290850 94560256 22144 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23086 22144 1111 63 0 23023 0 vsize: 92344 [startup+1160.65 s] Raw data (loadavg): 1.16 1.04 1.01 2/55 30826 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92235 0 0 0 115766 310 0 0 25 0 1 0 749290850 94830592 22206 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23152 22206 1111 63 0 23089 0 vsize: 92608 [startup+1170.65 s] Raw data (loadavg): 1.14 1.04 1.01 2/55 30826 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92262 0 0 0 116766 311 0 0 25 0 1 0 749290850 94830592 22233 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23152 22233 1111 63 0 23089 0 vsize: 92608 [startup+1174.98 s] Raw data (loadavg): 1.13 1.04 1.01 1/54 30826 Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92262 0 0 0 116766 311 0 0 25 0 1 0 749290850 94830592 22233 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23152 22233 1111 63 0 23089 0 vsize: 0 Child status: 0 Real time (s): 1174.98 CPU time (s): 1175.1 CPU user time (s): 1171.95 CPU system time (s): 3.15252 CPU usage (%): 100.01 Max. virtual memory (Kb): 92608 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####