Name | normalized-opb/submitted/manquinho/routing/normalized-s4-4-3-10pb.opb |
MD5SUM | 3da806c3498bf979a43344fcf1dd59e3 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 70 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 840 |
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 | 840 |
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 | 840 |
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.03284 |
Number of variables | 840 |
Total number of constraints | 2528 |
Number of constraints which are clauses | 2504 |
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 | 35 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-09 14:24:47 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=2118 boxname=wulflinc31 idbench=236 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 3da806c3498bf979a43344fcf1dd59e3 /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-10pb.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-s4-4-3-10pb.opb IDLAUNCH: 2118 /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: 138152 kB Buffers: 44416 kB Cached: 817384 kB SwapCached: 644 kB Active: 491464 kB Inactive: 372744 kB HighTotal: 131008 kB HighFree: 1092 kB LowTotal: 903652 kB LowFree: 137060 kB SwapTotal: 2097892 kB SwapFree: 2096612 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5608 kB Slab: 26592 kB Committed_AS: 63652 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-09 14:44:24 (client local time) WITH STATUS 0 IN 1176.57 SECONDS stats: 2118 7 1176.57 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 840 variables and 2528 constraints. c After prepocess the problem consists of 700 variables and 2096 constraints. c preprocess terminated 0.611 s c Initial Lower Bound: 51 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1176.53 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.83 0.81 0.90 2/54 30960 Raw data (stat): 30960 (runsolver) R 30959 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 701303149 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.99984 s] Raw data (loadavg): 0.86 0.82 0.90 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 1635 0 0 0 990 6 0 0 25 0 1 0 701303149 10330112 1609 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2522 1609 1111 63 0 2459 0 vsize: 10088 [startup+19.9998 s] Raw data (loadavg): 0.88 0.82 0.90 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 1782 0 0 0 1989 6 0 0 25 0 1 0 701303149 10870784 1756 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2654 1756 1111 63 0 2591 0 vsize: 10616 [startup+30.0007 s] Raw data (loadavg): 0.90 0.83 0.90 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 1988 0 0 0 2988 8 0 0 25 0 1 0 701303149 11816960 1962 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 2885 1962 1111 63 0 2822 0 vsize: 11540 [startup+40.0006 s] Raw data (loadavg): 0.91 0.83 0.90 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2126 0 0 0 3987 9 0 0 25 0 1 0 701303149 12378112 2100 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3022 2100 1111 63 0 2959 0 vsize: 12088 [startup+50.0016 s] Raw data (loadavg): 0.93 0.84 0.90 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2220 0 0 0 4986 10 0 0 25 0 1 0 701303149 12783616 2194 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3121 2194 1111 63 0 3058 0 vsize: 12484 [startup+60.0014 s] Raw data (loadavg): 0.94 0.84 0.90 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2306 0 0 0 5985 11 0 0 25 0 1 0 701303149 13053952 2280 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3187 2280 1111 63 0 3124 0 vsize: 12748 [startup+70.0014 s] Raw data (loadavg): 0.95 0.85 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2413 0 0 0 6985 11 0 0 25 0 1 0 701303149 13467648 2387 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3288 2387 1111 63 0 3225 0 vsize: 13152 [startup+80.0024 s] Raw data (loadavg): 0.95 0.85 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2576 0 0 0 7985 12 0 0 25 0 1 0 701303149 14143488 2550 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3453 2550 1111 63 0 3390 0 vsize: 13812 [startup+90.0023 s] Raw data (loadavg): 0.96 0.86 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2797 0 0 0 8984 13 0 0 25 0 1 0 701303149 15155200 2771 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3700 2771 1111 63 0 3637 0 vsize: 14800 [startup+100.002 s] Raw data (loadavg): 0.97 0.86 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 2895 0 0 0 9984 14 0 0 25 0 1 0 701303149 15425536 2869 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3766 2869 1111 63 0 3703 0 vsize: 15064 [startup+110.002 s] Raw data (loadavg): 0.97 0.86 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3032 0 0 0 10983 15 0 0 25 0 1 0 701303149 16101376 3006 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 3931 3006 1111 63 0 3868 0 vsize: 15724 [startup+120.002 s] Raw data (loadavg): 0.97 0.87 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3195 0 0 0 11981 16 0 0 25 0 1 0 701303149 16777216 3169 4294967295 134512640 134714540 3221221792 3221220512 134556927 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4096 3169 1111 63 0 4033 0 vsize: 16384 [startup+130.002 s] Raw data (loadavg): 0.98 0.87 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3348 0 0 0 12981 17 0 0 25 0 1 0 701303149 17317888 3322 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4228 3322 1111 63 0 4165 0 vsize: 16912 [startup+140.002 s] Raw data (loadavg): 0.98 0.88 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3606 0 0 0 13979 18 0 0 25 0 1 0 701303149 18399232 3580 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4492 3580 1111 63 0 4429 0 vsize: 17968 [startup+150.003 s] Raw data (loadavg): 0.98 0.88 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3725 0 0 0 14979 19 0 0 25 0 1 0 701303149 18944000 3699 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4625 3699 1111 63 0 4562 0 vsize: 18500 [startup+160.003 s] Raw data (loadavg): 0.99 0.88 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 3901 0 0 0 15978 20 0 0 25 0 1 0 701303149 19623936 3875 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4791 3875 1111 63 0 4728 0 vsize: 19164 [startup+170.003 s] Raw data (loadavg): 0.99 0.89 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4035 0 0 0 16977 21 0 0 25 0 1 0 701303149 20164608 4009 4294967295 134512640 134714540 3221221792 3221220592 134622273 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4923 4009 1111 63 0 4860 0 vsize: 19692 [startup+180.003 s] Raw data (loadavg): 0.99 0.89 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4162 0 0 0 17977 21 0 0 25 0 1 0 701303149 20709376 4136 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5056 4136 1111 63 0 4993 0 vsize: 20224 [startup+190.003 s] Raw data (loadavg): 0.99 0.89 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4288 0 0 0 18976 22 0 0 25 0 1 0 701303149 21258240 4262 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5190 4262 1111 63 0 5127 0 vsize: 20760 [startup+200.004 s] Raw data (loadavg): 0.99 0.89 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4539 0 0 0 19976 23 0 0 25 0 1 0 701303149 22224896 4513 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5426 4513 1111 63 0 5363 0 vsize: 21704 [startup+210.003 s] Raw data (loadavg): 0.99 0.90 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4585 0 0 0 20976 23 0 0 25 0 1 0 701303149 22495232 4559 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5492 4559 1111 63 0 5429 0 vsize: 21968 [startup+220.004 s] Raw data (loadavg): 0.99 0.90 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4592 0 0 0 21975 24 0 0 25 0 1 0 701303149 22495232 4566 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5492 4566 1111 63 0 5429 0 vsize: 21968 [startup+230.004 s] Raw data (loadavg): 0.99 0.90 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4592 0 0 0 22976 24 0 0 25 0 1 0 701303149 22495232 4566 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5492 4566 1111 63 0 5429 0 vsize: 21968 [startup+240.004 s] Raw data (loadavg): 0.99 0.91 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4592 0 0 0 23976 24 0 0 25 0 1 0 701303149 22495232 4566 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5492 4566 1111 63 0 5429 0 vsize: 21968 [startup+250.004 s] Raw data (loadavg): 0.99 0.91 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4609 0 0 0 24975 24 0 0 25 0 1 0 701303149 22495232 4583 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5492 4583 1111 63 0 5429 0 vsize: 21968 [startup+260.005 s] Raw data (loadavg): 0.99 0.91 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4639 0 0 0 25975 25 0 0 25 0 1 0 701303149 22630400 4613 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5525 4613 1111 63 0 5462 0 vsize: 22100 [startup+270.005 s] Raw data (loadavg): 0.99 0.91 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4639 0 0 0 26975 25 0 0 25 0 1 0 701303149 22630400 4613 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5525 4613 1111 63 0 5462 0 vsize: 22100 [startup+280.005 s] Raw data (loadavg): 0.99 0.92 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4660 0 0 0 27975 25 0 0 25 0 1 0 701303149 22765568 4634 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5558 4634 1111 63 0 5495 0 vsize: 22232 [startup+290.006 s] Raw data (loadavg): 0.99 0.92 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4660 0 0 0 28975 25 0 0 25 0 1 0 701303149 22765568 4634 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5558 4634 1111 63 0 5495 0 vsize: 22232 [startup+300.006 s] Raw data (loadavg): 0.99 0.92 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4662 0 0 0 29976 25 0 0 25 0 1 0 701303149 22765568 4636 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5558 4636 1111 63 0 5495 0 vsize: 22232 [startup+310.006 s] Raw data (loadavg): 0.99 0.92 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4662 0 0 0 30976 25 0 0 25 0 1 0 701303149 22765568 4636 4294967295 134512640 134714540 3221221792 3221220512 134622735 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5558 4636 1111 63 0 5495 0 vsize: 22232 [startup+320.006 s] Raw data (loadavg): 0.99 0.92 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4663 0 0 0 31976 25 0 0 25 0 1 0 701303149 22765568 4637 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5558 4637 1111 63 0 5495 0 vsize: 22232 [startup+330.006 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4677 0 0 0 32976 25 0 0 25 0 1 0 701303149 22765568 4651 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5558 4651 1111 63 0 5495 0 vsize: 22232 [startup+340.006 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4686 0 0 0 33976 25 0 0 25 0 1 0 701303149 22900736 4660 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5591 4660 1111 63 0 5528 0 vsize: 22364 [startup+350.006 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4701 0 0 0 34976 26 0 0 25 0 1 0 701303149 22900736 4675 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5591 4675 1111 63 0 5528 0 vsize: 22364 [startup+360.006 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4707 0 0 0 35976 26 0 0 25 0 1 0 701303149 22900736 4681 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5591 4681 1111 63 0 5528 0 vsize: 22364 [startup+370.007 s] Raw data (loadavg): 0.99 0.93 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4722 0 0 0 36976 26 0 0 25 0 1 0 701303149 23035904 4696 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5624 4696 1111 63 0 5561 0 vsize: 22496 [startup+380.007 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4731 0 0 0 37976 26 0 0 25 0 1 0 701303149 23035904 4705 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5624 4705 1111 63 0 5561 0 vsize: 22496 [startup+390.007 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4751 0 0 0 38976 26 0 0 25 0 1 0 701303149 23171072 4725 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5657 4725 1111 63 0 5594 0 vsize: 22628 [startup+400.007 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4754 0 0 0 39976 26 0 0 25 0 1 0 701303149 23171072 4728 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5657 4728 1111 63 0 5594 0 vsize: 22628 [startup+410.008 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4754 0 0 0 40976 26 0 0 25 0 1 0 701303149 23171072 4728 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5657 4728 1111 63 0 5594 0 vsize: 22628 [startup+420.008 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4772 0 0 0 41977 26 0 0 25 0 1 0 701303149 23171072 4746 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5657 4746 1111 63 0 5594 0 vsize: 22628 [startup+430.008 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4886 0 0 0 42976 27 0 0 25 0 1 0 701303149 23719936 4859 4294967295 134512640 134714540 3221221792 3221220584 134542401 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5791 4859 1111 63 0 5728 0 vsize: 23164 [startup+440.009 s] Raw data (loadavg): 0.99 0.94 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4957 0 0 0 43976 27 0 0 25 0 1 0 701303149 23990272 4930 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5857 4930 1111 63 0 5794 0 vsize: 23428 [startup+450.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4957 0 0 0 44976 27 0 0 25 0 1 0 701303149 23990272 4930 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5857 4930 1111 63 0 5794 0 vsize: 23428 [startup+460.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4957 0 0 0 45976 28 0 0 25 0 1 0 701303149 23990272 4930 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5857 4930 1111 63 0 5794 0 vsize: 23428 [startup+470.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4963 0 0 0 46976 28 0 0 25 0 1 0 701303149 23990272 4936 4294967295 134512640 134714540 3221221792 3221220572 134543569 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5857 4936 1111 63 0 5794 0 vsize: 23428 [startup+480.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 4965 0 0 0 47976 28 0 0 25 0 1 0 701303149 23990272 4938 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5857 4938 1111 63 0 5794 0 vsize: 23428 [startup+490.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5061 0 0 0 48975 28 0 0 25 0 1 0 701303149 24395776 5034 4294967295 134512640 134714540 3221221792 3221220396 134536788 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5956 5034 1111 63 0 5893 0 vsize: 23824 [startup+500.009 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5146 0 0 0 49975 29 0 0 25 0 1 0 701303149 24801280 5119 4294967295 134512640 134714540 3221221792 3221220536 134536879 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6055 5119 1111 63 0 5992 0 vsize: 24220 [startup+510.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5210 0 0 0 50975 29 0 0 25 0 1 0 701303149 25075712 5183 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6122 5183 1111 63 0 6059 0 vsize: 24488 [startup+520.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5323 0 0 0 51975 29 0 0 25 0 1 0 701303149 25481216 5296 4294967295 134512640 134714540 3221221792 3221220508 134558608 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6221 5296 1111 63 0 6158 0 vsize: 24884 [startup+530.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5403 0 0 0 52975 29 0 0 25 0 1 0 701303149 25751552 5376 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6287 5376 1111 63 0 6224 0 vsize: 25148 [startup+540.01 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5430 0 0 0 53975 30 0 0 25 0 1 0 701303149 25886720 5403 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6320 5403 1111 63 0 6257 0 vsize: 25280 [startup+550.011 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5473 0 0 0 54975 30 0 0 25 0 1 0 701303149 26157056 5446 4294967295 134512640 134714540 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6386 5446 1111 63 0 6323 0 vsize: 25544 [startup+560.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5548 0 0 0 55975 31 0 0 25 0 1 0 701303149 26427392 5521 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6452 5521 1111 63 0 6389 0 vsize: 25808 [startup+570.012 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5608 0 0 0 56974 31 0 0 25 0 1 0 701303149 26697728 5581 4294967295 134512640 134714540 3221221792 3221220552 134536921 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6518 5581 1111 63 0 6455 0 vsize: 26072 [startup+580.013 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5692 0 0 0 57974 32 0 0 25 0 1 0 701303149 26968064 5665 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6584 5665 1111 63 0 6521 0 vsize: 26336 [startup+590.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5743 0 0 0 58974 32 0 0 25 0 1 0 701303149 27238400 5716 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6650 5716 1111 63 0 6587 0 vsize: 26600 [startup+600.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5756 0 0 0 59974 32 0 0 25 0 1 0 701303149 27238400 5729 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6650 5729 1111 63 0 6587 0 vsize: 26600 [startup+610.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5792 0 0 0 60973 33 0 0 25 0 1 0 701303149 27373568 5765 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6683 5765 1111 63 0 6620 0 vsize: 26732 [startup+620.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5898 0 0 0 61973 33 0 0 25 0 1 0 701303149 27881472 5871 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6807 5871 1111 63 0 6744 0 vsize: 27228 [startup+630.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5943 0 0 0 62973 34 0 0 25 0 1 0 701303149 28016640 5916 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6840 5916 1111 63 0 6777 0 vsize: 27360 [startup+640.014 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5948 0 0 0 63973 34 0 0 25 0 1 0 701303149 28016640 5921 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6840 5921 1111 63 0 6777 0 vsize: 27360 [startup+650.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5967 0 0 0 64973 34 0 0 25 0 1 0 701303149 28151808 5939 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6873 5939 1111 63 0 6810 0 vsize: 27492 [startup+660.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5984 0 0 0 65973 34 0 0 25 0 1 0 701303149 28151808 5956 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6873 5956 1111 63 0 6810 0 vsize: 27492 [startup+670.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5987 0 0 0 66973 34 0 0 25 0 1 0 701303149 28286976 5959 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6906 5959 1111 63 0 6843 0 vsize: 27624 [startup+680.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 5989 0 0 0 67974 34 0 0 25 0 1 0 701303149 28286976 5961 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6906 5961 1111 63 0 6843 0 vsize: 27624 [startup+690.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6017 0 0 0 68974 34 0 0 25 0 1 0 701303149 28286976 5989 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6906 5989 1111 63 0 6843 0 vsize: 27624 [startup+700.016 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6021 0 0 0 69974 34 0 0 25 0 1 0 701303149 28422144 5993 4294967295 134512640 134714540 3221221792 3221220516 134622905 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6939 5993 1111 63 0 6876 0 vsize: 27756 [startup+710.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6025 0 0 0 70974 34 0 0 25 0 1 0 701303149 28422144 5997 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6939 5997 1111 63 0 6876 0 vsize: 27756 [startup+720.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6033 0 0 0 71974 34 0 0 25 0 1 0 701303149 28422144 6005 4294967295 134512640 134714540 3221221792 3221220584 134622385 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6939 6005 1111 63 0 6876 0 vsize: 27756 [startup+730.017 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6049 0 0 0 72974 34 0 0 25 0 1 0 701303149 28422144 6021 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6939 6021 1111 63 0 6876 0 vsize: 27756 [startup+740.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6051 0 0 0 73974 35 0 0 25 0 1 0 701303149 28557312 6023 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6972 6023 1111 63 0 6909 0 vsize: 27888 [startup+750.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6054 0 0 0 74974 35 0 0 25 0 1 0 701303149 28557312 6026 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6972 6026 1111 63 0 6909 0 vsize: 27888 [startup+760.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6065 0 0 0 75974 35 0 0 25 0 1 0 701303149 28557312 6037 4294967295 134512640 134714540 3221221792 3221220520 134622758 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6972 6037 1111 63 0 6909 0 vsize: 27888 [startup+770.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6068 0 0 0 76974 35 0 0 25 0 1 0 701303149 28557312 6040 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6972 6040 1111 63 0 6909 0 vsize: 27888 [startup+780.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6075 0 0 0 77974 35 0 0 25 0 1 0 701303149 28557312 6047 4294967295 134512640 134714540 3221221792 3221220516 134622905 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6972 6047 1111 63 0 6909 0 vsize: 27888 [startup+790.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6081 0 0 0 78974 35 0 0 25 0 1 0 701303149 28557312 6053 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 6972 6053 1111 63 0 6909 0 vsize: 27888 [startup+800.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6086 0 0 0 79974 35 0 0 25 0 1 0 701303149 28692480 6058 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7005 6058 1111 63 0 6942 0 vsize: 28020 [startup+810.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6086 0 0 0 80974 36 0 0 25 0 1 0 701303149 28692480 6058 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7005 6058 1111 63 0 6942 0 vsize: 28020 [startup+820.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6088 0 0 0 81974 36 0 0 25 0 1 0 701303149 28692480 6060 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7005 6060 1111 63 0 6942 0 vsize: 28020 [startup+830.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6169 0 0 0 82974 36 0 0 25 0 1 0 701303149 28962816 6141 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7071 6141 1111 63 0 7008 0 vsize: 28284 [startup+840.019 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6311 0 0 0 83973 37 0 0 25 0 1 0 701303149 29650944 6283 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7239 6283 1111 63 0 7176 0 vsize: 28956 [startup+850.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6322 0 0 0 84973 37 0 0 25 0 1 0 701303149 29650944 6294 4294967295 134512640 134714540 3221221792 3221220600 134622628 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7239 6294 1111 63 0 7176 0 vsize: 28956 [startup+860.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6366 0 0 0 85973 37 0 0 25 0 1 0 701303149 29786112 6337 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7272 6337 1111 63 0 7209 0 vsize: 29088 [startup+870.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6411 0 0 0 86973 38 0 0 25 0 1 0 701303149 30056448 6382 4294967295 134512640 134714540 3221221792 3221220608 134622261 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7338 6382 1111 63 0 7275 0 vsize: 29352 [startup+880.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6477 0 0 0 87973 38 0 0 25 0 1 0 701303149 30330880 6448 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7405 6448 1111 63 0 7342 0 vsize: 29620 [startup+890.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6577 0 0 0 88973 38 0 0 25 0 1 0 701303149 30736384 6548 4294967295 134512640 134714540 3221221792 3221220592 134622271 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7504 6548 1111 63 0 7441 0 vsize: 30016 [startup+900.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6763 0 0 0 89972 39 0 0 25 0 1 0 701303149 31551488 6734 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7703 6734 1111 63 0 7640 0 vsize: 30812 [startup+910.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 6922 0 0 0 90972 40 0 0 25 0 1 0 701303149 32108544 6893 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7839 6893 1111 63 0 7776 0 vsize: 31356 [startup+920.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7044 0 0 0 91971 41 0 0 25 0 1 0 701303149 32649216 7015 4294967295 134512640 134714540 3221221792 3221220504 134543141 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7971 7015 1111 63 0 7908 0 vsize: 31884 [startup+930.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7233 0 0 0 92970 42 0 0 25 0 1 0 701303149 33460224 7204 4294967295 134512640 134714540 3221221792 3221220576 134558518 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8169 7204 1111 63 0 8106 0 vsize: 32676 [startup+940.021 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7426 0 0 0 93970 42 0 0 25 0 1 0 701303149 34271232 7397 4294967295 134512640 134714540 3221221792 3221220544 134558521 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8367 7397 1111 63 0 8304 0 vsize: 33468 [startup+950.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7559 0 0 0 94970 43 0 0 25 0 1 0 701303149 34816000 7530 4294967295 134512640 134714540 3221221792 3221220512 134556775 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8500 7530 1111 63 0 8437 0 vsize: 34000 [startup+960.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7663 0 0 0 95969 44 0 0 25 0 1 0 701303149 35221504 7634 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8599 7634 1111 63 0 8536 0 vsize: 34396 [startup+970.022 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7804 0 0 0 96968 44 0 0 25 0 1 0 701303149 35762176 7775 4294967295 134512640 134714540 3221221792 3221220456 134543606 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8731 7775 1111 63 0 8668 0 vsize: 34924 [startup+980.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 7938 0 0 0 97969 44 0 0 25 0 1 0 701303149 36438016 7909 4294967295 134512640 134714540 3221221792 3221220584 134542448 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8896 7909 1111 63 0 8833 0 vsize: 35584 [startup+990.023 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8029 0 0 0 98968 45 0 0 25 0 1 0 701303149 36708352 8000 4294967295 134512640 134714540 3221221792 3221220576 134622290 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8962 8000 1111 63 0 8899 0 vsize: 35848 [startup+1000.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8048 0 0 0 99968 45 0 0 25 0 1 0 701303149 36843520 8019 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8995 8019 1111 63 0 8932 0 vsize: 35980 [startup+1010.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8087 0 0 0 100968 45 0 0 25 0 1 0 701303149 36978688 8058 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9028 8058 1111 63 0 8965 0 vsize: 36112 [startup+1020.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8129 0 0 0 101968 45 0 0 25 0 1 0 701303149 37113856 8100 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9061 8100 1111 63 0 8998 0 vsize: 36244 [startup+1030.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8213 0 0 0 102968 45 0 0 25 0 1 0 701303149 37523456 8184 4294967295 134512640 134714540 3221221792 3221220592 134622417 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9161 8184 1111 63 0 9098 0 vsize: 36644 [startup+1040.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8257 0 0 0 103968 46 0 0 25 0 1 0 701303149 37658624 8228 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9194 8228 1111 63 0 9131 0 vsize: 36776 [startup+1050.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8290 0 0 0 104968 46 0 0 25 0 1 0 701303149 37793792 8261 4294967295 134512640 134714540 3221221792 3221220592 134622358 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9227 8261 1111 63 0 9164 0 vsize: 36908 [startup+1060.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8333 0 0 0 105968 46 0 0 25 0 1 0 701303149 38064128 8304 4294967295 134512640 134714540 3221221792 3221220560 134624477 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9293 8304 1111 63 0 9230 0 vsize: 37172 [startup+1070.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8356 0 0 0 106968 46 0 0 25 0 1 0 701303149 38064128 8327 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9293 8327 1111 63 0 9230 0 vsize: 37172 [startup+1080.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8365 0 0 0 107968 46 0 0 25 0 1 0 701303149 38199296 8336 4294967295 134512640 134714540 3221221792 3221220664 134536900 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8336 1111 63 0 9263 0 vsize: 37304 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8367 0 0 0 108968 46 0 0 25 0 1 0 701303149 38199296 8338 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8338 1111 63 0 9263 0 vsize: 37304 [startup+1100.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8367 0 0 0 109969 46 0 0 25 0 1 0 701303149 38199296 8338 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8338 1111 63 0 9263 0 vsize: 37304 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8367 0 0 0 110969 46 0 0 25 0 1 0 701303149 38199296 8338 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8338 1111 63 0 9263 0 vsize: 37304 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8367 0 0 0 111969 46 0 0 25 0 1 0 701303149 38199296 8338 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8338 1111 63 0 9263 0 vsize: 37304 [startup+1130.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8368 0 0 0 112969 46 0 0 25 0 1 0 701303149 38199296 8339 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8339 1111 63 0 9263 0 vsize: 37304 [startup+1140.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8368 0 0 0 113969 46 0 0 25 0 1 0 701303149 38199296 8339 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8339 1111 63 0 9263 0 vsize: 37304 [startup+1150.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8370 0 0 0 114969 46 0 0 25 0 1 0 701303149 38199296 8341 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8341 1111 63 0 9263 0 vsize: 37304 [startup+1160.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8371 0 0 0 115970 46 0 0 25 0 1 0 701303149 38199296 8342 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8342 1111 63 0 9263 0 vsize: 37304 [startup+1170.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8375 0 0 0 116970 46 0 0 25 0 1 0 701303149 38199296 8346 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8346 1111 63 0 9263 0 vsize: 37304 [startup+1176.43 s] Raw data (loadavg): 0.99 0.97 0.91 1/53 30960 Raw data (stat): 30960 (bsolo_mis) R 30959 7876 7672 0 -1 0 8375 0 0 0 116970 46 0 0 25 0 1 0 701303149 38199296 8346 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9326 8346 1111 63 0 9263 0 vsize: 0 Child status: 0 Real time (s): 1176.43 CPU time (s): 1176.57 CPU user time (s): 1176.09 CPU system time (s): 0.485926 CPU usage (%): 100.012 Max. virtual memory (Kb): 37304 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####