Name | normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb |
MD5SUM | 4fdec182582ed31d1ae371090f6cc5c1 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 1200 |
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 | 1200 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1200 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 1200 |
Total number of constraints | 3150 |
Number of constraints which are clauses | 3150 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 3 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc31 THE 2005-05-04 19:02:23 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1155 boxname=wulflinc31 idbench=129 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: 4fdec182582ed31d1ae371090f6cc5c1 /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb IDLAUNCH: 1155 /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: 905864 kB Buffers: 44644 kB Cached: 61988 kB SwapCached: 944 kB Active: 87072 kB Inactive: 21992 kB HighTotal: 131008 kB HighFree: 68180 kB LowTotal: 903652 kB LowFree: 837684 kB SwapTotal: 2097892 kB SwapFree: 2096432 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5540 kB Slab: 14296 kB Committed_AS: 63656 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-04 19:22:26 (client local time) WITH STATUS 0 IN 1200.23 SECONDS stats: 1155 7 1200.23 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Initial problem consists of 1200 variables and 3150 constraints. c After prepocess the problem consists of 1200 variables and 3150 constraints. c preprocess terminated 0.633 s c Initial Lower Bound: 302 c Lower Bound Elapsed time: 0 c Use computed LB before first solution. #### 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.97 1.01 0.99 2/54 5637 Raw data (stat): 5637 (runsolver) R 5636 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 659763997 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.0002 s] Raw data (loadavg): 0.97 1.01 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 1317 0 0 0 991 6 0 0 25 0 1 0 659763997 8998912 1290 4294967295 134512640 134714540 3221221792 3221220576 134624869 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2197 1290 1111 63 0 2134 0 vsize: 8788 [startup+20.0006 s] Raw data (loadavg): 0.98 1.01 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 1746 0 0 0 1989 8 0 0 25 0 1 0 659763997 10756096 1719 4294967295 134512640 134714540 3221221792 3221220560 134625011 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 2626 1719 1111 63 0 2563 0 vsize: 10504 [startup+30.0006 s] Raw data (loadavg): 0.98 1.01 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 2165 0 0 0 2988 9 0 0 25 0 1 0 659763997 12513280 2138 4294967295 134512640 134714540 3221221792 3221220564 134624885 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3055 2138 1111 63 0 2992 0 vsize: 12220 [startup+40.0018 s] Raw data (loadavg): 0.98 1.01 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 2329 0 0 0 3988 9 0 0 25 0 1 0 659763997 13189120 2302 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3220 2302 1111 63 0 3157 0 vsize: 12880 [startup+50.0025 s] Raw data (loadavg): 0.98 1.01 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 2684 0 0 0 4987 11 0 0 25 0 1 0 659763997 14675968 2657 4294967295 134512640 134714540 3221221792 3221220536 134542412 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3583 2657 1111 63 0 3520 0 vsize: 14332 [startup+60.0024 s] Raw data (loadavg): 0.99 1.01 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3100 0 0 0 5985 12 0 0 25 0 1 0 659763997 16302080 3073 4294967295 134512640 134714540 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 3980 3073 1111 63 0 3917 0 vsize: 15920 [startup+70.0037 s] Raw data (loadavg): 0.99 1.01 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3319 0 0 0 6984 13 0 0 25 0 1 0 659763997 17256448 3292 4294967295 134512640 134714540 3221221792 3221220544 134558532 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4213 3292 1111 63 0 4150 0 vsize: 16852 [startup+80.0043 s] Raw data (loadavg): 0.99 1.01 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3615 0 0 0 7984 14 0 0 25 0 1 0 659763997 18477056 3588 4294967295 134512640 134714540 3221221792 3221220352 134696590 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4511 3588 1111 63 0 4448 0 vsize: 18044 [startup+90.0052 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3774 0 0 0 8983 15 0 0 25 0 1 0 659763997 19156992 3747 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4677 3747 1111 63 0 4614 0 vsize: 18708 [startup+100.005 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3791 0 0 0 9983 15 0 0 25 0 1 0 659763997 19156992 3764 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4677 3764 1111 63 0 4614 0 vsize: 18708 [startup+110.005 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3817 0 0 0 10983 15 0 0 25 0 1 0 659763997 19292160 3790 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4710 3790 1111 63 0 4647 0 vsize: 18840 [startup+120.006 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 3892 0 0 0 11983 15 0 0 25 0 1 0 659763997 19562496 3865 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4776 3865 1111 63 0 4713 0 vsize: 19104 [startup+130.006 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4069 0 0 0 12983 16 0 0 25 0 1 0 659763997 20373504 4042 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 4974 4042 1111 63 0 4911 0 vsize: 19896 [startup+140.007 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4399 0 0 0 13982 17 0 0 25 0 1 0 659763997 21729280 4372 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5305 4372 1111 63 0 5242 0 vsize: 21220 [startup+150.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4672 0 0 0 14981 18 0 0 25 0 1 0 659763997 22843392 4645 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5577 4645 1111 63 0 5514 0 vsize: 22308 [startup+160.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4817 0 0 0 15981 19 0 0 25 0 1 0 659763997 23384064 4790 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5709 4790 1111 63 0 5646 0 vsize: 22836 [startup+170.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 4961 0 0 0 16981 19 0 0 25 0 1 0 659763997 24064000 4934 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 5875 4934 1111 63 0 5812 0 vsize: 23500 [startup+180.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5142 0 0 0 17980 20 0 0 25 0 1 0 659763997 24752128 5115 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6043 5115 1111 63 0 5980 0 vsize: 24172 [startup+190.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5317 0 0 0 18980 20 0 0 25 0 1 0 659763997 25567232 5290 4294967295 134512640 134714540 3221221792 3221220520 134622777 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6242 5290 1111 63 0 6179 0 vsize: 24968 [startup+200.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5637 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5375 0 0 0 19980 20 0 0 25 0 1 0 659763997 25837568 5348 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6308 5348 1111 63 0 6245 0 vsize: 25232 [startup+210.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5547 0 0 0 20979 21 0 0 25 0 1 0 659763997 26513408 5520 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6473 5520 1111 63 0 6410 0 vsize: 25892 [startup+220.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5678 0 0 0 21979 22 0 0 25 0 1 0 659763997 27054080 5650 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6605 5650 1111 63 0 6542 0 vsize: 26420 [startup+230.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 5869 0 0 0 22978 23 0 0 25 0 1 0 659763997 27865088 5841 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6803 5841 1111 63 0 6740 0 vsize: 27212 [startup+240.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6018 0 0 0 23978 23 0 0 25 0 1 0 659763997 28545024 5990 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 6969 5990 1111 63 0 6906 0 vsize: 27876 [startup+250.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6197 0 0 0 24977 24 0 0 25 0 1 0 659763997 29364224 6168 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7169 6168 1111 63 0 7106 0 vsize: 28676 [startup+260.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6250 0 0 0 25977 24 0 0 25 0 1 0 659763997 29515776 6221 4294967295 134512640 134714540 3221221792 3221220528 134695294 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7206 6221 1111 63 0 7143 0 vsize: 28824 [startup+270.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6409 0 0 0 26977 25 0 0 25 0 1 0 659763997 30208000 6379 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7375 6379 1111 63 0 7312 0 vsize: 29500 [startup+280.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6424 0 0 0 27977 25 0 0 25 0 1 0 659763997 30343168 6394 4294967295 134512640 134714540 3221221792 3221220688 134621530 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7408 6394 1111 63 0 7345 0 vsize: 29632 [startup+290.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6457 0 0 0 28977 25 0 0 25 0 1 0 659763997 30478336 6427 4294967295 134512640 134714540 3221221792 3221220504 134543179 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7441 6427 1111 63 0 7378 0 vsize: 29764 [startup+300.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6479 0 0 0 29977 25 0 0 25 0 1 0 659763997 30478336 6449 4294967295 134512640 134714540 3221221792 3221220608 134622261 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7441 6449 1111 63 0 7378 0 vsize: 29764 [startup+310.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6539 0 0 0 30977 25 0 0 25 0 1 0 659763997 30748672 6509 4294967295 134512640 134714540 3221221792 3221220520 134622882 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7507 6509 1111 63 0 7444 0 vsize: 30028 [startup+320.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6540 0 0 0 31977 25 0 0 25 0 1 0 659763997 30748672 6510 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7507 6510 1111 63 0 7444 0 vsize: 30028 [startup+330.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6610 0 0 0 32977 26 0 0 25 0 1 0 659763997 31019008 6580 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7573 6580 1111 63 0 7510 0 vsize: 30292 [startup+340.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6756 0 0 0 33977 26 0 0 25 0 1 0 659763997 31711232 6725 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7742 6725 1111 63 0 7679 0 vsize: 30968 [startup+350.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6824 0 0 0 34976 27 0 0 25 0 1 0 659763997 31981568 6793 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7808 6793 1111 63 0 7745 0 vsize: 31232 [startup+360.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 6939 0 0 0 35976 27 0 0 25 0 1 0 659763997 32395264 6908 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 7909 6908 1111 63 0 7846 0 vsize: 31636 [startup+370.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7171 0 0 0 36974 29 0 0 25 0 1 0 659763997 33341440 7139 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8140 7139 1111 63 0 8077 0 vsize: 32560 [startup+380.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7208 0 0 0 37974 29 0 0 25 0 1 0 659763997 33476608 7176 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8173 7176 1111 63 0 8110 0 vsize: 32692 [startup+390.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7278 0 0 0 38974 30 0 0 25 0 1 0 659763997 33882112 7246 4294967295 134512640 134714540 3221221792 3221220592 134622271 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8272 7246 1111 63 0 8209 0 vsize: 33088 [startup+400.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7336 0 0 0 39974 30 0 0 25 0 1 0 659763997 34017280 7304 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8305 7304 1111 63 0 8242 0 vsize: 33220 [startup+410.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7356 0 0 0 40974 30 0 0 25 0 1 0 659763997 34152448 7324 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8338 7324 1111 63 0 8275 0 vsize: 33352 [startup+420.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7371 0 0 0 41974 30 0 0 25 0 1 0 659763997 34291712 7338 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8372 7338 1111 63 0 8309 0 vsize: 33488 [startup+430.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7435 0 0 0 42974 30 0 0 25 0 1 0 659763997 34566144 7402 4294967295 134512640 134714540 3221221792 3221220380 134543653 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8439 7402 1111 63 0 8376 0 vsize: 33756 [startup+440.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7539 0 0 0 43974 31 0 0 25 0 1 0 659763997 34971648 7506 4294967295 134512640 134714540 3221221792 3221220552 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8538 7506 1111 63 0 8475 0 vsize: 34152 [startup+450.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7725 0 0 0 44973 32 0 0 25 0 1 0 659763997 35647488 7692 4294967295 134512640 134714540 3221221792 3221220504 134543171 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8703 7692 1111 63 0 8640 0 vsize: 34812 [startup+460.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7893 0 0 0 45973 32 0 0 25 0 1 0 659763997 36335616 7859 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8871 7859 1111 63 0 8808 0 vsize: 35484 [startup+470.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7961 0 0 0 46973 33 0 0 25 0 1 0 659763997 36605952 7927 4294967295 134512640 134714540 3221221792 3221220552 134536889 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8937 7927 1111 63 0 8874 0 vsize: 35748 [startup+480.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 7986 0 0 0 47973 33 0 0 25 0 1 0 659763997 36741120 7952 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 8970 7952 1111 63 0 8907 0 vsize: 35880 [startup+490.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8028 0 0 0 48973 33 0 0 25 0 1 0 659763997 36876288 7994 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9003 7994 1111 63 0 8940 0 vsize: 36012 [startup+500.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8073 0 0 0 49973 33 0 0 25 0 1 0 659763997 37146624 8039 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9069 8039 1111 63 0 9006 0 vsize: 36276 [startup+510.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8129 0 0 0 50973 33 0 0 25 0 1 0 659763997 37281792 8095 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9102 8095 1111 63 0 9039 0 vsize: 36408 [startup+520.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8204 0 0 0 51973 33 0 0 25 0 1 0 659763997 37687296 8169 4294967295 134512640 134714540 3221221792 3221220512 134556680 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9201 8169 1111 63 0 9138 0 vsize: 36804 [startup+530.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8315 0 0 0 52973 34 0 0 25 0 1 0 659763997 38092800 8280 4294967295 134512640 134714540 3221221792 3221220568 134543144 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9300 8280 1111 63 0 9237 0 vsize: 37200 [startup+540.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8401 0 0 0 53972 34 0 0 25 0 1 0 659763997 38498304 8365 4294967295 134512640 134714540 3221221792 3221220588 134542400 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9399 8365 1111 63 0 9336 0 vsize: 37596 [startup+550.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8504 0 0 0 54973 34 0 0 25 0 1 0 659763997 38920192 8467 4294967295 134512640 134714540 3221221792 3221220036 134697375 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9502 8467 1111 63 0 9439 0 vsize: 38008 [startup+560.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8609 0 0 0 55972 35 0 0 25 0 1 0 659763997 39325696 8572 4294967295 134512640 134714540 3221221792 3221220364 134539237 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9601 8572 1111 63 0 9538 0 vsize: 38404 [startup+570.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8673 0 0 0 56972 35 0 0 25 0 1 0 659763997 39596032 8636 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9667 8636 1111 63 0 9604 0 vsize: 38668 [startup+580.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8771 0 0 0 57972 36 0 0 25 0 1 0 659763997 40017920 8732 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9770 8732 1111 63 0 9707 0 vsize: 39080 [startup+590.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8851 0 0 0 58972 36 0 0 25 0 1 0 659763997 40423424 8812 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9869 8812 1111 63 0 9806 0 vsize: 39476 [startup+600.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8887 0 0 0 59972 36 0 0 25 0 1 0 659763997 40566784 8847 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9904 8847 1111 63 0 9841 0 vsize: 39616 [startup+610.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 8922 0 0 0 60972 36 0 0 25 0 1 0 659763997 40738816 8881 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 9946 8881 1111 63 0 9883 0 vsize: 39784 [startup+620.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9028 0 0 0 61971 37 0 0 25 0 1 0 659763997 41177088 8985 4294967295 134512640 134714540 3221221792 3221220528 134622801 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10053 8985 1111 63 0 9990 0 vsize: 40212 [startup+630.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9101 0 0 0 62971 38 0 0 25 0 1 0 659763997 41451520 9056 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10120 9056 1111 63 0 10057 0 vsize: 40480 [startup+640.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9189 0 0 0 63970 38 0 0 25 0 1 0 659763997 41857024 9144 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10219 9144 1111 63 0 10156 0 vsize: 40876 [startup+650.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9313 0 0 0 64970 39 0 0 25 0 1 0 659763997 42401792 9267 4294967295 134512640 134714540 3221221792 3221220472 134536569 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10352 9267 1111 63 0 10289 0 vsize: 41408 [startup+660.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9536 0 0 0 65970 40 0 0 25 0 1 0 659763997 43229184 9488 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10554 9488 1111 63 0 10491 0 vsize: 42216 [startup+670.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 9797 0 0 0 66968 41 0 0 25 0 1 0 659763997 44453888 9745 4294967295 134512640 134714540 3221221792 3221220352 134696578 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 10853 9745 1111 63 0 10790 0 vsize: 43412 [startup+680.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 10000 0 0 0 67968 42 0 0 25 0 1 0 659763997 45264896 9947 4294967295 134512640 134714540 3221221792 3221220608 134611099 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11051 9947 1111 63 0 10988 0 vsize: 44204 [startup+690.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 10229 0 0 0 68967 42 0 0 25 0 1 0 659763997 46243840 10173 4294967295 134512640 134714540 3221221792 3221220500 134625112 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11290 10173 1111 63 0 11227 0 vsize: 45160 [startup+700.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 10490 0 0 0 69967 43 0 0 25 0 1 0 659763997 47353856 10430 4294967295 134512640 134714540 3221221792 3221220536 134543568 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11561 10430 1111 63 0 11498 0 vsize: 46244 [startup+710.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 10727 0 0 0 70965 45 0 0 25 0 1 0 659763997 48324608 10664 4294967295 134512640 134714540 3221221792 3221220584 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 11798 10664 1111 63 0 11735 0 vsize: 47192 [startup+720.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11004 0 0 0 71964 46 0 0 25 0 1 0 659763997 49549312 10938 4294967295 134512640 134714540 3221221792 3221220592 134622268 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12097 10938 1111 63 0 12034 0 vsize: 48388 [startup+730.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11234 0 0 0 72963 47 0 0 25 0 1 0 659763997 50524160 11164 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12335 11164 1111 63 0 12272 0 vsize: 49340 [startup+740.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11440 0 0 0 73963 48 0 0 25 0 1 0 659763997 51355648 11365 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12538 11365 1111 63 0 12475 0 vsize: 50152 [startup+750.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11483 0 0 0 74963 48 0 0 25 0 1 0 659763997 51625984 11408 4294967295 134512640 134714540 3221221792 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12604 11408 1111 63 0 12541 0 vsize: 50416 [startup+760.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11688 0 0 0 75962 49 0 0 25 0 1 0 659763997 52490240 11610 4294967295 134512640 134714540 3221221792 3221220576 134622318 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12815 11610 1111 63 0 12752 0 vsize: 51260 [startup+770.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11843 0 0 0 76962 49 0 0 25 0 1 0 659763997 53121024 11765 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 12969 11765 1111 63 0 12906 0 vsize: 51876 [startup+780.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11916 0 0 0 77962 50 0 0 25 0 1 0 659763997 53403648 11837 4294967295 134512640 134714540 3221221792 3221220540 134625305 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13038 11837 1111 63 0 12975 0 vsize: 52152 [startup+790.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11935 0 0 0 78962 50 0 0 25 0 1 0 659763997 53403648 11856 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13038 11856 1111 63 0 12975 0 vsize: 52152 [startup+800.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 11979 0 0 0 79962 50 0 0 25 0 1 0 659763997 53673984 11900 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13104 11900 1111 63 0 13041 0 vsize: 52416 [startup+810.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12019 0 0 0 80962 50 0 0 25 0 1 0 659763997 53809152 11940 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13137 11940 1111 63 0 13074 0 vsize: 52548 [startup+820.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12040 0 0 0 81962 50 0 0 25 0 1 0 659763997 53944320 11961 4294967295 134512640 134714540 3221221792 3221220608 134611091 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13170 11961 1111 63 0 13107 0 vsize: 52680 [startup+830.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12206 0 0 0 82961 51 0 0 25 0 1 0 659763997 54513664 12125 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13309 12125 1111 63 0 13246 0 vsize: 53236 [startup+840.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12224 0 0 0 83961 51 0 0 25 0 1 0 659763997 54648832 12143 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13342 12143 1111 63 0 13279 0 vsize: 53368 [startup+850.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12277 0 0 0 84961 51 0 0 25 0 1 0 659763997 54784000 12196 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13375 12196 1111 63 0 13312 0 vsize: 53500 [startup+860.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12359 0 0 0 85961 52 0 0 25 0 1 0 659763997 55189504 12274 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13474 12274 1111 63 0 13411 0 vsize: 53896 [startup+870.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12392 0 0 0 86961 52 0 0 25 0 1 0 659763997 55328768 12306 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13508 12306 1111 63 0 13445 0 vsize: 54032 [startup+880.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12459 0 0 0 87961 52 0 0 25 0 1 0 659763997 55734272 12372 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13607 12372 1111 63 0 13544 0 vsize: 54428 [startup+890.037 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12523 0 0 0 88961 53 0 0 25 0 1 0 659763997 55869440 12436 4294967295 134512640 134714540 3221221792 3221220592 134622271 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13640 12436 1111 63 0 13577 0 vsize: 54560 [startup+900.036 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12693 0 0 0 89961 53 0 0 25 0 1 0 659763997 56680448 12604 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13838 12604 1111 63 0 13775 0 vsize: 55352 [startup+910.036 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12712 0 0 0 90961 53 0 0 25 0 1 0 659763997 56680448 12623 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13838 12623 1111 63 0 13775 0 vsize: 55352 [startup+920.037 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12728 0 0 0 91961 54 0 0 25 0 1 0 659763997 56815616 12639 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13871 12639 1111 63 0 13808 0 vsize: 55484 [startup+930.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12808 0 0 0 92960 54 0 0 25 0 1 0 659763997 57085952 12719 4294967295 134512640 134714540 3221221792 3221220608 134610900 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 13937 12719 1111 63 0 13874 0 vsize: 55748 [startup+940.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 12919 0 0 0 93960 55 0 0 25 0 1 0 659763997 57638912 12827 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14072 12827 1111 63 0 14009 0 vsize: 56288 [startup+950.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13088 0 0 0 94960 55 0 0 25 0 1 0 659763997 58322944 12996 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14239 12996 1111 63 0 14176 0 vsize: 56956 [startup+960.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13164 0 0 0 95959 56 0 0 25 0 1 0 659763997 58593280 13072 4294967295 134512640 134714540 3221221792 3221220544 134624488 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14305 13072 1111 63 0 14242 0 vsize: 57220 [startup+970.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 96959 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+980.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 97959 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+990.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 98959 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+1000.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 99960 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+1010.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 100960 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+1020.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 101960 56 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+1030.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 102960 57 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+1040.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 103960 57 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+1050.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 104960 57 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+1060.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13263 0 0 0 105960 57 0 0 25 0 1 0 659763997 59023360 13169 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13169 1111 63 0 14347 0 vsize: 57640 [startup+1070.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13267 0 0 0 106960 57 0 0 25 0 1 0 659763997 59023360 13173 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14410 13173 1111 63 0 14347 0 vsize: 57640 [startup+1080.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13293 0 0 0 107961 57 0 0 25 0 1 0 659763997 59162624 13199 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14444 13199 1111 63 0 14381 0 vsize: 57776 [startup+1090.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13329 0 0 0 108961 57 0 0 25 0 1 0 659763997 59305984 13234 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14479 13234 1111 63 0 14416 0 vsize: 57916 [startup+1100.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13358 0 0 0 109961 57 0 0 25 0 1 0 659763997 59441152 13263 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14512 13263 1111 63 0 14449 0 vsize: 58048 [startup+1110.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13370 0 0 0 110961 57 0 0 25 0 1 0 659763997 59441152 13275 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14512 13275 1111 63 0 14449 0 vsize: 58048 [startup+1120.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13384 0 0 0 111961 57 0 0 25 0 1 0 659763997 59576320 13289 4294967295 134512640 134714540 3221221792 3221220568 134543133 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14545 13289 1111 63 0 14482 0 vsize: 58180 [startup+1130.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13390 0 0 0 112961 57 0 0 25 0 1 0 659763997 59576320 13295 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14545 13295 1111 63 0 14482 0 vsize: 58180 [startup+1140.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13400 0 0 0 113961 57 0 0 25 0 1 0 659763997 59576320 13305 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14545 13305 1111 63 0 14482 0 vsize: 58180 [startup+1150.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 114961 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14545 13311 1111 63 0 14482 0 vsize: 58180 [startup+1160.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 115961 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220504 134543181 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14545 13311 1111 63 0 14482 0 vsize: 58180 [startup+1170.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 116962 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220608 134622252 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14545 13311 1111 63 0 14482 0 vsize: 58180 [startup+1180.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 117962 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14545 13311 1111 63 0 14482 0 vsize: 58180 [startup+1190.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 118962 57 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14545 13311 1111 63 0 14482 0 vsize: 58180 [startup+1200.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/54 5639 Raw data (stat): 5637 (bsolo_mis) R 5636 7876 7672 0 -1 0 13406 0 0 0 119962 58 0 0 25 0 1 0 659763997 59576320 13311 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0 Raw data (statm): 14545 13311 1111 63 0 14482 0 vsize: 58180 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.07 s] Raw data (loadavg): 0.99 1.00 0.99 1/54 5639 Raw data (stat): 5637 (bsolo_mis) Z 5636 7876 7672 0 -1 1036 13406 0 0 0 119962 60 0 0 25 0 1 0 659763997 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.07 CPU time (s): 1200.23 CPU user time (s): 1199.62 CPU system time (s): 0.606907 CPU usage (%): 100.013 Max. virtual memory (Kb): 58180 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####