Name | normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-4pb.opb |
MD5SUM | c1a86b94297136b91215b2ae8a8f5643 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 60 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 696 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 696 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 696 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.03784 |
Number of variables | 696 |
Total number of constraints | 2096 |
Number of constraints which are clauses | 2072 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 29 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-09 17:00:46 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2154 boxname=wulflinc31 idbench=240 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: c1a86b94297136b91215b2ae8a8f5643 /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-4pb.opb IDLAUNCH: 2154 /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: 137388 kB Buffers: 44872 kB Cached: 817812 kB SwapCached: 644 kB Active: 492140 kB Inactive: 372892 kB HighTotal: 131008 kB HighFree: 644 kB LowTotal: 903652 kB LowFree: 136744 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26428 kB Committed_AS: 63640 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-09 17:20:22 (client local time) WITH STATUS 0 IN 1175.54 SECONDS stats: 2154 7 1175.54 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 696 variables and 2096 constraints. c After prepocess the problem consists of 580 variables and 1732 constraints. c preprocess terminated 0.499 s c Initial Lower Bound: 42 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.5 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.80 0.93 0.91 2/54 417 Raw data (stat): 417 (runsolver) R 416 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 702239112 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.0013 s] Raw data (loadavg): 0.83 0.93 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 1556 0 0 0 991 5 0 0 25 0 1 0 702239112 9928704 1530 4294967295 134512640 134714540 3221221792 3221220432 134696080 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2424 1530 1111 63 0 2361 0 vsize: 9696 [startup+20.0017 s] Raw data (loadavg): 0.86 0.93 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 1805 0 0 0 1990 7 0 0 25 0 1 0 702239112 11010048 1779 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2688 1779 1111 63 0 2625 0 vsize: 10752 [startup+30.0027 s] Raw data (loadavg): 0.88 0.93 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2198 0 0 0 2988 9 0 0 25 0 1 0 702239112 12632064 2172 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3084 2172 1111 63 0 3021 0 vsize: 12336 [startup+40.0028 s] Raw data (loadavg): 0.90 0.93 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2357 0 0 0 3987 10 0 0 25 0 1 0 702239112 13312000 2331 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3250 2331 1111 63 0 3187 0 vsize: 13000 [startup+50.0025 s] Raw data (loadavg): 0.91 0.93 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2373 0 0 0 4987 10 0 0 25 0 1 0 702239112 13312000 2347 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3250 2347 1111 63 0 3187 0 vsize: 13000 [startup+60.0024 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2626 0 0 0 5986 11 0 0 25 0 1 0 702239112 14413824 2600 4294967295 134512640 134714540 3221221792 3221220584 134542445 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3519 2600 1111 63 0 3456 0 vsize: 14076 [startup+70.0026 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 2829 0 0 0 6984 13 0 0 25 0 1 0 702239112 15224832 2803 4294967295 134512640 134714540 3221221792 3221220396 134536823 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3717 2803 1111 63 0 3654 0 vsize: 14868 [startup+80.0033 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3030 0 0 0 7984 14 0 0 25 0 1 0 702239112 16044032 3004 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3917 3004 1111 63 0 3854 0 vsize: 15668 [startup+90.0032 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3205 0 0 0 8983 15 0 0 25 0 1 0 702239112 16719872 3179 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4082 3179 1111 63 0 4019 0 vsize: 16328 [startup+100.003 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3400 0 0 0 9983 15 0 0 25 0 1 0 702239112 17534976 3374 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4281 3374 1111 63 0 4218 0 vsize: 17124 [startup+110.004 s] Raw data (loadavg): 0.97 0.94 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3507 0 0 0 10982 16 0 0 25 0 1 0 702239112 18075648 3481 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4413 3481 1111 63 0 4350 0 vsize: 17652 [startup+120.004 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3598 0 0 0 11982 16 0 0 25 0 1 0 702239112 18345984 3572 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4479 3572 1111 63 0 4416 0 vsize: 17916 [startup+130.005 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3598 0 0 0 12982 16 0 0 25 0 1 0 702239112 18345984 3572 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4479 3572 1111 63 0 4416 0 vsize: 17916 [startup+140.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 3959 0 0 0 13981 18 0 0 25 0 1 0 702239112 19886080 3933 4294967295 134512640 134714540 3221221792 3221220196 134697375 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4855 3933 1111 63 0 4792 0 vsize: 19420 [startup+150.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4355 0 0 0 14980 18 0 0 25 0 1 0 702239112 21508096 4328 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5251 4328 1111 63 0 5188 0 vsize: 21004 [startup+160.006 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4558 0 0 0 15980 19 0 0 25 0 1 0 702239112 22323200 4531 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5450 4531 1111 63 0 5387 0 vsize: 21800 [startup+170.006 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4733 0 0 0 16979 20 0 0 25 0 1 0 702239112 23134208 4705 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5648 4705 1111 63 0 5585 0 vsize: 22592 [startup+180.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4829 0 0 0 17979 21 0 0 25 0 1 0 702239112 23543808 4801 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5748 4801 1111 63 0 5685 0 vsize: 22992 [startup+190.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4901 0 0 0 18978 21 0 0 25 0 1 0 702239112 23814144 4872 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5814 4872 1111 63 0 5751 0 vsize: 23256 [startup+200.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 4912 0 0 0 19978 21 0 0 25 0 1 0 702239112 23814144 4883 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5814 4883 1111 63 0 5751 0 vsize: 23256 [startup+210.007 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5021 0 0 0 20978 22 0 0 25 0 1 0 702239112 24354816 4992 4294967295 134512640 134714540 3221221792 3221220340 134696760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5946 4992 1111 63 0 5883 0 vsize: 23784 [startup+220.008 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5316 0 0 0 21976 24 0 0 25 0 1 0 702239112 25579520 5286 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6245 5286 1111 63 0 6182 0 vsize: 24980 [startup+230.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5575 0 0 0 22975 25 0 0 25 0 1 0 702239112 26554368 5544 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6483 5544 1111 63 0 6420 0 vsize: 25932 [startup+240.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5812 0 0 0 23974 26 0 0 25 0 1 0 702239112 27635712 5780 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6747 5780 1111 63 0 6684 0 vsize: 26988 [startup+250.008 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5952 0 0 0 24974 27 0 0 25 0 1 0 702239112 28176384 5920 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5920 1111 63 0 6816 0 vsize: 27516 [startup+260.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5959 0 0 0 25974 27 0 0 25 0 1 0 702239112 28176384 5927 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6879 5927 1111 63 0 6816 0 vsize: 27516 [startup+270.009 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 5994 0 0 0 26974 27 0 0 25 0 1 0 702239112 28311552 5962 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6912 5962 1111 63 0 6849 0 vsize: 27648 [startup+280.01 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6193 0 0 0 27973 28 0 0 25 0 1 0 702239112 29138944 6161 4294967295 134512640 134714540 3221221792 3221220552 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7114 6161 1111 63 0 7051 0 vsize: 28456 [startup+290.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6368 0 0 0 28972 29 0 0 25 0 1 0 702239112 29966336 6332 4294967295 134512640 134714540 3221221792 3221220568 134624778 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7316 6332 1111 63 0 7253 0 vsize: 29264 [startup+300.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6531 0 0 0 29971 30 0 0 25 0 1 0 702239112 30642176 6495 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7481 6495 1111 63 0 7418 0 vsize: 29924 [startup+310.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6655 0 0 0 30970 32 0 0 25 0 1 0 702239112 31182848 6619 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7613 6619 1111 63 0 7550 0 vsize: 30452 [startup+320.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6664 0 0 0 31970 32 0 0 25 0 1 0 702239112 31182848 6628 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7613 6628 1111 63 0 7550 0 vsize: 30452 [startup+330.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6744 0 0 0 32970 32 0 0 25 0 1 0 702239112 31604736 6707 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7716 6707 1111 63 0 7653 0 vsize: 30864 [startup+340.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6912 0 0 0 33970 32 0 0 25 0 1 0 702239112 32280576 6875 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7881 6875 1111 63 0 7818 0 vsize: 31524 [startup+350.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 6985 0 0 0 34970 33 0 0 25 0 1 0 702239112 32550912 6946 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7947 6946 1111 63 0 7884 0 vsize: 31788 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7065 0 0 0 35970 33 0 0 25 0 1 0 702239112 32968704 7026 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8049 7026 1111 63 0 7986 0 vsize: 32196 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7066 0 0 0 36969 34 0 0 25 0 1 0 702239112 32968704 7027 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8049 7027 1111 63 0 7986 0 vsize: 32196 [startup+380.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7066 0 0 0 37970 34 0 0 25 0 1 0 702239112 32968704 7027 4294967295 134512640 134714540 3221221792 3221220608 134622645 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8049 7027 1111 63 0 7986 0 vsize: 32196 [startup+390.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7066 0 0 0 38970 34 0 0 25 0 1 0 702239112 32968704 7027 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8049 7027 1111 63 0 7986 0 vsize: 32196 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7066 0 0 0 39970 34 0 0 25 0 1 0 702239112 32968704 7027 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8049 7027 1111 63 0 7986 0 vsize: 32196 [startup+410.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7067 0 0 0 40970 34 0 0 25 0 1 0 702239112 32968704 7028 4294967295 134512640 134714540 3221221792 3221220368 134543043 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8049 7028 1111 63 0 7986 0 vsize: 32196 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7102 0 0 0 41970 34 0 0 25 0 1 0 702239112 33107968 7062 4294967295 134512640 134714540 3221221792 3221220376 134542289 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8083 7062 1111 63 0 8020 0 vsize: 32332 [startup+430.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7202 0 0 0 42970 35 0 0 25 0 1 0 702239112 33513472 7162 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8182 7162 1111 63 0 8119 0 vsize: 32728 [startup+440.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7280 0 0 0 43969 35 0 0 25 0 1 0 702239112 33796096 7240 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8251 7240 1111 63 0 8188 0 vsize: 33004 [startup+450.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7333 0 0 0 44969 35 0 0 25 0 1 0 702239112 34099200 7292 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8325 7292 1111 63 0 8262 0 vsize: 33300 [startup+460.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7382 0 0 0 45969 35 0 0 25 0 1 0 702239112 34234368 7341 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8358 7341 1111 63 0 8295 0 vsize: 33432 [startup+470.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7468 0 0 0 46969 36 0 0 25 0 1 0 702239112 34648064 7426 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8459 7426 1111 63 0 8396 0 vsize: 33836 [startup+480.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7574 0 0 0 47969 36 0 0 25 0 1 0 702239112 35053568 7532 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8558 7532 1111 63 0 8495 0 vsize: 34232 [startup+490.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7642 0 0 0 48969 36 0 0 25 0 1 0 702239112 35332096 7600 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8626 7600 1111 63 0 8563 0 vsize: 34504 [startup+500.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7703 0 0 0 49969 37 0 0 25 0 1 0 702239112 35602432 7661 4294967295 134512640 134714540 3221221792 3221220640 134623456 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8692 7661 1111 63 0 8629 0 vsize: 34768 [startup+510.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7858 0 0 0 50968 38 0 0 25 0 1 0 702239112 36278272 7816 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8857 7816 1111 63 0 8794 0 vsize: 35428 [startup+520.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7921 0 0 0 51968 38 0 0 25 0 1 0 702239112 36556800 7879 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8925 7879 1111 63 0 8862 0 vsize: 35700 [startup+530.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7932 0 0 0 52968 38 0 0 25 0 1 0 702239112 36556800 7890 4294967295 134512640 134714540 3221221792 3221220584 134536897 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8925 7890 1111 63 0 8862 0 vsize: 35700 [startup+540.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7954 0 0 0 53968 39 0 0 25 0 1 0 702239112 36691968 7912 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8958 7912 1111 63 0 8895 0 vsize: 35832 [startup+550.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7969 0 0 0 54967 39 0 0 25 0 1 0 702239112 36691968 7927 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8958 7927 1111 63 0 8895 0 vsize: 35832 [startup+560.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7974 0 0 0 55967 39 0 0 25 0 1 0 702239112 36691968 7932 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8958 7932 1111 63 0 8895 0 vsize: 35832 [startup+570.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7982 0 0 0 56967 39 0 0 25 0 1 0 702239112 36691968 7940 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8958 7940 1111 63 0 8895 0 vsize: 35832 [startup+580.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7992 0 0 0 57967 39 0 0 25 0 1 0 702239112 36827136 7950 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8991 7950 1111 63 0 8928 0 vsize: 35964 [startup+590.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 7993 0 0 0 58968 39 0 0 25 0 1 0 702239112 36827136 7951 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8991 7951 1111 63 0 8928 0 vsize: 35964 [startup+600.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8007 0 0 0 59968 39 0 0 25 0 1 0 702239112 36827136 7965 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8991 7965 1111 63 0 8928 0 vsize: 35964 [startup+610.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8024 0 0 0 60968 40 0 0 25 0 1 0 702239112 36962304 7982 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9024 7982 1111 63 0 8961 0 vsize: 36096 [startup+620.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8038 0 0 0 61968 40 0 0 25 0 1 0 702239112 36962304 7996 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9024 7996 1111 63 0 8961 0 vsize: 36096 [startup+630.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8067 0 0 0 62968 40 0 0 25 0 1 0 702239112 37097472 8025 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9057 8025 1111 63 0 8994 0 vsize: 36228 [startup+640.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8135 0 0 0 63967 40 0 0 25 0 1 0 702239112 37367808 8093 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9123 8093 1111 63 0 9060 0 vsize: 36492 [startup+650.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8159 0 0 0 64967 41 0 0 25 0 1 0 702239112 37502976 8117 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9156 8117 1111 63 0 9093 0 vsize: 36624 [startup+660.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8205 0 0 0 65967 41 0 0 25 0 1 0 702239112 37642240 8161 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9190 8161 1111 63 0 9127 0 vsize: 36760 [startup+670.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8282 0 0 0 66967 41 0 0 25 0 1 0 702239112 37945344 8238 4294967295 134512640 134714540 3221221792 3221220396 134536754 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9264 8238 1111 63 0 9201 0 vsize: 37056 [startup+680.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8294 0 0 0 67967 41 0 0 25 0 1 0 702239112 38080512 8250 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9297 8250 1111 63 0 9234 0 vsize: 37188 [startup+690.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8334 0 0 0 68967 42 0 0 25 0 1 0 702239112 38240256 8288 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9336 8288 1111 63 0 9273 0 vsize: 37344 [startup+700.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8380 0 0 0 69967 42 0 0 25 0 1 0 702239112 38375424 8334 4294967295 134512640 134714540 3221221792 3221220592 134622271 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9369 8334 1111 63 0 9306 0 vsize: 37476 [startup+710.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8430 0 0 0 70967 42 0 0 25 0 1 0 702239112 38645760 8384 4294967295 134512640 134714540 3221221792 3221220460 134535891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9435 8384 1111 63 0 9372 0 vsize: 37740 [startup+720.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8441 0 0 0 71967 42 0 0 25 0 1 0 702239112 38645760 8395 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9435 8395 1111 63 0 9372 0 vsize: 37740 [startup+730.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8478 0 0 0 72967 42 0 0 25 0 1 0 702239112 38780928 8432 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9468 8432 1111 63 0 9405 0 vsize: 37872 [startup+740.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8530 0 0 0 73967 43 0 0 25 0 1 0 702239112 39051264 8484 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9534 8484 1111 63 0 9471 0 vsize: 38136 [startup+750.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8576 0 0 0 74967 43 0 0 25 0 1 0 702239112 39190528 8528 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9568 8528 1111 63 0 9505 0 vsize: 38272 [startup+760.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8630 0 0 0 75967 43 0 0 25 0 1 0 702239112 39460864 8582 4294967295 134512640 134714540 3221221792 3221220536 134536866 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9634 8582 1111 63 0 9571 0 vsize: 38536 [startup+770.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8683 0 0 0 76966 44 0 0 25 0 1 0 702239112 39628800 8633 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9675 8633 1111 63 0 9612 0 vsize: 38700 [startup+780.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8704 0 0 0 77967 44 0 0 25 0 1 0 702239112 39763968 8654 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9708 8654 1111 63 0 9645 0 vsize: 38832 [startup+790.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8743 0 0 0 78966 44 0 0 25 0 1 0 702239112 39899136 8691 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9741 8691 1111 63 0 9678 0 vsize: 38964 [startup+800.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8820 0 0 0 79966 45 0 0 25 0 1 0 702239112 40316928 8766 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9843 8766 1111 63 0 9780 0 vsize: 39372 [startup+810.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8858 0 0 0 80966 45 0 0 25 0 1 0 702239112 40452096 8804 4294967295 134512640 134714540 3221221792 3221220528 134622708 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9876 8804 1111 63 0 9813 0 vsize: 39504 [startup+820.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8888 0 0 0 81966 45 0 0 25 0 1 0 702239112 40587264 8834 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9909 8834 1111 63 0 9846 0 vsize: 39636 [startup+830.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 8953 0 0 0 82966 45 0 0 25 0 1 0 702239112 40865792 8898 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9977 8898 1111 63 0 9914 0 vsize: 39908 [startup+840.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9010 0 0 0 83966 46 0 0 25 0 1 0 702239112 41005056 8955 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10011 8955 1111 63 0 9948 0 vsize: 40044 [startup+850.025 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9043 0 0 0 84966 46 0 0 25 0 1 0 702239112 41140224 8988 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10044 8988 1111 63 0 9981 0 vsize: 40176 [startup+860.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9088 0 0 0 85966 46 0 0 25 0 1 0 702239112 41410560 9033 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10110 9033 1111 63 0 10047 0 vsize: 40440 [startup+870.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9135 0 0 0 86965 47 0 0 25 0 1 0 702239112 41545728 9080 4294967295 134512640 134714540 3221221792 3221220512 134622891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10143 9080 1111 63 0 10080 0 vsize: 40572 [startup+880.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9148 0 0 0 87965 47 0 0 25 0 1 0 702239112 41545728 9093 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10143 9093 1111 63 0 10080 0 vsize: 40572 [startup+890.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9167 0 0 0 88965 47 0 0 25 0 1 0 702239112 41680896 9112 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10176 9112 1111 63 0 10113 0 vsize: 40704 [startup+900.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9187 0 0 0 89965 48 0 0 25 0 1 0 702239112 41820160 9132 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10210 9132 1111 63 0 10147 0 vsize: 40840 [startup+910.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9187 0 0 0 90965 48 0 0 25 0 1 0 702239112 41820160 9132 4294967295 134512640 134714540 3221221792 3221220520 134622806 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10210 9132 1111 63 0 10147 0 vsize: 40840 [startup+920.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9197 0 0 0 91965 48 0 0 25 0 1 0 702239112 41820160 9142 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10210 9142 1111 63 0 10147 0 vsize: 40840 [startup+930.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9211 0 0 0 92965 48 0 0 25 0 1 0 702239112 41820160 9156 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10210 9156 1111 63 0 10147 0 vsize: 40840 [startup+940.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9213 0 0 0 93965 48 0 0 25 0 1 0 702239112 41820160 9158 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10210 9158 1111 63 0 10147 0 vsize: 40840 [startup+950.026 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9221 0 0 0 94965 48 0 0 25 0 1 0 702239112 41955328 9166 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10243 9166 1111 63 0 10180 0 vsize: 40972 [startup+960.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9250 0 0 0 95965 49 0 0 25 0 1 0 702239112 41955328 9195 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10243 9195 1111 63 0 10180 0 vsize: 40972 [startup+970.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9271 0 0 0 96965 49 0 0 25 0 1 0 702239112 42090496 9216 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10276 9216 1111 63 0 10213 0 vsize: 41104 [startup+980.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9289 0 0 0 97965 49 0 0 25 0 1 0 702239112 42225664 9234 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10309 9234 1111 63 0 10246 0 vsize: 41236 [startup+990.028 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9301 0 0 0 98965 49 0 0 25 0 1 0 702239112 42225664 9246 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10309 9246 1111 63 0 10246 0 vsize: 41236 [startup+1000.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9320 0 0 0 99965 49 0 0 25 0 1 0 702239112 42360832 9265 4294967295 134512640 134714540 3221221792 3221220320 134543035 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10342 9265 1111 63 0 10279 0 vsize: 41368 [startup+1010.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9346 0 0 0 100965 49 0 0 25 0 1 0 702239112 42360832 9291 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10342 9291 1111 63 0 10279 0 vsize: 41368 [startup+1020.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9360 0 0 0 101965 50 0 0 25 0 1 0 702239112 42496000 9305 4294967295 134512640 134714540 3221221792 3221220344 134696493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10375 9305 1111 63 0 10312 0 vsize: 41500 [startup+1030.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9375 0 0 0 102965 50 0 0 25 0 1 0 702239112 42496000 9320 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10375 9320 1111 63 0 10312 0 vsize: 41500 [startup+1040.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9385 0 0 0 103965 50 0 0 25 0 1 0 702239112 42496000 9330 4294967295 134512640 134714540 3221221792 3221220512 134622791 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10375 9330 1111 63 0 10312 0 vsize: 41500 [startup+1050.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9409 0 0 0 104965 50 0 0 25 0 1 0 702239112 42631168 9354 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10408 9354 1111 63 0 10345 0 vsize: 41632 [startup+1060.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9423 0 0 0 105965 50 0 0 25 0 1 0 702239112 42766336 9368 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10441 9368 1111 63 0 10378 0 vsize: 41764 [startup+1070.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9443 0 0 0 106965 50 0 0 25 0 1 0 702239112 42766336 9388 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10441 9388 1111 63 0 10378 0 vsize: 41764 [startup+1080.03 s] Raw data (loadavg): 0.99 0.97 0.91 3/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9459 0 0 0 107965 50 0 0 25 0 1 0 702239112 42905600 9404 4294967295 134512640 134714540 3221221792 3221220364 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10475 9404 1111 63 0 10412 0 vsize: 41900 [startup+1090.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9495 0 0 0 108966 50 0 0 25 0 1 0 702239112 43061248 9439 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10513 9439 1111 63 0 10450 0 vsize: 42052 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9502 0 0 0 109966 51 0 0 25 0 1 0 702239112 43061248 9446 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10513 9446 1111 63 0 10450 0 vsize: 42052 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9524 0 0 0 110966 51 0 0 25 0 1 0 702239112 43196416 9468 4294967295 134512640 134714540 3221221792 3221220444 134543664 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10546 9468 1111 63 0 10483 0 vsize: 42184 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9552 0 0 0 111966 51 0 0 25 0 1 0 702239112 43196416 9496 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10546 9496 1111 63 0 10483 0 vsize: 42184 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9579 0 0 0 112965 51 0 0 25 0 1 0 702239112 43331584 9523 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10579 9523 1111 63 0 10516 0 vsize: 42316 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9608 0 0 0 113965 51 0 0 25 0 1 0 702239112 43466752 9552 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10612 9552 1111 63 0 10549 0 vsize: 42448 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9619 0 0 0 114965 52 0 0 25 0 1 0 702239112 43466752 9563 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10612 9563 1111 63 0 10549 0 vsize: 42448 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9627 0 0 0 115966 52 0 0 25 0 1 0 702239112 43606016 9571 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10646 9571 1111 63 0 10583 0 vsize: 42584 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9643 0 0 0 116965 52 0 0 25 0 1 0 702239112 43606016 9587 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10646 9587 1111 63 0 10583 0 vsize: 42584 [startup+1175.39 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 417 Raw data (stat): 417 (bsolo_mis) R 416 7876 7672 0 -1 0 9643 0 0 0 116965 52 0 0 25 0 1 0 702239112 43606016 9587 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10646 9587 1111 63 0 10583 0 vsize: 0 Child status: 0 Real time (s): 1175.39 CPU time (s): 1175.54 CPU user time (s): 1175 CPU system time (s): 0.543917 CPU usage (%): 100.013 Max. virtual memory (Kb): 42584 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####