Name | normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-sp97ar.opb |
MD5SUM | 978e3479aff123296d0a3461e698e01d |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2147483647 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 14101 |
Biggest coefficient in the objective function | 292878668 |
Number of bits for the biggest coefficient in the objective function | 29 |
Sum of the numbers in the objective function | 975388850291 |
Number of bits of the sum of numbers in the objective function | 40 |
Biggest number in a constraint | 292878668 |
Number of bits of the biggest number in a constraint | 29 |
Biggest sum of numbers in a constraint | 975388850291 |
Number of bits of the biggest sum of numbers | 40 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 10.9833 |
Number of variables | 14101 |
Total number of constraints | 15862 |
Number of constraints which are clauses | 181 |
Number of constraints which are cardinality constraints (but not clauses) | 15263 |
Number of constraints which are nor clauses,nor cardinality constraints | 418 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 2463 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-18 11:52:02 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=20231 boxname=wulflinc31 idbench=1557 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 978e3479aff123296d0a3461e698e01d /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sp97ar.opb IDLAUNCH: 20231 /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: 714864 kB Buffers: 23636 kB Cached: 273340 kB SwapCached: 932 kB Active: 106224 kB Inactive: 194056 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 714612 kB SwapTotal: 2097892 kB SwapFree: 2096072 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5380 kB Slab: 13888 kB Committed_AS: 63860 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-18 12:11:38 (client local time) WITH STATUS 0 IN 1175.38 SECONDS stats: 20231 7 1175.38 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 14101 variables and 1739 constraints. c After prepocess the problem consists of 14099 variables and 1639 constraints. c preprocess terminated 235.071 s c Initial Lower Bound: 297773950 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.15 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.90 0.95 0.96 2/55 7686 Raw data (stat): 7686 (runsolver) R 7685 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 778155473 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 100 215 215 0 43 0 vsize: 1032 [startup+10.0008 s] Raw data (loadavg): 0.92 0.95 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 18428 0 0 0 960 36 0 0 25 0 1 0 778155473 88952832 18405 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21717 18405 1111 63 0 21654 0 vsize: 86868 [startup+20.0016 s] Raw data (loadavg): 0.93 0.95 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 38037 0 0 0 1925 71 0 0 25 0 1 0 778155473 169279488 38014 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41328 38014 1111 63 0 41265 0 vsize: 165312 [startup+30.0026 s] Raw data (loadavg): 0.94 0.95 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 57826 0 0 0 2892 104 0 0 25 0 1 0 778155473 250372096 57803 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 61126 57809 1111 63 0 61063 0 vsize: 244504 [startup+40.0025 s] Raw data (loadavg): 0.95 0.95 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 77425 0 0 0 3857 140 0 0 25 0 1 0 778155473 330551296 77402 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 80701 77402 1111 63 0 80638 0 vsize: 322804 [startup+50.0024 s] Raw data (loadavg): 0.96 0.95 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 86701 0 0 0 4839 158 0 0 25 0 1 0 778155473 368513024 86678 4294967295 134512640 134714540 3221221776 3221220024 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 89969 86678 1111 63 0 89906 0 vsize: 359876 [startup+60.0034 s] Raw data (loadavg): 0.96 0.95 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 87658 0 0 0 5836 160 0 0 25 0 1 0 778155473 372441088 87635 4294967295 134512640 134714540 3221221776 3221220064 134566780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 90928 87635 1111 63 0 90865 0 vsize: 363712 [startup+70.0043 s] Raw data (loadavg): 0.97 0.95 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 88650 0 0 0 6833 163 0 0 25 0 1 0 778155473 376504320 88627 4294967295 134512640 134714540 3221221776 3221220060 1077399562 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 91920 88627 1111 63 0 91857 0 vsize: 367680 [startup+80.0052 s] Raw data (loadavg): 0.97 0.95 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 89669 0 0 0 7831 165 0 0 25 0 1 0 778155473 380710912 89646 4294967295 134512640 134714540 3221221776 3221219416 1077360690 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 92947 89646 1111 63 0 92884 0 vsize: 371788 [startup+90.0054 s] Raw data (loadavg): 0.98 0.95 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 90790 0 0 0 8828 169 0 0 25 0 1 0 778155473 385314816 90767 4294967295 134512640 134714540 3221221776 3221219436 1077253282 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 94071 90767 1111 63 0 94008 0 vsize: 376284 [startup+100.005 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 9823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 10823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+120.006 s] Raw data (loadavg): 0.98 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 11823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134535900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+130.007 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 12823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536817 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+140.008 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 13823 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220416 134594947 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+150.008 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 14824 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+160.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 15824 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134535928 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+170.009 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 16824 173 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+180.01 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 17824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536766 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+190.01 s] Raw data (loadavg): 0.99 0.96 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 18824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220528 134630792 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+200.009 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 19824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220240 134543030 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+210.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 20824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134536769 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+220.01 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 21824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+230.011 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 92722 0 0 0 22824 174 0 0 25 0 1 0 778155473 383524864 92624 4294967295 134512640 134714540 3221221776 3221220220 134535970 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 93634 92624 1111 63 0 93571 0 vsize: 374536 [startup+240.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93210 0 0 0 23823 175 0 0 25 0 1 0 778155473 385662976 93112 4294967295 134512640 134714540 3221221776 3221220560 134558518 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94156 93112 1111 63 0 94093 0 vsize: 376624 [startup+250.012 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93254 0 0 0 24823 175 0 0 25 0 1 0 778155473 385798144 93156 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94189 93156 1111 63 0 94126 0 vsize: 376756 [startup+260.013 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93298 0 0 0 25823 176 0 0 25 0 1 0 778155473 385933312 93200 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94222 93200 1111 63 0 94159 0 vsize: 376888 [startup+270.014 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93361 0 0 0 26823 176 0 0 25 0 1 0 778155473 386203648 93263 4294967295 134512640 134714540 3221221776 3221220576 134611189 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94288 93263 1111 63 0 94225 0 vsize: 377152 [startup+280.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93426 0 0 0 27823 176 0 0 25 0 1 0 778155473 386473984 93328 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94354 93328 1111 63 0 94291 0 vsize: 377416 [startup+290.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93492 0 0 0 28823 176 0 0 25 0 1 0 778155473 386744320 93394 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94420 93394 1111 63 0 94357 0 vsize: 377680 [startup+300.015 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93565 0 0 0 29823 176 0 0 25 0 1 0 778155473 387014656 93467 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94486 93467 1111 63 0 94423 0 vsize: 377944 [startup+310.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93660 0 0 0 30823 177 0 0 25 0 1 0 778155473 387424256 93562 4294967295 134512640 134714540 3221221776 3221220496 134556748 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94586 93562 1111 63 0 94523 0 vsize: 378344 [startup+320.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93771 0 0 0 31823 177 0 0 25 0 1 0 778155473 387964928 93673 4294967295 134512640 134714540 3221221776 3221220512 134695322 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94718 93673 1111 63 0 94655 0 vsize: 378872 [startup+330.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93883 0 0 0 32823 177 0 0 25 0 1 0 778155473 388370432 93785 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94817 93785 1111 63 0 94754 0 vsize: 379268 [startup+340.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 93998 0 0 0 33823 177 0 0 25 0 1 0 778155473 388911104 93900 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 94949 93900 1111 63 0 94886 0 vsize: 379796 [startup+350.016 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94118 0 0 0 34823 177 0 0 25 0 1 0 778155473 389316608 94020 4294967295 134512640 134714540 3221221776 3221220528 134624488 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95048 94020 1111 63 0 94985 0 vsize: 380192 [startup+360.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94238 0 0 0 35823 178 0 0 25 0 1 0 778155473 389857280 94140 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95180 94140 1111 63 0 95117 0 vsize: 380720 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94357 0 0 0 36823 178 0 0 25 0 1 0 778155473 390262784 94259 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95279 94259 1111 63 0 95216 0 vsize: 381116 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94484 0 0 0 37822 178 0 0 25 0 1 0 778155473 390803456 94386 4294967295 134512640 134714540 3221221776 3221220480 134556763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95411 94386 1111 63 0 95348 0 vsize: 381644 [startup+390.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94631 0 0 0 38822 179 0 0 25 0 1 0 778155473 391483392 94533 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95577 94533 1111 63 0 95514 0 vsize: 382308 [startup+400.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94774 0 0 0 39822 179 0 0 25 0 1 0 778155473 392024064 94676 4294967295 134512640 134714540 3221221776 3221220492 134543192 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95709 94676 1111 63 0 95646 0 vsize: 382836 [startup+410.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 94919 0 0 0 40822 180 0 0 25 0 1 0 778155473 392699904 94821 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 95874 94821 1111 63 0 95811 0 vsize: 383496 [startup+420.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95067 0 0 0 41822 180 0 0 25 0 1 0 778155473 393244672 94969 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96007 94969 1111 63 0 95944 0 vsize: 384028 [startup+430.022 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95251 0 0 0 42822 180 0 0 25 0 1 0 778155473 394063872 95153 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96207 95153 1111 63 0 96144 0 vsize: 384828 [startup+440.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95443 0 0 0 43821 181 0 0 25 0 1 0 778155473 394739712 95345 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96372 95345 1111 63 0 96309 0 vsize: 385488 [startup+450.023 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95625 0 0 0 44821 181 0 0 25 0 1 0 778155473 395550720 95527 4294967295 134512640 134714540 3221221776 3221220648 134536901 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96570 95527 1111 63 0 96507 0 vsize: 386280 [startup+460.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 95817 0 0 0 45821 182 0 0 25 0 1 0 778155473 396365824 95719 4294967295 134512640 134714540 3221221776 3221220512 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96769 95719 1111 63 0 96706 0 vsize: 387076 [startup+470.024 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96010 0 0 0 46820 182 0 0 25 0 1 0 778155473 397185024 95912 4294967295 134512640 134714540 3221221776 3221220520 134558593 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 96969 95912 1111 63 0 96906 0 vsize: 387876 [startup+480.223 s] Raw data (loadavg): 0.99 0.97 0.96 2/55 7686 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96202 0 0 0 47840 183 0 0 25 0 1 0 778155473 397996032 96104 4294967295 134512640 134714540 3221221776 3221220672 134621504 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97167 96104 1111 63 0 97104 0 vsize: 388668 [startup+490.298 s] Raw data (loadavg): 1.07 0.99 0.96 2/59 7732 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96408 0 0 0 48847 183 0 0 25 0 1 0 778155473 398807040 96310 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97365 96310 1111 63 0 97302 0 vsize: 389460 [startup+500.297 s] Raw data (loadavg): 1.14 1.00 0.97 2/55 7739 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96599 0 0 0 49847 183 0 0 25 0 1 0 778155473 399618048 96501 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97563 96501 1111 63 0 97500 0 vsize: 390252 [startup+510.297 s] Raw data (loadavg): 1.11 1.00 0.97 2/55 7739 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96797 0 0 0 50846 184 0 0 25 0 1 0 778155473 400429056 96699 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97761 96699 1111 63 0 97698 0 vsize: 391044 [startup+520.297 s] Raw data (loadavg): 1.10 1.00 0.97 2/55 7739 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 96995 0 0 0 51846 185 0 0 25 0 1 0 778155473 401248256 96897 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 97961 96897 1111 63 0 97898 0 vsize: 391844 [startup+530.298 s] Raw data (loadavg): 1.08 1.00 0.97 2/55 7739 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97172 0 0 0 52846 185 0 0 25 0 1 0 778155473 401924096 97074 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98126 97074 1111 63 0 98063 0 vsize: 392504 [startup+540.298 s] Raw data (loadavg): 1.07 1.00 0.97 2/55 7739 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97354 0 0 0 53846 185 0 0 25 0 1 0 778155473 402735104 97256 4294967295 134512640 134714540 3221221776 3221220532 134624796 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98324 97256 1111 63 0 98261 0 vsize: 393296 [startup+550.298 s] Raw data (loadavg): 1.06 1.00 0.97 2/55 7739 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97542 0 0 0 54846 185 0 0 25 0 1 0 778155473 403410944 97444 4294967295 134512640 134714540 3221221776 3221220572 134558496 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98489 97444 1111 63 0 98426 0 vsize: 393956 [startup+560.299 s] Raw data (loadavg): 1.05 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97729 0 0 0 55846 186 0 0 25 0 1 0 778155473 404221952 97631 4294967295 134512640 134714540 3221221776 3221220512 134695306 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98687 97631 1111 63 0 98624 0 vsize: 394748 [startup+570.299 s] Raw data (loadavg): 1.04 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 97932 0 0 0 56845 186 0 0 25 0 1 0 778155473 405049344 97833 4294967295 134512640 134714540 3221221776 3221220568 134536921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 98889 97833 1111 63 0 98826 0 vsize: 395556 [startup+580.299 s] Raw data (loadavg): 1.03 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98129 0 0 0 57845 187 0 0 25 0 1 0 778155473 405999616 98030 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99121 98030 1111 63 0 99058 0 vsize: 396484 [startup+590.299 s] Raw data (loadavg): 1.03 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98327 0 0 0 58845 187 0 0 25 0 1 0 778155473 406843392 98227 4294967295 134512640 134714540 3221221776 3221220660 134621571 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99327 98227 1111 63 0 99264 0 vsize: 397308 [startup+600.299 s] Raw data (loadavg): 1.02 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98528 0 0 0 59845 187 0 0 25 0 1 0 778155473 407654400 98425 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99525 98425 1111 63 0 99462 0 vsize: 398100 [startup+610.3 s] Raw data (loadavg): 1.02 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98722 0 0 0 60845 188 0 0 25 0 1 0 778155473 408485888 98619 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99728 98619 1111 63 0 99665 0 vsize: 398912 [startup+620.3 s] Raw data (loadavg): 1.02 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 98919 0 0 0 61844 188 0 0 25 0 1 0 778155473 409296896 98816 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 99926 98816 1111 63 0 99863 0 vsize: 399704 [startup+630.3 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99128 0 0 0 62844 188 0 0 25 0 1 0 778155473 410116096 99024 4294967295 134512640 134714540 3221221776 3221220520 134558582 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 100126 99024 1111 63 0 100063 0 vsize: 400504 [startup+640.3 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99302 0 0 0 63844 189 0 0 25 0 1 0 778155473 410939392 99198 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 100327 99198 1111 63 0 100264 0 vsize: 401308 [startup+650.3 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99494 0 0 0 64844 189 0 0 25 0 1 0 778155473 411766784 99390 4294967295 134512640 134714540 3221221776 3221220512 134695292 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 100529 99390 1111 63 0 100466 0 vsize: 402116 [startup+660.301 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99667 0 0 0 65844 189 0 0 25 0 1 0 778155473 412442624 99563 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 100694 99563 1111 63 0 100631 0 vsize: 402776 [startup+670.302 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 99849 0 0 0 66844 190 0 0 25 0 1 0 778155473 413261824 99744 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 100894 99744 1111 63 0 100831 0 vsize: 403576 [startup+680.302 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100054 0 0 0 67843 190 0 0 25 0 1 0 778155473 414072832 99948 4294967295 134512640 134714540 3221221776 3221220592 134622124 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101092 99948 1111 63 0 101029 0 vsize: 404368 [startup+690.304 s] Raw data (loadavg): 1.08 1.02 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100240 0 0 0 68844 190 0 0 25 0 1 0 778155473 414908416 100133 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101296 100133 1111 63 0 101233 0 vsize: 405184 [startup+700.304 s] Raw data (loadavg): 1.06 1.02 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100433 0 0 0 69843 191 0 0 25 0 1 0 778155473 415731712 100325 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101497 100325 1111 63 0 101434 0 vsize: 405988 [startup+710.305 s] Raw data (loadavg): 1.05 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100612 0 0 0 70843 192 0 0 25 0 1 0 778155473 416550912 100504 4294967295 134512640 134714540 3221221776 3221220488 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101697 100504 1111 63 0 101634 0 vsize: 406788 [startup+720.305 s] Raw data (loadavg): 1.05 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100799 0 0 0 71842 192 0 0 25 0 1 0 778155473 417366016 100690 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 101896 100690 1111 63 0 101833 0 vsize: 407584 [startup+730.305 s] Raw data (loadavg): 1.04 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 100974 0 0 0 72842 192 0 0 25 0 1 0 778155473 418062336 100865 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102066 100865 1111 63 0 102003 0 vsize: 408264 [startup+740.305 s] Raw data (loadavg): 1.03 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 101143 0 0 0 73842 193 0 0 25 0 1 0 778155473 418873344 101034 4294967295 134512640 134714540 3221221776 3221220488 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102264 101034 1111 63 0 102201 0 vsize: 409056 [startup+750.305 s] Raw data (loadavg): 1.03 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 101369 0 0 0 74842 193 0 0 25 0 1 0 778155473 419827712 101258 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102497 101258 1111 63 0 102434 0 vsize: 409988 [startup+760.307 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 101604 0 0 0 75841 194 0 0 25 0 1 0 778155473 420777984 101493 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102729 101493 1111 63 0 102666 0 vsize: 410916 [startup+770.306 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 101844 0 0 0 76841 194 0 0 25 0 1 0 778155473 421740544 101733 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 102964 101733 1111 63 0 102901 0 vsize: 411856 [startup+780.307 s] Raw data (loadavg): 1.02 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102100 0 0 0 77840 195 0 0 25 0 1 0 778155473 422825984 101987 4294967295 134512640 134714540 3221221776 3221220576 134611186 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103229 101987 1111 63 0 103166 0 vsize: 412916 [startup+790.309 s] Raw data (loadavg): 1.01 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102313 0 0 0 78840 196 0 0 25 0 1 0 778155473 423653376 102200 4294967295 134512640 134714540 3221221776 3221220512 134695297 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103431 102200 1111 63 0 103368 0 vsize: 413724 [startup+800.308 s] Raw data (loadavg): 1.01 1.01 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102517 0 0 0 79840 196 0 0 25 0 1 0 778155473 424464384 102404 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103629 102404 1111 63 0 103566 0 vsize: 414516 [startup+810.308 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102765 0 0 0 80840 197 0 0 25 0 1 0 778155473 425545728 102651 4294967295 134512640 134714540 3221221776 3221220568 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 103893 102651 1111 63 0 103830 0 vsize: 415572 [startup+820.308 s] Raw data (loadavg): 1.01 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 102987 0 0 0 81839 197 0 0 25 0 1 0 778155473 426496000 102873 4294967295 134512640 134714540 3221221776 3221220648 134543606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104125 102873 1111 63 0 104062 0 vsize: 416500 [startup+830.309 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 103202 0 0 0 82839 198 0 0 25 0 1 0 778155473 427323392 103088 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104327 103088 1111 63 0 104264 0 vsize: 417308 [startup+840.309 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 103419 0 0 0 83839 198 0 0 25 0 1 0 778155473 428269568 103305 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104558 103305 1111 63 0 104495 0 vsize: 418232 [startup+850.309 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 103628 0 0 0 84839 198 0 0 25 0 1 0 778155473 429232128 103513 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104793 103513 1111 63 0 104730 0 vsize: 419172 [startup+860.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7741 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 103840 0 0 0 85839 199 0 0 25 0 1 0 778155473 430067712 103724 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 104997 103724 1111 63 0 104934 0 vsize: 419988 [startup+870.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104083 0 0 0 86838 199 0 0 25 0 1 0 778155473 431034368 103966 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105233 103966 1111 63 0 105170 0 vsize: 420932 [startup+880.311 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104307 0 0 0 87838 200 0 0 25 0 1 0 778155473 431988736 104190 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105466 104190 1111 63 0 105403 0 vsize: 421864 [startup+890.311 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104533 0 0 0 88837 200 0 0 25 0 1 0 778155473 432934912 104414 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105697 104414 1111 63 0 105634 0 vsize: 422788 [startup+900.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104723 0 0 0 89837 201 0 0 25 0 1 0 778155473 433745920 104603 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 105895 104603 1111 63 0 105832 0 vsize: 423580 [startup+910.311 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 104948 0 0 0 90837 201 0 0 25 0 1 0 778155473 434692096 104826 4294967295 134512640 134714540 3221221776 3221220572 134558496 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106126 104826 1111 63 0 106063 0 vsize: 424504 [startup+920.311 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105144 0 0 0 91837 202 0 0 25 0 1 0 778155473 435515392 105022 4294967295 134512640 134714540 3221221776 3221220460 134558620 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106327 105022 1111 63 0 106264 0 vsize: 425308 [startup+930.312 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105351 0 0 0 92836 202 0 0 25 0 1 0 778155473 436461568 105229 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106558 105229 1111 63 0 106495 0 vsize: 426232 [startup+940.312 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105562 0 0 0 93836 203 0 0 25 0 1 0 778155473 437284864 105440 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106759 105440 1111 63 0 106696 0 vsize: 427036 [startup+950.312 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105773 0 0 0 94835 203 0 0 25 0 1 0 778155473 438099968 105650 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 106958 105650 1111 63 0 106895 0 vsize: 427832 [startup+960.312 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 105997 0 0 0 95835 204 0 0 25 0 1 0 778155473 439050240 105874 4294967295 134512640 134714540 3221221776 3221220568 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107190 105874 1111 63 0 107127 0 vsize: 428760 [startup+970.312 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106190 0 0 0 96835 204 0 0 25 0 1 0 778155473 439861248 106067 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107388 106067 1111 63 0 107325 0 vsize: 429552 [startup+980.313 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106381 0 0 0 97835 205 0 0 25 0 1 0 778155473 440537088 106258 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107553 106258 1111 63 0 107490 0 vsize: 430212 [startup+990.313 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106581 0 0 0 98834 205 0 0 25 0 1 0 778155473 441487360 106458 4294967295 134512640 134714540 3221221776 3221220652 134543615 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107785 106458 1111 63 0 107722 0 vsize: 431140 [startup+1000.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106780 0 0 0 99834 205 0 0 25 0 1 0 778155473 442298368 106656 4294967295 134512640 134714540 3221221776 3221220648 134543614 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 107983 106656 1111 63 0 107920 0 vsize: 431932 [startup+1010.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 106990 0 0 0 100834 205 0 0 25 0 1 0 778155473 443129856 106865 4294967295 134512640 134714540 3221221776 3221220672 134621520 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 108186 106865 1111 63 0 108123 0 vsize: 432744 [startup+1020.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107191 0 0 0 101834 206 0 0 25 0 1 0 778155473 443961344 107065 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 108389 107065 1111 63 0 108326 0 vsize: 433556 [startup+1030.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107393 0 0 0 102834 206 0 0 25 0 1 0 778155473 444772352 107266 4294967295 134512640 134714540 3221221776 3221220568 134536900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 108587 107266 1111 63 0 108524 0 vsize: 434348 [startup+1040.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107586 0 0 0 103834 207 0 0 25 0 1 0 778155473 445583360 107459 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 108785 107459 1111 63 0 108722 0 vsize: 435140 [startup+1050.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107787 0 0 0 104833 207 0 0 25 0 1 0 778155473 446402560 107658 4294967295 134512640 134714540 3221221776 3221220520 134558593 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 108985 107658 1111 63 0 108922 0 vsize: 435940 [startup+1060.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 107970 0 0 0 105833 208 0 0 25 0 1 0 778155473 447225856 107841 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 109186 107841 1111 63 0 109123 0 vsize: 436744 [startup+1070.31 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108159 0 0 0 106833 208 0 0 25 0 1 0 778155473 447901696 108030 4294967295 134512640 134714540 3221221776 3221220672 134621530 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 109351 108030 1111 63 0 109288 0 vsize: 437404 [startup+1080.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108370 0 0 0 107833 208 0 0 25 0 1 0 778155473 448868352 108240 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 109587 108240 1111 63 0 109524 0 vsize: 438348 [startup+1090.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108551 0 0 0 108832 209 0 0 25 0 1 0 778155473 449544192 108421 4294967295 134512640 134714540 3221221776 3221220520 134558593 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 109752 108421 1111 63 0 109689 0 vsize: 439008 [startup+1100.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108731 0 0 0 109832 209 0 0 25 0 1 0 778155473 450359296 108600 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 109951 108600 1111 63 0 109888 0 vsize: 439804 [startup+1110.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 108910 0 0 0 110832 209 0 0 25 0 1 0 778155473 451043328 108779 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 110118 108779 1111 63 0 110055 0 vsize: 440472 [startup+1120.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109099 0 0 0 111832 210 0 0 25 0 1 0 778155473 451854336 108967 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 110316 108967 1111 63 0 110253 0 vsize: 441264 [startup+1130.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109280 0 0 0 112832 210 0 0 25 0 1 0 778155473 452665344 109148 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 110514 109148 1111 63 0 110451 0 vsize: 442056 [startup+1140.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109452 0 0 0 113832 211 0 0 25 0 1 0 778155473 453341184 109320 4294967295 134512640 134714540 3221221776 3221220648 134536921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 110679 109320 1111 63 0 110616 0 vsize: 442716 [startup+1150.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109642 0 0 0 114832 211 0 0 25 0 1 0 778155473 454168576 109509 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 110881 109509 1111 63 0 110818 0 vsize: 443524 [startup+1160.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109826 0 0 0 115832 211 0 0 25 0 1 0 778155473 454987776 109692 4294967295 134512640 134714540 3221221776 3221220512 134695338 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 111081 109692 1111 63 0 111018 0 vsize: 444324 [startup+1170.32 s] Raw data (loadavg): 1.00 1.00 0.97 2/55 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109991 0 0 0 116831 211 0 0 25 0 1 0 778155473 455528448 109857 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 111213 109857 1111 63 0 111150 0 vsize: 444852 [startup+1175.26 s] Raw data (loadavg): 1.00 1.00 0.97 1/54 7743 Raw data (stat): 7686 (bsolo_mis) R 7685 7876 7672 0 -1 0 109991 0 0 0 116831 211 0 0 25 0 1 0 778155473 455528448 109857 4294967295 134512640 134714540 3221221776 3221220672 134621515 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 111213 109857 1111 63 0 111150 0 vsize: 0 Child status: 0 Real time (s): 1175.26 CPU time (s): 1175.38 CPU user time (s): 1173.05 CPU system time (s): 2.32465 CPU usage (%): 100.01 Max. virtual memory (Kb): 444852 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####