Name | normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl15_20_pb.cnf.cr.opb |
MD5SUM | ce39bf71367df072c91f9b7587480c93 |
Bench Category | no optimization function (SAT) |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 21 |
Number of bits of the biggest sum of numbers | 5 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.017996 |
Number of variables | 600 |
Total number of constraints | 70 |
Number of constraints which are clauses | 40 |
Number of constraints which are cardinality constraints (but not clauses) | 30 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 15 |
Maximum length of a constraint | 20 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-01 00:39:58 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=48 boxname=wulflinc31 idbench=6 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: ce39bf71367df072c91f9b7587480c93 /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_20_pb.cnf.cr.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl15_20_pb.cnf.cr.opb IDLAUNCH: 48 /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: 932920 kB Buffers: 35368 kB Cached: 44620 kB SwapCached: 864 kB Active: 67420 kB Inactive: 15004 kB HighTotal: 131008 kB HighFree: 85260 kB LowTotal: 903652 kB LowFree: 847660 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5512 kB Slab: 13736 kB Committed_AS: 63668 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-01 00:59:34 (client local time) WITH STATUS 0 IN 1175.13 SECONDS stats: 48 7 1175.13 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: No cost function. Find solution and finish. c Initial problem consists of 600 variables and 70 constraints. c After prepocess the problem consists of 600 variables and 70 constraints. c preprocess terminated 0.124 s c Not use computed LB before first solution. s UNKNOWN c Exit Code: 0 c Total time: 1175.01 s #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.93 0.98 0.91 2/54 6569 Raw data (stat): 6569 (runsolver) R 6568 3722 3553 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 627225743 1056768 98 4294967295 134512640 135381576 3221221648 3221217088 134514522 0 0 1 90112 0 0 0 17 1 0 0 Raw data (statm): 258 98 215 215 0 43 0 vsize: 1032 [startup+10.0002 s] Raw data (loadavg): 0.94 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 3252 0 0 0 983 13 0 0 25 0 1 0 627225743 16957440 3227 4294967295 134512640 134714540 3221221744 3221220384 134696080 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 4140 3227 1111 63 0 4077 0 vsize: 16560 [startup+19.9996 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 4517 0 0 0 1978 18 0 0 25 0 1 0 627225743 22257664 4492 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 5434 4492 1111 63 0 5371 0 vsize: 21736 [startup+30.0005 s] Raw data (loadavg): 0.95 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 6276 0 0 0 2971 26 0 0 25 0 1 0 627225743 29421568 6250 4294967295 134512640 134714540 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 7183 6250 1111 63 0 7120 0 vsize: 28732 [startup+40.0008 s] Raw data (loadavg): 0.96 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 7533 0 0 0 3966 31 0 0 25 0 1 0 627225743 34574336 7507 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 8441 7507 1111 63 0 8378 0 vsize: 33764 [startup+50.0015 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 8606 0 0 0 4963 34 0 0 25 0 1 0 627225743 39034880 8580 4294967295 134512640 134714540 3221221744 3221219828 134697390 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 9530 8580 1111 63 0 9467 0 vsize: 38120 [startup+60.0013 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 9595 0 0 0 5958 39 0 0 25 0 1 0 627225743 43118592 9567 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 10527 9567 1111 63 0 10464 0 vsize: 42108 [startup+70.0016 s] Raw data (loadavg): 0.97 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 10313 0 0 0 6955 42 0 0 25 0 1 0 627225743 45981696 10285 4294967295 134512640 134714540 3221221744 3221220432 134528607 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11226 10285 1111 63 0 11163 0 vsize: 44904 [startup+80.0022 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 10971 0 0 0 7953 45 0 0 25 0 1 0 627225743 48836608 10942 4294967295 134512640 134714540 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 11923 10942 1111 63 0 11860 0 vsize: 47692 [startup+90.0022 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 11555 0 0 0 8950 48 0 0 25 0 1 0 627225743 51150848 11523 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 12488 11523 1111 63 0 12425 0 vsize: 49952 [startup+100.002 s] Raw data (loadavg): 0.98 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 12089 0 0 0 9948 50 0 0 25 0 1 0 627225743 53338112 12057 4294967295 134512640 134714540 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13022 12057 1111 63 0 12959 0 vsize: 52088 [startup+110.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 12592 0 0 0 10946 52 0 0 25 0 1 0 627225743 55549952 12557 4294967295 134512640 134714540 3221221744 3221220468 134528706 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 13562 12557 1111 63 0 13499 0 vsize: 54248 [startup+120.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 13044 0 0 0 11944 54 0 0 25 0 1 0 627225743 57446400 13009 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14025 13009 1111 63 0 13962 0 vsize: 56100 [startup+130.003 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 13342 0 0 0 12943 55 0 0 25 0 1 0 627225743 58798080 13304 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14355 13304 1111 63 0 14292 0 vsize: 57420 [startup+140.004 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 13606 0 0 0 13942 56 0 0 25 0 1 0 627225743 59883520 13568 4294967295 134512640 134714540 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 14620 13568 1111 63 0 14557 0 vsize: 58480 [startup+150.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 15006 0 0 0 14937 62 0 0 25 0 1 0 627225743 65630208 14967 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16023 14967 1111 63 0 15960 0 vsize: 64092 [startup+160.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 15883 0 0 0 15932 67 0 0 25 0 1 0 627225743 69279744 15844 4294967295 134512640 134714540 3221221744 3221220528 134529252 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 16914 15844 1111 63 0 16851 0 vsize: 67656 [startup+170.005 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 16859 0 0 0 16929 71 0 0 25 0 1 0 627225743 73351168 16818 4294967295 134512640 134714540 3221221744 3221220236 134552651 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 17908 16818 1111 63 0 17845 0 vsize: 71632 [startup+180.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 17921 0 0 0 17923 76 0 0 25 0 1 0 627225743 77676544 17880 4294967295 134512640 134714540 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 18964 17881 1111 63 0 18901 0 vsize: 75856 [startup+190.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 18578 0 0 0 18921 78 0 0 25 0 1 0 627225743 80388096 18537 4294967295 134512640 134714540 3221221744 3221220232 134552650 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 19626 18537 1111 63 0 19563 0 vsize: 78504 [startup+200.006 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 19321 0 0 0 19918 82 0 0 25 0 1 0 627225743 83402752 19280 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 20362 19280 1111 63 0 20299 0 vsize: 81448 [startup+210.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 20165 0 0 0 20914 86 0 0 25 0 1 0 627225743 86949888 20120 4294967295 134512640 134714540 3221221744 3221220388 134536691 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21228 20120 1111 63 0 21165 0 vsize: 84912 [startup+220.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 20774 0 0 0 21911 90 0 0 25 0 1 0 627225743 89399296 20728 4294967295 134512640 134714540 3221221744 3221220480 134535823 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 21826 20728 1111 63 0 21763 0 vsize: 87304 [startup+230.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 21270 0 0 0 22909 92 0 0 25 0 1 0 627225743 91496448 21220 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22338 21220 1111 63 0 22275 0 vsize: 89352 [startup+240.007 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 21850 0 0 0 23906 94 0 0 25 0 1 0 627225743 93855744 21797 4294967295 134512640 134714540 3221221744 3221220452 134535798 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 22914 21797 1111 63 0 22851 0 vsize: 91656 [startup+250.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 22298 0 0 0 24905 96 0 0 25 0 1 0 627225743 95748096 22245 4294967295 134512640 134714540 3221221744 3221220388 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23376 22246 1111 63 0 23313 0 vsize: 93504 [startup+260.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 22748 0 0 0 25903 97 0 0 25 0 1 0 627225743 97640448 22695 4294967295 134512640 134714540 3221221744 3221220336 134549780 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 23838 22695 1111 63 0 23775 0 vsize: 95352 [startup+270.008 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 23217 0 0 0 26901 100 0 0 25 0 1 0 627225743 99545088 23162 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24303 23162 1111 63 0 24240 0 vsize: 97212 [startup+280.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 23799 0 0 0 27899 102 0 0 25 0 1 0 627225743 101933056 23738 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 24886 23738 1111 63 0 24823 0 vsize: 99544 [startup+290.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 24126 0 0 0 28898 104 0 0 25 0 1 0 627225743 103317504 24065 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25224 24065 1111 63 0 25161 0 vsize: 100896 [startup+300.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 24433 0 0 0 29897 105 0 0 25 0 1 0 627225743 104607744 24368 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25539 24368 1111 63 0 25476 0 vsize: 102156 [startup+310.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 24647 0 0 0 30896 106 0 0 25 0 1 0 627225743 105639936 24582 4294967295 134512640 134714540 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 25791 24582 1111 63 0 25728 0 vsize: 103164 [startup+320.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 25665 0 0 0 31892 110 0 0 25 0 1 0 627225743 109985792 25600 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 26852 25600 1111 63 0 26789 0 vsize: 107408 [startup+330.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 26829 0 0 0 32888 114 0 0 25 0 1 0 627225743 114724864 26763 4294967295 134512640 134714540 3221221744 3221220512 134529376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28009 26763 1111 63 0 27946 0 vsize: 112036 [startup+340.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 27719 0 0 0 33886 116 0 0 25 0 1 0 627225743 118374400 27653 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 28900 27653 1111 63 0 28837 0 vsize: 115600 [startup+350.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 28312 0 0 0 34884 118 0 0 25 0 1 0 627225743 120807424 28246 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29494 28246 1111 63 0 29431 0 vsize: 117976 [startup+360.009 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 28726 0 0 0 35882 120 0 0 25 0 1 0 627225743 122445824 28660 4294967295 134512640 134714540 3221221744 3221220376 134696348 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 29894 28660 1111 63 0 29831 0 vsize: 119576 [startup+370.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 29544 0 0 0 36880 122 0 0 25 0 1 0 627225743 125739008 29474 4294967295 134512640 134714540 3221221744 3221220436 134528601 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 30698 29474 1111 63 0 30635 0 vsize: 122792 [startup+380.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 30117 0 0 0 37878 125 0 0 25 0 1 0 627225743 128172032 30047 4294967295 134512640 134714540 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31292 30047 1111 63 0 31229 0 vsize: 125168 [startup+390.01 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 30477 0 0 0 38877 126 0 0 25 0 1 0 627225743 129544192 30407 4294967295 134512640 134714540 3221221744 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 31627 30407 1111 63 0 31564 0 vsize: 126508 [startup+400.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 31056 0 0 0 39875 128 0 0 25 0 1 0 627225743 132005888 30986 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32228 30986 1111 63 0 32165 0 vsize: 128912 [startup+410.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 31452 0 0 0 40873 130 0 0 25 0 1 0 627225743 133627904 31382 4294967295 134512640 134714540 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32624 31382 1111 63 0 32561 0 vsize: 130496 [startup+420.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 31771 0 0 0 41873 131 0 0 25 0 1 0 627225743 134909952 31698 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 32937 31698 1111 63 0 32874 0 vsize: 131748 [startup+430.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 32120 0 0 0 42872 132 0 0 25 0 1 0 627225743 136396800 32047 4294967295 134512640 134714540 3221221744 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33300 32047 1111 63 0 33237 0 vsize: 133200 [startup+440.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 32432 0 0 0 43871 133 0 0 25 0 1 0 627225743 137613312 32359 4294967295 134512640 134714540 3221221744 3221220480 134535844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 33597 32359 1111 63 0 33534 0 vsize: 134388 [startup+450.011 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 32877 0 0 0 44869 135 0 0 25 0 1 0 627225743 139436032 32795 4294967295 134512640 134714540 3221221744 3221220400 134536635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34042 32795 1111 63 0 33979 0 vsize: 136168 [startup+460.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 33180 0 0 0 45869 136 0 0 25 0 1 0 627225743 140697600 33095 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34350 33095 1111 63 0 34287 0 vsize: 137400 [startup+470.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 33480 0 0 0 46868 137 0 0 25 0 1 0 627225743 141983744 33394 4294967295 134512640 134714540 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34664 33394 1111 63 0 34601 0 vsize: 138656 [startup+480.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 33775 0 0 0 47867 138 0 0 25 0 1 0 627225743 143192064 33684 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 34959 33684 1111 63 0 34896 0 vsize: 139836 [startup+490.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 34040 0 0 0 48865 139 0 0 25 0 1 0 627225743 144314368 33949 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35233 33949 1111 63 0 35170 0 vsize: 140932 [startup+500.012 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 34229 0 0 0 49865 140 0 0 25 0 1 0 627225743 145158144 34138 4294967295 134512640 134714540 3221221744 3221220320 134549802 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35439 34138 1111 63 0 35376 0 vsize: 141756 [startup+510.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 34390 0 0 0 50865 141 0 0 25 0 1 0 627225743 145727488 34299 4294967295 134512640 134714540 3221221744 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 35578 34299 1111 63 0 35515 0 vsize: 142312 [startup+520.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 34986 0 0 0 51862 143 0 0 25 0 1 0 627225743 148439040 34888 4294967295 134512640 134714540 3221221744 3221220400 134536730 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36240 34888 1111 63 0 36177 0 vsize: 144960 [startup+530.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 35723 0 0 0 52860 146 0 0 25 0 1 0 627225743 151412736 35625 4294967295 134512640 134714540 3221221744 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 36966 35625 1111 63 0 36903 0 vsize: 147864 [startup+540.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 36199 0 0 0 53858 147 0 0 25 0 1 0 627225743 153346048 36097 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37438 36097 1111 63 0 37375 0 vsize: 149752 [startup+550.013 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 36495 0 0 0 54858 148 0 0 25 0 1 0 627225743 154562560 36393 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 37735 36394 1111 63 0 37672 0 vsize: 150940 [startup+560.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 37064 0 0 0 55856 151 0 0 25 0 1 0 627225743 156930048 36958 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38313 36958 1111 63 0 38250 0 vsize: 153252 [startup+570.014 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 37545 0 0 0 56854 152 0 0 25 0 1 0 627225743 158957568 37439 4294967295 134512640 134714540 3221221744 3221220396 134536763 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 38808 37439 1111 63 0 38745 0 vsize: 155232 [startup+580.015 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 37795 0 0 0 57853 153 0 0 25 0 1 0 627225743 159969280 37680 4294967295 134512640 134714540 3221221744 3221220448 134528677 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39055 37680 1111 63 0 38992 0 vsize: 156220 [startup+590.016 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 38044 0 0 0 58853 154 0 0 25 0 1 0 627225743 161050624 37929 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39319 37929 1111 63 0 39256 0 vsize: 157276 [startup+600.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 38352 0 0 0 59851 156 0 0 25 0 1 0 627225743 162267136 38237 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39616 38237 1111 63 0 39553 0 vsize: 158464 [startup+610.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 38732 0 0 0 60849 158 0 0 25 0 1 0 627225743 163753984 38617 4294967295 134512640 134714540 3221221744 3221220416 134551968 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 39979 38617 1111 63 0 39916 0 vsize: 159916 [startup+620.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 39021 0 0 0 61848 159 0 0 25 0 1 0 627225743 164970496 38906 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40276 38906 1111 63 0 40213 0 vsize: 161104 [startup+630.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 39358 0 0 0 62847 161 0 0 25 0 1 0 627225743 166338560 39242 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40610 39242 1111 63 0 40547 0 vsize: 162440 [startup+640.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 39650 0 0 0 63846 162 0 0 25 0 1 0 627225743 167624704 39534 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 40924 39534 1111 63 0 40861 0 vsize: 163696 [startup+650.017 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 39897 0 0 0 64846 162 0 0 25 0 1 0 627225743 168570880 39781 4294967295 134512640 134714540 3221221744 3221220388 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41155 39781 1111 63 0 41092 0 vsize: 164620 [startup+660.018 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 40212 0 0 0 65844 164 0 0 25 0 1 0 627225743 170033152 40094 4294967295 134512640 134714540 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41512 40094 1111 63 0 41449 0 vsize: 166048 [startup+670.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 40458 0 0 0 66843 166 0 0 25 0 1 0 627225743 170844160 40340 4294967295 134512640 134714540 3221221744 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 41710 40340 1111 63 0 41647 0 vsize: 166840 [startup+680.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 40922 0 0 0 67841 167 0 0 25 0 1 0 627225743 172957696 40802 4294967295 134512640 134714540 3221221744 3221220320 134549640 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42226 40802 1111 63 0 42163 0 vsize: 168904 [startup+690.019 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 41319 0 0 0 68841 168 0 0 25 0 1 0 627225743 174637056 41195 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42636 41195 1111 63 0 42573 0 vsize: 170544 [startup+700.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 41549 0 0 0 69840 169 0 0 25 0 1 0 627225743 175648768 41424 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 42883 41424 1111 63 0 42820 0 vsize: 171532 [startup+710.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 41983 0 0 0 70838 171 0 0 25 0 1 0 627225743 177405952 41858 4294967295 134512640 134714540 3221221744 3221220300 134535967 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43312 41858 1111 63 0 43249 0 vsize: 173248 [startup+720.02 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 42196 0 0 0 71837 172 0 0 25 0 1 0 627225743 178286592 42062 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43527 42062 1111 63 0 43464 0 vsize: 174108 [startup+730.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 42494 0 0 0 72836 174 0 0 25 0 1 0 627225743 179507200 42360 4294967295 134512640 134714540 3221221744 3221220336 134549809 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 43825 42360 1111 63 0 43762 0 vsize: 175300 [startup+740.021 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 42741 0 0 0 73835 175 0 0 25 0 1 0 627225743 180453376 42607 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44056 42607 1111 63 0 43993 0 vsize: 176224 [startup+750.022 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 43000 0 0 0 74834 175 0 0 25 0 1 0 627225743 181571584 42864 4294967295 134512640 134714540 3221221744 3221220528 134529259 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44329 42864 1111 63 0 44266 0 vsize: 177316 [startup+760.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 43253 0 0 0 75833 177 0 0 25 0 1 0 627225743 182517760 43117 4294967295 134512640 134714540 3221221744 3221220384 134536695 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44560 43117 1111 63 0 44497 0 vsize: 178240 [startup+770.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 43541 0 0 0 76832 178 0 0 25 0 1 0 627225743 183734272 43405 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 44857 43405 1111 63 0 44794 0 vsize: 179428 [startup+780.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 43834 0 0 0 77831 179 0 0 25 0 1 0 627225743 184832000 43696 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45125 43696 1111 63 0 45062 0 vsize: 180500 [startup+790.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 44034 0 0 0 78831 179 0 0 25 0 1 0 627225743 185851904 43895 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45374 43895 1111 63 0 45311 0 vsize: 181496 [startup+800.023 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 44318 0 0 0 79830 180 0 0 25 0 1 0 627225743 187011072 44174 4294967295 134512640 134714540 3221221744 3221220512 134529376 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45657 44174 1111 63 0 45594 0 vsize: 182628 [startup+810.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 44482 0 0 0 80830 181 0 0 25 0 1 0 627225743 187551744 44338 4294967295 134512640 134714540 3221221744 3221220364 134549508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 45789 44338 1111 63 0 45726 0 vsize: 183156 [startup+820.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 44734 0 0 0 81829 182 0 0 25 0 1 0 627225743 188698624 44581 4294967295 134512640 134714540 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46069 44581 1111 63 0 46006 0 vsize: 184276 [startup+830.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 44999 0 0 0 82828 183 0 0 25 0 1 0 627225743 189779968 44846 4294967295 134512640 134714540 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46333 44846 1111 63 0 46270 0 vsize: 185332 [startup+840.024 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 45205 0 0 0 83827 184 0 0 25 0 1 0 627225743 190590976 45052 4294967295 134512640 134714540 3221221744 3221220388 134523868 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46531 45052 1111 63 0 46468 0 vsize: 186124 [startup+850.026 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 45472 0 0 0 84827 185 0 0 25 0 1 0 627225743 191672320 45319 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46795 45319 1111 63 0 46732 0 vsize: 187180 [startup+860.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 45654 0 0 0 85826 186 0 0 25 0 1 0 627225743 192348160 45501 4294967295 134512640 134714540 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 46960 45501 1111 63 0 46897 0 vsize: 187840 [startup+870.029 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 45879 0 0 0 86825 187 0 0 25 0 1 0 627225743 193298432 45726 4294967295 134512640 134714540 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47192 45726 1111 63 0 47129 0 vsize: 188768 [startup+880.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 46050 0 0 0 87824 188 0 0 25 0 1 0 627225743 194023424 45897 4294967295 134512640 134714540 3221221744 3221220512 134592116 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47369 45897 1111 63 0 47306 0 vsize: 189476 [startup+890.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 46193 0 0 0 88824 189 0 0 25 0 1 0 627225743 194564096 46040 4294967295 134512640 134714540 3221221744 3221220528 134529240 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47501 46040 1111 63 0 47438 0 vsize: 190004 [startup+900.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 46415 0 0 0 89823 190 0 0 25 0 1 0 627225743 195387392 46261 4294967295 134512640 134714540 3221221744 3221220336 134549742 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47702 46261 1111 63 0 47639 0 vsize: 190808 [startup+910.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 46615 0 0 0 90822 191 0 0 25 0 1 0 627225743 196214784 46457 4294967295 134512640 134714540 3221221744 3221220364 134549508 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 47904 46457 1111 63 0 47841 0 vsize: 191616 [startup+920.031 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 46862 0 0 0 91821 192 0 0 25 0 1 0 627225743 197398528 46695 4294967295 134512640 134714540 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48193 46695 1111 63 0 48130 0 vsize: 192772 [startup+930.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 47029 0 0 0 92821 193 0 0 25 0 1 0 627225743 198074368 46862 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48358 46862 1111 63 0 48295 0 vsize: 193432 [startup+940.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 47208 0 0 0 93820 194 0 0 25 0 1 0 627225743 198750208 47041 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48523 47041 1111 63 0 48460 0 vsize: 194092 [startup+950.032 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 47462 0 0 0 94820 194 0 0 25 0 1 0 627225743 199897088 47294 4294967295 134512640 134714540 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48803 47294 1111 63 0 48740 0 vsize: 195212 [startup+960.033 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 47648 0 0 0 95819 195 0 0 25 0 1 0 627225743 200572928 47480 4294967295 134512640 134714540 3221221744 3221220464 134528712 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 48968 47480 1111 63 0 48905 0 vsize: 195872 [startup+970.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 47831 0 0 0 96818 196 0 0 25 0 1 0 627225743 201326592 47663 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49152 47663 1111 63 0 49089 0 vsize: 196608 [startup+980.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 47990 0 0 0 97818 197 0 0 25 0 1 0 627225743 201867264 47820 4294967295 134512640 134714540 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49284 47820 1111 63 0 49221 0 vsize: 197136 [startup+990.034 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 48198 0 0 0 98817 198 0 0 25 0 1 0 627225743 202698752 48028 4294967295 134512640 134714540 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49487 48028 1111 63 0 49424 0 vsize: 197948 [startup+1000.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 48477 0 0 0 99815 200 0 0 25 0 1 0 627225743 203804672 48306 4294967295 134512640 134714540 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 49757 48306 1111 63 0 49694 0 vsize: 199028 [startup+1010.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 48746 0 0 0 100814 201 0 0 25 0 1 0 627225743 204922880 48573 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50030 48573 1111 63 0 49967 0 vsize: 200120 [startup+1020.03 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 49030 0 0 0 101814 202 0 0 25 0 1 0 627225743 206204928 48856 4294967295 134512640 134714540 3221221744 3221220240 134535471 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50343 48856 1111 63 0 50280 0 vsize: 201372 [startup+1030.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 49203 0 0 0 102813 203 0 0 25 0 1 0 627225743 206880768 49029 4294967295 134512640 134714540 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50508 49029 1111 63 0 50445 0 vsize: 202032 [startup+1040.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 49399 0 0 0 103813 203 0 0 25 0 1 0 627225743 207753216 49217 4294967295 134512640 134714540 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50721 49217 1111 63 0 50658 0 vsize: 202884 [startup+1050.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 49609 0 0 0 104812 204 0 0 25 0 1 0 627225743 208605184 49425 4294967295 134512640 134714540 3221221744 3221220300 134535664 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 50929 49425 1111 63 0 50866 0 vsize: 203716 [startup+1060.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 49793 0 0 0 105812 205 0 0 25 0 1 0 627225743 209346560 49609 4294967295 134512640 134714540 3221221744 3221220528 134529174 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51110 49609 1111 63 0 51047 0 vsize: 204440 [startup+1070.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 49994 0 0 0 106811 205 0 0 25 0 1 0 627225743 210157568 49810 4294967295 134512640 134714540 3221221744 3221220480 134535844 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51308 49810 1111 63 0 51245 0 vsize: 205232 [startup+1080.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 50195 0 0 0 107810 206 0 0 25 0 1 0 627225743 211075072 50008 4294967295 134512640 134714540 3221221744 3221220372 134551958 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51532 50008 1111 63 0 51469 0 vsize: 206128 [startup+1090.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 50346 0 0 0 108810 207 0 0 25 0 1 0 627225743 211615744 50159 4294967295 134512640 134714540 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51664 50159 1111 63 0 51601 0 vsize: 206656 [startup+1100.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 50550 0 0 0 109810 207 0 0 25 0 1 0 627225743 212627456 50363 4294967295 134512640 134714540 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 51911 50363 1111 63 0 51848 0 vsize: 207644 [startup+1110.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 50715 0 0 0 110808 209 0 0 25 0 1 0 627225743 213168128 50528 4294967295 134512640 134714540 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52043 50528 1111 63 0 51980 0 vsize: 208172 [startup+1120.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 50986 0 0 0 111808 209 0 0 25 0 1 0 627225743 214454272 50784 4294967295 134512640 134714540 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52357 50784 1111 63 0 52294 0 vsize: 209428 [startup+1130.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 51079 0 0 0 112808 210 0 0 25 0 1 0 627225743 214859776 50877 4294967295 134512640 134714540 3221221744 3221220424 134552642 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52456 50877 1111 63 0 52393 0 vsize: 209824 [startup+1140.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 51338 0 0 0 113806 211 0 0 25 0 1 0 627225743 215805952 51136 4294967295 134512640 134714540 3221221744 3221220504 134552578 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52687 51136 1111 63 0 52624 0 vsize: 210748 [startup+1150.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 51543 0 0 0 114805 213 0 0 25 0 1 0 627225743 216682496 51340 4294967295 134512640 134714540 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 52901 51340 1111 63 0 52838 0 vsize: 211604 [startup+1160.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 51776 0 0 0 115804 214 0 0 25 0 1 0 627225743 217894912 51573 4294967295 134512640 134714540 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53197 51573 1111 63 0 53134 0 vsize: 212788 [startup+1170.04 s] Raw data (loadavg): 0.99 0.98 0.91 2/54 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 51944 0 0 0 116803 215 0 0 25 0 1 0 627225743 218640384 51739 4294967295 134512640 134714540 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53379 51739 1111 63 0 53316 0 vsize: 213516 [startup+1174.98 s] Raw data (loadavg): 0.99 0.98 0.91 1/53 6569 Raw data (stat): 6569 (bsolo_mis) R 6568 3722 3553 0 -1 0 51944 0 0 0 116803 215 0 0 25 0 1 0 627225743 218640384 51739 4294967295 134512640 134714540 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 1 0 0 Raw data (statm): 53379 51739 1111 63 0 53316 0 vsize: 0 Child status: 0 Real time (s): 1174.98 CPU time (s): 1175.13 CPU user time (s): 1172.88 CPU system time (s): 2.24866 CPU usage (%): 100.013 Max. virtual memory (Kb): 213516 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####