Name | normalized-opb/submitted/manquinho/logic-synthesis/normalized-alu4.b.opb |
MD5SUM | db06e7fbd4f70a4af68f8f196fdb3636 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 50 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 808 |
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 | 808 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 808 |
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.03884 |
Number of variables | 807 |
Total number of constraints | 1838 |
Number of constraints which are clauses | 1823 |
Number of constraints which are cardinality constraints (but not clauses) | 15 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 98 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-03 15:56:19 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=543 boxname=wulflinc31 idbench=61 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: db06e7fbd4f70a4af68f8f196fdb3636 /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-alu4.b.opb IDLAUNCH: 543 /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: 919284 kB Buffers: 40268 kB Cached: 52968 kB SwapCached: 944 kB Active: 78268 kB Inactive: 17484 kB HighTotal: 131008 kB HighFree: 77000 kB LowTotal: 903652 kB LowFree: 842284 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5536 kB Slab: 14208 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-03 16:16:22 (client local time) WITH STATUS 0 IN 1200.67 SECONDS stats: 543 7 1200.67 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 808 variables and 1823 constraints. c After prepocess the problem consists of 792 variables and 811 constraints. c preprocess terminated 2.753 s c Initial Lower Bound: 39 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. c NEW SOLUTION FOUND: 53 @ 2.887 c NEW SOLUTION FOUND: 52 @ 2.893 #### 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): 1.14 1.00 0.98 2/54 3995 Raw data (stat): 3995 (runsolver) R 3994 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 650006464 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.0006 s] Raw data (loadavg): 1.11 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 4512 0 0 0 983 14 0 0 25 0 1 0 650006464 22429696 4472 4294967295 134512640 134714540 3221221792 3221220544 134624493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5476 4472 1111 63 0 5413 0 vsize: 21904 [startup+20.0014 s] Raw data (loadavg): 1.10 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 10770 0 0 0 1966 30 0 0 25 0 1 0 650006464 48435200 10675 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11825 10675 1111 63 0 11762 0 vsize: 47300 [startup+30.0023 s] Raw data (loadavg): 1.08 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 12531 0 0 0 2963 34 0 0 25 0 1 0 650006464 56532992 12325 4294967295 134512640 134714540 3221221792 3221220516 134622908 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13802 12325 1111 63 0 13739 0 vsize: 55208 [startup+40.0022 s] Raw data (loadavg): 1.07 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 12531 0 0 0 3963 34 0 0 25 0 1 0 650006464 56532992 12325 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13802 12325 1111 63 0 13739 0 vsize: 55208 [startup+50.0021 s] Raw data (loadavg): 1.06 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 14767 0 0 0 4958 40 0 0 25 0 1 0 650006464 65540096 14556 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16001 14556 1111 63 0 15938 0 vsize: 64004 [startup+60.0021 s] Raw data (loadavg): 1.05 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 14767 0 0 0 5958 40 0 0 25 0 1 0 650006464 65540096 14556 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16001 14556 1111 63 0 15938 0 vsize: 64004 [startup+70.01 s] Raw data (loadavg): 1.04 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 14767 0 0 0 6959 40 0 0 25 0 1 0 650006464 65540096 14556 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16001 14556 1111 63 0 15938 0 vsize: 64004 [startup+80.0113 s] Raw data (loadavg): 1.03 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 14767 0 0 0 7959 40 0 0 25 0 1 0 650006464 65540096 14556 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16001 14556 1111 63 0 15938 0 vsize: 64004 [startup+90.0109 s] Raw data (loadavg): 1.03 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 14767 0 0 0 8959 40 0 0 25 0 1 0 650006464 65540096 14556 4294967295 134512640 134714540 3221221792 3221220576 134622611 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16001 14556 1111 63 0 15938 0 vsize: 64004 [startup+100.011 s] Raw data (loadavg): 1.02 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 14769 0 0 0 9959 40 0 0 25 0 1 0 650006464 65540096 14558 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16001 14558 1111 63 0 15938 0 vsize: 64004 [startup+110.012 s] Raw data (loadavg): 1.02 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 15140 0 0 0 10958 41 0 0 25 0 1 0 650006464 66891776 14929 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 16331 14929 1111 63 0 16268 0 vsize: 65324 [startup+120.012 s] Raw data (loadavg): 1.02 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 16184 0 0 0 11956 43 0 0 25 0 1 0 650006464 71221248 15958 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17388 15958 1111 63 0 17325 0 vsize: 69552 [startup+130.012 s] Raw data (loadavg): 1.01 1.00 0.98 3/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 16184 0 0 0 12956 43 0 0 25 0 1 0 650006464 71221248 15958 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 17388 15958 1111 63 0 17325 0 vsize: 69552 [startup+140.012 s] Raw data (loadavg): 1.01 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 18636 0 0 0 13949 50 0 0 25 0 1 0 650006464 81408000 18383 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 19875 18383 1111 63 0 19812 0 vsize: 79500 [startup+150.011 s] Raw data (loadavg): 1.01 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 24598 0 0 0 14936 64 0 0 25 0 1 0 650006464 107626496 24151 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 26276 24151 1111 63 0 26213 0 vsize: 105104 [startup+160.011 s] Raw data (loadavg): 1.01 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 26115 0 0 0 15932 68 0 0 25 0 1 0 650006464 113737728 25658 4294967295 134512640 134714540 3221221792 3221220216 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 27768 25658 1111 63 0 27705 0 vsize: 111072 [startup+170.011 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 27689 0 0 0 16928 72 0 0 25 0 1 0 650006464 120152064 27217 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 29334 27217 1111 63 0 29271 0 vsize: 117336 [startup+180.011 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 28501 0 0 0 17926 74 0 0 25 0 1 0 650006464 123482112 28020 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30147 28020 1111 63 0 30084 0 vsize: 120588 [startup+190.011 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 29164 0 0 0 18924 76 0 0 25 0 1 0 650006464 126115840 28674 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 30790 28674 1111 63 0 30727 0 vsize: 123160 [startup+200.011 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 19920 80 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+210.012 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 20920 80 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+220.012 s] Raw data (loadavg): 1.00 1.00 0.98 2/54 3995 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 21921 80 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+230.27 s] Raw data (loadavg): 1.08 1.02 0.98 3/56 4017 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 22946 80 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220576 134622611 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+240.332 s] Raw data (loadavg): 1.22 1.05 0.99 3/58 4040 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 23952 81 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+250.332 s] Raw data (loadavg): 1.26 1.06 1.00 2/54 4048 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 24952 81 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+260.377 s] Raw data (loadavg): 1.22 1.06 1.00 2/54 4048 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 25957 81 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+270.377 s] Raw data (loadavg): 1.26 1.07 1.00 2/54 4048 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 26957 81 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+280.377 s] Raw data (loadavg): 1.22 1.07 1.00 2/54 4048 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 27957 81 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+290.377 s] Raw data (loadavg): 1.18 1.07 1.00 2/54 4048 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 28957 81 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+300.378 s] Raw data (loadavg): 1.16 1.06 1.00 2/54 4048 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 30602 0 0 0 29957 81 0 0 25 0 1 0 650006464 132186112 30080 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 32272 30080 1111 63 0 32209 0 vsize: 129088 [startup+310.378 s] Raw data (loadavg): 1.13 1.06 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 36409 0 0 0 30942 96 0 0 25 0 1 0 650006464 155295744 35729 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37914 35729 1111 63 0 37851 0 vsize: 151656 [startup+320.378 s] Raw data (loadavg): 1.11 1.06 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 36409 0 0 0 31942 96 0 0 25 0 1 0 650006464 155295744 35729 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37914 35729 1111 63 0 37851 0 vsize: 151656 [startup+330.379 s] Raw data (loadavg): 1.09 1.06 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 36409 0 0 0 32942 96 0 0 25 0 1 0 650006464 155295744 35729 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 37914 35729 1111 63 0 37851 0 vsize: 151656 [startup+340.379 s] Raw data (loadavg): 1.08 1.05 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 37491 0 0 0 33939 99 0 0 25 0 1 0 650006464 159621120 36791 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38970 36791 1111 63 0 38907 0 vsize: 155880 [startup+350.379 s] Raw data (loadavg): 1.07 1.05 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 37491 0 0 0 34939 99 0 0 25 0 1 0 650006464 159621120 36791 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38970 36791 1111 63 0 38907 0 vsize: 155880 [startup+360.38 s] Raw data (loadavg): 1.06 1.05 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 37491 0 0 0 35940 99 0 0 25 0 1 0 650006464 159621120 36791 4294967295 134512640 134714540 3221221792 3221220512 134622887 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 38970 36791 1111 63 0 38907 0 vsize: 155880 [startup+370.38 s] Raw data (loadavg): 1.05 1.05 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38438 0 0 0 36938 101 0 0 25 0 1 0 650006464 163790848 37703 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 39988 37703 1111 63 0 39925 0 vsize: 159952 [startup+380.381 s] Raw data (loadavg): 1.04 1.05 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38896 0 0 0 37937 102 0 0 25 0 1 0 650006464 165613568 38151 4294967295 134512640 134714540 3221221792 3221220512 134622891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40433 38151 1111 63 0 40370 0 vsize: 161732 [startup+390.381 s] Raw data (loadavg): 1.03 1.04 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38898 0 0 0 38937 102 0 0 25 0 1 0 650006464 165613568 38153 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40433 38153 1111 63 0 40370 0 vsize: 161732 [startup+400.381 s] Raw data (loadavg): 1.03 1.04 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38901 0 0 0 39937 103 0 0 25 0 1 0 650006464 165613568 38156 4294967295 134512640 134714540 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40433 38156 1111 63 0 40370 0 vsize: 161732 [startup+410.382 s] Raw data (loadavg): 1.02 1.04 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 40937 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622923 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+420.382 s] Raw data (loadavg): 1.02 1.04 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 41937 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+430.383 s] Raw data (loadavg): 1.02 1.04 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 42938 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+440.383 s] Raw data (loadavg): 1.01 1.04 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 43938 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+450.383 s] Raw data (loadavg): 1.01 1.03 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 44938 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+460.384 s] Raw data (loadavg): 1.01 1.03 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 45938 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+470.384 s] Raw data (loadavg): 1.01 1.03 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 46938 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+480.384 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 47938 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+490.384 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 48938 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+500.384 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 49939 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+510.385 s] Raw data (loadavg): 1.00 1.03 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 50939 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+520.385 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 51939 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+530.386 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 52939 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+540.386 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 53939 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+550.386 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 54939 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+560.387 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 55939 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+570.388 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4050 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 56939 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+580.389 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 57940 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+590.388 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 58940 103 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+600.389 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 59940 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+610.389 s] Raw data (loadavg): 1.00 1.02 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 60940 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+620.389 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 61940 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+630.39 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 62940 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+640.391 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 63940 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+650.391 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 64940 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+660.391 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 65940 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220516 134622908 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+670.391 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 66941 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+680.392 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 67941 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+690.392 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 68941 104 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+700.392 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 69941 105 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+710.393 s] Raw data (loadavg): 1.00 1.01 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 70941 105 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+720.393 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 71941 105 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220528 134622873 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+730.394 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 72941 105 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+740.394 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 73942 105 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+750.394 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 74942 105 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220512 134622764 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+760.394 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 75942 105 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+770.394 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 76942 105 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+780.395 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38927 0 0 0 77942 105 0 0 25 0 1 0 650006464 165748736 38182 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38182 1111 63 0 40403 0 vsize: 161864 [startup+790.395 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38929 0 0 0 78942 105 0 0 25 0 1 0 650006464 165748736 38184 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38184 1111 63 0 40403 0 vsize: 161864 [startup+800.395 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38929 0 0 0 79942 105 0 0 25 0 1 0 650006464 165748736 38184 4294967295 134512640 134714540 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38184 1111 63 0 40403 0 vsize: 161864 [startup+810.396 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38930 0 0 0 80942 105 0 0 25 0 1 0 650006464 165748736 38185 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38185 1111 63 0 40403 0 vsize: 161864 [startup+820.397 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 38930 0 0 0 81943 105 0 0 25 0 1 0 650006464 165748736 38185 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 40466 38185 1111 63 0 40403 0 vsize: 161864 [startup+830.398 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 43007 0 0 0 82934 114 0 0 25 0 1 0 650006464 182304768 42129 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 44508 42129 1111 63 0 44445 0 vsize: 178032 [startup+840.398 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 47184 0 0 0 83925 123 0 0 25 0 1 0 650006464 199467008 44726 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48698 44726 1111 63 0 48635 0 vsize: 194792 [startup+850.398 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 47184 0 0 0 84925 123 0 0 25 0 1 0 650006464 199467008 44726 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48698 44726 1111 63 0 48635 0 vsize: 194792 [startup+860.399 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 47184 0 0 0 85925 123 0 0 25 0 1 0 650006464 199467008 44726 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48698 44726 1111 63 0 48635 0 vsize: 194792 [startup+870.399 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 47184 0 0 0 86925 123 0 0 25 0 1 0 650006464 199467008 44726 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48698 44726 1111 63 0 48635 0 vsize: 194792 [startup+880.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 47184 0 0 0 87925 123 0 0 25 0 1 0 650006464 199467008 44726 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48698 44726 1111 63 0 48635 0 vsize: 194792 [startup+890.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 47184 0 0 0 88926 124 0 0 25 0 1 0 650006464 199467008 44726 4294967295 134512640 134714540 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48698 44726 1111 63 0 48635 0 vsize: 194792 [startup+900.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 47184 0 0 0 89926 124 0 0 25 0 1 0 650006464 199467008 44726 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 48698 44726 1111 63 0 48635 0 vsize: 194792 [startup+910.401 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 49047 0 0 0 90922 128 0 0 25 0 1 0 650006464 206962688 46566 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 50528 46566 1111 63 0 50465 0 vsize: 202112 [startup+920.401 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 51542 0 0 0 91915 134 0 0 25 0 1 0 650006464 216875008 49053 4294967295 134512640 134714540 3221221792 3221220380 134535978 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 52948 49053 1111 63 0 52885 0 vsize: 211792 [startup+930.402 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 54185 0 0 0 92909 141 0 0 25 0 1 0 650006464 227287040 51691 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 55490 51691 1111 63 0 55427 0 vsize: 221960 [startup+940.402 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58429 0 0 0 93898 152 0 0 25 0 1 0 650006464 244514816 55895 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55895 1111 63 0 59633 0 vsize: 238784 [startup+950.402 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58429 0 0 0 94898 152 0 0 25 0 1 0 650006464 244514816 55895 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55895 1111 63 0 59633 0 vsize: 238784 [startup+960.403 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58429 0 0 0 95898 152 0 0 25 0 1 0 650006464 244514816 55895 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55895 1111 63 0 59633 0 vsize: 238784 [startup+970.403 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58429 0 0 0 96898 152 0 0 25 0 1 0 650006464 244514816 55895 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55895 1111 63 0 59633 0 vsize: 238784 [startup+980.404 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58429 0 0 0 97898 152 0 0 25 0 1 0 650006464 244514816 55895 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55895 1111 63 0 59633 0 vsize: 238784 [startup+990.405 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58429 0 0 0 98899 152 0 0 25 0 1 0 650006464 244514816 55895 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55895 1111 63 0 59633 0 vsize: 238784 [startup+1000.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58430 0 0 0 99899 152 0 0 25 0 1 0 650006464 244514816 55896 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55896 1111 63 0 59633 0 vsize: 238784 [startup+1010.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58430 0 0 0 100899 153 0 0 25 0 1 0 650006464 244514816 55896 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55896 1111 63 0 59633 0 vsize: 238784 [startup+1020.4 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58432 0 0 0 101899 153 0 0 25 0 1 0 650006464 244514816 55898 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55898 1111 63 0 59633 0 vsize: 238784 [startup+1030.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58432 0 0 0 102899 153 0 0 25 0 1 0 650006464 244514816 55898 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55898 1111 63 0 59633 0 vsize: 238784 [startup+1040.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 58445 0 0 0 103899 153 0 0 25 0 1 0 650006464 244514816 55911 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 59696 55911 1111 63 0 59633 0 vsize: 238784 [startup+1050.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 59169 0 0 0 104898 154 0 0 25 0 1 0 650006464 247357440 56635 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 60390 56635 1111 63 0 60327 0 vsize: 241560 [startup+1060.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 59960 0 0 0 105897 156 0 0 25 0 1 0 650006464 250466304 57426 4294967295 134512640 134714540 3221221792 3221220364 134535488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 61149 57426 1111 63 0 61086 0 vsize: 244596 [startup+1070.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 61013 0 0 0 106893 159 0 0 25 0 1 0 650006464 253870080 58223 4294967295 134512640 134714540 3221221792 3221220592 134622074 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 61980 58223 1111 63 0 61917 0 vsize: 247920 [startup+1080.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 61071 0 0 0 107894 159 0 0 25 0 1 0 650006464 254140416 58281 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 62046 58281 1111 63 0 61983 0 vsize: 248184 [startup+1090.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 61071 0 0 0 108894 159 0 0 25 0 1 0 650006464 254140416 58281 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 62046 58281 1111 63 0 61983 0 vsize: 248184 [startup+1100.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 61071 0 0 0 109894 159 0 0 25 0 1 0 650006464 254140416 58281 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 62046 58281 1111 63 0 61983 0 vsize: 248184 [startup+1110.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 61911 0 0 0 110892 161 0 0 25 0 1 0 650006464 257417216 59117 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 62846 59117 1111 63 0 62783 0 vsize: 251384 [startup+1120.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 63848 0 0 0 111887 167 0 0 25 0 1 0 650006464 264912896 60970 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64676 60970 1111 63 0 64613 0 vsize: 258704 [startup+1130.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 63848 0 0 0 112887 167 0 0 25 0 1 0 650006464 264912896 60970 4294967295 134512640 134714540 3221221792 3221220512 134622891 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64676 60970 1111 63 0 64613 0 vsize: 258704 [startup+1140.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 63848 0 0 0 113887 167 0 0 25 0 1 0 650006464 264912896 60970 4294967295 134512640 134714540 3221221792 3221220504 134543154 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64676 60970 1111 63 0 64613 0 vsize: 258704 [startup+1150.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 63848 0 0 0 114887 167 0 0 25 0 1 0 650006464 264912896 60970 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64676 60970 1111 63 0 64613 0 vsize: 258704 [startup+1160.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 63848 0 0 0 115887 167 0 0 25 0 1 0 650006464 264912896 60970 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64676 60970 1111 63 0 64613 0 vsize: 258704 [startup+1170.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 63848 0 0 0 116887 167 0 0 25 0 1 0 650006464 264912896 60970 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64676 60970 1111 63 0 64613 0 vsize: 258704 [startup+1180.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 63848 0 0 0 117888 167 0 0 25 0 1 0 650006464 264912896 60970 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64676 60970 1111 63 0 64613 0 vsize: 258704 [startup+1190.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 63848 0 0 0 118888 167 0 0 25 0 1 0 650006464 264912896 60970 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64676 60970 1111 63 0 64613 0 vsize: 258704 [startup+1200.41 s] Raw data (loadavg): 1.00 1.00 1.00 2/54 4052 Raw data (stat): 3995 (bsolo_mis) R 3994 7876 7672 0 -1 0 63848 0 0 0 119888 167 0 0 25 0 1 0 650006464 264912896 60970 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 64676 60970 1111 63 0 64613 0 vsize: 258704 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.52 s] Raw data (loadavg): 1.00 1.00 1.00 1/54 4052 Raw data (stat): 3995 (bsolo_mis) Z 3994 7876 7672 0 -1 1036 63848 0 0 0 119888 178 0 0 25 0 1 0 650006464 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.52 CPU time (s): 1200.67 CPU user time (s): 1198.88 CPU system time (s): 1.78673 CPU usage (%): 100.012 Max. virtual memory (Kb): 258704 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####